[Tinyos-help] Some confusion on the classic nesC paper.

[David Gay]

On 7/6/07, Zhifeng Lai <zflai at ust.hk> wrote:
> Dear David,
>
> Thanks for your reply!
>
> With regard to the second question, if we disallow programmers to use
> assembly code and assume ncc can perform global and inter-procedural alias
> analysis, can we safely conclude my aforementioned claim (programmers will
> not raise data races if they obey the race-free invariant)?

Yes (well, mostly - you could still run into weirdness with
memory-mapped I/O, e.g., DMA - you'd want to prevent that in
application-level code too, on some platforms at least...)

David Gay