Next: , Previous: Concurrency, Up: Concurrency

2.2.1 Name access (and deleted-block reclamation)

In order to be able to explicitly know when a block is safe to delete, we insist that a user must get NAME lock on a pointer BEFORE releasing READ/WRITE on the block from which the pointer is obtained. NAME lock is useful for other things, such as