Hot Systems ST 2002

1
Hot Systems ST 2002

• Lecture 2
• Introduction II
• April 24 2002

2
Schedule of Today
Organization

• Some recommended Universities in the USA
• Stanford, CMU, Berkeley et al.
• Some other Universities around the Globe

3
Ranking of US CS Departments
Harvard and Rice are completely missing, not
true for the systems group
4
US Universities
Illinois
Washington
Harvard
Berkeley
Yale
Rice
Austin
5
Stanford (Palo Alto, CA)
Stanford
Gates Building
6
Stanford people
7
Stanford Research

• V-Kernel ? heavy impact on DS and ist protocols
• TRIAD Translating Relaying Internet
  Architecture integrating Active Directories
• Research on Multicast protocols etc.
• Object oriented RPC
• Reliability Security
• Empirical studies on OS errors
• Space Systems
• Mosquito ( Mobile computing group)

8
Carnegie Mellon (Pittsburgh, PA)
About 5 miles away from downtown
9
CMU People
10
CMU Systems Research

• Mach Micro-Kernel (Brian Bershad, Rick Rashid)
• first µ-kernel approach, external pager,
  IPC-problems
• later on additional efforts towards real-time
  mach etc.
• (David Golub, Mark Stevenson, Dan Stodolsky)
• Abacus (Automatic placements of objects in data
  intensive
• applications)
• Dixtrac Automated disk drive characterization.
  
• Pasis builds survivable storage systems and
  develops an
• engineering understanding of the associated
  trade-offs.
• Self-Securing Devices Storage

11
University of California Berkeley

• The EECS dep. of Electrical Engienering
• and Computer Science is part of the
• school of Engineering, hosting
• Bioengineering
• Civil Envrionmental Engineering
• Industrial Engineering
• Metrials Enginering
• Mechanical Engineering
• Nucvelar Engineering

12
Map of Berkeley
13
Computer Science in EECS

• Artificial Intelligence
• Computer Architecture and Engineering
• Database Management Systems
• Graphics
• Human-Computer Interaction
• Operating Systems
• Programming Systems
• Scientific Computing and Numerical Methods
• Theory

14
Operating Ssystems in CS

• Multimedia Networking
• Performance Analysis
• Distributed Systems
• Wireless Networks
• Mobile Computing
• Real-time Systems
• Fault Tolerance
• File Systems
• Parallelism
• Security

15
People in OS in CS

• Anthony Joseph
• Randy Katz
• Steven McCanne
• Alan Smith
• Doug Tygar

16
Projects in OS of CS

• Iceberg
• Ninja (Enabling Internet-scale Services from
  Arbitrarily Small Devices)

17
Iceberg Project
Iceberg tries to adapt to converged network with
an open and composable service architecture
18
Ninja

• An Infrastrucure for next generation Internet
• A service for Internet application being
• Scalable
• Fault tolerant
• Highly available

19
SAHARA

• A Revolutionary Service Architecture for
• Future Telecommunications Systems

20
NetBSD Goals (1)

• The NetBSD Project is an international
  collaborative
• effort of a large group of people, to produce a
  freely
• available and redistributable UNIX-like OS.
• In addition to Harvard work, NetBSD contains a
• variety of other free software,
• including 4.4BSD Lite
• from the University of California, Berkeley.

The next university to be discussed
21
NetBSD Goals (2)

• Primary focus
• The base of NetBSD must be extremely portable.
• This has resulted in NetBSD being ported to a
• large number of hardware platforms (43)
• NetBSD is also highly interoperable,
• implementing many standard APIs and network
• protocols, emulating many other systems' ABIs.

22
NetBSD CPU-Platforms (1)

• CPU Port
• alpha alpha
• arm26 arm26 
• arm32 acorn32  cats  shark  hpcarm  netwinder
• i386 i386
• m68000 sun2 
• M68k amiga  atari  cesfic  hp300  luna68k 
• mac68k  mvme68k  news68k 
• next68k  sun3  x68k
• mipseb mipsco  newsmips  sgimips
• mipsel algor  arc  cobalt  hpcmips  playstation2 
  
• pmax 

