| Tue, 28 Jul 2009 14:29:25 +0200 | wenzelm | more precise treatment of scheduler_event: continous pulse (50ms) instead of flooding, which was burning many CPU cycles in spare threads; | changeset | files |
| Tue, 28 Jul 2009 14:11:15 +0200 | wenzelm | interruptible_task: unified treatment of Multithreading.with_attributes (cf. 9f6461b1c9cc); | changeset | files |
| Tue, 28 Jul 2009 14:04:33 +0200 | wenzelm | misc tuning; | changeset | files |