Work

Hierarchical memory management for mutable state

Year: 2018

Type: conference-paper

Abstract: It is well known that modern functional programming languages are naturally amenable to parallel programming. Achieving efficient parallelism using functional languages, however, remains difficult. Perhaps the most important reason for this is their lack of support for efficient in-place updates, i.e., mutation, which is important for the implementation of both parallel algorithms and the run-time system services (e.g., schedulers and synchronization primitives) used to execute them.

Source: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

DOI: 10.1145/3178487.3178494

Authors: Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut Acar, Matthew Fluet

Institutions: Carnegie Mellon University, Rochester Institute of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: National Science Foundation, Deutsche Forschungsgemeinschaft

Awards: SHF: Medium: Collaborative Research: Automatic Locality Management for Dynamically Scheduled Parallelism, G1579483517, SHF: Medium: Collaborative Research: Automatic Locality Management for Dynamically Scheduled Parallelism, XPS: FULL: Bridging Parallel and Queueing-Theoretic Scheduling