mbed official / mbed

The official Mbed 2 C/C++ SDK provides the software platform and libraries to build your applications.

Dependents:   hello SerialTestv11 SerialTestv12 Sierpinski ... more

Wolfgang Betz

Issue: 'us_ticker_irq_handler()' will fail to recognize when triggering events

Due to the implementation of timestamps as 'uint64_t' and the resolution of function 'us_ticker_read()' which is returning an 'uint32_t' function 'us_ticker_irq_handler()' will fail in line #40 to recognize events with a timestamp greater than 0xFFFFFFFF (i.e. beyond the 32-bit representation).

... if ((int64_t)(head->timestamp - us_ticker_read()) <= 0) { ... }

2 comments:

Martin Kojtal
04 Nov 2014

Hi,

thanks for reporting. As this is mbed SDK issue, can you add this to github issues https://github.com/mbedmicro/mbed/issues ? If not, I can add it there. THat's default issue tracker (all development of mbed lib is happening on github).

Regards,
0xc0170

Wolfgang Betz
04 Nov 2014

OK, done.