Trestle tutorial

69Trestle TutorialMark S. Manasse and Greg NelsonMay 1, 1992Systems Research Center130 Lytton AvenuePalo Alto, California 94301Systems Research CenterThe charter of SRC is to advance both the state of knowledge and the state of theart in computer systems. From our establishment in 1984, we have performed ba sic and applied research to support Digital’s business objectives. Our current workincludes exploring distributed personal computing on multiple platforms, network ing, programming technology, system modelling and management techniques, andselected applications.Our strategy is to test the technical and practical value of our ideas by building hard ware and software prototypes and using them as daily tools. Interesting systems aretoo complex to be evaluated solely in the abstract; extended use allows us to investi gate their properties in depth, This experience is useful in the short term in refiningour designs, and invaluable in the long term in advancing our knowledge. Most ofthe major advances in information systems have come through this strategy, includ ing personal computing, distributed systems, and the Internet.We also perform complementary work of a more mathematical flavor. Some of itis in established fields of theoretical computer science, such as the analysis of algo rithms, computational geometry, and logics of programming. Other work exploresnew ground motivated by problems that arise in our systems research.We have a strong ...