23
NetBSD CPU-Platforms (2)

• CPU Port
• ns32k pc532
• powerpc amigappc  bebox  macppc  ofppc  prep 
• sandpoint  walnut
• sh3eb evbsh3  (either eb and el) mmeye
• sh3el dreamcast  evbsh3  hpcsh 
• sparc sparc 
• sparc64 sparc64 (Can also run sparc binaries)
• vax vax
• x86_64 x86_64

24
BSD Lifetime
25
NetBSD People (1)

• Name ltE-Mailgt Work Area(s)
• Nathan Ahlstrom ltnra_at_netbsd.orggt
• Steve Allen ltwormey_at_netbsd.orggt
• Julian Assange ltproff_at_netbsd.orggt
• Lennart Augustsson ltaugustss_at_netbsd.orggt USB
  device audio drivers,
• Christoph Badura ltbad_at_netbsd.orggt
• Dieter Baron ltdillo_at_netbsd.orggt Package
  collection (pkgsrc),
• Robert V. Baron ltrvb_at_netbsd.orggt
• Scott Bartram ltscottb_at_netbsd.orggt iBCS2
  emulation, Java ports
• Jason Beegan ltjtb_at_netbsd.orggt
• Grant Beattie ltgrant_at_grunta.comgt htdocs,
  advocacy, pkgsrc
• Erik Berls ltcyber_at_netbsd.orggt
• John Birrell ltjb_at_netbsd.orggt
• Mason Loring Bliss ltmason_at_netbsd.orggt htdocs,
  minor bugswatting
• Rafal Boni ltrafal_at_netbsd.orggt SGI Indy/Indigo2
  support
• Manuel Bouyer ltbouyer_at_netbsd.orggt IDE/ATAPI,
  siop(4)
• John Brezak ltbrezak_at_netbsd.orggt
• Damon Brodie ltdamon_at_netbsd.orggt Packages
  Collection (pkgsrc)

26
NetBSD People (2)

• Name ltE-Mailgt Work Area(s)
• Allen Briggs ltbriggs_at_netbsd.orggt mac68k and
  sundry
• Aaron Brown ltabrown_at_netbsd.orggt
• Andrew Brown ltatatat_at_netbsd.orggt
• David Brownlee ltabs_at_netbsd.orggt htdocs,
  advocacy, pkgsrc
• Frederick Bruckman ltfredb_at_netbsd.orggt
• Jon Buller ltjonb_at_netbsd.orggt
• Simon Burge ltsimonb_at_netbsd.orggt
• Dave Burgess ltburgess_at_cynjut.neonramp.comgt
• Robert Byrnes ltbyrnes_at_netbsd.orggt
• D'Arcy J.M. Cain ltdarcy_at_netbsd.orggt
• Dave Carrel ltcarrel_at_netbsd.orggt
• James Chacon ltjmc_at_netbsd.orggt build process,
  general
• Bill Coldwell ltbillc_at_netbsd.orggt
• Julian Coleman ltjdc_at_netbsd.orggt Curses,
  port-atari helper
• Charles D. Cranor ltchuck_at_netbsd.orggt kernel (UVM
  virtual memory)
• Aidan Cully ltaidan_at_netbsd.orggt
• Johan Danielsson ltjoda_at_netbsd.orggt

27
NetBSD People (3)

• Name ltE-Mailgt Work Area(s)
• Mark Davies ltmarkd_at_netbsd.orggt Package
  collection
• Matt DeBergalis ltdeberg_at_netbsd.orggt next68k
• Rob Deker ltdeker_at_netbsd.orggt
• Chris Demetriou ltcgd_at_netbsd.orggt
• Tracy Di Marco White ltgendalia_at_netbsd.orggt admin,
  sundry
• Jaromir Dolecek ltjdolecek_at_netbsd.orggt msdosfs,
  NTFS, occasional general VFS hacking, IBM PS/2
  MCA, czech language support
• Andrew Doran ltad_at_netbsd.orggt Drivers, pmax,
• Roland Dowdeswell ltelric_at_netbsd.orggt
• Emmanuel Dreyfus ltmanu_at_netbsd.orggt Linux
  emulation for PowerPC ports, some packages.
