You did choose a notoriously difficult example :) The state_is_root is in an atomic block with routeInfo, it suggest that they take part in invariants. Something similar to the example on page 197 in the TinyOS Programming book.
http://en.wikipedia.org/wiki/Invariant_%28computer_science%29 I could not track down in the code but I suspect that routeInfo, directly or indirectly, can be accessed from async context. Ali _______________________________________________ Tinyos-help mailing list [email protected] https://www.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
