Philipp Brüschweiler 68e755b1c2 core: Allocate threads on demand, not on scheduler startup
API change: rust_kernel::create_scheduler() or
rust_scheduler::rust_scheduler() respecitevly now take ownership of the
launch factory argument, it is needed to create new threads on demand.

Also renames rustrt::sched_threads() to rustrt::rust_sched_threads() for
consistency. Added rustrt::rust_max_sched_threads() to return the
maximal number of scheduled threads of the current scheduler.

Fixes #3493.
2012-09-19 14:01:53 -07:00
..
2012-09-05 12:32:05 -07:00
2012-08-23 11:14:14 -07:00
2012-09-05 12:32:05 -07:00
2012-08-26 15:56:16 -07:00
2012-09-05 12:32:05 -07:00
2012-08-26 15:56:16 -07:00
2012-08-23 15:12:02 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-26 15:56:16 -07:00
2012-09-18 19:36:25 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-09-07 17:09:07 -07:00
2012-09-07 17:09:07 -07:00
2012-09-07 17:09:07 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-09-06 10:52:26 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-26 15:56:16 -07:00
2012-09-05 12:32:05 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-09-05 12:32:05 -07:00
2012-09-05 12:32:05 -07:00
2012-09-05 12:32:05 -07:00
2012-09-05 12:32:05 -07:00
2012-09-05 12:32:05 -07:00
2012-09-05 12:32:05 -07:00
2012-08-23 11:14:14 -07:00
2012-09-05 12:32:05 -07:00
2012-08-29 18:25:22 -07:00
2012-08-23 11:14:14 -07:00
2012-08-26 15:56:16 -07:00
2012-09-05 12:32:05 -07:00
2012-09-04 15:47:04 -07:00
2012-09-05 12:32:05 -07:00
2012-09-06 12:30:47 -07:00
2012-08-26 15:56:16 -07:00
2012-08-26 15:56:16 -07:00
2012-08-26 15:56:16 -07:00
2012-08-26 15:56:16 -07:00
2012-08-26 15:56:16 -07:00
2012-08-26 15:56:16 -07:00
2012-08-26 15:56:16 -07:00
2012-08-26 15:56:16 -07:00
2012-08-26 15:56:16 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-09-04 15:47:04 -07:00
2012-08-26 15:56:16 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-09-04 15:47:04 -07:00
2012-09-05 12:32:05 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-26 15:56:16 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-09-05 12:32:05 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00
2012-08-26 15:56:16 -07:00
2012-09-05 12:32:05 -07:00
2012-08-31 11:20:50 -07:00
2012-08-23 11:14:14 -07:00
2012-08-23 11:14:14 -07:00