There may be a bug in your code in heapfile.java

[Handora]

Here is the case that you write a new page through insertTuple, you just write the page into your file through writePage. And if the transaction aborts, the page will be still inserted into your file. I have faced this question too, and don't have a graceful solution.(I just add some clauses)

[Handora]

I come up with an idea, you should put the this.writePage(newPage); before newPage.insertTuple(tuple);. Which left the file to have a new empty page while left the dirty one in the bufferpool. So the rollback can work successfully.

[jasonleaster]

After you finished lab6, you will know that there have recovery and rollback mechanism. That't won't be problem. When transaction abort, a "ABORT" record will be written into "log file" and this file will know how to recovery.

I have updated my solution, check it. TransactionTest of system has been passed and others unit test also works well.