TODO: C API for sg mutexes
I heard that xbt mutexes would at some point be deprecated in favor of S4U mutexes. The C API doesn't seem to be here for them yet.
I heard that xbt mutexes would at some point be deprecated in favor of S4U mutexes. The C API doesn't seem to be here for them yet.