skip to primary navigationskip to content

Department of Computer Science and Technology

Wheeler Lectures

 

Wheeler Lectures

Hints and Principles for Computer System Design

The fourth Wheeler Lecture was given at the Computer Laboratory on Tuesday 26th May, 2015. The speaker was Butler Lampson, Technical Fellow at Microsoft, and Adjunct Professor at the Massachusetts Institute of Technology.

Abstract

I have many hints that can be helpful in designing computer systems, as well as a few principles. Two ways to organize them are:

  • Goals (What you want)—simple, timely, efficient, adaptable, dependable, yummy.
  • Methods (How to get it)—approximate, increment, iterate, indirect, divide and conquer.

Of course the goals are in conflict, and engineering is the art of making tradeoffs. Some simpler oppositions are:

  • For adaptable systems, between evolving and fixed, monolithic and extensible, scalable and bounded.
  • For dependable systems, between reliable and flaky, consistent and eventual.
  • For incremental methods, between indirect and inline, dynamic and static, experiment and plan, discover and prove.

It also helps to choose the right coordinate system, just as center of mass coordinates make many dynamics problems easier. For example, you can view the system state as a name→value map, or as an initial state and a sequence of operations that transform the state. You can view a function as code or as a table or as a sequence of partial functions.

In the complex process of designing systems, both principles and hints can only be justified by examples of what has worked and what has not.

The author’s slides are available.