[Tinyos-devel] nesC concurrency semantics, volatiles, etc.

[Joe Polastre]

> By the way we have a race detector that's conservative and also a bit
> smarter than nesC's.

Does your race condition detector also detect races within structs?
nesC's race condition detector only seems to detect races on the full
variable itself (ie, the struct pointer), but concurrent accesses to
fields of the struct are not detected by the race condition engine.

-Joe