• Matthias Drochner ltdrochner_at_netbsd.orggt
• Jun Ebihara ltjun_at_netbsd.orggt hpcmips, htdocs/ja,
  
• Havard Eidnes lthe_at_netbsd.orggt Release
  engineering
• Stoned Elipot ltseb_at_netbsd.orggt Package
  collection (pkgsrc)

28
NetBSD People (4)

• Name ltE-Mailgt Work Area(s)
• Enami Tsugutomo ltenami_at_netbsd.orggt
• Bernd Ernesti ltveego_at_netbsd.orggt
• Erik Fair ltfair_at_netbsd.orggt
• Hubert Feyrer lthubertf_at_netbsd.orggt NetBSD
  Packages System Packages
  Collection, documentation
• Jay Fink ltjrf_at_netbsd.orggt docs, minor kernel
  work,
• David Forbes ltdforbes_at_netbsd.orggt pkgsrc, misc
  bug fixing
• Thorsten Frueauf ltfrueauf_at_netbsd.orggt pkgsrc,
  misc bug fixing,
• Castor Fu ltcastor_at_netbsd.orggt
• Ichiro FUKUHARA ltichiro_at_netbsd.orggt sh3,
  hpcmips, hpcarm, htdocs
• Brian R. Gaeke ltbrg_at_dgate.orggt
• Thomas Gerner ltthomas_at_netbsd.orggt
• Simon J. Gerraty ltsjg_at_netbsd.orggt
• Justin Gibbs ltgibbs_at_netbsd.orggt
• Chris Gilbert ltchris_at_netbsd.orggt arm and arm32
  ports
• Adam Glass ltglass_at_netbsd.orggt
• Michael Graff ltexplorer_at_netbsd.orggt

29
NetBSD People (5)

• Name ltE-Mailgt Work Area(s)
• Brad Grantham ltgrantham_at_netcom.comgt
• Brian C. Grayson ltbgrayson_at_netbsd.orggt
• Matthew Green ltmrg_at_netbsd.orggt
• Juergen Hannken-Illes lthannken_at_netbsd.orggt
• Charles M. Hannum ltmycroft_at_netbsd.orggt
• John Hawkinson ltjhawk_at_netbsd.orggt DDB,
  Release Engineering,
• Eric Haszlakiewicz lterh_at_netbsd.orggt
• HAYAKAWA Koichi lthaya_at_netbsd.orggt
• Klaus Heinz ltheinz_at_netbsd.orggt German language
  WWW
• René Hexel ltrh_at_netbsd.orggt- NetBSD
  Packages System Packages Collection
• Michael L. Hitch ltmhitch_at_netbsd.orggt amiga and
  pmax (and dabbling in vax and alpha)
• Christian E. Hopps ltchopps_at_netbsd.orggt
• Ken Hornstein ltkenh_at_cmf.nrl.navy.milgt i386
  power management, AFS port, IrDA

30
NetBSD People (6)

• Name ltE-Mailgt Work Area(s)
• Marc Horowitz ltmarc_at_netbsd.orggt
• Nick Hudson ltskrll_at_netbsd.orggt Packages
  Collection
• Martin Husemann ltmartin_at_netbsd.orggt Integration
  of ISDN4BSD
• Dean Huxley ltdean_at_netbsd.orggt
• Bernardo Innocenti ltbernie_at_netbsd.orggt sysinst,
  IOBlix serial port
• ITOH Yasufumi ltitohy_at_netbsd.orggt
• Matthew Jacob ltmjacob_at_netbsd.orggt
• Lonhyn T. Jasinskyj ltlonhyn_at_netbsd.orggt
• Darrin Jewell ltdbj_at_netbsd.orggt
• Chris Jones ltcjones_at_netbsd.orggt
• Søren Jørvang ltsoren_at_netbsd.orggt
• Antti Kantee ltpooka_at_netbsd.orggt
• Takahiro Kambe lttaca_at_netbsd.orggt pkgsrc and
  misc bug fixes.
• Masanori Kanaoka ltkanaoka_at_netbsd.orggt i386, misc
  device drivers
