src/directory.cc
/*
 * intermediate state
 * in transition from dirty/shared to unshared
 * WRITE Case 1 (shared to unshared), WRITE Case 2 (dirty to unshared)
 */
intermediate state
in transition from dirty/shared to unshared
WRITE Case 1 (shared to unshared), WRITE Case 2 (dirty to unshared)
intermediate state in transition from dirty / shared to unshared WRITE Case 1 ( shared to unshared ) WRITE Case 2 ( dirty to unshared )
void Directory::ToToUnShared(void* ptr) {
  ptr_t block = TOBLOCK(ptr);
  epicAssert((ptr_t )ptr == block);
  DirEntry* entry = GetEntry(block);
  ToToUnShared(entry);
}
void Directory :: ToToUnShared ( void * ptr ) { ptr_t block = TOBLOCK ( ptr ) ; epicAssert ( ( ptr_t ) ptr == block ) ; DirEntry * entry = GetEntry ( block ) ; ToToUnShared ( entry ) ; }
intermediate state
 in transition from dirty/shared to unshared
 WRITE Case 1 (shared to unshared), WRITE Case 2 (dirty to unshared)
intermediate state in transition from dirty / shared to unshared WRITE Case 1 ( shared to unshared ) WRITE Case 2 ( dirty to unshared )