SR (1437/sr:001)

 Icon

Synchronizing Resources - concurrent programming language  

Synchronizing Resources. A language for concurrent programming. A 'resource' is the encapsulation of a process and its variables, and can be separately compiled. Supports local and remote procedure call, rendezvous, message passing, multicast, dynamic process creation, semaphores, and shared memory.

(Synchronizing Resources) is a language for writing concurrent programs. The main language constructs are resources and operations. Resources encapsulate processes and variables they share, operations provide the primary mechanism for process interaction. SR provides a novel integration of the mechanisms for invoking and servicing operations. Consequently, all of local and remote procedure calls, rendevous, message passing, dynamic process creation, multicast, and semaphores are supported. SR also supports shared global variables and operations.
Places
Structures:
Related languages
Ada 83 => SR   Influence
Concurrent C => SR   Influence
Modula-2 => SR   Influence
Occam 2 => SR   Influence
SR => Argus   Influence
SR => CSSA   Influence
SR => JR   Adaptation of
SR => MPD   Evolution of
SR => SuccessoR   Extension of
References:
  • Andrews, G.R. "Synchronizing resources" pp405-430 view details
          in TOPLAS 3(4) Oct 1981 view details
  • Andrews, G.R. "The distributed programming language SR—mechanisms, design and implementation" view details
          in Software — Practice and Experience 12(08) August 1982 view details
  • Olsson, R.A. et al, "SuccessoR: Refinements to SR", TR 84-3, U Arizona 1984. view details
          in Software — Practice and Experience 12(08) August 1982 view details
  • Steve Hartley "Operating Systems Programming: The SR Programming Language". OUP 1985 view details

          in Software — Practice and Experience 12(08) August 1982 view details
  • Andrews, G.R., and Olsson, R.A. "The evolution of the SR language" pp133-149 view details
          in Distributed Computing 1(3) July 1986 view details
  • Olsson, R.A. Issues in Distributed Programming Languages: The Evolution of SR. TR 86-21 (Ph.D. Dissertation), Dept. of Computer Science, The University of Arizona, August 1986. view details
          in Distributed Computing 1(3) July 1986 view details
  • Andrews, G. "An Overview of the SR Language and Implementation", view details
          in Distributed Computing 1(3) July 1986 view details
  • Atkins, M.S., and Olsson, R.A. Performance of multitasking and synchronization mechanisms in the programming language SR. view details
          in Software — Practice and Experience 18(09) September 1988 view details
  • Coffin, M. and R. A. Olsson "An SR approach to multiway rendezvous" view details
          in Computer Languages 14(4) view details
  • McNamee, C.M., and Olsson, R.A. "An attribute grammar approach to compiler optimization of intramodule interprocess communication" CSE-89-11, Div. of Computer Science, The University of California, Davis, 1989 view details
          in Computer Languages 14(4) view details
  • Huang, D. T. and R. A. Olsson "An exception handling mechanism for SR" view details
          in Computer Languages 15(1) view details
  • McNamee, C.M., and Olsson, R.A. Transformations for optimizing interprocess communication and synchronization mechanisms. International Journal of Parallel Programming 19, 5 (Oct. 1990) pages 357- 387. view details
          in Computer Languages 15(1) view details
  • Andrews, G.R. Concurrent Programming: Principles and Practice. Benjamin/Cummings Publishing Company, 1991. view details

          in Computer Languages 15(1) view details
  • Olsson, R.A., and McNamee, C.M. An overview of compiler optimization of interprocess communication and synchronization mechanisms. Proceedings of the 1991 International Conference on Parallel Processing, St. Charles, IL, II-31 to II-35, August 12-17, 1991. view details
          in Computer Languages 15(1) view details
  • Andrews, G.R. et al, "The SR Programming Language: Concurrency in Practice", Benjamin/Cummings 1993, ISBN 0-8053-0088-0. view details

          in Computer Languages 15(1) view details
  • Hartley, Stephen J. "Integrating XTANGO's animator into the SR concurrent programming language" ACM SIGGRAPH Computer Graphics 29(4) November 1995 pp67-70 view details Abstract: XTANGO's animation interpreter program, animator, has been very useful as a tool for animating concurrent programs written for an operating systems or concurrent programming class. Additional print statements can be added to a program and the output of the program can be read by the animation interpreter. The resulting algorithm animation will appear in a new window on the user's workstation running X-windows. SR is a concurrent programming language that can be used by students in an operating systems or concurrent programming class.This paper describes integrating XTANGO's animation interpreter into SR so that procedure calls can be made directly to the animation code, rather than generating an intermediate output file or piping the SR program's output to the animator program. Two new animation commands, stepjump and stepjumpto, were added so that more that one object can be moving at a time in the XTANGO window.Algorithm animation using SR is now even easier. An example SR program is included. DOI
          in Computer Languages 15(1) view details
  • Skillicorn, David B. and Talia, Domenico "Models and languages for parallel computation" pp123-169 view details
          in [ACM] ACM Computing Surveys (CSUR) 30(2) June 1998 view details
  • Philippsen, Michael "A survey of concurrent object-oriented languages" pp917-980 view details
          in Concurrency: Practice and Experience 2000 v12 view details
    Resources