diff options
Diffstat (limited to 'documentation/bookmark/memory_management')
3 files changed, 13 insertions, 0 deletions
diff --git a/documentation/bookmark/memory_management/borrow.md b/documentation/bookmark/memory_management/borrow.md new file mode 100644 index 000000000..cf9f4bb6c --- /dev/null +++ b/documentation/bookmark/memory_management/borrow.md @@ -0,0 +1,5 @@ +# Reference + +0. []() +0. [Aeneas: Rust Verification by Functional Translation](https://arxiv.org/abs/2206.07185) + diff --git a/documentation/bookmark/memory_management/generational_reference.md b/documentation/bookmark/memory_management/generational_reference.md new file mode 100644 index 000000000..9f29d0417 --- /dev/null +++ b/documentation/bookmark/memory_management/generational_reference.md @@ -0,0 +1,5 @@ +# Reference + +0. []() +0. [Generational References: 2.3x faster than reference counting, unoptimized!](https://verdagon.dev/blog/generational-references) + diff --git a/documentation/bookmark/memory_management/reference_counting.md b/documentation/bookmark/memory_management/reference_counting.md index 7a09fdcf0..024713c2f 100644 --- a/documentation/bookmark/memory_management/reference_counting.md +++ b/documentation/bookmark/memory_management/reference_counting.md @@ -1,4 +1,7 @@ # Reference +0. []() +0. [Implementing the Perceus reference counting GC](https://dev.to/raviqqe/implementing-the-perceus-reference-counting-gc-5662) +0. [Perceus: Garbage Free Reference Counting with Reuse (Extended version)](https://www.microsoft.com/en-us/research/publication/perceus-garbage-free-reference-counting-with-reuse/) 0. [StaticRc](https://github.com/matthieu-m/static-rc) |