2个信号量实现模型：put = 1 get = 0
A
计算x
P(put)
buf = x
V(get)
B
P(get)
y = buf }
if(y为奇)
{
V(put)
打印y
}
else
V(get)
C
P(get)
y = buf
if(y为偶)
{
V(put)
打印y
}
else
V(get)
1个生产者1个消费者，缓冲buf为m
2个信号量实现模型：put = m get = 0
A
计算x
P(put)
buf[t] = x
t = (++t) % m
V(get)
B
P(get)
y = buf[k]
k = (++k) % m
V(put)
打印y
N个生产者M个消费者，缓冲buf为m
4个信号量实现模型：put = m get = 0 T = 1 K = 1
A
计算x
P(put)
P(T)
buf[t] = x
t = (++t) % m
V(T)
V(get)
B
P(get)
P(K)
y = buf[k]
k = (++k) % m
V(K)
V(put)
打印y
四、删除一个信号量
删除一个信号量，系统应该释放一些资源。如果无进程在等待此信号量，处理比较简单。
如果有进程在等待此信号量，如何处理这些进程，有人说kill，但我看到的一个实现是唤醒。
除进程之外，这个等待队列也需要释放，否则会造成内存泄露。
不仅是删除一个信号量，在系统中当删除某个资源时，会释放等待队列的所有task。
OS_DelFlag --|
OS_DelMessageBuffer --|--> call wait_delete(QUEUE *) --> OS_DelSemaphore --|
while()
{ wait_release();...} // release all tasks blocked on specified wait queue
五、由来
为什么敲打这么个东西。因为有个自主实现的基于ITRON的OS需要测试。在测试其信号量资源时我补充了一个测试用例，即当有进程在等待一个信号量时删除此信号量系统会有如何反应。基于此，先给测试人员做了presentation介绍信号量及同步互斥模型。然后粗略地看了看linux 2.4.x，ITRON和ucLinux三个系统的P/V操作和删除信号量的实现。因工作繁忙没有深入研究，简单整理一下用了两个小时边解bug边偷闲着输入完。然后steedhorse帮忙做了检查，经过了一个小时的讨论，改了一些错误，在此感谢。
有的问题我不是很清楚，希望看了后能提出来大家讨论。
A
计算x
P(put)
buf = x
V(get)
B
P(get)
y = buf }
if(y为奇)
{
V(put)
打印y
}
else
V(get)
C
P(get)
y = buf
if(y为偶)
{
V(put)
打印y
}
else
V(get)
1个生产者1个消费者，缓冲buf为m
2个信号量实现模型：put = m get = 0
A
计算x
P(put)
buf[t] = x
t = (++t) % m
V(get)
B
P(get)
y = buf[k]
k = (++k) % m
V(put)
打印y
N个生产者M个消费者，缓冲buf为m
4个信号量实现模型：put = m get = 0 T = 1 K = 1
A
计算x
P(put)
P(T)
buf[t] = x
t = (++t) % m
V(T)
V(get)
B
P(get)
P(K)
y = buf[k]
k = (++k) % m
V(K)
V(put)
打印y
四、删除一个信号量
删除一个信号量，系统应该释放一些资源。如果无进程在等待此信号量，处理比较简单。
如果有进程在等待此信号量，如何处理这些进程，有人说kill，但我看到的一个实现是唤醒。
除进程之外，这个等待队列也需要释放，否则会造成内存泄露。
不仅是删除一个信号量，在系统中当删除某个资源时，会释放等待队列的所有task。
OS_DelFlag --|
OS_DelMessageBuffer --|--> call wait_delete(QUEUE *) --> OS_DelSemaphore --|
while()
{ wait_release();...} // release all tasks blocked on specified wait queue
五、由来
为什么敲打这么个东西。因为有个自主实现的基于ITRON的OS需要测试。在测试其信号量资源时我补充了一个测试用例，即当有进程在等待一个信号量时删除此信号量系统会有如何反应。基于此，先给测试人员做了presentation介绍信号量及同步互斥模型。然后粗略地看了看linux 2.4.x，ITRON和ucLinux三个系统的P/V操作和删除信号量的实现。因工作繁忙没有深入研究，简单整理一下用了两个小时边解bug边偷闲着输入完。然后steedhorse帮忙做了检查，经过了一个小时的讨论，改了一些错误，在此感谢。
有的问题我不是很清楚，希望看了后能提出来大家讨论。