Transactions
A kmem transaction is a transition on a buffer between the allocated and
free states. The allocator can verify that the state of a buffer is valid as part of each
transaction. Additionally, the allocator has facilities for logging transactions for
post-mortem examination.