Monografias sobre Sistemas Operacionais

Algumas ideias:

• Investigação em Sistemas por Butler Lampson
• Systems Software Research is Irrelevant por Rob Pike

As seguintes páginas contêm informação geral sobre OS:

• Investigação em SO
• OS Web
• Biblioteca ACM
• IEEE TCOS
• ACM SIGOPS

Conferências principais:

• Temas Quentes em SO 1999
• SOSP 1999
• OSDI 2000
• ASPLOS 2000
• USENIX e Freenix 2000
• Linux: ALS2000
• Temas Quentes em SO 2001
• Usenix and Freenix 2001

Temas Propostos para Monografias (sinta-se à vontade para propor os seus próprios temas):

• Kernel Design e micro-kernels:
  • exokernel
  • L3 and L4
  • Vino
  • SPIN
  • Eros
• Threads:
  • Hood Thread Library and Hoard Memory Allocation Library
  • KSE: Threads em BSD
  • LinuxThreads
• Networks of Workstations:
  • Beowulf
  • Mosix
  • NOW
• Performance Evaluation through Simulation and Counters:
  • SimOS
  • SimICS
  • PAPI Project
  • Performance counters at Harvard
  • Publications on Performance counters
  • WRL Project on Scalable Servers
• Multimedia OS Support
  • Tiger
  • Eclipe
  • Fellini
  • Nemesis
  • SMART
• Storage Management
  • Network Storage. eg. xFS in NOW
  • File System Technology and MIT's Logical Disk, or Harvard's Disk Performance Analysis.
  • CMU Parallel Data Lab
  • Microsoft Scalable Servers
  • ScalaServer: System Support for Scalable Network Servers
  • Elephant File System
• Mobile Computing
  • 6th ECOOP WORKSHOP ON MOBILE OBJECT SYSTEMS
  • Rover
  • MosquitoNet
  • Coda
  • Pebbles
• OS Support for High Speed Networking
  • INRIA's LPHC
  • ISI Atomic-2
  • U-NET
  • Fast Messages
  • Active Messages
  • Soft Timers
  • Click Modular Router
• Kernel Design and Performance Issues:
  • Linux: Architecture, Ports, Performance Analysis.
  • NetBSD
  • WIN/NT
• Web and Appliance Support:
  • WebOS
  • Scout
  • Porcupine Mail server
• Segurança em Sistemas Operacionais:
  • Self-certifying File System
  • Security in Extensible Systems and Safety Checking of Kernel Extensiopns
  • Linux Kernel Cryptography
  • OpenBSD Security
  • DEFCon
• Clássicos:
  • Multics

  A entrega do trabalho consiste num relatório e numa apresentação. E valorizado, mas de forma alguma obrigatório, o contacto com as fontes e alguma experiência prática com os sistemas discutidos. Este trabalho vale um quarto da nota final.