DIRECTORY Basics, IO, Rope; PartitionDefs: CEDAR DEFINITIONS = BEGIN layerNumber: TYPE = [0..39]; stripeNumber: TYPE = [0..255]; InitPartitions: PROCEDURE [FileName: Rope.ROPE]; DestroyPartitions: PROCEDURE RETURNS [fileLength: INT]; SendObjectToPartition: PROCEDURE [ Stripe: stripeNumber, Layer: layerNumber, object: Basics.UnsafeBlock]; ReadPartitionCreate: PROCEDURE [Stripe: stripeNumber, Layer: layerNumber] RETURNS [ s: IO.STREAM]; ReadObject: PUBLIC PROCEDURE [ s: IO.STREAM, object: REF TEXT ]; END. 2PartitionDefs.mesa - September 3, 1979 4:23 PM Changed for more layers - April 7, 1983 10:29 AM Changed by TRS for more layers - December 4, 1980 7:09 PM Last Edited by: McCreight, February 1, 1985 10:56:14 am PST The partition package is used to temporarily store data onto a file. Each data object is associated with a partition. When read, this data is sorted by partition. The partition is specified by Layer and Stripe. Layer is in the range [0..11], Stripe is in [0..255]. This initializes the partition package. The file is the new disk file to be used. This cleans up the partition package when its use is finished. It closes and deletes the temporary file and releases all storage used. Stripe and Layer specify which partition is to be used. This resets the position of the partition to the beginning of the partition so that it can be read. It re-obtains the partition in READ mode. If the partition was never created, it returns FALSE. Reads one object from a stream that was returned by ReadPartitionCreate. Finishes with ERROR IO.EndOfStream. Êt˜J˜Jšœ/™/Jšœ1™1Jšœ:™:Jšœ;™;J˜JšÏk œ œ˜J˜šœœ œ˜"Jš˜JšœD™DJšœA™AJšœA™AJšœB™BJ˜Jšœ œ ˜Jšœœ ˜J˜JšÏnœ œœ˜0Jšœ8™8Jšœ™J˜Jšžœ œœœ˜7JšœB™BJšœD™DJ˜šžœ œ˜"JšœF˜F—Jšœ7™7J˜šžœ œ+˜IJšœœœ˜—JšœK™KJšœF™FJšœ2™2J˜Jšž œœ œœœ œœ˜@Jšœm™mJ˜Jšœ˜J˜J˜——…— °