• KAWAMOTO Yosihisa ltkawamoto_at_netbsd.orggt htdocs
• Mario Kemper ltmagick_at_netbsd.orggt pkgsrc,X11
• Lawrence Kesteloot ltkesteloo_at_cs.unc.edugt

31
NetBSD People (7)

• Name ltE-Mailgt Work Area(s)
• Thomas Klausner ltwiz_at_netbsd.orggt Package
  collection, bktr(4)
• Klaus Klein ltkleink_at_netbsd.orggt
• Wayne Knowles ltwdk_at_netbsd.orggt mipsco
• John Kohl ltjtk_at_netbsd.orggt
• Martti Kuparinen ltmartti_at_netbsd.orggt
• Bjoern Labitzke ltbjoern_at_netbsd.orggt Packages
  collection
• Kevin Lahey ltkml_at_netbsd.orggt
• Johnny C. Lam ltjlam_at_netbsd.orggt
• Martin J. Laubach ltmjl_at_netbsd.orggt
• Ted Lemon ltmellon_at_netbsd.orggt
• Joel Lindholm ltjoel_at_netbsd.orggt
• Mike Long ltmikel_at_netbsd.orggt
• Warner Losh ltimp_at_netbsd.orggt hpcmips
• Tomasz Luchowski ltzuntum_at_netbsd.orggt Packages
  Collection
• Federico Lupi ltfederico_at_netbsd.orggt
• Brett Lymn ltblymn_at_netbsd.orggt Curses, ETI
  libraries, Termcap
• Paul Mackerras ltpaulus_at_netbsd.orggt
• MAEKAWA Masahide ltgehenna_at_netbsd.orggt- kern

32
NetBSD People (8)

• Name ltE-Mailgt Work Area(s)
• David Maxwell ltdavid_at_netbsd.orggt Packages
  Collection, htdocs, security-officer
• Dan McMahill ltdmcmahill_at_netbsd.orggt Mostly
  pkgsrc
• Gregory McGarry ltgmcgarry_at_netbsd.orggt
• Jared D. McNeill ltjmcneill_at_netbsd.orggt Audio
  device drivers
• Neil J. McRae ltneil_at_netbsd.orggt
• Perry E. Metzger ltperry_at_netbsd.orggt Release
  Engineering,
• der Mouse ltmouse_at_netbsd.orggt
• Joseph Myers ltjsm_at_netbsd.orggt games
• Ken Nakata ltkenn_at_netbsd.orggt Xmac68k, m68k FPE
• Bob Nestor ltrnestor_at_netbsd.orggt Package builds
  on mac68k
• NISHIMURA Takeshi ltnsmrtks_at_netbsd.orggt x68k
• Tohru Nishimura ltnisimura_at_netbsd.orggt pmax,
  mips, m88k
• Jesse Off ltjoff_at_netbsd.orggt LFS
• Tatoku Ogaito lttacha_at_netbsd.orggt
• Masaru Oki oki_at_netbsd.org PE/COFFbinary
  compatibility

33
NetBSD People (9)

• Name ltE-Mailgt Work Area(s)
• Atsushi Onoe ltonoe_at_netbsd.orggt wireless,
  ipv4/ipv6 networking,
• Greg Oster ltoster_at_netbsd.orggt RAIDframe
• Mike Pelley ltmike_at_netbsd.orggt ipfilter, htdocs
• Herb Peyerl lthpeyerl_at_netbsd.orggt
• Matthias Pfaller ltmatthias_at_netbsd.orggt
• Chris Pinnock ltcjep_at_netbsd.orggt- htdocs
• Dante Profeta ltdante_at_netbsd.orggt
• Chris Provenzano ltproven_at_netbsd.orggt
• Michael Rauch ltmrauch_at_netbsd.orggt pkgsrc,
  OpenOffice
• Waldi Ravens ltwaldi_at_moacs.indiv.nl.netgt
• Darren Reed ltdarrenr_at_netbsd.orggt
• Erik Reid ltreide_at_netbsd.orggt Buildlab
  Administration
• Michael Richardson ltmcr_at_netbsd.orggt
• Tim Rightnour ltgarbled_at_netbsd.orggt
• Gordon Ross ltgwr_at_netbsd.orggt
• Heiko W. Rupp lthwr_at_netbsd.orggt

