Subject: SR ported to Linux
From: [email-masked]
Date: 2 Jan 1994 18:03:31 +0200
Newsgroups: comp.os.linux.announce

The the concurrent programming language, SR (version 2.2.1), is now 
available for Linux.  The support for Linux has been integrated into 
the standard distribution from the University of Arizona (cs.arizona.edu).

Here is the information sheet for SR:

                              SR Information Sheet
                                August 30, 1993

The SR Language

   SR (Synchronizing Resources) is a language for writing concurrent programs.
The main language constructs are resources and operations.  Resources encapsu-
late processes and variables they share; operations provide the primary mechan-
ism 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, multi-
cast, and semaphores are supported.  SR also supports shared global variables
and operations.

   SR has been used at a number of universities and labs for course work and
research projects involving concurrent programming.  It has been used in con-
current programming courses to reinforce concepts with small programming pro-
jects and with larger projects such as experiments with parallel algorithms,
replicated databases, distributed simulations, and parts of distributed operat-
ing systems such as file systems and command interpreters.  SR has also been
used as a tool in several masters theses and doctoral dissertations to conduct
experiments in parallel and distributed programming and to implement larger sys-
tems such as a system for mixed language programming, one for distributed imple-
mentation of graph algorithms, experiments with load balancing algorithms, and
experiments with upcall program structures.

Documentation

   SR is described in The SR Programming Language: Concurrency in Practice, by
Gregory R. Andrews and Ronald A. Olsson (Benjamin/Cummings, 1993, ISBN 0-8053-
0088-0).  An overview of version 1 of the language and implementation appeared
in the January, 1988, issue of ACM TOPLAS (10,1, 51-86).  Information about con-
current programming in general can be found in Concurrent Programming: Princi-
ples and Practice, by Gregory R. Andrews (Benjamin/Cummings, 1991, ISBN 0-8053-
0086-4).  These books can be ordered through your local bookstore or by
telephoning 1-800-950-2665 or 1-415-594-4400.

The Implementation

   An SR program runs on one or more networked machines of the same architec-
ture.  True multiprocessing is supported on the SGI Iris and Sequent Symmetry,
and on Sun systems running Solaris 2.2; multiprocessing is simulated on the
other supported platforms, which include the Sun (SunOS 4.x), DECstation, and HP
RISC.  Code is also included for the IBM RS/6000, DG AViiON, VAX, and others.
To allow additional hands-on experience, three preprocessors convert notations
for CCRs, monitors, and CSP into SR code.

   The latest implementation of SR is version 2.2, released in August, 1993.
Version 2.2 adds dynamic operations, input from capabilities, MultiSR for
Solaris, and the ability of srm to handle programs that use SRWin.

SR2.2-INFO                      August 30, 1993

Obtaining SR Electronically

   SR is available by e-mail or anonymous FTP from cs.arizona.edu.  There are
two compressed tar files; be sure to transfer them in binary (image) mode.  The
files are:

      /sr/sr.tar.Z: The SR programming language, including source code, documen-
      tation in PostScript and troff form, associated tools and libraries,
      checkout programs, and examples.

      /sr/vs.tar.Z: Extended verification suite, needed only if you're going to
      modify the system or port it to a new architecture.

   For details about e-mail access, send a message saying "help" to
[email-masked].

   If you pick up a copy of SR electronically, please send mail to sr-
[email-masked] to let us know.  We'll also put you on the INFO-SR mail-
ing list (see below) if you so request.

Ordering By Mail

   SR is available by mail using the order blank below.  Shipments include the
tar files above plus printed copies of the documentation.  Prices include ship-
ping in the United States, Canada, and Mexico.  Shipment to other countries is
made by air mail only, for which there is an additional charge of $10.

   Payment should accompany orders and be made by check, money order, Visa, or
MasterCard.  Remittance must be in U.S. dollars, payable to The University of
Arizona and drawn on a bank with a branch in the United States.  Organizations
that are unable to pre-pay orders may send purchase orders, subject to approval,
but there is a $5 charge for processing such orders.

The INFO-SR Mailing List

   Mail sent to [email-masked] is automatically forwarded to a list of
people interested in SR.  The mailing list is used for language discussions,
announcements of new versions, etc.  To join, send a request including your e-
mail address to [email-masked] or uunet!arizona!sr-project.

SR2.2-INFO                      August 30, 1993


                                  Order Form

SR Project
Department of Computer Science
Gould-Simpson Building
The University of Arizona
Tucson, Arizona  85721  USA

Ordering information: (602) 621-8448

FAX orders: (602) 621-4246

name    _______________________________________________________________________

address _______________________________________________________________________

        _______________________________________________________________________

city    _________________________________  state  _____  zipcode  _____________

(country)____________________________  telephone  _____________________________

 qty.  code            description                   price         total
_____ _______ ___________________________________ __________ __________________

       SR-D     SR on two 1.44 MB 3.5" diskettes    $25.00
_____ _______ ___________________________________ __________ __________________

       SR-T     SR on .5" magnetic tape             $30.00
_____ _______ ___________________________________ __________ __________________

       SR-C     SR on Sun QIC-11 cartridge          $45.00
_____ _______ ___________________________________ __________ __________________

                                              subtotal  _______________________

    sales tax (Tucson residents 7%, other Arizonans 5%) _______________________

                                extra shipping charges  _______________________

                             purchase-order processing  _______________________

                                         other charges  _______________________
Make checks payable to the
University of Arizona, or fill
out the Credit Card Authorization below.         total  _______________________

			Credit Card Authorization

I hereby authorize the billing of the above order to my credit card.

name on card         __________________________________________________________

card number          __ __ __ __   __ __ __ __   __ __ __ __   __ __ __ __

                     __ Visa   __ MasterCard   expiration date ________________

cardholder signature __________________________________________________________

--
Mail submissions for comp.os.linux.announce to: [email-masked]
PLEASE remember Keywords: and a short description of the software.