写者优先算法

[swnuwangyun]

麻烦大家帮我看一下下面地写者优先算法，测试时大部分情况下能构得到正确地结果，但是偶尔会出错，并且出错地概率不是很大，但是肯定有问题，不知道问题处在何处，问老师老师也说不清

HANDLE hDataMutex
HANDLE hOpMutex
HANDLE hCMutex
int counter=0

void read()
{
p(hOpMutex)
//read the data
v(hOpMutex)
}
void write()
{
p(hCMutex);
if(counter==0)
p(hOpMutex);
counter++;
v(hCMutex);

p(hDataMutex);
//write the data
v(hDataMutex);

p(hCMutex);
counter--;
if(counter==0)
v(hOpMutex);
v(hCMutex);
}

[libi]

我也没看出错误，不知道你是怎么测试的。
write（）在第三行才开始“封锁”读者，也就是说在此之前读者可以进入。如果你的测试在第一行处就认为写者已经进入，那么会把这种情况归于错误了。

[zhdleo]

看不到下面的代码？

[fosil]

To swnuwangyun:
你这个算法有一个问题：读者之间也是互斥的，不能同时读。

[swnuwangyun]

为什么，根据我的意思，只要有一个读者在读就不可能有写者在写，因此读者可以同时读，但在最后一个读者读完之前，没有一个写者能后获得临界区。

在实际测试中，我按照你所说的让各个读者也互斥，结果没有发生错误，并且模拟结果似乎也是正确的，写者的优先级比较高，但是我不明白为什么回这样。按照我理论上的分析，如果我的算法是错误的，那大部分情况下的正确测试结果该如何解释？如果我的算法是正确的，那小概率的错误测试结果又该如何解释？

[libi]

能说说你怎么测试的吗？

[zhaoyifei1]

读者没有set counter，能对马？可能是抢占式的吧，在考虑一下巴。
应该有读者队列，写者队列。