test_Scheduler_close

function

test_Scheduler_close(test)

• fault.system.kernel.Scheduler.close

• fault.system.kernel.Scheduler.closed

Validate the effect of closing a scheduler instance.

test_Scheduler_execute

function

test_Scheduler_execute(test)

• fault.system.kernel.Scheduler.execute

Validate the execution of enqueued tasks.

test_Scheduler_exceptions

function

test_Scheduler_exceptions(test)

• fault.system.kernel.Scheduler

• fault.system.kernel.Event.meta_exception

Validate exception signalling.

test_execute_nothing

function

test_execute_nothing(test)

• fault.system.kernel.Scheduler.execute

test_enqueue_interrupt

function

test_enqueue_interrupt(test)

• fault.system.kernel.Scheduler.execute

fault.system.kernel.Scheduler.enqueue should be sensitive to the event wait state. This validates that no timeout event is generated designating that a user event was received.

test_dispatch_actuate

function

test_dispatch_actuate(test)

• fault.system.kernel.Event.meta_actuate

Check that actuate is dispatched.

test_dispatch_terminate

function

test_dispatch_terminate(test)

• fault.system.kernel.Event.meta_terminate

Check that terminate is dispatched.

test_Link_never_states

function

test_Link_never_states(test)

• fault.system.kernel.Event.never

Check that never is available and has no immediate effect.

test_Link_scheduler_states

function

test_Link_scheduler_states(test)

• fault.system.kernel.Event.time

test_interrupt

function

test_interrupt(test)

• fault.system.kernel.Scheduler.interrupt

test_Event_time_units

function

test_Event_time_units(test)

• fault.system.kernel.Event

Time events are distinct regardless of their timing.

test_Event_process_pid

function

test_Event_process_pid(test)

• fault.system.kernel.Event.process_exit

test_Event_time

function

test_Event_time(test)

test_interrupt_ignored

function

test_interrupt_ignored(test)

Check that interrupt outside of wait has no effect.

test_time_event_periodic

function

test_time_event_periodic(test)

test_signal_trap

function

test_signal_trap(test)

• fault.system.kernel.Event.process_signal

Validate the execution of system process exit events.

test_process_exit

function

test_process_exit(test)

• fault.system.kernel.Event.process_exit

Validate the execution of system process exit events.

test_Scheduler_io_pipe

function

test_Scheduler_io_pipe(test)

• fault.system.kernel.Event.io_transmit

• fault.system.kernel.Event.io_receive

• fault.system.kernel.Scheduler.wait

• fault.system.kernel.Scheduler.dispatch

Validate transmit and receive signals on regular pipes.