Assertion: kernel | /r/HasProperty | nonreentrant functions
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.