[Tinyos-devel] Safe TinyOS: announcement and request for feedback

[David Gay]

On Dec 19, 2007 1:14 PM, Omprakash Gnawali <gnawali at usc.edu> wrote:
> Was there a similar discussion on nx_struct etc. vs adding an
> attribute to the types or variables?

No. The development of the attribute stuff and the nx stuff occurred
in parallel, and the thought didn't occur to anyone...

It may be a good idea, though nx_struct has bigger consequences than
Deputy's safety annotations (nx_struct changes the observable
behaviour of correct programs, while Deputy's annotations only cause
additional runtime checks so "only" affect timing and code size).

David