[comp.research.japan] Karuizawa91: An Advanced Course in Distributed Systems

rick@cs.arizona.edu (Rick Schlichting) (04/17/91)

[Seen in comp.os.research.  -- Rick]


                          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