The type for executor feedbacks. Indicates the given operation starts executig with, for spawn operations, their operating system process identifier.

The type for executors.

make ~clock ~rand ~tmp_dir ~feedback ~trash ~jobs with:

• clock, the clock used to timestamp build operations; defaults to B0_std.Os.Mtime.counter ().
• rand random state used for internal queues; defaults to Random.State.make_self_init.
• tmp_dir is a directory for temporary files, it must exist; defaults to B0_std.Os.Dir.default_tmp ().
• feedback a function called with each scheduled operation when it starts executing. Default is a nop.
• trash, the trash used to execute B0_zero.Op.Delete build operations.
• jobs the maximal number of processes spawn simultaneously.

clock e is e's clock.

tmp_dir e is e's temporary directory.

trash e is e's trash.

jobs e is e's maximal number of simultaneous process spawns.

schedule e o schedules o for execution in e. When o starts executing it is given to the feedback callback of e (see make).

collect e ~block removes from e an operation that has completed (if any). If block is false and no completed operation exists, the call returns immediately with None. If block is true and at least one incomplete operation exists in e, the call blocks until an operation completes. If block is true and no operation exists in e None is returned.