2.1.4.12.1 Algorithm for Request Processing After an Oplock Breaks
The inputs for this algorithm are:
OpenToRelease: The Open used in the request that caused the oplock to break
Pseudocode for the algorithm is as follows:
The request corresponding to OpenToRelease MUST resume from the point where it broke the oplock (that is, called section 2.1.4.12).