COSC440
COSC440 - Resources
Textbook
- Writing Linux Device Driver - a guide with exercises by Cooperstein, 2009
- Essential Linux Device Drivers by Venkateswaran, Prentice Hall 2008
- Understanding the Linux Kernel (Third Edition) by Bovet and Cesati, O'Reilly, 2005
Lab materials
- Skeleton code for the labs
- Various implementations of 'cat' command for comparison
- How to connect a USB-to-TTL Serial Cable to Raspberry Pi
- Linux Kernel Linked List Howto
- XV6 book
- XV6 code commentary
- XV6 github repository
- RPI Linux Kernel 4.9.39 Source
- Lions Commentary on xv6
- Disk on RAM
- Disk on RAM code
- Linux Kernel Teaching
- Linux Device Drivers for your Girl Friend
Useful readings for programming
- C Programming Ebook
- A TUTORIAL ON POINTERS AND ARRAYS IN C
- Executable and Linkable Format (ELF)
- BCM2835 ARM Peripherals
- ARM GCC Inline Assembler Cookbook
- ARM1176JZF-S Technical Reference Manual
- Operating Modes, System Calls and Interrupts
- Using Inline Assembly With gcc
- ARMv6 instructions
- ARM Cortex-A Series (Version 4.0) Programmer’s Guide
- MESI cache coherence protocol
- Asynchronous Programming
- Memory Barriers
- A Hardware View of Memory Barriers
- Understanding Linux VM Manager
- Mutex implementation in Linux Kernel
- A General Technique for Non-blocking Trees
- Lock-free deques and doubly linked lists
- Practical Lock-Freedom
- Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects
2020 presentations
Session One
- Alpaca: Intermittent Execution without Checkpoints
- Fast and secure global payments with Stellar
- TVM: An Automated End-to-End Optimizing Compiler For Deep Learning
- Pensieve: Non-Intrusive Failure Reproduction for Distributed Systems using the Event Chaining Approach
- CORFU: A distributed shared log
Session Two
- WatchIT: Who Watches Your IT Guy
- Intermittent Computation without Hardware Support or Programmer Intervention
- The Stellar Consensus Protocol: A Federated Model for Internet-level Consensus
- The Inflection Point Hypothesis: A Principled Debugging Approach for Locating the Root Cause of a Failure
- Flat combining and the synchronization-parallelism tradeoff
Session Three
- Adaptive Dynamic Checkpointing for Safe Efficient Intermittent Computing
- Stellar Consensus by Instantiation
- Efficient Scalable Thread-Safety-Violation Detection
- How to implement any concurrent data structure
Session Four
- Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent Execution
- Bitcoin: A Peer-to-Peer Electronic Cash System
- Failure Sketching: A Technique for Automated Root Cause Diagnosis of In-Production Failures
- Finding Semantic Bugs in File Systems with an Extensible Fuzzing Framework
Session Five
- Practical Byzantine Fault Tolerance and Proactive Recovery
- CrashTuner: Detecting Crash-Recovery Bugs in Cloud Systems via Meta-Info Analysis
- Large scale distributed deep networks
- Scaling a file system to many cores using an operation log
Useful readings/links for writing the research report
From time to time links to useful resources will be added here.
- How to Read a Paper
- How to read a research paper
- How to Implement Any Concurrent Data Structure
- E2: A Framework for NFV Applications
- Year 2015 papers
- No compromises: distributed transactions with consistency, availability, and performance
- COZ: Finding Code that Counts with Causal Profiling
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming
- Using Crash Hoare Logic for Certifying the FSCQ File System
- How to Get More Value From Your File System Directory Cache
- Scalability! But at what COST?
- The Case for Less Predictable Operating System Behavior
- Year 2014 papers
- All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications
- Project Adam: Building an Efficient and Scalable Deep Learning Training System
- Extracting More Concurrency from Distributed Transactions
- Pydron: Semi-Automatic Parallelization for Multi-Core and the Cloud
- f4: Facebook’s Warm BLOB Storage System
- Willow: A User-Programmable SSD
- Blizzard: Fast, Cloud-scale Block Storage for Cloud-oblivious Applications
- Year 2013 papers
- RadixVM: Scalable address spaces for multithreaded applications
- Optimizing RAM-latency Dominated Applications
- Year 2012 papers
- COMET: Code Offload by Migrating Execution Transparently
- Spanner: Google’s Globally-Distributed Database
- Flat Datacenter Storage
- Improving Integer Security for Systems with KINT
- Dune: Safe User-level Access to Privileged CPU Features
- Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary
- Older papers
- User-Driven Access Control: Rethinking Permission Granting in Modern Operating Systems
- netmap: a novel framework for fast packet I/O
- Improving Network Connection Locality on Multicore Systems
- Dynamic Fine-Grain Scheduling of Pipeline Parallelism
- The Hadoop Distributed File System
- The Google File System
- MapReduce: Simplified Data Processing on Large Clusters
- OSDI'20 Proceedings
- Bigtable: A Distributed Storage System for Structured Data
- Sector and Sphere: The Design and Implementation of a High Performance Data Cloud
- USENIX Symposium on Operating Systems Design and Implementation (OSDI) https://www.usenix.org/conferences/byname/179
- The ACM Symposium on Operating Systems Principles (SOSP) http://sosp.org
- The Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2013) http://asplos13.rice.edu
