On Thu, Aug 13, 2015 at 7:26 PM, xueguang <w...@in.tum.de> wrote: > 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 ? >
The interrupt is wired and signals into the Virtual Timers. Timer.fired() is not async because it doesn't need to be. It is at task level via the Virtual Timers. I forget how it is all wired together. > > > > On 08/13/2015 01:24 PM, Eric Decker wrote: > > > > On Wed, Aug 12, 2015 at 7:25 PM, xueguang <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 >> 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 > -- 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