摘要:
File System Implementation 这章会介绍一个简单的文件系统vsfs(Very Simple File System)。该系统为简化版的UNIX系统,纯软件;有现在大部分文件系统中的基本磁盘结构、访问方法和各种策略。 带着问题学习:如何实现一个简单的文件系统? 1. The W 阅读全文
摘要:
Interlude: Files and Directories 带着问题学习:操作系统应如何管理持久性设备?什么是API?实施的重要方面是什么? 1. Files And Directories 在虚拟化存储方面有两个重要的抽象: 文件(file) 目录(directory) 文件:一组字节的线性 阅读全文
摘要:
Redundant Arrays of Inexpensive Disks (RAIDs) 带着问题学习:如何制作容量大、速度快、可靠的磁盘? 解决上述问题使用了一种技术叫做Redundant Array of Inexpensive Disks(RAID):协同使用多个磁盘。 RAIDs相对于单个 阅读全文
摘要:
Hard Disk Drives 带着问题:磁盘是如何存储和获取数据的? 1. The Interface 磁盘可以看作n个扇区的数组(驱动器地址空间从0到n - 1)。 多扇区操作是可以的。许多文件系统一次将读或写很大字节的内容。但是,在更新磁盘时,驱动制造商唯一保证的就是单个512字节扇区的写入 阅读全文
摘要:
I/O Devices 带着问题学习:如何将I/O集成到系统中?一般机制是什么?如何使它们高效? 1. System Architecture 上图所示,I/O设备被分成三层。但是为什么需要将其分层? 最直接的原因:物理(physics)和成本(cost)。高性能通道没有太多空间插入设备且设计总线的 阅读全文
摘要:
Event-based Concurrency (Advanced) 我们前面讨论并发问题都是使用多线程。但是,关于并发的问题不止这一方面,还有使用基于GUI的应用程序和因特网服务器的并发,这些叫做基于事件的并发(event-based concurrency)。 要解决的基于事件的并发问题有两个: 阅读全文
摘要:
Common Concurrency Problems 带着问题:如何处理常见的并发错误问题? 1. What Types Of Bugs Exist? 主要研究4个开源应用: MYSQL Apache Mozilla OpenOffice 2. Non-Deadlock Bugs 大部分并发问题都 阅读全文
摘要:
Semaphores 带着问题学习:如何使用信号量(semaphores)? 1. Semaphores: A Definition semaphore是一个具有整数值的对象,可以使用两个例程来对其进行操作。 POSIX中两个例程为sem_wait()和sem_post()。 在使用之前必须初始化, 阅读全文
摘要:
Condition Variables 输出结果如下: 在多线程情况下我们可以尝试使用共享变量,可以但是效率非常低下: 问题来了:在多线程情况下,线程应该如何等待条件? 1. Definition and Routines condition variable有两个操作: wait() // 当一个 阅读全文
摘要:
Lock-based Concurrent Data Structures 带着问题:给定一个数据结构,如何给其添加锁使其拥有正确性和高效性? 1. Concurrent Counters 1.1 Simple But Not Scalable 上述代码满足了正确性,但是对于性能,我们一无所知。为了 阅读全文