| header file (LockFreeQueue.h) |
| implementation (LockFreeQueue.c) |
| test 1 (Test1.c) |
| test 2 (Test2.c) |
| test 1 using flawless enq |
| test 1 using buggy enq (error 1) |
| test 2 using flawless enq |
| test 2 using buggy enq (error 2) |
| bug free code |
| bug 1 code -- Inspect detects an user program assertion |
dynamic circular deque simulation
codes