Method deleteTuple

src/java/simpledb/storage/BufferPool.java:218–227

Remove the specified tuple from the buffer pool. Will acquire a write lock on the page the tuple is removed from and any other pages that are updated. May block if the lock(s) cannot be acquired. Marks any pages that were dirtied by the operation as dirty by calling their markDirty bit, and adds ve

(TransactionId tid, Tuple t)

     * @param t the tuple to delete
     */
    public  void deleteTuple(TransactionId tid, Tuple t)
        throws DbException, IOException, TransactionAbortedException {
        // some code goes here
        // not necessary for lab1
        DbFile dbFile = Database.getCatalog().getDatabaseFile(t.getRecordId().getPageId().getTableId());
        List<Page> pages = dbFile.deleteTuple(tid,t);
        for(Page page: pages){
            page.markDirty(true,tid);
        }
    }

    /**
     * Flush all dirty pages to disk.