Skip to main content

Module bounded_lock

lean_ctx::server

Module bounded_lock 

Source

Functionsยง

read
Acquire a read lock with an adaptive timeout based on I/O health. Returns None on timeout (caller must provide graceful fallback). Records a freeze event for self-healing if the timeout is hit.
write
Acquire a write lock with an adaptive timeout based on I/O health. Returns None on timeout (caller must provide graceful fallback). Records a freeze event for self-healing if the timeout is hit.