ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Thu 15 Sep 2022 14:30 - 15:00 at Kosovel - Applications Chair(s): Satnam Singh

This paper addresses the problem of accessing external resources from inside transactions in STM Haskell, and for that purpose introduces a new abstraction called Open Transactional Actions (OTAs). OTAs allow the programmer to access resources through IO actions, from inside transactions, and also to register commit and abort handlers: the former are used to make the accesses to resources visible to other transactions at commit time, and the latter to undo changes in the resource if the transaction has to roll back. OTAs, once started, are guaranteed to be executed completely before the hosting transaction can be aborted, guarantying that if a resource is accessed, its respective commit and abort actions will be properly registered. We believe that OTAs could be used by expert programmers to implement useful system libraries and also to give a transactional semantics to fast linearizable data structures, i.e., transactional boosting. As a proof of concept, we present examples that use OTAs to implement transactional file access and transactional boosted ADTs that are faster than pure STM Haskell in most cases.

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

14:00 - 15:30
ApplicationsHaskell at Kosovel
Chair(s): Satnam Singh Groq
14:00
30m
Talk
A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures
Haskell
Gershom Bazerman Arista Networks
14:30
30m
Talk
Open Transactional Actions: Interacting with non-transactional resources in STM Haskell
Haskell
Jonathas Augusto de Oliveira Conceição Universidade Federal de Pelotas, André Rauber Du Bois Universidade Federal de Pelotas, Gerson Cavalheiro Universidade Federal de Pelotas, Samuel Feitosa Universidade Federal da Fronteira Sul, Rodrigo G. Ribeiro Federal University of Ouro Preto
15:00
30m
Talk
Staging Regular Expressions with Moore Cayley Fusion
Haskell
Jamie Willis Imperial College London, Nicolas Wu Imperial College London, Tom Schrijvers KU Leuven