I am sorry for not explain this problem clearly. The paper is:
Guy Martin Tchamgoue, Kyong Hoon Kim, Yong-Kee Jun: Verification of Data
Races in Concurrent Interrupt Handlers. IJDSN 2013 (2013).
I try to find the word "TOSH_SIGNAL" and find that the timer fired event
is an interrupt (correct or not?), but the Timer.fire() is not an
async event (I do not find the declaration of Timer.fired() event with
keyword "async" in the RadioCountToLeds example). Is this means
the interrupt handler can execute the events which are not async events ?
On 08/13/2015 01:24 PM, Eric Decker wrote:
On Wed, Aug 12, 2015 at 7:25 PM, xueguang <w...@in.tum.de
<mailto:w...@in.tum.de>> wrote:
Hi all,
I know an event with the keyword "async" can be executed in an
interrupt
handler.
Async means this piece of code can be executed in interrupt context
and special provisions are needed
to make sure that mutual exclusion regions aren't violated.
I try to find interrupts in applications of apps directory, but I can
not find them in some applications.
typically, interrupt handlers will be written to generate a signal of
some kind and that is what the application will use.
E.g., I can not find the keyword "async" in the application
RadioCountToLeds, but a paper said there are
4 interrupts in this application.
what paper?
So my problem is how to find all interrupts in an application?
Take the
application RadioCountToLeds as an
example, what are the interrupts in this application?
interrupts in TinyOS are connected to the underlying h/w via TOSH_SIGNAL.
try looking at that.
Thanks a lot!
Best Regards,
Xueguang
_______________________________________________
Tinyos-help mailing list
Tinyos-help@millennium.berkeley.edu
<mailto:Tinyos-help@millennium.berkeley.edu>
https://www.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
--
Eric B. Decker
Senior (over 50 :-) Researcher
_______________________________________________
Tinyos-help mailing list
Tinyos-help@millennium.berkeley.edu
https://www.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
