Title :
Seuss: what the doctor ordered
Author :
Alvisi, Lorenzo ; Joshi, Rajeev ; Lin, Calvin ; Misra, Jayadev
Author_Institution :
Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
Abstract :
Reconciling the conflicting goals of simplicity and efficiency has traditionally been a major challenge in the development of concurrent programs. Seuss (see J. Misra, ftp://ftp.cs.utexas.edu/pub/psp/seuss/discipline.ps.Z) is a methodology for concurrent programming that attempts to achieve the right balance between these competing concerns. The goal of Seuss is to permit a disentanglement of the issues of correctness and efficiency. On the one hand, programmers can reason about Seuss programs by assuming a single thread of control; on the other hand, implementation designers can exploit design knowledge in achieving better performance. This paper provides a short overview of the Seuss programming model and describes the main challenges in designing an efficient implementation of Seuss and in applying Seuss to large applications
Keywords :
parallel programming; program verification; programming environments; Seuss; Seuss programming model; concurrent programming; correctness; design knowledge; distributed programming; efficiency; program development; reasoning about Seuss programs; thread of control; Cloning; Object oriented modeling; Programming profession; Terminology; Yarn;
Conference_Titel :
Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on
Conference_Location :
Boston, MA
Print_ISBN :
0-8186-8043-1
DOI :
10.1109/PDSE.1997.596848