b*****u 发帖数: 648 | 1 电面反复被这种多线程的题虐,一怒之下今天看了一天pthread
在网上找到一个读写锁的代码,有一个问题不太清楚,代码如下
http://www.broncho.cn/forum/viewtopic.php?t=1489
基本思想:
两个计数器 r_cnt, w_cnt
一个 mutex_cnt
一个 condition
读锁:
{
锁mutex
r_cnt++;
while(w_cnt>0)等待condition
解锁mutex
}
解除读锁
{
锁mutex
r_cnt--;
if(r_cnt==0) signal condition
解锁mutex
}
写锁
{
锁mutex
w_cnt++;
while(r_cnt+w_cnt>=2) <=====××××这一步有问题××××
等待conditon
解锁mutex
}
解除写锁
{
锁mutex
w_cnt--;
广播condition
解除写锁
解锁mutex
}
原文说适用于读多写少的情况。但是想象一下如果目前有一个线程在写,另外有一个写
和若干读在等待, 这时写完了,广播了condition,但是等待的线程都出不了while循环
啊?我想了一下如果把有问题的那行改成if,可以解决这个问题,也就是说写只要等到
condition就再不判断counter了。不过如果有>=2个写在等待的话,会被同时唤醒,是
否有问题?还是说还是只有一个能写,其余的会被mutex拦住? |
l*******b 发帖数: 2586 | 2 Need a semaphore for the counter ? |
b*****u 发帖数: 648 | 3 the mutex is for the counter.
【在 l*******b 的大作中提到】![](/moin_static193/solenoid/img/up.png) : Need a semaphore for the counter ?
|
l*******b 发帖数: 2586 | 4 may be need several mutex to lock them... if the counter is a semaphore,
then it will pick one to wake up.
wiki: To avoid starvation, a semaphore has an associated queue of processes
(usually a first-in, first out)
【在 b*****u 的大作中提到】![](/moin_static193/solenoid/img/up.png) : the mutex is for the counter.
|
p*****p 发帖数: 379 | 5 把counter++之类的放到while的后面
把write的while条件改成r_cnt + write_cnt > 0
我觉得这样就行了,但是这代码会造成读的人多了写不进去,广播那里也有待商榷
所以把这套换成一个semaphore应该会好点
【在 b*****u 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 电面反复被这种多线程的题虐,一怒之下今天看了一天pthread : 在网上找到一个读写锁的代码,有一个问题不太清楚,代码如下 : http://www.broncho.cn/forum/viewtopic.php?t=1489 : 基本思想: : 两个计数器 r_cnt, w_cnt : 一个 mutex_cnt : 一个 condition : 读锁: : { : 锁mutex
|
s**x 发帖数: 7506 | 6
我也觉得应该把 r_cnt ++ 放到 while 后面,不过 write的while条件 r_cnt + w_
cnt >= 2 还是对的, 因为 w_cnt++ 在前, 至少是 1 了。
还有好像两个 signal 都应该用 broadcast.
【在 p*****p 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 把counter++之类的放到while的后面 : 把write的while条件改成r_cnt + write_cnt > 0 : 我觉得这样就行了,但是这代码会造成读的人多了写不进去,广播那里也有待商榷 : 所以把这套换成一个semaphore应该会好点
|
p*****2 发帖数: 21240 | |
p*****2 发帖数: 21240 | 8
没明白你的问题。我理解读写锁本身写操作发生的就很少吧。两个写同时的概率很低的
。
【在 b*****u 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 电面反复被这种多线程的题虐,一怒之下今天看了一天pthread : 在网上找到一个读写锁的代码,有一个问题不太清楚,代码如下 : http://www.broncho.cn/forum/viewtopic.php?t=1489 : 基本思想: : 两个计数器 r_cnt, w_cnt : 一个 mutex_cnt : 一个 condition : 读锁: : { : 锁mutex
|
|
p*****p 发帖数: 379 | 9 我觉得两个都放后面就行了
counter的意思是有人在操作,而不是有人要操作
【在 s**x 的大作中提到】![](/moin_static193/solenoid/img/up.png) : : 我也觉得应该把 r_cnt ++ 放到 while 后面,不过 write的while条件 r_cnt + w_ : cnt >= 2 还是对的, 因为 w_cnt++ 在前, 至少是 1 了。 : 还有好像两个 signal 都应该用 broadcast.
|
s**x 发帖数: 7506 | 10
那样做不到写优先。
【在 p*****p 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 我觉得两个都放后面就行了 : counter的意思是有人在操作,而不是有人要操作
|