34
NetBSD People (10)

• Name ltE-Mailgt Work Area(s)
• SAITOH Masanobu ltmsaitoh_at_netbsd.orggt
• Curt Sampson ltcjs_at_netbsd.orggt
• Wilfredo Sanchez ltwsanchez_at_netbsd.orggt Periodic
  syncronization
• Ty Sarna lttsarna_at_netbsd.orggt userland and
  kernel hacking.
• SATO Kazumi ltsato_at_netbsd.orggt- hpcmips
• Jan Schaumann jschauma_at_netbsd.org htdocs,
  German translation
• Matthias Scheler lttron_at_netbsd.orggt Packages
  Collection, X11, Linux emulation, bug
  fixing
• Karl Schilke (rAT) ltrat_at_netbsd.orggt
• Konrad Schroder ltperseant_at_netbsd.orggt LFS
• Reed Shadgett ltdent_at_netbsd.orggt
• Tim Shepard ltshep_at_netbsd.orggt
• Takao Shinohara ltshin_at_netbsd.orggt hpcmips,
  playstation2
• Takuya SHIOZAKI lttshiozak_at_netbsd.orggt I18N,
  playstation2
• Chuck Silvers ltchs_at_netbsd.orggt UVM, UBC, misc.
  kernel
• Thor Lancelot Simon lttls_at_netbsd.orggtJeff Smith
  ltjeffs_at_netbsd.orggt mips
• SOMEYA Yoshihiko ltsomeya_at_netbsd.orggt device
  drivers

35
NetBSD People (11)

• Name ltE-Mailgt Work Area(s)
• Bill Sommerfeld ltsommerfeld_at_netbsd.orggt-
  security officer, i386 MP
• Bill Squier ltgroo_at_netbsd.orggt
• Bill Studenmund ltwrstuden_at_netbsd.orggt
• Kevin Sullivan ltsullivan_at_netbsd.orggt
• SUNAGAWA Keiki ltkei_at_netbsd.orggt port-macppc
  pkgsrc
• Kimmo Suominen ltkim_at_netbsd.orggt
• Robert Swindells ltrjs_at_netbsd.orggt arm32
• TAMURA Kent ltkent_at_netbsd.orggt compat_pecoff,
  pkgsrc
• Shin'ichiro Taya lttaya_at_netbsd.orggt pkgsrc
• Matt Thomas ltmatt_at_netbsd.orggt ieee 1394, fddi,
  networking, vax, alpha, mips, device
  drivers, smp
• Christoph Toshok lttoshok_at_netbsd.orggt
• Izumi Tsutsui lttsutsui_at_netbsd.orggt news68k
• UCHIYAMA Yasushi ltuch_at_netbsd.orggt hpcmips,
  hpcsh, playstation2
• Shuichiro URATA ltur_at_netbsd.orggt arc, mips
• Todd Vierling lttv_at_netbsd.orggt
• Aymeric Vincent ltaymeric_at_netbsd.orggt

36
NetBSD People (12)

• Name ltE-Mailgt Work Area(s)
• Paul Vixie ltvixie_at_netbsd.orggt
• Krister Walfridsson ltkristerw_at_netbsd.orggt
• Lex Wennmacher ltwennmach_at_netbsd.orggt Packages
  Collection,
• misc bug fixing, improving system security (by
  using file flags)
• Assar Westerlund ltassar_at_netbsd.orggt
• Rob Windsor ltwindsor_at_netbsd.orggt
• Dan Winship ltdanw_at_netbsd.orggt
• Todd Whitesel lttoddpw_at_netbsd.orggt snapshots,
  builds,
• NetBSD Architecture Farm
• Jim Wise ltjwise_at_netbsd.orggt System Package
  based installation for NetBSD, Enterprise Java
  packages for NetBSD.
• Michael Wolfson ltmbw_at_netbsd.orggt htdocs, FAQs
  for port-hp300, port-macppc, port-sparc,
  port-hp700, Diskless HOW-TO
