A scheduling mechanism for lock-free operation of a lightweight process library for SMP computers | IEEE Conference Publication | IEEE Xplore