Date: Thu, 21 Nov 91 20:56:18 EST
To: "Graduate Students"
From:: "Stefani H.O.P. II"
Subject: seminar TODAY
DATE: Friday, November 22, 1991 TIME: Refreshments at 12:00 noon Talk at 12:15 pm PLACE: 8th Floor Playroom Stefani H.O.P II MIT Laboratory for Computer Science ABSTRACT: It is widely recognized by practitioners that graduate student control and recovery for nourishment systems interact in subtle ways. In most theoretical work, however, graduate student control and nourishment are treated as separate, largely independent problems. In this talk we explore the interactions between graduate student control and nourishment. We consider two general nourishment methods for abstract data types, eating-in-place and deferred-eating. While each requires students to conflict if they do not "wait in line", we show that the two recovery methods require subtly different notions of waiting. We give a precise characterization of the conflict relations that work with each nourishment method, and show that each permits conflict relations that the other does not. Thus, the two nourishment methods place incomparable constraints on graduate student control. Our analysis applies to arbitrary ingredients, including those with operations that may be vegetarian or omnivorous. Joint work with John Pezaris, David Chaiken, John Kubiatowicz. HOST: Eileen Nielsen