OSIRIS: Efficient and consistent recovery of compartmentalized operating systems. Bhat, K., Vogt, D., Van Der Kouwe, E., Gras, B., Sambuc, L., Tanenbaum, A. S, Bos, H., & Giuffrida, C. In 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pages 25–36. IEEE.
bibtex   
@InProceedings{bhat16osiris,
  author       = {Bhat, Koustubha and Vogt, Dirk and Van Der Kouwe, Erik and Gras, Ben and Sambuc, Lionel and Tanenbaum, Andrew S and Bos, Herbert and Giuffrida, Cristiano},
  booktitle    = {2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)},
  date         = {2016},
  title        = {OSIRIS: Efficient and consistent recovery of compartmentalized operating systems},
  organization = {IEEE},
  pages        = {25--36},
  comment      = {* snapshot & rollback for OS components
* in microkernel OS
* ~12% of OS SLOC, ~5% runtime overhead, ~64% recovery surface covered
* also address permanent faults by

  * conditionally not replaying input to restored component

* one fault at a time
* static analysis if/which recovery leads to globally consistent state
* build on concept of Reliable Computing Base (RCB)

  * parts of the system that need to be free of faults},
  file         = {:bhat16osiris - OSIRIS_ Efficient and consistent recovery of compartmentalized operating systems.pdf:PDF},
  groups       = {dependability by default / dependability wrap},
  timestamp    = {2021-12-06},
}

Downloads: 0