usenix2001_Pragmatic nonblocking synchronization for real time systems.pdf 介绍一种lock-free的实时操作系统的实现。We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-fre