USENIX ATC 23 The Hitchhikers Guide to Operating Systems

>> DOWNLOAD LINK 🎞️ #1 <<

>> DOWNLOAD LINK 🎞️ #2 <<

>> COPY / PASTE LINK PLEASE 🎵 MP3 <<

>> YOUR LINK HERE: ___ http://youtube.com/watch?v=crWJEi6udNU

USENIX ATC '23 - The Hitchhiker's Guide to Operating Systems • Yanyan Jiang, Nanjing University • This paper presents a principled approach to operating system teaching that complements the existing practices. Our methodology takes state transition systems as first-class citizens in operating systems teaching and demonstrates how to effectively convey non-trivial research systems to junior OS learners within this framework. This paper also presents the design and implementation of a minimal operating system model with nine system calls covering process-based isolation, thread-based concurrency, and crash consistency, with a model checker and interactive state space explorer for exhaustively examining all possible system behaviors. • View the full USENIX ATC '23 program at https://www.usenix.org/conference/atc...

#############################