Re: [patch 0/5] lightweight robust futexes: -V1

From: Christopher Friesen
Date: Wed Feb 15 2006 - 14:48:06 EST

Andi Kleen wrote:
On Wednesday 15 February 2006 18:50, Ulrich Drepper wrote:
Andi Kleen wrote:

e.g. you could add a new VMA flag that says "when one user
of this dies unexpectedly by a signal kill all"

"kill all"?

It would solve the problem statement given by Ingo in the rationale for this kernel patch - cleaning up after a hanging yum.

If there are any other problems this is intended to solve then they should be stated in the rationale.

"robust" mutexes isn't a new thing, so I assume Ingo didn't think he needed to post the whole rationale.

Consider a group of tasks that want to use a mutex to control access to data. If one of them dies while holding the mutex, the state of the data is unknown and the mutex is left locked.

The goal is for the kernel to unlock the mutex, but the next task to aquire it gets some special notification that the status is unknown. At that point the task can either validate/clean up the data and reset the mutex to clean (if it can) or it can give up the mutex and pass it on to some other task that does know how to validate/clean up.

You want the speed of futexes if possible. You want to keep running. You just want to know that the data protected by the mutex may not be self-consistent.

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at