Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Reference Counting Deeply Immutable Data Structures with Cycles

ACM SIGPLAN via YouTube

Overview

Explore an innovative approach to memory management for deeply immutable data structures with cycles in this 19-minute video presentation from the ISMM 2024 conference. Delve into the concept of deep immutability from freeze and discover how reference counting can be efficiently applied to cyclic data structures without sacrificing promptness or determinism in memory reclamation. Learn about a novel algorithm that combines strongly connected components (SCCs) calculation with union-find (UF) to track the liveness of each SCC using a single reference counter. Understand the key observation that allows for precise reachability information without the need for backup mechanisms to detect or handle cycles. Gain insights into building concurrent programs with immutable data structures, making it easier to reason about program correctness.

Syllabus

[ISMM24] Reference Counting Deeply Immutable Data Structures with Cycles

Taught by

ACM SIGPLAN

Reviews

Start your review of Reference Counting Deeply Immutable Data Structures with Cycles

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.