From fb46beb8bd784ba92949bf2c535dc13c2f003ef0 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 25 Jun 2022 20:24:43 -0400 Subject: De-sigil-ification: suffix : [Part 15] --- documentation/bookmark/memory_management/borrow.md | 5 +++++ documentation/bookmark/memory_management/generational_reference.md | 5 +++++ documentation/bookmark/memory_management/reference_counting.md | 3 +++ 3 files changed, 13 insertions(+) create mode 100644 documentation/bookmark/memory_management/borrow.md create mode 100644 documentation/bookmark/memory_management/generational_reference.md (limited to 'documentation/bookmark/memory_management') 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) -- cgit v1.2.3