| | |
Summary: Seuss: What the Doctor Ordered
Lorenzo Alvisi Rajeev Joshi Calvin Lin Jayadev Misra
Department of Computer Sciences
The University of Texas at Austin
Austin, Texas 78712
Abstract
Reconciling the conflicting goals of simplicity and effi
ciency has traditionally been a major challenge in the de
velopment of concurrent programs. Seuss [16] is a method
ology 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, program
mers can reason about Seuss programs by assuming a sin
gle thread of control; on the other hand, implementation
designers can exploit design knowledge in achieving bet
ter performance. This paper provides a short overview of
the Seuss programming model and describes the main chal
lenges in designing an efficient implementation of Seuss and
in applying Seuss to large applications.
|
