You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Lock primitives (spinlock, mutex, semaphore, rwlock) should all have their is_locked() function.
This could be used in debugging assertions to make sure some golden rules are respected all along the kernel (lots of functions are assuming that some datas are already locked etc.).
Biggest beneficiaries are the vaspace_* functions. They assumes current thread and current virtual address space are both locked as writers. If they aren't, undefined behavior may occur.
The text was updated successfully, but these errors were encountered:
Lock primitives (
spinlock
,mutex
,semaphore
,rwlock
) should all have theiris_locked()
function.This could be used in debugging assertions to make sure some golden rules are respected all along the kernel (lots of functions are assuming that some datas are already locked etc.).
Biggest beneficiaries are the
vaspace_*
functions. They assumes current thread and current virtual address space are both locked as writers. If they aren't, undefined behavior may occur.The text was updated successfully, but these errors were encountered: