gmt@arizona.edu (Gregg Townsend) (03/26/88)
The SR programming language is now available from the University of Arizona
by anonymous FTP or by mail.
SR (Synchronizing Resources) is a language for writing distributed programs.
The main language constructs are resources and operations. Resources
encapsulate processes and variables they share; operations provide the primary
mechanism for process interaction. SR provides a novel integration of the
mechanisms for invoking and servicing operations. Consequently, all of local
and remote procedure call, rendezvous, message passing, dynamic process
creation, multicast, and semaphores are supported. An overview of the
language and implementation appears in the January, 1988, issue of TOPLAS
(ACM Transactions on Programming Languages and Systems 10,1, 51-86).
SR is currently implemented for these machines:
DEC VAX (BSD Unix)
Sun 2 or 3 (Sun Unix)
Encore Multimax (Umax)
An SR program runs on one or more networked machines of the same architecture.
SR is available by anonymous FTP from Arizona.EDU (128.196.6.1 or 192.12.69.1).
SR tar(1) files are available in the sr subdirectory. Be sure to transfer
files in binary (image) mode. The files are:
sr.tar The SR programming language, including source code,
documentation, checkout programs, and examples.
vs.tar Extended verification suite, needed only if you're going to
modify the system or port it to a new architecture.
The same files are also available in compress(1) form as sr.tar.Z and vs.tar.Z.
If you pick up a copy of SR by FTP, please let us know by email to
"sr-project@Arizona.EDU". This address can also be used for any questions or
comments.
SR is available by mail on 1/2" magnetic tape or 1/4" Sun cartridge. For
details and an order blank, contact the SR project at the email address above;
or call (602) 621-2018; or send a letter to:
SR Project
Department of Computer Science
University of Arizona
Tucson, AZ 85721
An electronic mailing list for has been established for discussing SR topics.
You can join by sending your email address to "info-sr-request@Arizona.EDU".
Gregg Townsend / Computer Science Dept / Univ of Arizona / Tucson, AZ 85721
+1 602 621 4325 gmt@Arizona.EDU 110 57 16 W / 32 13 45 N / +758m