Next: Garbage Collection Up: Memory Management Previous: Weak Boxes

# Will Executors

A will executor manages a collection of values and associated will procedures. The will procedure for each value is ready to be executed when the value has been proven (by the automatic memory manager) to be unreachable, except through will executors, weak boxes, weak hash table keys, and custodians.

Calling the `will-execute` or `will-try-execute` procedure executes a will that is ready in the specified will executor.

- `(make-will-executor)` returns a new will executor with no managed values.
- `(will-executor? v)` returns `#t` if v is a will executor, `#f` otherwise.
- `(will-register executor v proc)` registers the value v with the will procedure proc in the will executor executor. When v is proven unreachable, then the procedure proc is ready to be called with v as its argument via `will-execute` or `will-try-execute`.
- `(will-execute executor)` invokes the will procedure for a single ``unreachable'' value registered with the executor executable. The value(s) returned by the will procedure is the result of the `will-execute` call. If no will is ready for immediate execution, `will-execute` blocks until one is ready.
- `(will-try-execute executor)` is like `will-execute` if a will is ready for immediate execution. Otherwise, `#f` is returned.

If a value is registered with multiple wills (in one or multiple executors), the wills are readied in the reverse order of registration. Since readying a will procedure makes the value reachable again, the will must be executed and the value must be proven unreachable once again before another of the wills is readied or executed. However, wills for distinct unreachable values are readied at the same time, regardless of whether the values are reachable from each other.

If the content value of a weak box (and/or a key in a weak hash table) is registered with a will executor, the weak box's content is not changed to `#f` (and/or the weak hash table entry is not removed) until all wills have been executed for the value and the value has been proven unreachable again.

Next: Garbage Collection Up: Memory Management Previous: Weak Boxes