previousupnext

3.2.5 Constraints and Invariants

The text in the preceding sections ignores the complication of interfering, interlaced list manipulation by concurrent threads.

Fortuitously, if all threads obey the rules for performing list operations, and the program they run under is correct, certain properties of the descriptor list are guaranteed:

In addition to these, an implementation of the algorithm must uphold additional, necessary invariants and constraints: