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

John Regehr regehr at cs.utah.edu
Mon Aug 14 08:58:19 PDT 2006


> Does your race condition detector also detect races within structs?

As far as our analyzer is concerned a struct is just a collection of 
variables that may individually race or not.

John



More information about the Tinyos-devel mailing list