A C library that enables high-performance fine-grained multithreading