home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / sys / sgi / 13015 < prev    next >
Encoding:
Internet Message Format  |  1992-08-29  |  4.3 KB

  1. Xref: sparky comp.sys.sgi:13015 comp.sys.sun.apps:1764 comp.sys.hp:9818 comp.sys.sequent:523 comp.unix.ultrix:6546
  2. Path: sparky!uunet!pmafire!news.dell.com!swrinde!elroy.jpl.nasa.gov!ames!ncar!noao!arizona!gmt
  3. From: gmt@cs.arizona.edu (Gregg Townsend)
  4. Newsgroups: comp.sys.sgi,comp.sys.sun.apps,comp.sys.hp,comp.sys.sequent,comp.unix.ultrix
  5. Subject: Announcing Version 2 of the SR Language
  6. Keywords: concurrent programming language SR
  7. Message-ID: <21241@optima.cs.arizona.edu>
  8. Date: 28 Aug 92 17:30:28 GMT
  9. Followup-To: poster
  10. Organization: U of Arizona CS Dept, Tucson
  11. Lines: 75
  12.  
  13. SR (Synchronizing Resources) is a language for writing concurrent programs.
  14. The main language constructs are resources and operations.  Resources
  15. encapsulate processes and variables they share; operations provide the
  16. primary mechanism for process interaction.  SR provides a novel integration
  17. of the mechanisms for invoking and servicing operations.  Consequently, all
  18. of local and remote procedure call, rendezvous, message passing, dynamic
  19. process creation, multicast, and semaphores are supported.  An overview of
  20. version 1 of the language and implementation appeared in the January, 1988,
  21. issue of TOPLAS (ACM Trans. on Prog. Languages and Systems 10, 1, 51-86).
  22.  
  23. Version 2.0 of SR is now available from The University of Arizona by anonymous
  24. FTP or by mail.  New features include shared global variables and operations,
  25. circular imports, real numbers and math functions, formatted I/O, a more
  26. general syntax with fewer special cases, a more robust system with better
  27. error checking, true multiprocessing when run on a Sequent Symmetry or
  28. Silicon Graphics Iris, distributed termination detection, and many additional
  29. enhancements.  Version 2.0 is significantly improved over the preliminary
  30. version, 2.A, that was released in March.
  31.  
  32. Version 2 is described in detail in the just-published book
  33.  
  34.         Gregory R. Andrews and Ronald A. Olsson
  35.     The SR Programming Language: Concurrency in Practice
  36.         Benjamin/Cummings Publishing Company, 1993
  37.     ISBN 0-8053-0088-0
  38.  
  39. It is tested on Sun4, Sun3, DECstation, SGI Iris, HP RISC and 9000/300, NeXT,
  40. and Sequent Symmetry platforms.  Code is also included for the DG AViiON,
  41. IBM RS/6000, DEC VAX, Encore Multimax, Apollo DN, and others.
  42.  
  43.  
  44. SR has been used at a number of universities and labs for course work and
  45. research projects involving concurrent programming.  It has been used in
  46. concurrent programming courses to reinforce concepts with small programming
  47. projects and with larger projects such as experiments with parallel
  48. algorithms,  replicated databases, distributed simulations, and parts of
  49. distributed operating systems such as file systems and command interpreters.
  50. SR has also been used as a tool in several masters theses and doctoral
  51. dissertations to conduct experiments in parallel and distributed programming
  52. and to implement larger systems such as a system for mixed language
  53. programming, one for distributed implementation of graph algorithms,
  54. experiments with load balancing algorithms, and experiments with upcall
  55. program structures.
  56.  
  57.  
  58. SR is available by anonymous FTP from cs.arizona.edu.  There are two compressed
  59. tar files; be sure to transfer them in binary (image) mode.  The files are:
  60.  
  61.     /sr/sr.tar.Z:  The SR programming language, including source code,
  62.     documentation in PostScript and troff form, checkout programs, and
  63.     examples.
  64.  
  65.     /sr/vs.tar.Z:  The extended verification suite, needed only if you're
  66.     going to modify the system or port it to a new architecture.
  67.  
  68. Electronic mail interfaces to FTP are available at BITFTP@PUCC.BITNET (for
  69. BITNET members) or ftpmail@decwrl.dec.com (for anyone).  For details, send
  70. either server a message with ``help'' in the body.
  71.  
  72. If you pick up SR by FTP, please send mail to sr-project@cs.arizona.edu to let
  73. us know.  We'll also put you on the INFO-SR mailing list (see below) if you so
  74. request.
  75.  
  76. SR is also available by mail on tape, Sun cartridge, or two 1.44 MB diskettes.
  77. For details and an order blank, contact the SR project at the email address
  78. above, or call (602) 621-8448, or send a FAX to (602) 621-4246, or write to:
  79.  
  80.     SR Project
  81.     Department of Computer Science
  82.     University of Arizona
  83.     Tucson, AZ  85721
  84.  
  85. An electronic mailing list is in place for discussing SR topics.  You can
  86. join by sending your email address to info-sr-request@cs.arizona.edu or
  87. uunet!arizona!sr-project.
  88.