Re: [Valgrind-developers] Valgrind and OpenMP

[Bart V. A. <bar...@gm...>]

On Wed, Oct 15, 2008 at 11:57 PM, Julian Seward <js...@ac...> wrote:
> Probably irrelevant, but .. would it maybe help to model mutexes,
> semaphores, in terms of simple message passing between threads?

The most difficult part is not how to model inter-thread ordering, but
how to extract this ordering information from a running program. E.g.
some atomic operations (A) have inter-thread ordering semantics, but
no inter-thread semantics must be assigned to other atomic operations
(B). Maybe the atomic operations that control the execution of futex
system calls fall into category (A) and those atomic operations that
do not control the execution of futex system calls fall into category
(B), but I'm not sure about this.

Bart.