Table of ContentsAdvanced Operating Systems Lecture notes CSci555: Advanced Operating Systems Lecture 1 - September 3, 1999 Some things an operating system does Progression of Operating Systems Structure of Distributed Systems Structure of Distributed Systems Characteristics of a Distributed System Why Distributed Systems are Hard CSci555: Advanced Operating Systems Lecture 2 - September 10, 1999 Administration 1 Administration 2 Last Class Outline End-to-End Argument 1 E2E Argument 2 E2E Argument 3 E2E Argument 4 Communication Models Communication Paradigms Message Passing Synchronous Communication Asynchronous Communication Reliability 1 Reliability 2 Distributed Shared Memory DSM 2 DSM and MP Caching in DSM Approaches to DSM 1 Approaches to DSM 2 Approaches to DSM 3 Remote Procedure Call RPC Mechanism RPC Advantages RPC Semantics 1 RPC Semantics 2 RPC Semantics 3 RPC Implementation 1 RPC Implementation 2 Binding RPC Performance LW-RPC 1 LW-RPC 2 DSM Case Studies: IVY IVY IVY IVY Page Synchronization IVY Memory Coherence DSM Case Studies: Linda Linda Linda Primitives: Examples Linda Primitives: Examples CSci555: Lecture 3 September 17, 1999 Concurrency, Deadlock, Transactions, Time. Administration Last Class Today DSM Case Studies: Linda Linda Linda Primitives: Examples Linda Primitives: Examples Concurrency Control and Synchronization Processes Threads Other Terminology Threads Case Study 1 Thread Paradigms Synchronization Synchronization by Shared Data Synchronization by MP. Transactions 1 Transaction Atomicity Transaction Features Local versus Distributed Transactions Concurrency Control Locks 1 Lock Implementation Deadlock Optimistic Concurrency Control 1 Optimistic Concurrency 2 Optimistic Concurrency 3 Timestamp Ordering Distributed Transactions 1 Distributed Transactions 2 Atomicity in Distributed Transactions 2-Phase Commit 1 2-Phase Commit 2 Concurrency Control in Distributed Transactions 1 Concurrency Control in Distributed Transactions 2 Concurrency Control in Distributed Transactions 3 Camelot [Spector et al.] Distributed Deadlock 1 Distributed Deadlock 2 Distributed Deadlock Detection Distributed Deadlock Detection Algorithms 1 Resource versus Communication Models Distributed Deadlock Detection Schemes Deadlock Detection in Resource Model Deadlock Detection Example Replication 1 Replication 2 Quorum Consensus Weighted Voting [Gifford] 1 Weighted Voting 2 Weighted Voting 3 ISIS 1 ISIS 2 Virtual Synchrony ISIS Features Time in Distributed Systems Atomic Multicast 1 Atomic Multicast 2 Other Features Implementation Time in Distributed Systems Event Ordering Causal Ordering Logical Clocks Causal Ordering and Logical Clocks Total Ordering Virtual Time [Jefferson] 1 Virtual Time 2 Rolling Back Anti-Messages 1 Anti-Message 2 Implementation Global Virtual Clock CSci555: Advanced Operating Systems Lecture 4 - September 24, 1999 Naming Concepts What are the things we name How we name things Namespace Case Studies Case Studies Case Studies Scalability of naming Other implementations of naming Closure Advanced Name Systems Non Hierarchical Naming Resource Discovery Resource Discovery CSci555: Advanced Operating Systems Lecture 5 - October 1, 1999 The Web Security Goals Security Policy Access Control Lists Extended Access Control Lists Generic Authorization and Access-control API Capabilities Protecting capabilities Basic Security Services Network Threats Likely points of attack (location) Likely points of attack (module) Network Attacks Network Attack Countermeasures Encryption for confidentiality and integrity Authentication CSci555: Advanced Operating Systems Lecture 6 - October 8, 1999 Key distribution Authentication w/ Conventional Crypto Authentication w/ PK Crypto Kerberos Public Key Cryptography (revisited) Certificate-Based Authentication Secure Sockets Layer (and TLS) Trust models for certification Global Authentication Service Capability Based Systems - Amoeba Capability Directories in Amoeba Security Architectures Distributed Authorization Proxies Restricted Proxies Authorization and Group Services Central Authorization Applied Security CSci555: Advanced Operating Systems Lecture 7 - October 15, 1999 File Systems Outline File Systems Distributed File Systems Sun Network File System 1 Sun NFS 2 Location Transparency Achieving Transparency 1 Achieving Transparency 2 Transparency? Other Functions Implementation Virtual File System 1 VFS 2 NFS Caching Server Caching Client Caching 1 Client Caching 2 Cache Validation The Sprite File System 1 Sprite 2 Sprite 3 Andrew Andrew FS Whole File Caching Implementation 1 Implementation 2 File Sharing File Name Space AFS Caching 1 AFS Caching 2 AFS Caching 3 AFS Replication Coda Replication in Coda Optimistic Replication Disconnected Operation Normal and Disconnected Operation Replication and Caching |
Author: Clifford Neuman
Email: CSci555@usc.edu Home Page: http://gost.isi.edu/courses/USC_CSci555.html Other information: |