Persistent Operating Systems

  • Type: Seminar
  • Chair: System Architecture
  • Semester: WT 2008/2009
  • Place:

    R. 148 (Bldg. 50.34)
  • Time:

    Monday 15.45 - 17.15
  • Start: 27.10.2008
  • Lecturer:

    Prof. Dr. Frank Bellosa, Raphael Neider, Philipp Kupferschmied
  • SWS: 2
  • ECTS: 4
  • Lv-No.: 24354

Talks

Date Speaker Topic Documents
27.10.2008 R. Neider Introduction pdf
01.12.2008 M. Melullis Overview on Non-Volatile Memory Technologies  
01.12.2008 S. Ottlik Fast Error Recovery of CHORUS/OS: The Hot-Restart Technology  
08.12.2008 T. Boelz A Design of the Persistent Operating System with Non-Volatile Memory Back in a Flash! - Fast Recovery Using Non-Volatile Memory  
08.12.2008 P. Andelfinger The Five-Minute Rule Twenty Years Later, and How Flash Memory Changes the Rules  
15.12.2008 M. Vogelgesang An Examination of Operating System Support for Persistent Object Systems  
15.12.2008 A. Leppert A Persistent System in Real Use - Experiences of the First 13 Years  
12.01.2009 C. Helmer Transparent Orthogonal Checkpointing Through User-Level Pagers  
12.01.2009 A. Roeckel Operating System Support for Persistent Systems: Past, Present and Future  
19.01.2009 A. Seltenreich Persistent Memory: A Storage Architecture for Object-Oriented Database Systems  
19.01.2009 S. Mueller Multiversioning and Logging in the Grasshopper Kernel Persistent Store  
26.01.2009 S. Nagel Lumberjack: A Log-Structured Persistent Object Store  

Literature

Non-Volatile Memory Technologies
  1. Comparison of (Non-Volatile) Memory Technologies: Flash, MRAM, PRAM, Racetrack, Millipede, ... Memory.
    Based on Wikipedia: Non-volatile random access memory.
    Surprise, surprise ...
    M. Hosomi, H. Yamagishi, T. Yamamoto, et al. A Novel Nonvolatile Memory with Spin Torque Transfer Magnetization Switching: Spin-RAM.
    In Technical Digest of the 2005 IEEE International Electron Devices Meeting, pages 459–462. IEEE, 2005.
    Surprise, surprise ...
    K. Jagadeesan and G. Solanki. 2007 North American Frost & Sullivan Award for Technology Innovation, 2007.
    Surprise, surprise ...
    numonyx.com. The Basics of Phase Change Memory (PCM) Technology, 2008.
    Surprise, surprise ...
Robustness via Persistence
  1. M. Tombroff. Fast Error Recovery of CHORUS/OS: The Hot-Restart Technology.
    Real-Time Magazine, 97-2:64–71, 1997.
    Persistent snapshots allow for quick recovery of failed components.
  2. R. Ohmura, N. Yamasaki, and Y. Anzai. A Design of the Persistent Operating System with Non-Volatile Memory.
    In Proceedings of the 10th Workshop on ACM SIGOPS European Workshop, pages 149–152. ACM, 2002.
    Make device driver routines atomic using persistent snapshots upon entry.
    J. C. Carlyle, F. M. David, and R. H. Campbell. Back in a Flash! - Fast Recovery Using Non-Volatile Memory.
    In Proceedings of the 37th IEEE/IFIP International Conference on Dependable Systems and Networks (Supplemental Volume - Fast Abstracts), pages 422–423. IEEE, 2007.
    Persistent one-time snapshots allow for quick recovery of failed components.
