The standard library Thread_Scheduler_Control api defines control of the Mythryl thread scheduler, in particular starting and stopping it.
The Thread_Scheduler_Control api is implemented by the thread_scheduler_control package.
The Thread_Scheduler_Control api source code is in src/lib/src/lib/thread-kit/src/glue/thread-scheduler-control.api.
See also: Threadkit_Startup_And_Shutdown_Hooks.
The above information is manually maintained and may contain errors.
api { start_up_thread_scheduler : (Void -> Void) -> Int;
start_up_thread_scheduler' : time::Time -> (Void -> Void) -> Int;
thread_scheduler : (Void -> X) -> Void;
thread_scheduler_is_running : Void -> Bool;
shut_down_thread_scheduler : Int -> X;
spawn_to_disk : (String , ((String , List(String )) -> Int)
, Null_Or(time::Time ))
-> Void;
When
= APP_STARTUP | SHUTDOWN | STARTUP | THREADKIT_SHUTDOWN;
at_all : List(When );
note_startup_or_shutdown_action : (String , List(When ) , (When -> Void))
-> Null_Or(((List(When ) , (When -> Void))) );
forget_startup_or_shutdown_action : String
-> Null_Or(((List(When ) , (When -> Void))) );
exception NO_SUCH_ACTION;
note_mailqueue : (String , Mailqueue(X )) -> Void;
forget_mailqueue : String -> Void;
note_mailslot : (String , Mailslot(X )) -> Void;
forget_mailslot : String -> Void;
note_imp : {at_shutdown:Void -> Void,
at_startup:Void -> Void, name:String}
-> Void;
forget_imp : String -> Void;
forget_all_mailslots_mailqueues_and_imps : Void -> Void;
};