liblfds is a lock-free data structure library.
Lock-free data structures are process, thread and interrupt safe (i.e. the same data structure instance can be safely used across processes, threads and both inside and outside of interrupt handlers), never sleep (and so are safe for kernel use when sleeping is not permitted), operate without context switches, cannot fail (no need to handle error cases, as there are none), perform and scale literally orders of magnitude better than locking data structures, and liblfds itself (as of release 7.0.0) is implemented such that it performs no allocations and compiles not just on a freestanding C89 implementation, but on a bare C89 implementation.
Out-of-the-box support is provided for WDK 7.1, 8.0 and 8.1, on ARM32, x86 and x64.
*Complete* documentation is provided, with a page per data structure funtion call, enum, structure, etc, as well as building, porting and test docs.