ykt@virgo.csl.sony.co.jp (Yasuhiko Yokote) (04/16/91)
KARUIZAWA91
AN ADVANCED COURSE ON DISTRIBUTED SYSTEMS
JUNE 9 - JUNE 16, 1991
Sponsored by
Japan Society for Software Science and Technology
Lecturers:
Prof. "Ozalp Babaoglu, Universita di Bologna
Dr. Butler W. Lampson, Digital Equipment Corporation
Prof. Sape J. Mullender, Universiteit Twente
Prof. Roger M. Needham, Cambridge University
Prof. Mahadev Satyanarayanan, Carnegie Mellon University
Prof. Fred B. Schneider, Cornell University
Dr. Michael D. Schroeder, Digital Equipment Corporation
Prof. Mario Tokoro, Keio University/Sony Computer Science Laboratory Inc.
Prof. Sam Toueg, Cornell University
Prof. William E. Weihl, MIT Laboratory for Computer Science
An Advanced Course on Distributed Systems
Objective
Karuizawa91 is the fourth offering of the Advanced Course on Distributed
Systems. The three previous offering were held in Tromso, Norway (Arctic88),
Ithaca, New York (Fingerlakes89), and Bologna, Italy (Bologna90). The objective
of the course is to familiarize practitioners and researchers with key issues
in distributed systems. The lectures will discuss the fundamental problems of
the area, review known solutions and paradigms, and show how to apply known
theoretical results to the design of practical systems. Karuizawa91 lecturers
are internationally-known researchers whose interests and experiences span the
full range of distributed computing.
Format
The course will be organized as a series of daily lectures with several
discussion sections. The discussions will permit small groups of attendees to
interact directly with lecturers, either to focus on issues that arise during
the lectures or to pursue other topics of interest to the group. Attendees are
assumed to have a familiarity with basic operating systems concepts.
Course Outline
Introduction
Why distributed systems? (Schroeder)
Motivation, requirements, goals, advantages, limitations (Schroeder)
Fundamental Concepts
Ordering of events, causality, logical clocks (Babaoglu)
Stable states, consistent cuts, distributed snapshots (Toueg)
Communication
Interprocess communication (Mullender)
Remote procedure calls: interfaces, stubs, marshaling and threads
(Mullender)
Remote procedure call semantics (Weihl)
Design of high-speed local networks (Schroeder)
Distributed Services and Access Control
Design of a distributed name service (Needham)
Cryptography-based authentication servers (Needham)
Protection and security in distributed systems (Lampson)
Fault Tolerance
Commitment and group membership (Babaoglu)
Fault-tolerant broadcasts and multicasts (Toueg)
Reliable clock synchronization (Toueg)
Replication management (Schneider)
Distributed Transactions
Theory (Weihl)
Concurrency Control and Recovery Mechanisms (Weihl)
Applications and languages (Weihl)
Data Storage
Distributed file system design (Satyanarayanan)
Methodology
High-level specifications of distributed applications (Weihl)
Derivation of provably-correct distributed programs (Schneider)
Distributed Systems Architecture
Design of high-performance kernels for distributed systems (Mullender)
Communication Architecture (Tokoro)
Objects in Operating Systems (Tokoro)
The Lecturers
Ozalp Babaoglu is Professor of Computer Science at the University of
Bologna, Italy where he leads the Paralex project whose
goal is to design and implement an integrated
environment for programming, debugging, monitoring, and
controlling reliable distributed applications. Babaoglu
was a principal designer and implementor of Berkeley
UNIX. He is an editor for the Springer Verlag journal
Distributed Computing.
Butler W. Lampson is a member of the research staff at Digital's System
Research Center in Palo Alto, California and Cambridge
Research Laboratory in Cambridge, Massachusetts. He has
worked on computer architecture, highspeed networks,
raster printers, page description languages, operating
systems, remote procedure call, programming languages
and their semantics, programming in the large,
fault-tolerant computing, computer security, and
WYSIWYG editors.
Sape J. Mullender is Professor of Systems Programming and Architecture at
the University of Twente in the Netherlands. His
interests are distributed systems in general and
operating system support for scaling, naming, fault
tolerance, and multimedia in particular. He currently
leads the Huygens distributed operating systems project
at Twente. Before that, he was a principal architect of
the Amoeba distributed operating system.
Roger M. Needham is Professor of Computer Systems and head of the
Computer Laboratory at the University of Cambridge,
England and a Fellow of the Royal Society. He has
contributed extensively to many aspects of distributed
computing and has most recently been interested in
computer protection and security.
Mahadev Satyanarayanan is an Associate Professor of Computer Science at
Carnegie Mellon University. His research addresses
the problem of data access in large-scale distributed
systems. He currently leads the Coda project, whose
goal is to provide highly-available distributed file
access. Earlier, he was a principal architect and
implementor of the Andrew file system.
Fred B. Schneider is an Associate Professor of Computer Science at Cornell
University. His research is primarily concerned with
methodologies for designing and reasoning about
concurrent programs, particularly fault-tolerant and
distributed ones. He is the managing editor of
Distributed Computing and an editor for Information
Processing Letters and Springer-Verlag Texts and
Monograph in Computer Science.
Michael D. Schroeder is a member of the research staff at Digital's Systems
Research Center in Palo Alto, California. His particular
interest is discovering practical structures for
distributed systems. He has worked on computer
protection and security, encryption-based authentication
protocols, computer message systems, naming in large
networks, remote procedure call performance, distributed
file systems, and high-speed local area networks.
Mario Tokoro is a Professor of Computer Science at Keio University
and the Director of Sony Computer Science Laboratory
Inc. His research interests focus on computational
models, architecture, and programming languages for
open, distributed environments. He proposed
Computational Field Model. He is a co-designer of the
Muse operating system, ConcurrentSmalltalk, and
Orient84/K. He is a co-editor of Object-Oriented
Concurrent Programming published by MIT Press.
Sam Toueg is an Associate Professor of Computer Science at Cornell
University. His research interests include distributed
systems, fault-tolerance, real-time systems, and
distributed databases.
William E. Weihl is an Associate Professor of Computer Science at the
Massachusetts Institute of Technology. His research
interests focus on parallel and distributed computing,
particularly in the areas of programming methodology,
programming languages, specification techniques,
synchronization, and fault-tolerance. He is one of the
principal designers of the Argus and Mercury systems
developed at MIT.
General Information
Location
Karuizawa in Nagano Prefecture sits at the foot of majestic Mt. Asama.
Unspoiled forest carpeted with verdant grass and moss provide serene moments
of respite from the congestion and noise of the big cities. Here the light
air is perfumed with the scent of lush leaves and wild flowers. At noon the
songs of the cicada and the cuckoo form a gentle chorus; at dawn and dusk the
clear melody of the bush warbler and gray thrush rings through the woods.
Karuizawa beckons to those who wish to relax, to contemplate, to dream.
Karuizawa is located 150-km north-west of Tokyo. From Narita International
Airport, take Keisei Skyliner to Ueno station (1 hour), and then JR Shinetsu
line to Karuizawa (2 hours by express).
Accommodations
Mampei Hotel will be available to the attendees. Upon completion of the
enclosed form and payment of a deposit, we will make reservations (subject to
availability) for the desired type of accommodation. Reservations will be
handled on a first-come-first-served basis. In case of unavailability,
reservations will be made for the next higher-price class of room.
Fees
The tuition for the course is 198,000 yen. With proof of full-time student
status, the course fee will be reduced to 98,000 yen. The fee includes all
lectures and discussion sections; all course material including a copy of
the textbook Distributed Systems (Sape J. Mullender, Ed., ACM Press, 1989);
all lunches and coffee breaks; welcome reception and banquet.
Payment
All payments must be made in Japanese Yen. Payment of the tuition fee and
the room deposit can be made through a bank draft payable to KARUIZAWA91
accompanying the registration form or a direct bank transfer to account
no. 5652363 at The Mitsui Taiyo Kobe Bank, LTD., Gotanda Branch, specifying
KARUIZAWA91. In case of a direct transfer, a photo copy of the bank document
should accompany the registration form. No credit cards or personal cheques
can be accepted.
Deadlines
Registration deadline is April 22. Registrations beyond this date are
subject to availability. The cost will be 248,000 yen for normal registrants
and 148,000 yen for full-time students. No refunds will be issued after April
22. In case of low participation levels or serious difficulty in holding the
course, the organizers reserve the right to cancel the course at full
reimbursement of paid fees.
For Further Information
Mario Tokoro
Yasuhiko Yokote
Sony Computer Science Laboratory Inc.
Takanawa Muse Building
3-14-13 Higashi-gotanda, Shinagawa-ku,
Tokyo 141, JAPAN
E-mail: karuizawa91@csl.sony.co.jp or karu@csl.sony.co.jp
Registration Form
Please type or print:
Last name ___________________________ First name _____________________________
Affiliation __________________________________________________________________
Title ________________________________________________________________________
Address ______________________________________________________________________
____________________________________________________________________________
____________________________________________________________________________
Telephone _____________________________ E-mail _______________________________
Are you a full-time student? ___ no ___ yes
(please attach document of certification)
Room Reservation Form
Category of room desired:
___ single_occupancy 1(145,000 yen, including breakfasts and dinners)
___ double_occupancy 2(127,000 yen, including breakfasts and dinners)
___ triple occupancy 3(100,000 yen, including breakfasts and dinners)
Type of room desired:
___ Western style (beds) ___ Japanese style (futons)
With whom will you be sharing a room (in case you know)? ____________________
Sex: ___ female ___ male Do you smoke? ___ no ___ yes
Arrival date: ______________________ Departure date: ________________________
Special requests or comments: _______________________________________________
____________________________________________________________________________
Tuition: __________________________ Room deposit: ___________________________
Total amount: _______________________________________________________________
Please return by April 22, 1991 to:
KARUIZAWA91
Sony Computer Science Laboratory Inc.
Takanawa Muse Building
3-14-13 Higashi-gotanda, Shinagawa-ku,
Tokyo 141 JAPAN
Tel. +81-3-3448-4380 Fax +81-3-3448-4273