From: greg@cs.arizona.edu (Greg Andrews)
Subject: Re: Info requested on Parasoft Express and SR.
Summary: information on the SR programming language
Organization: U of Arizona CS Dept, Tucson
Date: 31 Dec 92 15:24:13 GMT


In article <1992Dec30.212722.24048@hubcap.clemson.edu>,
sundaram@eng.uiowa.edu (Subbiah Sundaram) writes:

> Hi Netters:
> 
> I would like to have some info on Parasoft Express and SR. 
>
> Subbiah.


Following is the information sheet on SR.

A recent addition to the distribution is SRWin, a library of interface
routines for using X-windows from an SR program.  SRWin provides a nice
interface to X-windows, and permits an application to exploit concurrency
and asynchronous event handling.

Another recent addition is srlatex, which typesets SR programs.
An event tracing facility will be available soon.



                              SR Information Sheet
                                August 28, 1992

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.

   New features in Version 2 include shared global variables and operations,
circular imports, real numbers and math functions, formatted I/O, a more general
syntax with fewer special cases, a more robust system with better error check-
ing, true multiprocessing when run on a Sequent Symmetry or Silicon Graphics
Iris, distributed termination detection, and many additional enhancements.

   SR is described in The SR Programming Language: Concurrency in Practice, by
Gregory R. Andrews and Ronald A. Olsson, published by Benjamin/Cummings (ISBN
0-8053-0088-0).  An overview of version 1 of the language and implementation
appeared in the January, 1988, issue of TOPLAS (ACM Transactions on Programming
Languages and Systems 10,1, 51-86).

   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.

   The latest implementation of SR is version 2.0, released in August, 1992.
Tested platforms include the Sun4, Sun3, DECstation, SGI Iris, HP RISC and
9000/300, NeXT, and Sequent Symmetry.  Code is also included for the DG AViiON,
IBM RS/6000, DEC VAX, and others.  An SR program runs on one or more networked
machines of the same architecture.

Access via FTP

   SR is available by 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, 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.

   If you pick up a copy of SR by FTP, please send mail to sr-
project@cs.arizona.edu to let us know.  We'll also put you on the INFO-SR mail-
ing list (see below) if you so request.

   Electronic mail interfaces to FTP are available at BITFTP@PUCC.BITNET (for
BITNET members) or ftpmail@decwrl.dec.com (for anyone).  For details, send
either server a message with ``help'' in the body.

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.  Specify one of these
order codes:

     SR-D   Two 1.44 MB 31/2" diskettes, $25.
     SR-T   1/2" magnetic tape, 1600 bpi, $30.
     SR-C   1/4" Sun DC-300 cartridge, $45.

Prices include handling and shipping 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.  UPS and express delivery are available at cost upon
request.

   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 info-sr@cs.arizona.edu 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
email address to info-sr-request@cs.arizona.edu or uunet!arizona!sr-project.


                                  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 magnetic tape                 $30.00
_____ _______ ___________________________________ __________ __________________

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


                                              subtotal  _______________________

                        sales tax (Arizona residents*)  _______________________

                                extra shipping charges  _______________________

                             purchase-order processing  _______________________

                                         other charges  _______________________


                                                 total  _______________________

Make checks payable to The University of Arizona,
or fill out the Credit Card Authorization below.

*The sales tax for residents of the city of Tucson is 7%.
 It is 5% for all other residents of Arizona.


			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 __________________________________________________________

Newsgroups: comp.parallel