Filters








11 Hits in 2.5 sec

Retrofitting Parallelism onto OCaml [article]

KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
2020 arXiv   pre-print
OCaml is an industrial-strength, multi-paradigm programming language, widely used in industry and academia.  ...  OCaml is also one of the few modern managed system programming languages to lack support for shared memory parallel programming.  ...  development team for their comments on the design of the Multicore OCaml GC.  ... 
arXiv:2004.11663v2 fatcat:be6scb2xtrek7iewll2fcdp5yy

YETI

Mathew Zaleski, Angela Demke Brown, Kevin Stoodley
2007 Proceedings of the 3rd international conference on Virtual execution environments - VEE '07  
Thus the first phase of our research, described in Chapters 4 and 5, was to retrofit SableVM, a Java virtual machine, and ocamlrun, an Ocaml interpreter [12] , to a new hybrid dispatch technique we call  ...  Interpreter Hazards P4/PPC7410 Performance PPC970 time Ocaml Table 5 . 5 4 summarizes the effect of tiny inlining.  ...  Chapter 9 Remaining Work We believe that our research is mostly complete and that we have shown that our efficient interpretation technique is effective and supports a gradual extension to mixed-mode  ... 
doi:10.1145/1254810.1254823 dblp:conf/vee/ZaleskiBS07 fatcat:k4pyhhacyfas5nsns3v7cixhvu

Retrofitting parallelism onto OCaml

KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy, Apollo-University Of Cambridge Repository
2020
OCaml is an industrial-strength, multi-paradigm programming language, widely used in industry and academia.  ...  OCaml is also one of the few modern managed system programming languages to lack support for shared memory parallel programming.  ...  development team for their comments on the design of the Multicore OCaml GC.  ... 
doi:10.17863/cam.56842 fatcat:27u7etdvivh7vbpslghuxka37i

The challenge of cross-language interoperability

David Chisnall
2013 Communications of the ACM  
This is a problem encountered by F#, which is sold as a dialect of OCaml and can integrate with other .NET languages, use classes written in C#, and so on.  ...  When a Smalltalk exception occurs, it invokes a handler block on the top of the stack. This may then return, forcing the stack to unwind, or it may do some cleanup.  ... 
doi:10.1145/2534706.2534719 fatcat:nesadtymszda5fqldf6dzgmomu

Foundations for programming and implementing effect handlers [article]

Daniel Hillerström, University Of Edinburgh, Sam Lindley, John Longley
2022
This thesis is composed of three strands of work in which I develop operational foundations for programming and implementing effect handlers as well as exploring the expressive power of effect handlers  ...  Effect handlers provide a particularly structured approach to programming with first-class control by naming control reifying operations and separating from their handling.  ...  The case study demonstrates how effect handlers provide a high-degree of modularity and flexibility that enable substantial behavioural changes to be retrofitted onto programs without altering the existing  ... 
doi:10.7488/era/2122 fatcat:ectvpju2yfam5k55etg2i3twp4

Dagstuhl Reports, Volume 11, Issue 6, July 2021, Complete Issue [article]

2021
To accommodate budget constraints and other income effects, we instead assume that agents' preferences satisfy net substitutability.  ...  We also discuss how budget constraints and other income effects affect the properties of standard auction and matching procedures, as well as of the set of stable outcomes. Participants  ...  Retrofitting Effect Handlers onto OCaml Sivaramakrishnan Krishnamoorthy Chandrasekaran . . . . . . . . . . . . . . . . . .  ... 
doi:10.4230/dagrep.11.6 fatcat:4ojdxh5mknhx5op4bxxc7ypgna

Transactional Memory, 2nd edition

Tim Harris, James Larus, Ravi Rajwar
2010 Synthesis Lectures on Computer Architecture  
transactional constructs [133; 190; 215] .These handlers can interface transactions to TPMs or other transactional systems and implement compensating actions to revert external side effects.  ...  It is not clear how to map these features onto a lock-based reference implementation.  ... 
doi:10.2200/s00272ed1v01y201006cac011 fatcat:25d3gvp5zrfqlgpzdzknqouofi

Breaking up is hard to do : security and functionality in a commodity hypervisor [article]

Mihir Sudarshan Nanavati
2011
We present Xoar, a modified version of the Xen platform that retrofits the modularity and isolation principles championed by microkernels onto a mature virtualization platform.  ...  Retrofitting such a partitioning scheme onto an existing system entails considerations that would not be factors if designing a new system from the ground up.  ...  Xen's XAPI toolstack is written in OCaml and benefits from the robustness that a statically typed, functional language provides [43] .  ... 
doi:10.14288/1.0052016 fatcat:e2lruq6bwvhifeky4lnz35yvca

Kilim: Isolation-Typed Actors for Java [chapter]

Sriram Srinivasan, Alan Mycroft
Lecture Notes in Computer Science  
It also adds a node at the entry to every catch handler.  ...  The techniques are applicable to any language with pointers and garbage collection, such as C#, Scala and OCaml.  ... 
doi:10.1007/978-3-540-70592-5_6 fatcat:5ev5cbs5arfxtnzcciiink4oua

LIPIcs, Volume 71, SNAPL'17, Complete Volume [article]

Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi
2017
about their OCaml code.  ...  Effectively, a valid implementation should project the given sequential programs onto the distributed system, respecting specified allocation and triggering conditions.  ...  The solution in both papers was to simply drop these principles ( 1 ) and ( 2 ), but it's a fact that ( 1 ) is sound for CBN even in the presence of effects, while ( 2 ) is sound for CBV+effects.  ... 
doi:10.4230/lipics.snapl.2017 fatcat:tmxd6cpxebfbdi6xs3ki5cbgfi

Security through isolation for cloud and mobile

Patrick Colp
2021
When the page fault is generated, Sentry decrypts the page in the context of the page fault handler.  ...  Xen's XAPI toolstack is written in OCaml and benefits from the robustness that a statically typed, functional language provides [120] .  ... 
doi:10.14288/1.0401793 fatcat:aofnehnz2jhbrd6vtfqy7qkcau