Paul Sokolovsky
830ce74f32
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.
2017-03-07 09:34:09 +01:00
..
2015-12-20 23:14:47 +02:00
2015-11-04 23:24:04 +03:00
2015-11-01 02:39:01 +03:00
2016-10-11 07:13:23 +03:00
2016-11-24 00:12:51 +11:00
2016-11-24 00:11:45 +11:00
2016-11-21 01:09:17 +03:00
2015-12-18 22:01:03 +02:00
2016-06-19 00:26:57 +03:00
2016-06-18 23:40:28 +03:00
2017-02-05 14:20:17 +03:00
2016-10-21 16:26:01 +11:00
2017-02-08 11:14:23 +03:00
2017-01-29 18:57:36 +03:00
2017-02-06 14:38:33 +11:00
2016-12-08 13:47:01 +11:00
2016-10-21 16:26:01 +11:00
2017-02-16 18:38:06 +11:00
2017-01-25 23:19:28 +11:00
2017-02-15 19:20:46 +03:00
2016-09-21 21:40:18 +03:00
2016-10-21 16:26:01 +11:00
2016-09-21 21:37:08 +03:00
2016-09-22 00:23:16 +10:00
2016-12-22 06:37:49 +03:00
2016-10-13 12:09:18 +11:00
2017-02-24 10:04:23 -05:00
2016-09-22 00:23:16 +10:00
2016-12-02 16:40:39 +11:00
2016-11-14 00:24:22 +03:00
2016-11-14 00:24:22 +03:00
2017-03-07 09:34:09 +01:00
2016-11-14 00:24:22 +03:00
2016-09-22 00:23:16 +10:00
2016-09-22 00:23:16 +10:00
2016-04-10 13:42:51 +03:00
2016-10-26 02:08:37 +03:00
2016-11-03 23:54:16 +03:00
2016-10-29 17:30:05 +03:00
2017-01-30 12:26:08 +11:00
2017-02-16 18:38:06 +11:00
2017-01-30 12:26:08 +11:00
2017-01-30 23:10:16 +11:00
2017-01-30 12:26:08 +11:00
2017-01-30 22:26:54 +11:00
2017-02-13 12:25:43 +11:00
2017-01-30 12:26:08 +11:00
2016-06-18 18:44:57 +03:00
2016-05-27 01:08:43 +03:00