home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.lang.functional
- Path: 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
-
- 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
-