Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Seuss: What the Doctor Ordered Lorenzo Alvisi Rajeev Joshi Calvin Lin Jayadev Misra
 

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.

  

Source: Alvisi, Lorenzo - Department of Computer Sciences, University of Texas at Austin

 

Collections: Computer Technologies and Information Sciences