• Colin Wood ltender_at_netbsd.orggt mac68k, docs,
• Berndt Josef Wulf ltwulf_at_netbsd.orggt Packages
  Collection
• YAMAMOTO Takashi ltyamt_at_netbsd.orggt I18N
• Yuji Yamano ltyyamano_at_netbsd.orggt htdocs
• Reinoud Zandijk ltreinoud_at_netbsd.orggt arm32,
  arm26

37
NetBSD Core People
No German in this group !!!

• Name ltE-Mailgt Place
• Alistair Crooks ltagc_at_netbsd.orggt German Bank,
• London, UK
• Jun-ichiro itojun Hagino ltitojun_at_netbsd.orggt
  IIResearch Lab, Tokyo, J
• Frank van der Linden ltfvdl_at_netbsd.orggt
  University of
• Amsterdam, NL
• Luke Mewburn ltlukem_at_netbsd.orggt Wasabi Systems,
• RMIT University,
• Melbourne, Au
• Christos Zoulas ltchristos_at_netbsd.orggt
  2?investment,
• NewYork, US

38
Summary

• German students researchers more or less stay
  out in NetBSD as they tend to do in many other
  comparable issues
• Whats your personal conclusion?

39
Cornell People

• Ken Birman
• Secure, reliable scalable DS
• ISIS (Toolkit ?commercial), Horus, Ensemble,
  Springlass
• Emin Gün Sirer
• Spin, Kimera, MagnetOS, CliqueNet

40
Cornell people

• Fred B. Schneider
• Language Based Security
• Containment and Integrity for Mobile Code
• Cornell Online Certification Authority (COCA)
• Andrew Myers
• THOR, a Distributed OO-Data Base
• Jiv an extended version of Java protecting
  privacy, ...

41
Illinois People

• Roy Campell
• Active Spaces, 2K comp.-based OS
• Mobile Security, Cherubim, Seraphim,
• ..., many more
• Klara Nahrstedt
• Ad hoc networks, QoS networking,
• ...

42
Active Spaces
43
2 K
ACE
ACE
ACE
ACE
Palm OS
solaris
windows
hardware
hardware
hardware
hardware
hardware
hardware
44
Illinois People

• M. Dennis Mikunas
• Mobile security, security architecture, active
  spaces, network-centric operating system.
• DanielReed
• Performance instrumentation and analysis
  techniques for large scale parallel systems and
  resource management policies.

45
Smart Environments

• Intelligent Information Spaces
• Testbed to explore and evaluate intelligent
• devices and augmented realities
• Proposed work in ubiquitous information spaces
• spans three basic areas
• interoperable component architectures for device
  coordination,
• seamless object communication for user quality
  of service (QoS), and
• adaptive user context and modality management.

46
UCLA People

• Leonard Kleinrock
• Inventor of the Internet, ANDS,
• SSN, Travler, WAMIS, SESAME
• ...
• Gerald F. Popek
• Panda, Ficus, Truffles, Travler

47
Advanced Networking and Distributed Systems
(ANDS)
48
UCLA People

• Peter Reiher
• Dsitributed Operating File Systems
• Majid Sarrafzadeh
• Embedded System Design   
• Low-Power Computing   
• Reconfigurable Computing   
• VLSI CAD   
• e-commerce   

49
Map of Yale
50
Yale People

• Arvind Krishnamurthy
• Power aware File Systems for mobiles,
• Probabilistic Packet Scheduling
• Yang Richard Yang
• Network congestion, mobile wireless networks
• Network scurity
• Edmund Yeh
• Queuing theory, wireless systems,
• Data networks

51
University of Washington (Seattle)
52
Washington People

• Thomas Anderson
• Detour Towards a Virtual Internet
• Portolano Invisible Computing
• Access Communication Computation
• for WAN and Systems Research
• WebOS OS support for WA applications
• NoW (Network of Workstations)
• Steven Gribble
• Ninja, DDS, TACC, Denali, Piazza

53
Washington People

• Ed Lazowksa
• Quantitative System performance,
• Parallel Distributed Systems
• Hank M. Levy
• SMT Simultaneous Multithreading,
• Web Analysis, Piazza
• Porcupine, Opal, Etch, ...
• GMS (Global Memory System)

