An Implementation of Disk Objects in the Logical Machine Monitor