Article View: comp.lang.functional
Article #111Tech Report
From: Greg Morrisett/Maurice Herlihy
Date: Thu, 30 Jul 1992 16:44
Date: Thu, 30 Jul 1992 16:44
44 lines
2145 bytes
2145 bytes
We would like to announce the availability of the following technical
report. Directions for obtaining the report via anonymous ftp appear
at the end of this message. Note that the report has been published
jointly as Carnegie Mellon Technical Report CMU-CS-92-155 and
Princeton Technical Report 376-92.
A Portable Multiprocessor Interface
for
Standard ML of New Jersey
J. Gregory Morrisett Andrew Tolmach
jgmorris@cs.cmu.edu apt@cs.princeton.edu
ABSTRACT
We have designed a portable interface between shared-memory multiprocessors
and Standard ML of New Jersey. The interface is based on the conventional
kernel thread model and provides facilities that can be used to implement
user-level thread packages. The interface supports experimentation with
different thread scheduling policies and synchronization constructs. It
has been ported to three different multiprocessors and used to construct
a general purpose, user-level thread package. In this paper, we discuss
the interface and its implementation and performance, with emphasis on the
Silicon Graphics 4D/380S multiprocessor.
DIRECTIONS FOR ANONYMOUS FTP:
1) Ftp to reports.adm.cs.cmu.edu (128.2.218.42) as "anonymous".
2) At the password prompt, send your Username@site
(you must include the "@" or the login will fail)
3) Then "cd 1992" (the directory for 1992 technical reports)
4) set file type to binary: "binary"
5) get CMU-CS-92-155.ps
6) When you have finished getting the file, simply "quit."
Greg Morrisett
Andrew Tolmach
Technical Details
Message-ID:
<1992Jul30.164423.2119@crl.dec.com>Path:
arc1-ca.pugleaf.net!sparky!uunet!decwrl!deccrl!news.crl.dec.com!gregShow Full Headers
Complete Article Headers
Newsgroups: comp.lang.functional Path: arc1-ca.pugleaf.net!sparky!uunet!decwrl!deccrl!news.crl.dec.com!greg From: greg@crl.dec.com (Greg Morrisett/Maurice Herlihy) Subject: Tech Report Message-ID: <1992Jul30.164423.2119@crl.dec.com> Keywords: Standard ML, multiprocessor Sender: news@crl.dec.com (USENET News System) Organization: Carnegie Mellon Univ. Date: Thu, 30 Jul 1992 16:44:23 GMT Lines: 44