On Mon, Oct 29, 2007 at 09:50:16 +0100, Eric Botcazou wrote: > Right, so please define more or less formally what the "final value" is from > the viewpoint of the current thread, this is the crux of the matter.
OK, formally there's no "final" value from current thread's POV, only the "current" value. "Final" only matters from other thread's POV, like "this is the last value that was produced by another thread before it released the mutex". But shouldn't we formally define "define" first? :) -- Tomash Brechko
