home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / parallel / 2850 < prev    next >
Encoding:
Text File  |  1992-12-31  |  8.0 KB  |  199 lines
  1. Newsgroups: comp.parallel
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!gatech!hubcap!fpst
  3. From: greg@cs.arizona.edu (Greg Andrews)
  4. Subject: Re: Info requested on Parasoft Express and SR.
  5. Message-ID: <1992Dec31.183414.14012@hubcap.clemson.edu>
  6. Summary: information on the SR programming language
  7. Sender: fpst@hubcap.clemson.edu (Steve Stevenson)
  8. Organization: U of Arizona CS Dept, Tucson
  9. References: <1992Dec30.212722.24048@hubcap.clemson.edu>
  10. Date: 31 Dec 92 15:24:13 GMT
  11. Approved: parallel@hubcap.clemson.edu
  12. Lines: 185
  13.  
  14.  
  15. In article <1992Dec30.212722.24048@hubcap.clemson.edu>,
  16. sundaram@eng.uiowa.edu (Subbiah Sundaram) writes:
  17.  
  18. > Hi Netters:
  19. > 
  20. > I would like to have some info on Parasoft Express and SR. 
  21. >
  22. > Subbiah.
  23.  
  24.  
  25. Following is the information sheet on SR.
  26.  
  27. A recent addition to the distribution is SRWin, a library of interface
  28. routines for using X-windows from an SR program.  SRWin provides a nice
  29. interface to X-windows, and permits an application to exploit concurrency
  30. and asynchronous event handling.
  31.  
  32. Another recent addition is srlatex, which typesets SR programs.
  33. An event tracing facility will be available soon.
  34.  
  35.  
  36.  
  37.                               SR Information Sheet
  38.                                 August 28, 1992
  39.  
  40. The SR Language
  41.  
  42.    SR (Synchronizing Resources) is a language for writing concurrent programs.
  43. The main language constructs are resources and operations.  Resources encapsu-
  44. late processes and variables they share; operations provide the primary mechan-
  45. ism for process interaction.  SR provides a novel integration of the mechanisms
  46. for invoking and servicing operations.  Consequently, all of local and remote
  47. procedure call, rendezvous, message passing, dynamic process creation, multi-
  48. cast, and semaphores are supported.
  49.  
  50.    New features in Version 2 include shared global variables and operations,
  51. circular imports, real numbers and math functions, formatted I/O, a more general
  52. syntax with fewer special cases, a more robust system with better error check-
  53. ing, true multiprocessing when run on a Sequent Symmetry or Silicon Graphics
  54. Iris, distributed termination detection, and many additional enhancements.
  55.  
  56.    SR is described in The SR Programming Language: Concurrency in Practice, by
  57. Gregory R. Andrews and Ronald A. Olsson, published by Benjamin/Cummings (ISBN
  58. 0-8053-0088-0).  An overview of version 1 of the language and implementation
  59. appeared in the January, 1988, issue of TOPLAS (ACM Transactions on Programming
  60. Languages and Systems 10,1, 51-86).
  61.  
  62.    SR has been used at a number of universities and labs for course work and
  63. research projects involving concurrent programming.  It has been used in con-
  64. current programming courses to reinforce concepts with small programming pro-
  65. jects and with larger projects such as experiments with parallel algorithms,
  66. replicated databases, distributed simulations, and parts of distributed operat-
  67. ing systems such as file systems and command interpreters.  SR has also been
  68. used as a tool in several masters theses and doctoral dissertations to conduct
  69. experiments in parallel and distributed programming and to implement larger sys-
  70. tems such as a system for mixed language programming, one for distributed imple-
  71. mentation of graph algorithms, experiments with load balancing algorithms, and
  72. experiments with upcall program structures.
  73.  
  74.    The latest implementation of SR is version 2.0, released in August, 1992.
  75. Tested platforms include the Sun4, Sun3, DECstation, SGI Iris, HP RISC and
  76. 9000/300, NeXT, and Sequent Symmetry.  Code is also included for the DG AViiON,
  77. IBM RS/6000, DEC VAX, and others.  An SR program runs on one or more networked
  78. machines of the same architecture.
  79.  
  80. Access via FTP
  81.  
  82.    SR is available by anonymous FTP from cs.arizona.edu.  There are two
  83. compressed tar files; be sure to transfer them in binary (image) mode.  The
  84. files are:
  85.  
  86.       /sr/sr.tar.Z: The SR programming language, including source code, documen-
  87.       tation in PostScript and troff form, checkout programs, and examples.
  88.  
  89.       /sr/vs.tar.Z: Extended verification suite, needed only if you're going to
  90.  
  91.       modify the system or port it to a new architecture.
  92.  
  93.    If you pick up a copy of SR by FTP, please send mail to sr-
  94. project@cs.arizona.edu to let us know.  We'll also put you on the INFO-SR mail-
  95. ing list (see below) if you so request.
  96.  
  97.    Electronic mail interfaces to FTP are available at BITFTP@PUCC.BITNET (for
  98. BITNET members) or ftpmail@decwrl.dec.com (for anyone).  For details, send
  99. either server a message with ``help'' in the body.
  100.  
  101. Ordering By Mail
  102.  
  103.    SR is available by mail using the order blank below.  Shipments include the
  104. tar files above plus printed copies of the documentation.  Specify one of these
  105. order codes:
  106.  
  107.      SR-D   Two 1.44 MB 31/2" diskettes, $25.
  108.      SR-T   1/2" magnetic tape, 1600 bpi, $30.
  109.      SR-C   1/4" Sun DC-300 cartridge, $45.
  110.  
  111. Prices include handling and shipping in the United States, Canada, and Mexico.
  112. Shipment to other countries is made by air mail only, for which there is an
  113. additional charge of $10.  UPS and express delivery are available at cost upon
  114. request.
  115.  
  116.    Payment should accompany orders and be made by check, money order, Visa, or
  117. MasterCard.  Remittance must be in U.S. dollars, payable to The University of
  118. Arizona and drawn on a bank with a branch in the United States.  Organizations
  119. that are unable to pre-pay orders may send purchase orders, subject to approval,
  120. but there is a $5 charge for processing such orders.
  121.  
  122. The INFO-SR Mailing List
  123.  
  124.    Mail sent to info-sr@cs.arizona.edu is automatically forwarded to a list of
  125. people interested in SR.  The mailing list is used for language discussions,
  126. announcements of new versions, etc.  To join, send a request including your
  127. email address to info-sr-request@cs.arizona.edu or uunet!arizona!sr-project.
  128.  
  129.  
  130.                                   Order Form
  131. SR Project
  132. Department of Computer Science
  133. Gould-Simpson Building
  134. The University of Arizona
  135. Tucson, Arizona  85721  USA
  136.  
  137. Ordering information: (602) 621-8448
  138.  
  139. FAX orders: (602) 621-4246
  140.  
  141.  
  142.  
  143. name    _______________________________________________________________________
  144.  
  145. address _______________________________________________________________________
  146.  
  147.         _______________________________________________________________________
  148.  
  149. city    _________________________________  state  _____  zipcode  _____________
  150.  
  151. (country)____________________________  telephone  _____________________________
  152.  
  153.  
  154.  qty. code            description                   price         total
  155. _____ _______ ___________________________________ __________ __________________
  156.  
  157.        SR-D     SR on two 1.44 MB 3.5" diskettes    $25.00
  158. _____ _______ ___________________________________ __________ __________________
  159.  
  160.        SR-T     SR on magnetic tape                 $30.00
  161. _____ _______ ___________________________________ __________ __________________
  162.  
  163.        SR-C     SR on Sun cartridge                 $45.00
  164. _____ _______ ___________________________________ __________ __________________
  165.  
  166.  
  167.                                               subtotal  _______________________
  168.  
  169.                         sales tax (Arizona residents*)  _______________________
  170.  
  171.                                 extra shipping charges  _______________________
  172.  
  173.                              purchase-order processing  _______________________
  174.  
  175.                                          other charges  _______________________
  176.  
  177.  
  178.                                                  total  _______________________
  179.  
  180. Make checks payable to The University of Arizona,
  181. or fill out the Credit Card Authorization below.
  182.  
  183. *The sales tax for residents of the city of Tucson is 7%.
  184.  It is 5% for all other residents of Arizona.
  185.  
  186.  
  187.             Credit Card Authorization
  188.  
  189. I hereby authorize the billing of the above order to my credit card.
  190.  
  191. name on card         __________________________________________________________
  192.  
  193. card number          __ __ __ __   __ __ __ __   __ __ __ __   __ __ __ __
  194.  
  195.                      __ Visa   __ MasterCard   expiration date ________________
  196.  
  197. cardholder signature __________________________________________________________
  198.  
  199.