davidgm94/modern-os-reference

Modern OS reference

Barrelfish-related papers

Documentation

1. Overview
2. Glossary
3. Mackerel
4. Hake
5. Virtual Memory
6. SCC
7. Routing
8. Tracing
9. Notifications
10. Spec
11. IDC
12. Services
13. Capability Management
14. Bulk Transfer
15. Disk Driver Architecture
16. Serial
17. ARM
18. Practical Guide
19. Device Driver
20. Skate
21. CPU Driver
22. ARMv8
23. Coreboot
24. Filet-o-Fish
25. Sockeye
26. Device Queues

Publications

TODO

Thesis, reports, etc

TODO

Arrakis-related papers

• Antoine Kaufmann, Simon Peter, Naveen Kr. Sharma, Thomas Anderson, Arvind Krishnamurthy.
  High Performance Packet Processing with FlexNIC
  In 21st International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Atlanta, GA, USA, April 2016.

• Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas Anderson, Timothy Roscoe.
  Arrakis: The Operating System is the Control Plane
  In ACM Transactions on Computer Systems, 33(4), November 2015.

• Antoine Kaufmann, Simon Peter, Thomas Anderson, Arvind Krishnamurthy.
  FlexNIC: Rethinking Network DMA
  In 15th USENIX Workshop on Hot Topics in Operating Systems (HotOS), Kartause Ittingen, Switzerland, May 2015.

• Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas Anderson, Timothy Roscoe.
  Arrakis: The Operating System is the Control Plane
  In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Broomfield, CO, USA, October 2014.

• Simon Peter, Jialin Li, Doug Woos, Irene Zhang, Dan R. K. Ports, Thomas Anderson, Arvind Krishnamurthy, Mark Zbikowski.
  Towards High-Performance Application-Level Storage Management
  In 6th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage), Philadelphia, PA, USA, June 2014.

• Simon Peter, Thomas Anderson.
  Arrakis: The Operating System as Control Plane
  USENIX ;login:, 38(4):44-47, August 2013.

• Simon Peter, Thomas Anderson.
  Arrakis: A Case for the End of the Empire
  In 14th USENIX Workshop on Hot Topics in Operating Systems (HotOS), Santa Ana Pueblo, NM, USA, May 2013.

Old and outdated documents

• Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas Anderson, Timothy Roscoe.
  Arrakis: The Operating System is the Control Plane
  UW Technical Report UW-CSE-13-10-01. Version 2.1. June 2014.

• Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas Anderson, Timothy Roscoe.
  Arrakis: The Operating System is the Control Plane
  UW Technical Report UW-CSE-13-10-01. Version 2.0. May 2014.

• Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Arvind Krishnamurthy, Thomas Anderson, Timothy Roscoe.
  Arrakis: The Operating System is the Control Plane
  UW Technical Report UW-CSE-13-10-01. Version 1.0. October 2013.

Other papers

• Yauhen I Klimiankou.
  Towards practical multikernel OSes with MySyS
  APSys '22: Proceedings of the 13th ACM SIGOPS Asia-Pacific Workshop on SystemsAugust 2022
• The Next-Generation OS Process Abstraction

Security

• MidnightsunQuals 2021 BroHammer Writeup (Single Bit Flip to Kernel Privilege Escalation)