diff options
Diffstat (limited to '')
| -rw-r--r-- | documentation/bookmark/operating_system.md | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/documentation/bookmark/operating_system.md b/documentation/bookmark/operating_system.md index 4b1b90904..9942aa1d2 100644 --- a/documentation/bookmark/operating_system.md +++ b/documentation/bookmark/operating_system.md @@ -1,17 +1,21 @@ # Code-generation +0. []() 0. [It’s Time for a Modern Synthesis Kernel](https://blog.regehr.org/archives/1676) # Intepreter +0. []() 0. [Jitk: A Trustworthy In-Kernel Interpreter Infrastructure](https://css.csail.mit.edu/jitk/) # Architecture +0. []() 0. [TabulaROSA: Tabular Operating System Architecture for Massively Parallel Heterogeneous Compute Engines](https://arxiv.org/abs/1807.05308) # Graphics | Rendering +0. []() 0. [Text Rendering Hates You](https://gankra.github.io/blah/text-hates-you/) 0. https://fuchsia.googlesource.com/garnet/+/master/docs/ui/scenic.md @@ -19,6 +23,7 @@ ## Operating system +0. []() 0. [Phantom - forward-thinking concept of OS that's not Linux derived](http://phantomos.org/) 0. [CLOSOS: Specication of a Lisp operating system.](http://metamodular.com/lispos.pdf) 0. [CLOSOS: Specication of a Lisp operating system.](http://metamodular.com/closos.pdf) @@ -78,6 +83,7 @@ ## Unikernel +0. []() 0. [State of the art for Unikernels](https://github.com/seeker89/unikernels) 0. https://hermitcore.org/2018/06/06/A-Rust-based-Unikernel/ 0. http://unikernel.org/ @@ -96,14 +102,18 @@ ## Microkernel +0. []() 0. [Snap: a Microkernel Approach to Host Networking](https://storage.googleapis.com/pub-tools-public-publication-data/pdf/36f0f9b41e969a00d75da7693571e988996c9f4c.pdf) ## Real-time +0. []() 0. https://en.wikipedia.org/wiki/VxWorks # Reference +0. []() +0. [Purely Functional Operating Systems](https://eighty-twenty.org/2022/06/23/henderson-functional-operating-systems-1982) 0. [The little book about OS development](http://littleosbook.github.io/) 0. [Rethinking files](https://www.devever.net/~hl/objectworld) 0. [Writing an OS in Rust (Second Edition)](https://os.phil-opp.com/) @@ -148,25 +158,30 @@ # Higher-Order +0. []() 0. https://www.yoctoproject.org/ # Formats +0. []() 0. http://iokit.racing/machotricks.pdf # Error-handling +0. []() 0. http://joeduffyblog.com/2016/02/07/the-error-model/ 0. https://code.fb.com/production-engineering/open-sourcing-oomd-a-new-approach-to-handling-ooms/ 0. https://os.phil-opp.com/double-fault-exceptions/ # Tools +0. []() 0. https://osquery.io/ 0. https://github.com/facebook/osquery # Shell +0. []() 0. [Magritte: A Language for Pipe-Based Programming](http://files.jneen.net/academic/thesis.pdf) 0. https://latacora.singles/2018/06/21/loud-subshells.html 0. https://github.com/ipetkov/conch-runtime @@ -174,6 +189,7 @@ # File-system +0. []() 0. https://medium.com/@siddontang/use-fuse-to-inject-failure-to-i-o-deb5f2e7800a 0. [Spiffy: Enabling File-System Aware Storage Applications](https://www.usenix.org/conference/fast18/presentation/sun) 0. https://github.com/bindh3x/libnicko @@ -188,6 +204,7 @@ # Shared libraries | Dynamic Loading +0. []() 0. https://amir.rachum.com/blog/2016/09/17/shared-libraries/ 0. https://www.kix.in/2008/06/19/an-alternative-to-shared-libraries/ 0. https://www.akkadia.org/drepper/no_static_linking.html @@ -195,18 +212,21 @@ # Packages +0. []() 0. [Piotr Gaczkowski - Nix -- the functional package manager - Lambda Days 2020](https://www.youtube.com/watch?v=6AvwC25fd_U) 0. https://snapcraft.io/ 0. https://code.fb.com/data-infrastructure/xars-a-more-efficient-open-source-system-for-self-contained-executables/ # System Calls +0. []() 0. [1001 Ways of Implementing a System Call](https://x86.lol/generic/2019/07/04/kernel-entry.html) 0. https://eli.thegreenplace.net/2018/basics-of-futexes/ 0. [FlexSC: Flexible System Call Scheduling with Exception-Less System Calls](https://www.usenix.org/legacy/event/osdi10/tech/full_papers/Soares.pdf) # Security +0. []() 0. https://en.wikipedia.org/wiki/Reference_monitor 0. [FINE-CFI: Fine-grained Control-Flow Integrity for Operating System Kernels](http://www.cs.wayne.edu/fengwei/paper/fine-cfi-tifs18.pdf) 0. https://unsat.cs.washington.edu/projects/hyperkernel/ @@ -218,67 +238,82 @@ # Driver +0. []() 0. https://blogs.windows.com/buildingapps/2018/08/15/introducing-driver-module-framework/#J6CWEbpcH0OwgWbP.97 0. [Toward Compositional Verification of Interruptible OS Kernels and Device Drivers](http://flint.cs.yale.edu/flint/publications/device-journal.pdf) 0. [Writing Network Drivers in Haskell](https://www.net.in.tum.de/fileadmin/bibtex/publications/theses/2019-ixy-haskell.pdf) # Networking +0. []() 0. [Computer Networks: A Systems Approach](https://github.com/SystemsApproach/book) # Kernel +0. []() 0. [A new kernel polling interface](https://lwn.net/Articles/743714/) 0. [Composing Abstractions using the null-Kernel](https://people.mpi-sws.org/~dg/papers/hotosxvii.pdf) # I/O +0. []() 0. [The block I/O latency controller](https://lwn.net/Articles/758963/) 0. [I/O Is Faster Than the CPU – Let’s Partition Resources and Eliminate (Most) OS Abstractions](https://penberg.org/parakernel-hotos19.pdf) # Init System +0. []() 0. https://davmac.wordpress.com/2018/10/26/on-the-vagaries-of-init-systems/ # Homogeneous Operating Systems +0. []() 0. https://ecc-comp.blogspot.com/2014/12/homogeneous-operating-systems-are-better.html # Update System +0. []() 0. https://theupdateframework.github.io/overview.html # Signal +0. []() 0. http://delyan.me/code-review-signals/ # Daemon +0. []() 0. https://chaoticlab.io/c/c++/unix/2018/10/01/daemonize.html # Memory +0. []() 0. [Memory Systems and Memory-Centric Computing Systems](http://people.inf.ethz.ch/omutlu/acaces2018.html) 0. https://en.wikipedia.org/wiki/Page_replacement_algorithm 0. [Compress Objects, Not Cache Lines:An Object-Based Compressed Memory Hierarchy](https://people.csail.mit.edu/poantsai/papers/2019.zippads.asplos.pdf) # Hardware +0. []() 0. [There's No Such Thing as a General-purpose Processor](https://queue.acm.org/detail.cfm?id=2687011) # Reliability +0. []() 0. [CuriOS: Improving Reliability through Operating System Structure](http://people.cs.ksu.edu/~danielwang/Investigation/System_Security/curios.pdf) # Booting | Bootstrapping +0. []() 0. https://puri.sm/posts/pureboot-the-high-security-boot-process/ # Virtualization +0. []() 0. [virtio: Towards a De-Facto Standard For Virtual I/O Devices](https://www.ozlabs.org/~rusty/virtio-spec/virtio-paper.pdf) # Separation kernel +0. []() 0. [High-Assurance Separation Kernels: A Survey on Formal Methods](https://arxiv.org/abs/1701.01535) |