Compiled Item Faulting: A New Technique for Managing I/O in a Persistent Language

摘要

In a persistent language, object I/O is transparent to the programmer. Therefore, some mechanism in the system must cause I/O to occur as the program runs. Compiled Item Faulting (CIF) is a new technique that allows a program to interact efficiently with the runtime storage layer. CIF statically identifies expressions (items) denoting objects that may require I/O at runtime, and it decides points in the program where storage layer calls may be needed. Simple dynamic checks are then used to determine if the calls are actually needed.