操作系统中读者——写者问题的分析

操作系统中读者——写者问题的分析

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