From Erights

Jump to: navigation, search

DeepFrozen is a guard and auditor for the property that a reference is transitively immutable: the authority granted by that reference does not include any observable side effects.

Most E implementations provide the DeepFrozen guard, but the DeepFrozen auditor has as yet only been implemented in E-on-CL, as it is the only implementation yet providing the guard-based auditing facility.

This page is a stub; it should be expanded with more information. If doing so, check the original E web site and the mailing list archives for content which could be moved into this page.


EventuallyDeepFrozen is a variant of the DeepFrozen auditor provided by E-on-CL. Instead of requiring at audit time that the object audited is shown to be immutable, the object is written to be selectively transparent to the DeepFrozen system. Then when the DeepFrozen guard is applied to the object, it recursively examines the object's internal references (through the transparency), just as it would for an ordinary Transparent object, to determine if the object is now DeepFrozen.

Personal tools
more tools