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