从山大OS考题看透进程与线程：用C语言和信号量手撕互斥锁（附真题解析）

从山大OS考题看透进程与线程用C语言和信号量手撕互斥锁附真题解析操作系统作为计算机科学的核心课程其概念抽象但实践性极强。许多开发者在面试或实际工作中常遇到纸上谈兵的困境——明明背熟了理论面对具体问题却无从下手。本文将以山东大学操作系统课程的典型考题为线索带您穿透概念迷雾直击进程线程、信号量实现等高频考点。1. 进程与线程从概念到代码的跨越进程是资源分配的基本单位线程则是CPU调度的最小单元。这个定义几乎每个OS学习者都能脱口而出但面对具体问题时却常混淆二者关系。让我们通过考题还原真实场景考题示例线程T1、T2、T3需要访问共享变量x、y、z如何保证互斥访问1.1 为什么需要互斥当多个线程并发访问共享资源时可能引发竞态条件Race Condition。例如// 共享变量 int counter 0; void *increment(void *arg) { for (int i 0; i 100000; i) { counter; // 非原子操作 } return NULL; }理论上两个线程执行后counter应为200000实际运行结果可能小于该值。这是因为counter在机器指令层面包含从内存加载counter值到寄存器寄存器值加1将结果存回内存线程切换可能发生在任何步骤之间导致更新丢失。1.2 互斥实现四法对比方法实现复杂度性能影响适用场景软件实现高低无硬件支持环境关中断低高内核临界区原子指令中低现代多核处理器信号量中中通用同步场景其中信号量因其灵活性和可扩展性成为面试高频考点。POSIX标准提供了sem_t类型#include semaphore.h sem_t mutex; sem_init(mutex, 0, 1); // 初始值为1 void *safe_increment(void *arg) { for (int i 0; i 100000; i) { sem_wait(mutex); counter; sem_post(mutex); } return NULL; }2. 信号量实战从理论到真题解析2.1 经典生产者-消费者问题山大考题中常出现需要补全的同步代码。以生产者-消费者为例#define N 100 sem_t mutex, empty, full; void producer() { while(1) { item produce_item(); sem_wait(empty); // 等待空位 sem_wait(mutex); // 进入临界区 insert_item(item); sem_post(mutex); // 离开临界区 sem_post(full); // 增加已生产项 } } void consumer() { while(1) { sem_wait(full); // 等待有产品 sem_wait(mutex); // 进入临界区 item remove_item(); sem_post(mutex); // 离开临界区 sem_post(empty); // 增加空位 consume_item(item); } }易错点警示两个sem_wait顺序不能颠倒否则可能死锁mutex仅保护缓冲区操作不保护整个生产/消费过程2.2 读者-写者问题变体考题中曾出现三线程访问x、y、z的特殊场景// 共享资源 int x, y, z; sem_t rw_mutex; // 基础读写锁 sem_t resource_mutex; // 资源控制锁 void writer() { sem_wait(rw_mutex); // 写操作... sem_post(rw_mutex); } void reader() { sem_wait(resource_mutex); // 读操作... sem_post(resource_mutex); }这种设计允许并发读但互斥写需要根据题目要求调整锁粒度。实际面试中面试官常会追问如何避免读者饿死写者读写锁与普通互斥锁的性能差异3. 内存管理段式存储与保护机制3.1 段式管理真题拆解考题示例段式内存管理如何实现存储保护段表每个条目包含段基址Base段长度Limit保护位Protection硬件通过比较逻辑地址的段号与段表长度寄存器检测越界访问。保护位通常包括读R写W执行X特权级Privilege// 模拟地址转换 struct segment_descriptor { uint32_t base; uint32_t limit; uint8_t protection; }; int access_memory(struct segment_descriptor *sd, uint32_t offset) { if (offset sd-limit) { raise_segmentation_fault(); return -1; } if (!(sd-protection PROT_READ)) { raise_protection_fault(); return -1; } return *(uint32_t *)(sd-base offset); }3.2 现代OS的混合索引文件系统考题中出现的混合索引指结合多种寻址方式。例如Unix inode采用直接指针12个一级间接指针二级间接指针三级间接指针这种设计在文件大小与内存开销间取得平衡指针类型最大文件大小4KB块内存开销直接48KB48B一级间接4MB4KB48B二级间接4GB4MB4KB48B4. 系统调用深度解析从printf到内核之旅4.1 用户态与内核态切换考题示例printf(hello world\n)会陷入内核吗答案是肯定的。典型调用链用户空间调用printf库函数调用write系统调用执行int 0x80或syscall指令CPU切换到内核模式内核处理写操作返回用户模式而double xcos(y)通常不会陷入内核因为数学函数通常在用户空间库中实现除非涉及特殊硬件如FPU异常4.2 命令执行全流程考题要求解析./a.out t.txt的执行过程shell解析命令准备重定向fork创建子进程子进程打开t.txtO_WRONLY|O_CREATdup2将stdout重定向到文件描述符execve加载a.out程序执行输出被重定向// 模拟实现 int main() { int fd open(t.txt, O_WRONLY|O_CREAT, 0644); dup2(fd, STDOUT_FILENO); // 关键步骤 close(fd); execlp(./a.out, ./a.out, NULL); perror(execlp failed); exit(1); }在面试中常会追问文件描述符与文件指针的区别为什么要在exec前关闭不需要的文件描述符