Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1254592) | patch
Use a std::priority_queue for simix_timers.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 9 Nov 2017 15:03:33 +0000 (16:03 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 9 Nov 2017 15:55:27 +0000 (16:55 +0100)
commit0a600adfb6d3e9d5969581e26ce815dac3792572
treec4ce5e5904790260e68cdc26e119fd58379ee424tree | snapshot
parent125459230d4705e5ee569c14d469d83b3ed76a2ccommit | diff
Use a std::priority_queue for simix_timers.

Note that canceled timers are only disabled and stay in the queue until their trigger date.
Use SIMIX_timer_flush() to remove disabled timers from the top of the queue.
src/simix/smx_global.cpp diff | blob | history
Clone of SimGrid repository with local patches