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