Yale University
CPSC 422 — Operating Systems
49 documents • ranked by quality and engagement.
No description provided
Scalable Synchronization Algorithms
Implementing Highly Concurrent Data Structures Methodology
Active Network Architecture Proposal
Interrupts, Exceptions, and System Calls
Recoverable Virtual Memory (Lightweight)
C++ Programming Introduction
Design Hints for Computer Systems
Emerald System Fine-Grained Mobility
High-Bandwidth Cross-Domain Transfer Fbufs
Interrupt-Driven Kernel Eliminating Receive Livelock
Coda File System Disconnected Operation
Concurrency Overview
Non-Preemptive Scheduling Assignment 2
Implementing Network Protocols via x-Kernel Architecture
System Processes
Mechanisms of Locking
Mutual Exclusion Implementation
Distributed Systems Detecting Mutual Inconsistency
Encryption for Authentication in Large Computer Networks
DARPA Internet Protocol Design Philosophy
Operating Systems Concepts
UNIX Development Foundation The Mach Kernel
Fluke Kernel Execution and Interface Models
Bootstrapping