54
State of Wisconsin
Madison
55
Uni. of Wisconsin (Madison)
56
Wisconsin People

• Andrea C. Arpaci-Dusseau
• Gray Box System, WIND, NoW-Sort,
• Implicit Coscheduling
• Remzi H. Arpaci-Dusseau
• Storage Systems and I/O (WIND)Empirical
  Analysis
• Stoprage Management

57
Wisconsin People

• Lawrence H. Landweber
• TheoryNet, CSNET,
• Mentor of Internet,
• First OSI protocol implementation, ...
• Marvin Solomon
• OO-database systems,
• Software development tools,
• Distributed OS,
• Computer networks,

58
University of Texas (Austin)
After having established Austin as the capitel
of Texas, the university was planned in 1839,
first work was done in 1858.
59
Texas Austin

• Lorenzo Alvisi
• Lightweight Fault-Tolerance
• Cache Consistency in WANs
• WAFT Support for Fault-Tolerance
• in WA-OO-Systems
• Byzantine Fault-Tolerance for DSS
• Mike Dahlin
• Peer-to-peer study group
• Lab. for Advanced Systems Research (LASR)
• OS Support for a Program-Enabled Web
• C0PE Consistent 0-Administrator Personal
  Environment

60
Texas Austin

• Mohamed G. Gouda
• Programming Methodology,
• Concurrent and Distr. Computing,
• Fault-tolerant Computing, Secure Computing,
  Network Protocols,
• Formal Methods
• Jayadev Misra
• Parallel and distributed computing
• Proving distributed algorithms

61
Rice (Houston, Texas)
62
Rice People
63
Rice Research

• Research Areas
• cluster-based computing, security, DSM, mobile
  computing,
• OS, scalable network servers, WWW.
• TreadMarks Shared Memory on NoW
• OpenMP Standard fod DSM on NoW
• Scala Server Fast and scalable web server
• EDT Engineering Design Tutor
• ...

64
Harvard University

• Oldest university in USA (founded 1636)
• 19 000 students
• 11 200 staff members !!!!!

65
Harvard Systems Projects

• AI/Natural Language
• C - -
• File System Performance (zero-copy approach)
• MORPH (Just-In-Time Code Layout)
• Networking
• Ubiquitous Information
• VINO (Extensible OS, still working efficiently)
• WWW Caching

66
Ubiquitous Information Products

• New methodology for TCP/IP simulation
• Mobile IP network where every handheld mobile
  device can be a router
• Machine SUIF compiler infrastructur
• Deductive parsing engine
• DeckView document browsing software
• ANT virtual machine

67
Ubiquitous Computing People
Head Prof. Barabara J. Grosz

• Charles Ortiz (PD)
• Graduates
• Christine Nakatani
• Jill Nickerson
• Karen Lochbaum
• Luke Hunsberger
• Stanley Chen
• Timothy Rauenbusch

• Undergraduates
• Alyssa Glass
• Attila Bodis
• David Ahn
• Eric Hsu
• Hanna Pasula
• Nathan Scales

68
Harvard Systems People
69
VINO People
 Head Prof. Margo Seltzer

• Alumni
• Ellie Baker
• Aaron Brown
• Yasuhiro Endo
• Narendra Ghosh
• Robert Haas
• David Krinsky
• Stephen Manley
• Christopher Small
• Keith Smith
• Catherine Xiaolan Zhang

• Group Members VINO
• Dan Ellard
• Alexandra Fedorova
• David Holland
• Jonathan Ledlie
• Ada Lim (mail)
• Kostas Magoutis
• Pia Malkani (mail)
• Chaki Ng
• Chris Stein
• Dave Sullivan

70
VINO Goals (1)

• VINO is an extensible operating system
• Application may provide extensions to OS
  (specifically kernel) functionality
• To be done safely securely efficiently
• efficiently enough to make it worthwhile.
• VINO is also a Unix-like operating system
• It has almost complete set of UNIX user-mode
  tools and will compile and run much standard Unix
  software unmodified.
• some extended functionality beyond what is
  traditionally available under Unix.

71
VINO Goals (2)

