Perceus
https://koka-lang.github.io/koka/doc/book.html#why-perceus
Perceus is the compiler optimized reference counting technique that Koka uses for automatic memory management.
https://gyazo.com/1787c303e2f62e86db9917fe02e7d10c
CやRustなどは、パフォーマンスが良いが、プログラミングが難しい
OCamlやJavaなどは、GCがあって楽だが、パフォーマンスなどの問題がある
KokaのPerceusはその中間ぐらい
C/C++の性能の2倍以内を目指す
『Reference Counting with Frame Limited Reuse (extended version, v2)』
Anton Lorenzen、Daan Leijen
2021/11
https://www.microsoft.com/en-us/research/publication/reference-counting-with-frame-limited-reuse-extended-version/
functional but in-place (FBIP)という新しいプログラミングパラダイムを実現
『Perceus: Garbage Free Reference Counting with Reuse』
https://www.microsoft.com/en-us/research/uploads/prod/2020/11/perceus-tr-v1.pdf
2021/6
https://keens.github.io/slide/pldironbunyomikai__perceus__garbage_free_reference_counting_with_reuse/
κeen氏のスライド
https://note.com/idein/n/n7dbfef141e1c
https://hackernoon.com/how-to-implement-the-perceus-reference-counting-garbage-collection
@raviqqe
参照カウントGCの改善