Previous
Up
Next
Module
RejectedExecutionHandler
module
RejectedExecutionHandler:
sig
..
end
Policies for blocked executions.
type
t
=
|
Abort_policy
(*
Reject computation.
*)
|
Caller_runs_policy
(*
Run the computation in the calling thread.
*)
|
Discard_oldest_policy
(*
Discard the oldest unstarted computation.
*)
|
Discard_policy
(*
Discard the submitted computation.
*)
The type of policies for blocked executions, that is when thread and queue bounds have been reached.