Koon Wen Lee comments

Repositories
Issues
Comments

Results 2 comments of


                                            Koon Wen Lee

Lock-based Skiplist implementation

So I've used `batteries` just for the Re-entrant Mutex because it's not available in the Stdlib. I had a look into how it's implemented there and seems like it could...

Lock-based Skiplist implementation

Owing to the sharp observation by @polytypic that the current implementation of the Re-entrant Mutex [is incompatible](https://github.com/ocaml-multicore/saturn/pull/90#discussion_r1278890716) with effect-based schedulers and no straightforward solution exists yet. Should we close this...