package simpledb.buffer; import simpledb.server.SimpleDB; import simpledb.file.*; import java.util.*; public class Hw3BufferTestSols { private static Map buffs = new HashMap(); private static BufferMgr bm; public static void main(String args[]) throws Exception { SimpleDB.init(args[0]); bm = SimpleDB.bufferMgr(); System.out.println(bm); pinBuffer(0); pinBuffer(1); pinBuffer(2); pinBuffer(3); System.out.println(bm); unpinBuffer(0); unpinBuffer(2); System.out.println(bm); pinBuffer(4); pinBuffer(5); unpinBuffer(5); unpinBuffer(4); System.out.println(bm); pinBuffer(6); pinBuffer(7); pinBuffer(8); pinBuffer(9); System.out.println(bm); unpinBuffer(1); unpinBuffer(3); System.out.println(bm); pinBuffer(10); pinBuffer(11); pinBuffer(12); System.out.println(bm); } private static void pinBuffer(int i) { Block blk = new Block("test", i); Buffer buff = bm.pin(blk); buffs.put(blk, buff); } private static void unpinBuffer(int i) { Block blk = new Block("test", i); Buffer buff = buffs.get(blk); bm.unpin(buff); } }