Operating Systems
Research Staff
Academics: Professor Gernot Heiser (PhD, ETH Zurich 1991) (50%)
Professional Officer: Neil Brown
PhD Students: 5
ME Research Students: 1
Honours Students: 10
Capability
- high-performance OS kernel design and implementation
- single-address-space operating systems
- scalable multiprocessor kernels and multiprocessor scheduling
- architectural support for operating systems
- efficient management of large, sparse address spaces
- Linux device drivers and network stacks
- high-performance file systems
- security
- operating system support for high-performance middleware
- user-level device drivers
- instruction-level processor simulation
- design and implementation of hardware platforms
Trackrecord (1997-2001)
Funding: Research Grants $270,000
National Collaborations: Aurema, Cisco-Radiata, ANU (CAP project)
International Collaborations: IBM TJ Watson Research Center, Intel (Santa Clara), HP Labs, University of Karlsruhe, Dresden University of Technology, Technical University Delft, Harvard University, Arizona State University.
PhD Completions: 2
Journal Papers: 1
Conference Papers: 8
Artifacts:
- fastest OS kernel (L4) for MIPS architecture, released under GPL
- fastest OS kernel (L4) for Alpha (SMP) architecture, released under GPL
- development of MIPS-based 64-bit motherboard running Linux and L4
- development of StrongARM-based PLEB motherboard running Linux and L4
- Mungi: fastest single-address-space OS
- Sulima ISA simulator, selected as base for ANU's CAP projects' full-machine simulator
Miscellaneous:
- official maintainer of NFS for Linux
- one of less than 10 OS groups world-wide invited to submit a proposal for the Intel/HP IPF Universities Grants Program (under evaluation)
Facilities:
- approx 20 target machines for kernel development based on Pentium, Alpha, SPARC, MIPS, StrongARM and (soon) Itanium processors
- logic analyser
- PCB Prototyping Facility with 1 Technical Officer (shared)
|
