OS

• Background
• The Critical-Section Problem
• Peterson's Solution
• Hardware Support for Synchronization
• Mutex Locks
• Semaphores
• Monitors
• Liveness
• Evaluation
• Summary
• Practice Exercises
• Exercises
• Further Reading
• Bibliography

• Classic Problems of Synchronization
• Synchronization within the Kernel
• POSIX Synchronization
• Synchronization in Java
• Alternative Approaches
• Summary
• Practice Exercises
• Exercises
• Further Reading
• Bibliography

• System Model
• Deadlock in Multithreaded Applications
• Deadlock Characterization
• Methods for Handling Deadlocks
• Deadlock Prevention
• Deadlock Avoidance
• Deadlock Detection
• Recovery from Deadlock
• Summary
• Practice Exercises
• Exercises
• Further Reading
• Bibliography

1 Laboratorio en vivo in this lesson — see the labs panel →

• Background
• Contiguous Memory Allocation
• Paging
• Structure of the Page Table
• Swapping
• Example: Intel 32- and 64-bit Architectures
• Example: ARMv8 Architecture
• Summary
• Practice Exercises
• Exercises
• Further Reading
• Bibliography

• Background
• Demand Paging
• Copy-on-Write
• Page Replacement
• Allocation of Frames
• Thrashing
• Memory Compression
• Allocating Kernel Memory
• Other Considerations
• Operating-System Examples
• Summary
• Practice Exercises
• Exercises
• Further Reading
• Bibliography

2 Laboratorio en vivo in this lesson — see the labs panel →

• Overview of Mass-Storage Structure
• HDD Scheduling
• NVM Scheduling
• Error Detection and Correction
• Storage Device Management
• Swap-Space Management
• Storage Attachment
• RAID Structure
• Summary
• Practice Exercises
• Exercises
• Further Reading
• Bibliography

1 Laboratorio en vivo in this lesson — see the labs panel →

• Overview
• I/O Hardware
• Application I/O Interface
• Kernel I/O Subsystem
• Transforming I/O Requests to Hardware Operations
• STREAMS
• Performance
• Summary
• Practice Exercises
• Exercises
• Further Reading
• Bibliography

• File Concept
• Access Methods
• Directory Structure
• Protection
• Memory-Mapped Files
• Summary
• Practice Exercises
• Exercises
• Further Reading
• Bibliography

• File-System Structure
• File-System Operations
• Directory Implementation
• Allocation Methods
• Free-Space Management
• Efficiency and Performance
• Recovery
• Example: The WAFL File System
• Summary
• Practice Exercises
• Exercises
• Further Reading
• Bibliography

1 Laboratorio en vivo in this lesson — see the labs panel →

• File Systems
• File-System Mounting
• Partitions and Mounting
• File Sharing
• Virtual File Systems
• Remote File Systems
• Consistency Semantics
• NFS
• Summary
• Practice Exercises
• Exercises
• Further Reading
• Bibliography

• The Security Problem
• Program Threats
• System and Network Threats
• Cryptography as a Security Tool
• User Authentication
• Implementing Security Defenses
• An Example: Windows 10
• Summary
• Exercises
• Further Reading
• Bibliography

• Goals of Protection
• Principles of Protection
• Protection Rings
• Domain of Protection
• Access Matrix
• Implementation of the Access Matrix
• Revocation of Access Rights
• Role-Based Access Control
• Mandatory Access Control (MAC)
• Capability-Based Systems
• Other Protection Improvement Methods
• Language-Based Protection
• Summary
• Practice Exercises
• Exercises
• Further Reading
• Bibliography

• Overview
• History
• Benefits and Features
• Building Blocks
• Types of VMs and Their Implementations
• Virtualization and Operating-System Components
• Examples
• Virtualization Research
• Summary
• Exercises
• Further Reading
• Bibliography

• Advantages of Distributed Systems
• Network Structure
• Communication Structure
• Network and Distributed Operating Systems
• Design Issues in Distributed Systems
• Distributed File Systems
• DFS Naming and Transparency
• Remote File Access
• Final Thoughts on Distributed File Systems
• Summary
• Practice Exercises
• Exercises
• Further Reading
• Bibliography