Method flushPage

src/java/simpledb/storage/BufferPool.java:285–301

Flushes a certain page to disk @param pid an ID indicating the page to flush

(PageId pid)

     * @param pid an ID indicating the page to flush
     */
    private synchronized  void flushPage(PageId pid) throws IOException {
        // some code goes here
        // not necessary for lab1
        Page page = buffer.get(pid);

        if(page.isDirty()!=null){
            DbFile dbFile = Database.getCatalog().getDatabaseFile(pid.getTableId());
            try{
                Database.getLogFile().logWrite(page.isDirty(),page.getBeforeImage(),page);
                Database.getLogFile().force();
                page.markDirty(false,null);
                dbFile.writePage(page);
            }catch (IOException e){
                e.printStackTrace();
            }
        }
    }

    /** Write all pages of the specified transaction to disk.
     */