If I’m getting it right, is it possible in the Linux pthread C API to use robust mutexes, that can be shared across processes (by placing them in shared memory), and that allows you to acquire the lock if the proces previously holding it has crashed. However, I wondered if this could lead to problems when assignind PIDs to processes.