《Operating Systems: Three Easy Pieces》学习笔记(二十五) 信号量
由锁和条件变量两篇文章可知条件变量必须和锁配合使用,那为什么不直接封装在一起呢?于是就有个信号量。 信号量只是将锁和单值条件的条件变量封装在一起,所以它不是一个全新的概念,它能实现的事锁加条件变量都能实现。对于比较复杂情况下的条件判断无法使用信号量解决,因为其只内置了一个简单的整型的 value 条件。 信号量的定义 信号量是有一个整数值的对象,可以用两个函数来操作它。在 POSIX ...
由锁和条件变量两篇文章可知条件变量必须和锁配合使用,那为什么不直接封装在一起呢?于是就有个信号量。 信号量只是将锁和单值条件的条件变量封装在一起,所以它不是一个全新的概念,它能实现的事锁加条件变量都能实现。对于比较复杂情况下的条件判断无法使用信号量解决,因为其只内置了一个简单的整型的 value 条件。 信号量的定义 信号量是有一个整数值的对象,可以用两个函数来操作它。在 POSIX ...
在很多情况下,线程需要检查某一条件(condition)满足之后,才会继续运行。 父线程等待子线程——自旋等待: void *child(void *arg) { printf("child\n"); // do someting... // 修改判断条件 done = 1; return NULL; } // 要父线程等待子线程的话,需要加个自...
并发计数器 // 简单的计数器,value值递增 typedef struct counter_t { int value; } counter_t; void init(counter_t *c) { c->value = 0; } void increment(counter_t *c) { c->value++; } void decreme...
锁的基本思想 lock()和 unlock()函数的语义很简单。调用 lock() 尝试获取锁,如果没有其他线程持有锁(即它是可用的),该线程会获得锁,进入临界区 当持有锁的线程在临界区时,其他线程就无法进入临界区。 Pthread 库 POSIX 库将锁称为互斥量(mutex),因为它被用来提供线程之间的互斥。即当一个线程在临界区,它能够阻止其他线程进入直到本线程离开临界区。 p...
pthread 库介绍 线程创建 #include <pthread.h> int pthread_create( pthread_t * thread, const pthread_attr_t * attr, void * (*start_routine)(void*), void * arg ); thread 指向 pth...
单个线程的状态与进程状态非常类似。线程有一个程序计数器(PC),记录程序从哪里获取指令。每个线程有自己的一组用于计算的寄存器。所以,如果有两个线程运行在一个处理器上,从运行一个线程(T1)切换到另一个线程(T2)时,必定发生上下文切换(context switch)。线程之间的上下文切换类似于进程间的上下文切换。对于进程,我们将状态保存到进程控制块(Process Control Block...
数字设备公司(DEC)在 20 世纪 70 年代末推出了 VAX-11 小型机体系结构。该系统的操作系统被称为 VAX/VMS(或者简单的 VMS),其主要架构师之一是 Dave Cutler,他后来领导开发了微软 Windows NT 只讲重点,直接看原文就行 分段的 FIFO 防止有“自私贪婪的内存”(memory hog)—— 一些程序占用大量内存, 使其他程序难以运行。 每个...
由于内存压力(memory pressure)迫使操作系统换出(paging out)一些页,为常用的页腾出空间。确定要踢出(evict)哪个页(或哪些页)封装在操作系统的替换策略(replacement policy)中。 这章讲的是 cache,就是加速硬盘读取,以页为单位,在内存中创建硬盘页的缓存 缓存管理 将物理内存页作为硬盘内存页的缓存cache 能直接从物理内存页中找到即...
交换空间 在硬盘上开辟一部分空间用于物理页的移入和移出。一般这样的空间称为交换空间(swap space)。 存在位 当硬件在 PTE 中查找时,可能发现页不在物理内存中。硬件(或操作系统,在软件管理 TLB 时)判断是否在内存中的方法,是通过页表项中的一条新信息,即存在位(present bit)。如果存在位设置为 1,则表示该页存在于物理内存中,并且所有内容都如上所述进行。如果...
假设一个 32 位地址空间(232 字节), 4KB(212 字节)的页和一个 4 字节的页表项。一个地址空间中大约有一百万个虚拟页面(232/212)。乘以页表项的大小,你会发现页表大小为4MB。回想一下:通常系统中的每个进程都有一个页表!有一百个活动进程(在现代系统中并不罕见),就要为页表分配数百兆的内存! 简单的解决方案:更大的页 再以 32 位地址空间为例,但这次假设用 16KB...