How to (properly) use robust pthreads for process synchronization?

We have a bug in a production system, where a process segfaults while holding a shared memory mutex. We'd like it to release the lock when dying. We use sem_wait()/sem_post(), but doing my homework, I've found that this API does not allow for such a behavior:We have a bug in a production system, where a p