@Override public Block getWrite(long id) { synchronized (this) { checkUpdate(GetWrite) ; Long x = id ; add(GetWrite, x) ; activeWriteBlocks.add(x) ; } return blockMgr.getWrite(id) ; }
@Override public Block getWrite(long id) { synchronized (this) { checkUpdate(GetWrite) ; Long x = id ; add(GetWrite, x) ; activeWriteBlocks.add(x) ; } return blockMgr.getWrite(id) ; }
@Override public Block allocate(int blockSize) { Block block ; synchronized (this) { checkUpdate(Alloc) ; block = blockMgr.allocate(blockSize) ; Long id = block.getId() ; activeWriteBlocks.add(id) ; add(Alloc, id) ; } return block ; }
private void writeTracker(Block block) { synchronized (this) { checkUpdate(Write) ; Long id = block.getId() ; add(Write, id) ; if ( !activeWriteBlocks.contains(id) ) error(Write, id + " is not an active write block") ; } }
@Override public Block allocate(int blockSize) { Block block ; synchronized (this) { checkUpdate(Alloc) ; block = blockMgr.allocate(blockSize) ; Long id = block.getId() ; activeWriteBlocks.add(id) ; add(Alloc, id) ; } return block ; }
private void writeTracker(Block block) { synchronized (this) { checkUpdate(Write) ; Long id = block.getId() ; add(Write, id) ; if ( !activeWriteBlocks.contains(id) ) error(Write, id + " is not an active write block") ; } }
@Override public Block promote(Block block) { synchronized (this) { checkUpdate(Promote) ; Long id = block.getId() ; add(Promote, id) ; if ( !activeWriteBlocks.contains(id) && !activeReadBlocks.contains(id) ) error(Promote, id + " is not an active block") ; while ( activeReadBlocks.contains(id) ) activeReadBlocks.remove(id) ; // Double promotion results in only one entry. if ( !activeWriteBlocks.contains(id) ) activeWriteBlocks.add(id) ; } return blockMgr.promote(block) ; }
@Override public Block promote(Block block) { synchronized (this) { checkUpdate(Promote) ; Long id = block.getId() ; add(Promote, id) ; if ( !activeWriteBlocks.contains(id) && !activeReadBlocks.contains(id) ) error(Promote, id + " is not an active block") ; while ( activeReadBlocks.contains(id) ) activeReadBlocks.remove(id) ; // Double promotion results in only one entry. if ( !activeWriteBlocks.contains(id) ) activeWriteBlocks.add(id) ; } return blockMgr.promote(block) ; }
@Override public void free(Block block) { synchronized (this) { checkUpdate(Free) ; Long id = block.getId() ; add(Free, id) ; if ( activeReadBlocks.contains(id) ) warn(Free, id + " is a read block") ; if ( !activeWriteBlocks.contains(id) ) error(Free, id + " is not a write block") ; activeWriteBlocks.remove(id) ; if ( activeWriteBlocks.count(id) != 0 ) warn(Free, id + " has "+activeWriteBlocks.count(id)+" outstanding write registrations") ; } blockMgr.free(block) ; }
@Override public void free(Block block) { synchronized (this) { checkUpdate(Free) ; Long id = block.getId() ; add(Free, id) ; if ( activeReadBlocks.contains(id) ) warn(Free, id + " is a read block") ; if ( !activeWriteBlocks.contains(id) ) error(Free, id + " is not a write block") ; activeWriteBlocks.remove(id) ; if ( activeWriteBlocks.count(id) != 0 ) warn(Free, id + " has "+activeWriteBlocks.count(id)+" outstanding write registrations") ; } blockMgr.free(block) ; }