Considerations on Memory Hierarchies
  1. G. Graefe. The Five-Minute Rule Twenty Years Later, and How Flash Memory Changes the Rules.
    In Proceedings of the 3rd International Workshop on Data Management on New Hardware, pages x+9. ACM, 2007.
    Analysis of Flash layer between RAM and disk in DB context. Familiarity with B-trees/DB-internals recommended.
  2. A. Dearle, J. Rosenberg, F. Henskens, F. Vaughan, and K. Maciunas. An Examination of Operating System Support for Persistent Object Systems.
    In Proceedings of the 25th Hawaii International Conference on System Sciences, volume 1, pages 779–789. IEEE, 1992.
    Requirements analysis and overview on problems and possible solutions (persistent objects, stability + resilience, protection).
Persistent Operating Systems
  1. T. Tenma, Y. Yokote, and M. Tokoro. Implementing Persistent Objects in the Apertos Operating System.
    In Proceedings of the Second International Workshop on Object Orientation in Operating Systems, pages 66–79. IEEE, 1992.
    Persistence by backing objects within persistence metaspaces. Weird concept, rather difficult.
  2. J. Liedtke. A Persistent System in Real Use — Experiences of the First 13 Years.
    In Proceedings of the Third International Workshop on Object Orientation in Operating Systems, pages 2–11. IEEE, 1993.
    Review of persistence in L3, L3 design, persistence by copy-on-write/shadow paging.
  3. K. Elphinstone, S. Russell, G. Heiser, and J. Liedtke. Supporting Persistent Object Systems in a Single Address Space.
    In Proceedings of the 7th Workshop on Persistent Object Systems, pages 111–119. Morgan Kaufmann, 1996.
    Persistence via mapping in Mungi, with code samples and formal mapping details.
  4. E. Skoglund, C. Ceelen, and J. Liedtke. Transparent Orthogonal Checkpointing Through User-Level Pagers.
    In Revised Papers from the 9th International Workshop on Persistent Object Systems, pages 201–214. Springer, 2000.
    Persistence in L4, implicit vs. explicit persistence, persistent TCBs, recoverable disk driver.
  5. A. Dearle and D. Hulse. Operating System Support for Persistent Systems: Past, Present and Future.
    Software: Practice and Experience, 30(4):295–324, Apr. 2000.
    1. pp. 296–308 (Sects. 2–4): Techniques for persistence and previouses OSes (Monads, Clouds, Eumel/L3, Grasshopper)
    2. pp. 312–322 (Sects. 6–8): The Charm kernel and persistence in Charm
Consistency in Persistent Stores
  1. S. M. Thatte. Persistent Memory: A Storage Architecture for Object-Oriented Database Systems.
    In Proceedings of the 1986 International Workshop on Object-Oriented Database Systems, pages 148–159. IEEE, 1986.
    Reachability-based persistence model on Lisp-machines, persistent vs. resilient objects, and implementation details (sibling pages, redo logs).
  2. D. Johnson, W. Zwaenepoel. Recovery in Distributed Systems Using Optimistic Message Logging and Checkpointing.
    In Journal of Algorithms, pages 462–491 (10 pages). 1990
    Formal description of dependency vectors and conclusions based on them (max. recoverable state). Pretty abstract and theoretical, rather difficult.
  3. A. Lindström. Multiversioning and Logging in the Grasshopper Kernel Persistent Store.
    In Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems, pages 14–23. IEEE, 1995.
    Optimistic consistency of persistent arenas using a log-structured store, a consistency manager, and dependency vectors (vector times), the creation of which is not discussed.
  4. D. Hulse, A. Dearle, and A. Howells. Lumberjack: A Log-Structured Persistent Object Store.
    In Proceedings of the 8th International Workshop on Persistent Object Systems, pages 187–198. Morgan Kaufmann, 1998.
    Addressing scheme for persistent objects, swizzling, log-based storage hierarchy.

The papers are password protected. The password is public only within the University of Karlsruhe.
 
 

Contents / Organization

The seminar covers a selection of ground breaking papers (both old and new) that have provided new insights into operating systems. This term focuses on persistent operating systems.

At the first meeting, we will discuss organizational details and distribute the topics of the seminar to the participants.