Operation void
mark (
DataBlock
** b), in Class
ReadBuffer
Documentation
Mark all pages of the datablock
Encapsule the concurreent used data
Protocol
Qualification
Exceptions
Size
Time
Concurrency
Sequential
Export Control
ProtectedAccess
Preconditions
Postconditions
Semantics