[Haskell24] Cloaca: A Concurrent Hardware Garbage Collector for Non-Strict Functional Languages скачать в хорошем качестве

[Haskell24] Cloaca: A Concurrent Hardware Garbage Collector for Non-Strict Functional Languages

Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional Languages (Video, Haskell 2024) Craig Ramsay and Robert Stewart (Heriot-Watt University, United Kingdom; Heriot-Watt University, United Kingdom) Abstract: Most functional language runtime systems context switch between executing user code and a non-concurrent garbage collector (GC), exposing GC latency to overall wall-clock time. Recent concurrent software-based GCs reduce these latencies, but wall-clock times are instead increased due to their synchronisation and write barrier overheads, by as much as 21%. This GC overhead is exacerbated further for pure non-strict languages like Haskell, due to the abundance of allocations for storing immutable data structures and closures. This paper presents Cloaca, an FPGA-based hardware implementation of a concurrent, hybrid GC for a pure non-strict functional language. It combines mark-and-sweep tracing and one-bit reference counting. It traces live heap data using hardware-level synchronisation and write barriers, without damaging graph reduction performance. To ensure the correctness of Cloaca, three invariants of its Haskell-based implementation are verified with property-based testing. Despite GHC running on an Intel i7 CPU operating at a x25 higher clock frequency than Cloaca; Cloaca takes, on average, 4.1% of GHC's GC wall-clock time across 14 of 15 benchmarks. Article: https://doi.org/10.1145/3677999.3678277 Supplementary archive: https://doi.org/10.17861/68b8a67f-268... (Badges: Artifacts Available) ORCID: https://orcid.org/0000-0002-8198-0746, https://orcid.org/0000-0003-0365-693X Video Tags: High-level language architectures, Functional languages, Memory management, Functional verification, icfpws24haskellmain-p31-p, doi:10.1145/3677999.3678277, doi:10.17861/68b8a67f-2684-47fa-bcec-1f97dcb98446, orcid:0000-0002-8198-0746, orcid:0000-0003-0365-693X, Artifacts Available Presentation at the Haskell 2024 conference, September 6–7, 2024, https://icfp24.sigplan.org/home/haske... Sponsored by ACM SIGPLAN, https://www.sigplan.org/