Assertion: latch | /r/CapableOf | use nowait function
Facets:
Source sentences:
text: Once a process acquires a latch at a certain level, it cannot then acquire another latch at a level that is equal or less than that level unless the latch uses the nowait function.