2.9 The FINALIZATION module

drain-finalization-queue

Function

Summary

Calls finalize on every object in the finalization queue.

Signature

drain-finalization-queue () => ()

Arguments

None.

Values

None.

Library

common-extensions

Module

finalization

Description

Calls finalize on each object that is awaiting finalization.

Each call to finalize is made inside whatever dynamic handler environment is present when drain-finalization-queue is called. If the call to drain-finalization-queue is aborted via a non-local exit during a call to finalize, the finalization queue retains all the objects that had been added to it but which had not been passed to finalize.

The order in which objects in the finalization queue will be finalized is not defined. Applications should not make any assumptions about finalization ordering.