Assertion: kernel's function | /r/HasProperty | nonreentrant
Facets:
Source sentences:
text: Instead, the kernel can include nonreentrant functions and use locking mechanisms to ensure that only one process can execute a nonreentrant function at a time.