Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Stack-Copying Delimited Continuations for Scala Native
 
conference paper

Stack-Copying Delimited Continuations for Scala Native

Pham, Cao Nguyen  
•
Odersky, Martin  
Racordon, Dimi
•
Zendra, Olivier
September 13, 2024
ICOOOLPS 2024 - Proceedings of the 19th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems, Co-located with: ISSTA 2024
19 ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems

Scala, an industrial-strength functional and object-oriented programming language, is in need for an ergonomic approach to asynchronous programming. Project Loom provides direct-style concurrency to Scala on the JVM, which leaves its low-footprint high-performance backend Scala Native looking for an equivalent mechanism. We present a design and implementation of delimited continuations, a powerful control flow mechanism that provides the fundamental building block for direct-style concurrent and effectful programming, in Scala Native. Our implementation aims to preserve the unique advantages of the Native target: zero-cost C interoperability, runtime modularity and debugger compatibility. Through a detailed discussion of the implementation, we show that despite the limitations with stack address stability, it meets all the requirements of Scala Native while exhibiting comparable performance to our JVM counterpart.

  • Details
  • Metrics
Type
conference paper
DOI
10.1145/3679005.3685979
Scopus ID

2-s2.0-85207074429

Author(s)
Pham, Cao Nguyen  

École Polytechnique Fédérale de Lausanne

Odersky, Martin  

École Polytechnique Fédérale de Lausanne

Editors
Racordon, Dimi
•
Zendra, Olivier
Date Issued

2024-09-13

Publisher

Association for Computing Machinery, Inc

Published in
ICOOOLPS 2024 - Proceedings of the 19th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems, Co-located with: ISSTA 2024
ISBN of the book

9798400711169

Start page

2

End page

13

Subjects

Concurrency

•

Delimited Control

•

Effect Handlers

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LAMP1  
Event nameEvent acronymEvent placeEvent date
19 ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems

Vienna, Austria

2024-09-20 - 2024-09-20

FunderFunding(s)Grant NumberGrant URL

Chonnam National University

Swiss National Science Foundation

FNSNF

TMAG-2_209506/1

Available on Infoscience
January 26, 2025
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/244708
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés