[Tinyos-8051wg] [Tinyos-2.0wg] Timer.fired

[Cory Sharp]

I think the current TEP 102 Timers proposal is very good, and I'd like
to clean up some remaining issues.

One concern is the current Timer.fired event specified as

    event void Timer.fired( uint32_t when, uint32_t numMissed );

The problem is that the fired event is in the "basic" interface, and I
would consider the "when" and "numMissed" parameters part of an
"advanced" interface.  And, I think I would like to minimize
complexity for the common case -- which is to have the fired event
take no parameters.

A counter proposal is to put two additional commands into timer
interface -- firedWhen and firedNumMissed -- that only return valid
values when called within a fired event.  This places a burden of an
additional 8 bytes of RAM on the component for the benefit of a
significantly simplified fired event signature.

    // basic interface
    event void Timer.fired();

    // advanced interface
    command uint32_t Timer.firedWhen();
    command uint32_t Timer.firedNumMissed();

Does anyone have any comments or insight on this?

Thanks,
Cory

_______________________________________________
Tinyos-2.0wg mailing list
Tinyos-2.0wg at Mail.Millennium.Berkeley.EDU
https://mail.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-2.0wg