diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2017-03-07 09:34:09 +0100 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2017-03-07 09:34:09 +0100 |
| commit | 830ce74f324d3a384e383e840de4ee229c41ba36 (patch) | |
| tree | e4625f79485442be75474127d85ebce55e83a000 /unix/modtime.c | |
| parent | bdd48e67ee54163f195628ba6de476ca7984d327 (diff) | |
| download | micropython-830ce74f324d3a384e383e840de4ee229c41ba36.tar.gz micropython-830ce74f324d3a384e383e840de4ee229c41ba36.zip | |
extmod/modutimeq: Make scheduling fair (round-robin).
By adding back monotonically increasing field in addition to time field.
As heapsort is not stable, without this, among entried added and readded
at the same time instant, some might be always selected, and some might
never be selected, leading to scheduling starvation.
Diffstat (limited to 'unix/modtime.c')
0 files changed, 0 insertions, 0 deletions