操作系统中读者——写者问题的分析
Analysis of readerwriter problem in operating system
摘要:本篇文章就操作系统中读者——写者问题进行利用记录型信号量和“信号量集”机 制分析读者——写者问题。
Abstract: This paper analyzes the readerwriter problem in operating system using record semaphore and "semaphore set" mechanism.
关键词:进程同步互斥,信号量,读者——写者问题
Key words: process synchronization mutex; semaphore; reader-writer problem
1 .引言 一个数据文件或记录可被多个进程共享,我们把只要求读该文件的进程称为 “reader 进程”,其他进程称为“writer 进程”。允许多个进程同时读一个共享 对象,因为读操作不会使数据文件混乱。但不允许一个 writer 进程和其他 reader 进程或 writer 进程同时访问共享对象,因为这种访问将会引起混乱。所谓“读者 写者问题”( reader-writer problem )是指保证一个 writer 进程必须与其他进程 互斥地访问共享对象的同步问题。读者-写者问题常被用于测试新同步原语。 现在大部分对读者——写着问题的解答都有可能导致饥饿,第一种情况下写者 可能饥饿,而第二种情况是读者可能饥饿。
2 .读者优先的同步算法 采用这种算法时读写进程应遵循以下的同步策略:
(1)有读进程在数据区读数据时,别的读进程允许同时进入读数据。
(2) 只有当全部的读者都退出数据区时,才允许写进程进入写数据。 利用 Python 程序测试代码如下: import time