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
The text was updated successfully, but these errors were encountered:
polytypic
changed the title
Consider addng Fiber.self to get the id of current fiber
Consider adding Fiber.self to get the id of current fiber
Aug 24, 2023
A recursive mutex implementation (see here), for example, might want to use the id of a fiber.
A non-recursive mutex implementation could use such an id to detect when a mutex is unlocked by a different fiber than what locked it.
Another use case would be to signal errors in case of recursive forcing of a concurrency-safe implementation of lazy.
The text was updated successfully, but these errors were encountered: