Linux-读者写著问题和读写锁
1.读者写者问题
在Linux系统中,读者写者问题是一个经典的并发控制问题,涉及多个线程(或进程)对共享资源的访问控制,主要目标是允许多个读者并发读取共享资源,但要求写者独占访问,以保证数据的一致性和完整性。
2.核心问题
- 读者(Readers):多个读者可以同时读取共享资源,因为读操作不会改变数据。
- 写者(Writers):写者必须独占访问共享资源,因为写操作会改变数据,若与其他线程(读或写)同时访问,会导致数据不一致。
3.关键同步机制
为实现这一目标,Linux提供了多种同步机制,常用的包括:
- 互斥锁(Mutex):用于保护共享资源或计数器,确保同一时间只有一个线程能修改它们。
- 读写锁(Read-Write Lock):
- 读锁(Shared Lock):允许多个读者同时获取锁。
- 写锁(Exclusive Lock):只允许一个写者获取锁,且此时没有读者或其他写者持有锁。
- 条件变量(Condition Variable):用于线程间的通信,允许线程在某个条件不满足时挂起,直到其他线程改变状态并通知。
4.读写锁
在编写多线程的时候,有一种情况是十分常见的。那就是,有些公共数据修改的机会 比较少。相比较改写,它们读的机会反而高的多。通常而言,在读的过程中,往往伴 随着查找的操作,中间耗时很长。给这种代码段加锁,会极大地降低我们程序的效 率。那么有没有一种方法,可以专门处理这种多读少写的情况呢?
有,那就是读写锁。
5.常见策略
5.1读者优先(Reader Preference)
- 允许多个读者并发读取数据,写者必须等待所有读者完成读操作后才能获取写锁。
- 优点:提高了读操作的并发性,适合读多写少的场景。
- 缺点:可能导致写者饥饿(写者长时间无法获取锁)。
在这种策略中,系统会尽可能多地允许多个读者同时访问资源(比如共享文件或数 据),而不会优先考虑写者。这意味着当有读者正在读取时,新到达的读者会立即被 允许进入读取区,而写者则会被阻塞,直到所有读者都离开读取区。读者优先策略可 能会导致写者饥饿(即写者长时间无法获得写入权限),特别是当读者频繁到达时。
5.2写者优先(Writer Preference)
- 写者优先获取锁,即使有读者正在读取,新的读者也会被阻塞,直到写者完成写操作。
- 优点:减少了写者的等待时间,适合写操作较为频繁或重要的场景。
- 缺点:可能导致读者饥饿(读者长时间无法获取锁)。
在这种策略中,系统会优先考虑写者。当写者请求写入权限时,系统会尽快地让写者 进入写入区,即使此时有读者正在读取。这通常意味着一旦有写者到达,所有后续的 读者都会被阻塞,直到写者完成写入并离开写入区。写者优先策略可以减少写者等待 的时间,但可能会导致读者饥饿(即读者长时间无法获得读取权限),特别是当写者 频繁到达时。
5.3公平策略
- 通过队列或其他机制确保读者和写者都能公平地获取锁,避免饥饿问题。
6.总结
- 读写锁的选择:读写锁是解决读者写者问题的有效工具,能够区分读和写操作,提高并发性能。
- 避免饥饿:在实际应用中,需要根据场景选择读者优先、写者优先或公平策略,以避免某一类线程长时间无法获取锁。
- 性能优化:在多读少写的场景中,读写锁能够显著提高并发性能,但在写操作频繁时,可能需要考虑其他同步机制。
7.应用场景
- 数据库系统:多个用户同时读取数据,但写入操作需要独占访问。
- 文件系统:多个进程同时读取文件,但写入操作需要互斥。
- 缓存系统:多个线程同时读取缓存数据,但更新缓存时需要独占访问。