Work Description

Title: Bundled VM artifact to accompany paper entitled SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap

Open Access Deposited
https://creativecommons.org/licenses/by/3.0/
Attribute Value
Abstract
  • A core, but often neglected, aspect of a programming language design is its memory (consistency) model. Sequential consistency~(SC) is the most intuitive memory model for programmers as it guarantees sequential composition of instructions and provides a simple abstraction of shared memory as a single global store with atomic read and writes. Unfortunately, SC is widely considered to be impractical due to its associated performance overheads. Perhaps contrary to popular opinion, this paper demonstrates that SC is achievable with acceptable performance overheads for mainstream languages that minimize mutable shared heap. In particular, we modify the Glasgow Haskell Compiler to insert fences on all writes to shared mutable memory accessed in nonfunctional parts of the program. For a benchmark suite containing 1,279 programs, SC adds a geomean overhead of less than 0.4\% on an x86 machine. The efficiency of SC arises primarily due to the isolation provided by the Haskell type system between purely functional and thread-local imperative computations on the one hand, and imperative computations on the global heap on the other. We show how to use new programming idioms to further reduce the SC overhead; these create a virtuous cycle of less overhead and even stronger semantic guarantees (static data-race freedom).
Description
  • A single ".ova" file encompassing an Ubuntu-based (v. 16.04) virtual machine (VM). This VM is the "artifact" used in the artifact evaluation of the corresponding PPoPP17 paper. It contains the complete software, such as example programs and benchmark programs, necessary to reproduce the results of the paper. Scripts are included in the virtual machine to automatically run benchmarks and compare their results. Download the VM by clicking the link below under "Link(s) to data and video for this item."
Depositor
Citations to related material
Publisher
Resource type
Last modified
  • 06/20/2024
Language
License
Date issued
  • 2017-02
Description sponsorship
  • NSF award 1453508
To Cite this Work:
Bundled VM artifact to accompany paper entitled SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap [Data set]. Indiana University - DataCORE.

Files (Count: 2; Size: 300 Bytes)

Thumbnail Title Original Upload Last Modified File Size Access Actions
SC-Haskell-evaluation-VM-PPoPP17.ova SC-Haskell-evaluation-VM-PPoPP17.ova 2024-07-21 2024-07-21 Open Access
manifest.txt manifest.txt 2024-08-16 2024-08-16 300 Bytes Open Access

Download All Files

Some files in this dataset must be individually downloaded, and will not be included in the zip download:
Files can be downloaded individually in the "Files" panel above.

Best for data sets < 3 GB. Downloads all files plus metadata into a zip file.

Can’t use the file because of accessibility barriers? Contact us