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