14.4.108  Thread_Scheduler_Control

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: Run_At.

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;
    run_under_thread_scheduler : (Void -> X) -> Void;
    shut_down_thread_scheduler : Int -> X;
    spawn_to_disk : (String , ((String , List(String )) -> Int) , Null_Or(time::Time )) -> Void;
    When  = APP_SHUTDOWN | APP_STARTUP | COMPILER_STARTUP | THREADKIT_SHUTDOWN;
    when_to_string : When -> String;
        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;};