ComputeRange takes a positive file offset and computes the start of a LockRange using start (relative to offset) and the end of the LockRange using length.

segmentAfterPosition returns the successor segment of the position given by n.children[i], which may or may not contain a child.

segmentBeforePosition returns the predecessor segment of the position given by n.children[i], which may or may not contain a child.

LockEOF is the maximal possible end of a regional file lock.

minDegree is the minimum degree of an internal node in a Set B-tree.

trackGaps is an optional parameter.

ReadLock describes a POSIX regional file lock to be taken read only.

WriteLock describes a POSIX regional file lock to be taken write only.

Lock is a regional file lock.

A GapIterator is conceptually one of: - A pointer to a position between two segments, before the first segment, or after the last segment in a set, called a *gap*; or - A terminal iterator, which is a sentinel indicating that the end of iteration has been reached.

A Iterator is conceptually one of: - A pointer to a segment in a set; or - A terminal iterator, which is a sentinel indicating that the end of iteration has been reached.

+stateify savable.

A Range represents a contiguous range of T.

Locks is a thread-safe wrapper around a LockSet.

SegmentDataSlices represents segments from a set as slices of start, end, and values.

A Set is a mapping of segments with non-overlapping Range keys.

OwnerInfo describes the owner of a lock.

dynamicGap is a type that disappears if trackGaps is 0.

LockType is a type of regional file lock.

UniqueID is a unique identifier of the holder of a regional file lock.