skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home · events · bactac · 2000-2001 · 

BACTAC - Steinke

ECOT 831

Consistency Model Transitions in Shared Memory
Robert C. Steinke
Grad Student, Department of Computer Science

The traditional assumption about memory is that a read returns the value written by the most recent write. However in multiprocessing environments, the processes independently and simultaneously submit reads and writes resulting in a partial order of memory operations. In this partial order, the definition of most recent may be ambiguous. Memory consistency models were developed to formally specify the values that may be returned by read operations given that memory operations may be only partially ordered. The concept of varying the consistency model of memory has primarily been used for scientific computing. For this class of applications, different programs may require different consistency, but any particular program always requires a single consistency model. The hypothesis of this work is that the abstraction of a shared memory interface with variable consistency is useful for other types of applications. In addition, these applications may want to change consistency at run time. The class of collaboration application will be used as an example of programs that may want to operate under different consistency at different points in their execution. A lattice based framework of consistency models will be presented so that transitions between any two consistency models can be described by a path in the lattice. In addition, a transition theory will be presented specifying the allowable behavior of memory when a single program submits operations under more than one consistency model.

This talk will be a dry run of Bob's thesis defense.

BACTAC, the Beverage And Chips Tuesday Afternoon Colloquium, is a weekly forum run by graduate students. The goal is provide an informal setting in which anyone can (basically) present anything. In the past, we have had practice talks for conferences and job interviews, research reports, juggle lessons (!), student representative reports, internship discussions, an introduction to ergonomics, and "pay attention to this when you are going to look for job" discussions.

BACTAC is meant to be an informal and social event to promote the interaction among graduate students. BACTAC is typically held every Tuesday, at 3:30pm, in room ECOT 831. Free munchies and drinks are provided.

Please email Caleb Phillips for more information or if you want to be a speaker.

See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
Send email to

Engineering Center Office Tower
ECOT 717
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks
May 5, 2012 (13:44)