Author:
Morrisett J. Gregory,Tolmach Andrew
Abstract
We have built a portable platform for running Standard ML of New Jersey programs on multiprocessors. It can be used to implement user-level thread packages for multiprocessors
within
the ML language with first-class continuations. The platform supports experimentation with different thread scheduling policies and synchronization constructs. it has been used to construct a Modula-3 style thread package and a version of Concurrent ML, and has been ported to three different multiprocessors running variants of Unix. This paper describes the platform's design, implementation, and performance.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A New Backend for Standard ML of New Jersey;IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages;2020-09-02
2. The history of Standard ML;Proceedings of the ACM on Programming Languages;2020-06-12
3. Exploiting parallelism in interactive theorem provers;Lecture Notes in Computer Science;1998
4. Virtual topologies: A new concurrency abstraction for high-level parallel languages;Languages and Compilers for Parallel Computing;1996
5. Higher-order distributed objects;ACM Transactions on Programming Languages and Systems;1995-09