文件系统和文件

一种持久性存储的系统抽象。

文件头

储存文件信息，保存文件属性，跟踪那一块储存块属于逻辑上文件结构的哪一个偏移。

需要哪些元数据来管理打开的文件

文件指针，文件打开计数，文件储存位置，访问权限

访问2-12字节的空间

读一个或者多个扇区，然后返回

访问方式

基于顺序一次读取，随机访问，基于内容查找的访问

资源分配图

有两个集合，一个是进程集合，另一个是资源集合，如果进程i需要某资源j的一部分，则连边$i\to j$, 如果一个资源j的一部分被分配给了进程i，则连边$j\to i$,
资源分配图出现了有向环是发生了死锁的必要不充分条件。因为边只表示一部分资源的分配，而不是全部资源

死锁的必要条件

互斥、持有并等待、无抢占、循环等待

信号量

就是一个整型加上一个队列

1
2
3
4

class Semaphore{
  int sem;
  WaitQueue q;
}

P操作

让信号量减少1，如果<0，把自己挂起

1
2
3
4
5
6
7
8

// 有原子性
P(){
  sem--;
  if(sem<0){
    Add this thread to q;
    block(t);
  }
}