diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-05 20:32:03 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-09-05 20:32:03 -0300 |
| commit | 18e0c91873167c416e5c69a816741a52d4693bf4 (patch) | |
| tree | 65e8e77c436a2276eaa629b5942535688dfb8ade /lib/kernel/BranchManager.mli | |
| parent | 441f2f3359d6f59e4f26f1d5751926d26b1c7cf9 (diff) | |
| download | RNT-18e0c91873167c416e5c69a816741a52d4693bf4.tar.gz RNT-18e0c91873167c416e5c69a816741a52d4693bf4.zip | |
LMDB safe reading through transactions and protecting pointers from GC
* execution doc rewrite based on multi evaluators
* protect lmdb's buffer from ocaml's lifetime
* appropriate comment on Sys.opaque_identity
* transaction ending to prevent harmfull calls to stale pointers
Diffstat (limited to 'lib/kernel/BranchManager.mli')
0 files changed, 0 insertions, 0 deletions