Worth calling out that the introduction of multiple locks can lead to deadlocks etc. It would actually make for a nice library to have lock acquisition decoupl

Worth calling out that the introduction of multiple locks can lead to deadlocks etc. It would actually make for a nice library to have lock acquisition decoupled from lock scope in the caller. Eg every call to lock acquire passes some identifier, and the lock implementation decides what it will do with that identifier eg global lock, scoped lock etc