DIRECTORY;GGStoragePools: CEDAR DEFINITIONS =BEGINMakeStorageProc: TYPE = PROC [pool: StoragePool];AllocateProc: TYPE = PROC [pool: StoragePool]  RETURNS [item: REF ANY];FreeProc: TYPE = PROC [pool: StoragePool, item: REF ANY];StoragePoolClass: TYPE = REF StoragePoolClassObj;StoragePoolClassObj: TYPE = RECORD [name: ATOM,allocate: AllocateProc,free: FreeProc];StoragePool: TYPE = REF StoragePoolObj;StoragePoolObj: TYPE = MONITORED RECORD [class: StoragePoolClass,data: REF ANY];CreateClass: PROC [name: ATOM, allocate: AllocateProc, free: FreeProc] RETURNS [class: StoragePoolClass];CreatePool: PROC [class: StoragePoolClass, makeStorage: MakeStorageProc] RETURNS [pool: StoragePool];Allocate: PROC [pool: StoragePool] RETURNS [item: REF ANY];Free: PROC [pool: StoragePool, item: REF ANY];END.  Ú  GGStoragePools.mesaContents:  Routines for maintaining various storage pools and synchronizing their use.  Synchronization is the main reason for the existence of this module.  It provides a MONITOR lock for each storage pool.Copyright c 1988 by Xerox Corporation.  All rights reserved.Bier, June 5, 1987 2:02:43 pm PDTallocate is called by Allocate.  It returns one REF from the pool to the caller.  allocate is also a good place to initialize fields in the REF.  free is called by Free.  It allows the caller to return one REF to the pool, when the caller is done with it.Creates a new pool and allows makeStorage to allocate some number of REFs to serve as the pool contents.calls pool.allocate.calls pool.free.Ê¼  ˜ J˜ Icodešœ™šÏnœ¤Ïkœ™ÏKšœ
Ïmœ1™<Kšœž™!—K™ šž	˜	Kšœ˜—K˜ Kšœžœžœ˜#Kšž˜K˜ Kšœžœžœ˜1Kšœžœžœžœžœžœ˜GKš	œ
žœžœžœžœ˜9K˜ Kšœžœžœ˜1šœžœžœ˜$Kšœžœ˜K˜K˜K˜—K˜ Kšœžœžœ˜'šœžœžœ˜)K˜Kšœžœž˜K˜K˜ —šœžœžœ*žœ˜iKšœÿ™ÿK˜ —š
œžœ9žœ˜eKšœh™hK™ —š
œžœžœžœžœ˜;Kšœ™—šœžœžœžœ˜.Kšœ™—K˜ Kšžœ˜K˜ J˜ — …—    >  Ô  