diff options
| author | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
| commit | fb46beb8bd784ba92949bf2c535dc13c2f003ef0 (patch) | |
| tree | 28dbec5e8e6a1307a5aee28772d9aa897349bc57 /documentation/bookmark/memory_management | |
| parent | a384e0c9426d6110fa4c104a1327808a0aff91b0 (diff) | |
De-sigil-ification: suffix : [Part 15]
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) |