[riot-notifications] [RIOT] core: priority_queue_add hangs on duplicate adds (#3132)
notifications at github.com
Mon Jun 1 15:09:10 CEST 2015
@kaspar030, I was partly wrong: scheduler is using clist, priorty_queue is "only" used by mutexes and IPC. Still a hot path.
@gebart, yes, I remember this vtimer bug (this is the reason why every vtimer_set is preceded by a vtimer_remove and yes, this is annoying to debug. Actually, I'm surprised that this is undocumented. I would strongly vote for properly documenting this behavior and adding this DEVELHELP and/or assert.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the notifications