• VINO is largely derived from NetBSD.
• Core of kernel highly kernel-dependent user
  tools are VINO code, written mostly from scratch.
  The "uninteresting" parts, from a researcher's
  point of view, including most of the user-level
  tools device drivers, were assimilated from
  NetBSD to avoid having to rewrite them.
• VINO does not support multiprocessor systems
• However, for reasons connected to the
  extensibility research, it features a fully
  preemptible kernel with fine-grained locking. At
  that time, none of the freely available operating
  systems offered fine-grained locking.

72
Harvards WWW Research

• Web Facts and Fantasy
• Autonomous Replication
• Cache Consistency
• Next Generation Web
• Web Tools

73
University of Utah (Salt Lake City)
74
Utah People
John Carter
Jay Lepreau
Sally McKee
75
Related Groups

• University of Tromso (N)
• University of New South Wales (Au)
• TU Dresden
• TU Berlin

76
Tromso Research (1)

• The Distributed OS Group
• Otto Anshus, assoc. professor
• Terje Fallmyr, assis. professor
• Gunnar Hartvigsen, professor
• Dag Johansen, professor
• Åge Kvalnes, assis. professor
• Tore Larsen, assis. professor
• Tage Stabell-Kulø, assis. Prof.

• Projects
• The Global Distributed Diary 
• MacroScope
• PASTA
• StormCast
• Tacoma 
• Virtual Secretary
• Vortex
• The Good Room

77
Tromso Research (2)

• The Open DS Group
• Weihai Yu, assoc. professor
• Randi Karlsen, assoc. professor
• Anders Andersen, assoc. prof.
• Hans Ole Rafaelsen, Ph.D.  Stud.
• Frank Eliassen, adjunct professor
• Gordon Blair, adjunct professor

• Projects
• AdTrans
• DIME
• FLIPS
• IIS
• MULTE
• OOPP
• ArcticBeans

78
UNSW Sydney

• Dr Gernot Heiser, Associate Professor, Group
  Leader
• Steve Russell, Visiting Fellow
• Dr Jerry Vochteloo, Visiting Fellow and Lecturer
  (UTS)
• Dr Ewa Bem, Visiting Fellow and Lecturer (UWS)
• Daniel Potts, PhD SMP scalability and
  distribution
• Brett Nash, ME Persistence in Mungi
• Luke Deller, PhD Mungi issues
• Cristan Szmajda, PhD Virtual memory management in
  large address spaces
• Adam Wiggins, PhD Microkernels for embedded
  systems
• Matt Chapman, PhD Single-address-space techniques
  in Linux
• Charles Gray, ME Posix on Mungi

79
UNSW Sydney

• Research
• The Mungi single-address-space operating system
• SASOS features in IA-64 Linux
• The L4 microkernel on MIPS and Alpha
• The ISA simulator Sulima
• Hardware developments
• The U4600, a 64-bit computer based on the MIPS
  R4600 processor,
• PLEB, a computer about 10x7x1.5cm in size, based
  on the StrongARM SA-1100 processor

80
TU Dresden

• Hermann Härtig
• Andreas Westfeld
• Claude Hamann
• Christian Helmuth
• Frank Mehnert
• Jan Glauber
• Jean Wolter
• Jork Löser
• Lars Reuther
• Michael Hohmuth
• Ronald Aigner
• Sebastiabn Schönberg

• Echtzeitsysteme
• DROPS - Dresdner Realtime-OS
• Fiasco RT-L4-compatible µkernel
• L4-µkernel-family
• L4Linux - Linux on L4
• COMQUAD - COMponents with QUantitative properties
  and ADaptivity
• SFB 358 - G2 Design of Distr.-RTS
• Secure Systems
• VFiasco - Konstruktion eines formal verifizierten
  Mikrokerns
• µSINA (in Zusammenarbeit mit Secunet und DLR)
• Steganographie

81
TU Berlin

• Hans-Ulrich Heiss
• Stephan Wenger
• Lars-Olof Burchard
• Barry Linnert
• Arthur Lochstampfer

• Resaerch Areas
• Cluster Computing
• Computer Security
• Resouirce management
• Discourse