经典同步问题

重电教务系统

计算机&；

教育信息化促进教育公平研究

整数型信号量(无法满足许可等待，被淘汰的记录型信号量)申请一种资源一个数量

教育教学质量

wait(s )和signal (wait ) s )和signal ) s )无需在同一过程中前进的信号量编程2021-10-26 3练习：总线问题

公共汽车上有司机和列车员司机的活动。 开始%E8%BD%A6%E8%BE%86%E2%9D%91%20%E6%AD%A3%E5%B8%B8%E8%BF%90%E8%A1%8C%E2%9D%91%20%E5%88%B0%E7%AB%99%E5%81%9C%E8%BD%A6%0A%E2%97%BC%20%E5%94%AE%E7%A5%A8%E5%91%98%E7%9A%84%E6%B4%BB%E5%8A%A8%E2%9D%91%20%E4%B8%8A%E4%B8%8B%E4%B9%98%E5%AE%A2%E2%9D%91%20%E5%85%B3%E8%BD%A6%E9%97%A8%E2%9D%91%20%E5%94%AE%E7%A5%A8%E2%9D%91%20%E5%BC%80%E8%BD%A6%E9%97%A8%E2%9D%91%20%E4%B8%8A%E4%B8%8B%E4%B9%98%E5%AE%A2%0A%E2%97%BC%20%E6%9D%A1%E4%BB%B61%EF%BC%9A%E5%8F%B8%E6%9C%BA%E5%BF%85%E9%A1%BB%E7%AD%89%E5%94%AE%E7%A5%A8%E5%91%98%E5%85%B3%E8%BD%A6%E9%97%A8%E5%90%8E%E6%89%8D%E8%83%BD%E5%90%AF%E5%8A%A8%E8%BD%A6%E8%BE%86%E2%97%BC%20%E6%9D%A1%E4%BB%B62%EF%BC%9A%E5%94%AE%E7%A5%A8%E5%91%98%E5%BF%85%E9%A1%BB%E7%AD%89%E5%8F%B8%E6%9C%BA%E5%81%9C%E8%BD%A6%E5%90%8E%E6%89%8D%E8%83%BD%E5%BC%80%E8%BD%A6%E9%97%A8%E2%97%BC%20%E8%AF%B7%E8%AE%BE%E8%AE%A1%E7%A8%8B%E5%BA%8F%EF%BC%8C%E4%BD%BF%E7%94%A8%E8%AE%B0%E5%BD%95%E5%9E%8B%E4%BF%A1%E5%8F%B7%E9%87%8F%E5%AE%9E%E7%8E%B0%E4%B8%A4%E4%BA%BA%E7%9A%84%E5%90%8C%E6%AD%A5%E5%90%88%E4%BD%9C2021-10-26%204%E7%BB%83%E4%B9%A0%EF%BC%9A%E5%85%AC%E4%BA%A4%E8%BD%A6%E9%97%AE%E9%A2%98%0A%E2%97%BC%20%E5%8F%B8%E6%9C%BA%E5%92%8C%E5%94%AE%E7%A5%A8%E5%91%98%E4%B8%A4%E4%B8%AA%E8%A7%92%E8%89%B2%0A%E2%9D%91%20%E4%B8%A4%E4%B8%AA%E8%BF%9B%E7%A8%8Bdriver%E5%92%8Cbusman%E2%97%BC%20%E6%9D%A1%E4%BB%B61%EF%BC%9A%E5%85%B3%E8%BD%A6%E9%97%A8%28b%29%E2%86%92%E5%90%AF%E5%8A%A8%E8%BD%A6%E8%BE%86%28d%29%E2%9D%91%20%E8%AE%BE%E7%BD%AE%E4%BF%A1%E5%8F%B7%E9%87%8FS1%E5%AF%B9%E5%BA%94%E5%8F%B8%E6%9C%BA%E8%83%BD%E5%90%A6%E5%90%AF%E5%8A%A8%E8%BD%A6%E8%BE%86%E2%9D%91%20S1%E7%9A%84%E6%A3%80%E6%9F%A5%E5%9C%A8%E5%8F%B8%E6%9C%BA%E8%BF%9B%E7%A8%8B%EF%BC%8C%E5%BC%80%E9%94%81%E5%9C%A8%E5%94%AE%E7%A5%A8%E5%91%98%E8%BF%9B%E7%A8%8B%E2%97%BC%20%E6%9D%A1%E4%BB%B62%EF%BC%9A%E5%88%B0%E7%AB%99%E5%81%9C%E8%BD%A6%28d%29%E2%86%92%E5%BC%80%E8%BD%A6%E9%97%A8%28b%29%E2%9D%91%20%E8%AE%BE%E7%BD%AE%E4%BF%A1%E5%8F%B7%E9%87%8FS2%E5%AF%B9%E5%BA%94%E5%94%AE%E7%A5%A8%E5%91%98%E8%83%BD%E5%90%A6%E5%BC%80%E8%BD%A6%E9%97%A8%E2%9D%91%20S2%E7%9A%84%E6%A3%80%E6%9F%A5%E5%9C%A8%E5%94%AE%E7%A5%A8%E5%91%98%E8%BF%9B%E7%A8%8B%EF%BC%8C%E5%BC%80%E9%94%81%E5%9C%A8%E5%8F%B8%E6%9C%BA%E8%BF%9B%E7%A8%8Bint%20S1%3D0%EF%BC%8CS2%3D0%3B%20main%28%29%7B%20driver%28%29%3Bbusman%28%29%3B%7D%0A//S1%E8%83%BD%E5%90%A6%E5%88%9D%E5%A7%8B%E4%B8%BA1%EF%BC%9Fbusman%28%29%20%7B%20while%281%29%7B%E4%B8%8A%E4%B8%8B%E4%B9%98%E5%AE%A2%3B%E5%85%B3%E8%BD%A6%E9%97%A8%EF%BC%9Bsignal%28S1%29%3B%E5%94%AE%E7%A5%A8%3B%0Await%28S2%29%3B%E5%BC%80%E8%BD%A6%E9%97%A8%3B%E4%B8%8A%E4%B8%8B%E4%B9%98%E5%AE%A2%3B%20%7D%7D%0Adriver%28%29%20%7B%20while%281%29%7B%20wait%28S1%29%3B%E5%90%AF%E5%8A%A8%E8%BD%A6%E8%BE%86%EF%BC%9B%E6%AD%A3%E5%B8%B8%E8%BF%90%E8%A1%8C%EF%BC%9B%E5%88%B0%E7%AB%99%E5%81%9C%E8%BD%A6%EF%BC%9B%0Asignal%28S2%29%3B%7D%7D%0A2021-10-26%2052.4%20%E7%BB%8F%E5%85%B8%E8%BF%9B%E7%A8%8B%E7%9A%84%E5%90%8C%E6%AD%A5%E9%97%AE%E9%A2%982.4.1%20%E7%94%9F%E4%BA%A7%E8%80%85%E2%80%94%E6%B6%88%E8%B4%B9%E8%80%85%E9%97%AE%E9%A2%98%0A%E2%97%BC%20%E7%94%9F%E4%BA%A7%E8%80%85%E2%80%94%E6%B6%88%E8%B4%B9%E8%80%85%E9%97%AE%E9%A2%98%E6%98%AF%E7%9B%B8%E4%BA%92%E5%90%88%E4%BD%9C%E7%9A%84%E8%BF%9B%E7%A8%8B%E5%85%B3%E7%B3%BB%E7%9A%84%E4%B8%80%E7%A7%8D%E6%8A%BD%E8%B1%A1%EF%BC%8C%E8%AF%A5%E9%97%AE%E9%A2%98%E6%9C%89%E5%BE%88%E5%A4%A7%E7%9A%84%E4%BB%A3%E8%A1%A8%E6%80%A7%E5%8F%8A%E5%AE%9E%E7%94%A8%E4%BB%B7%E5%80%BC%E2%9D%91%20%E8%BE%93%E5%85%A5%E6%97%B6%EF%BC%8C%E8%BE%93%E5%85%A5%E8%BF%9B%E7%A8%8B%E6%98%AF%E7%94%9F%E4%BA%A7%E8%80%85%EF%BC%8C%E8%AE%A1%E7%AE%97%E8%BF%9B%E7%A8%8B%E6%98%AF%E6%B6%88%E8%B4%B9%E8%80%85%EF%BC%9B%E2%9D%91%20%E8%BE%93%E5%87%BA%E6%97%B6%EF%BC%8C%E8%AE%A1%E7%AE%97%E8%BF%9B%E7%A8%8B%E6%98%AF%E7%94%9F%E4%BA%A7%E8%80%85%EF%BC%8C%E6%89%93%E5%8D%B0%E8%BF%9B%E7%A8%8B%E6%98%AF%E6%B6%88%E8%B4%B9%E8%80%852021-10-26%2062.4%20%E7%BB%8F%E5%85%B8%E8%BF%9B%E7%A8%8B%E7%9A%84%E5%90%8C%E6%AD%A5%E9%97%AE%E9%A2%98%0A%E2%97%BC%20%E6%9C%AA%E5%8A%A0%E4%BF%A1%E5%8F%B7%E9%87%8F%E7%9A%84%E7%94%9F%E4%BA%A7%E8%80%85%E2%80%94%E6%B6%88%E8%B4%B9%E8%80%85%E7%A8%8B%E5%BA%8Fproducer%3A%20repeat%E2%80%A6produce%20an%20item%20in%20nextp%3B%E2%80%A6%0Awhile%20counter%3Dn%20do%20no-op%3Bbuffer%EF%BC%BBin%20%E2%88%B6%20%3D%20nextp%3Bin%20%E2%88%B6%20%3D%20in%2B1%20mod%20n%3Bcounter%20%E2%88%B6%20%3D%20counter%2B1%3Buntil%20false%3Bconsumer%3A%20repeat%0Awhile%20counter%3D0%20do%20no-op%3Bnextc%20%E2%88%B6%20%3D%20buffer%EF%BC%BBout%EF%BC%BD%3Bout%20%E2%88%B6%20%3D%20%28out%2B1%29%20mod%20n%3Bcounter%20%E2%88%B6%20%3D%20counter-1%3Bconsumer%20the%20item%20in%20nextc%3Buntil%20false%3B%202021-10-26%2072.4%20%E7%BB%8F%E5%85%B8%E8%BF%9B%E7%A8%8B%E7%9A%84%E5%90%8C%E6%AD%A5%E9%97%AE%E9%A2%98%0A%E2%97%BC%20%E9%87%87%E7%94%A8%E4%BA%92%E6%96%A5%E5%9E%8B%E4%BF%A1%E5%8F%B7%E9%87%8F%E8%A7%A3%E5%86%B3%E7%94%9F%E4%BA%A7%E8%80%85%E2%80%94%E6%B6%88%E8%B4%B9%E8%80%85%E9%97%AE%E9%A2%98%0AVar%20mutex%20%3A%20semaphore%20%E2%88%B6%20%3D%201%3Bproducer%3A%20repeat%20consumer%3A%20repeat%E2%80%A6%20%E2%80%A6wait%20%28mutex%29%3B%20wait%20%28mutex%29%3B%0Acounter%20%E2%88%B6%20%3D%20counter%2B1%3B%20counter%E2%88%B6%20%3D%20counter-1%3Bsignal%20%28mutex%29%3B%20signal%20%28mutex%29%3B%E2%80%A6%20%E2%80%A6%E2%97%BC%20%E4%B8%8A%E8%BF%B0%E4%BF%A1%E5%8F%B7%E9%87%8Fmutex%EF%BC%8C%E5%8F%AA%E6%98%AF%E4%BF%9D%E8%AF%81%E4%BA%86%E5%AF%B9%E7%BC%93%E5%86%B2%E5%8C%BA%E7%9A%84%E4%BA%92%E6%96%A5%E6%93%8D%E4%BD%9C%E2%97%BC%20%E6%9C%AA%E5%AE%9E%E7%8E%B0%E4%B8%A4%E7%A7%8D%E9%99%90%E5%88%B6%E6%83%85%E5%86%B5%0A%E2%9D%91%20%E7%BC%93%E5%86%B2%E6%B1%A0%E5%85%A8%E6%BB%A1%E5%88%99%E7%94%9F%E4%BA%A7%E8%80%85%E9%98%BB%E5%A1%9E%E2%9D%91%20%E7%BC%93%E5%86%B2%E6%B1%A0%E5%85%A8%E7%A9%BA%E5%88%99%E6%B6%88%E8%B4%B9%E8%80%85%E9%98%BB%E5%A1%9E%0A%E2%9D%91%20%E5%8E%9F%E6%9C%89%E7%9A%84counter%E6%98%AF%E4%B8%80%E4%B8%AA%E6%95%B4%E6%95%B0%E5%8F%98%E9%87%8F%EF%BC%8C%E9%9D%9E%E4%BF%A1%E5%8F%B7%E9%87%8F%EF%BC%8C%E9%98%BB%E5%A1%9E%E9%98%9F%E5%88%97%E4%B8%8D%E8%83%BD%E6%8C%82%E9%9D%A0%E5%9C%A8counter%E5%AF%B9%E5%BA%94%E7%9A%84%E9%98%9F%E5%88%97%E4%B8%AD2021-10-26%2082.4%20%E7%BB%8F%E5%85%B8%E8%BF%9B%E7%A8%8B%E7%9A%84%E5%90%8C%E6%AD%A5%E9%97%AE%E9%A2%98%0A%E2%97%BC%20%E5%88%A9%E7%94%A8%E8%AE%B0%E5%BD%95%E5%9E%8B%E4%BF%A1%E5%8F%B7%E9%87%8F%E8%A7%A3%E5%86%B3%E7%94%9F%E4%BA%A7%E8%80%85%E2%80%94%E6%B6%88%E8%B4%B9%E8%80%85%E9%97%AE%E9%A2%98%E2%9D%91%20%E5%85%B7%E6%9C%89n%E4%B8%AA%E7%BC%93%E5%86%B2%E5%8C%BA%E5%85%AC%E7%94%A8%E7%BC%93%E5%86%B2%E6%B1%A0%0A%E2%9D%91%20%E4%BA%92%E6%96%A5%E4%BF%A1%E5%8F%B7%E9%87%8Fmutex%E5%AE%9E%E7%8E%B0%E8%AF%B8%E8%BF%9B%E7%A8%8B%E5%AF%B9%E7%BC%93%E5%86%B2%E6%B1%A0%E7%9A%84%E4%BA%92%E6%96%A5%E4%BD%BF%E7%94%A8%E2%9D%91%20%E4%BF%A1%E5%8F%B7%E9%87%8Fempty%E8%A1%A8%E7%A4%BA%E7%BC%93%E5%86%B2%E6%B1%A0%E4%B8%AD%E7%A9%BA%E7%BC%93%E5%86%B2%E5%8C%BA%E6%95%B0%E9%87%8F%E3%80%82%E2%9D%91%20%E4%BF%A1%E5%8F%B7%E9%87%8Ffull%E8%A1%A8%E7%A4%BA%E7%BC%93%E5%86%B2%E6%B1%A0%E4%B8%AD%E6%BB%A1%E7%BC%93%E5%86%B2%E5%8C%BA%E7%9A%84%E6%95%B0%E9%87%8F%E3%80%82%E2%9D%91%20mutex%E4%B8%BA%E5%85%AC%E7%94%A8%E4%BF%A1%E5%8F%B7%E9%87%8F%EF%BC%8Cfull%E4%B8%8Eempty%E4%B8%8E%E7%A7%81%E7%94%A8%E4%BF%A1%E5%8F%B7%E9%87%8F%E2%9D%91%20%E7%BC%93%E5%86%B2%E6%B1%A0%E6%9C%AA%E6%BB%A1%EF%BC%8C%E7%94%9F%E4%BA%A7%E8%80%85%E5%8F%AF%E4%BB%A5%E5%B0%86%E6%B6%88%E6%81%AF%E9%80%81%E5%85%A5%E7%BC%93%E5%86%B2%E6%B1%A0%E2%9D%91%20%E7%BC%93%E5%86%B2%E6%B1%A0%E6%9C%AA%E7%A9%BA%EF%BC%8C%E6%B6%88%E8%B4%B9%E8%80%85%E5%8F%AF%E4%BB%A5%E4%BB%8E%E7%BC%93%E5%86%B2%E6%B1%A0%E4%B8%AD%E5%8F%96%E8%B5%B0%E6%B6%88%E6%81%AF2021-10-26%2092.4%20%E7%BB%8F%E5%85%B8%E8%BF%9B%E7%A8%8B%E7%9A%84%E5%90%8C%E6%AD%A5%E9%97%AE%E9%A2%98%0A%E2%97%BC%20%E5%8A%A0%E5%85%A5%E8%AE%B0%E5%BD%95%E5%9E%8B%E4%BF%A1%E5%8F%B7%E9%87%8F%E7%9A%84%E7%94%9F%E4%BA%A7%E8%80%85%E2%80%94%E6%B6%88%E8%B4%B9%E8%80%85%E7%A8%8B%E5%BA%8F%0AVar%20mutex%2C%20empty%2C%20full%3Asemaphore%20%E2%88%B6%3D%201%2Cn%2C0%3Bbuffer%3Aarray%EF%BC%BB0%2C%20%E2%80%A6%2C%20n-1%EF%BC%BD%20of%20item%3Bin%2C%20out%3A%20integer%20%E2%88%B6%3D%200%2C%200%3B%E2%97%BC%20mutex%3D1%EF%BC%8C%E7%94%A8%E4%BA%8E%E4%BA%92%E6%96%A5%E2%97%BC%20empty%3Dn%EF%BC%8C%E7%BC%93%E5%86%B2%E6%B1%A0%E5%88%9D%E5%A7%8B%E5%8C%96%E6%98%AF%E5%85%A8%E7%A9%BA%0A%E2%97%BC%20full%3D0%EF%BC%8C%E8%8B%A5%E6%B6%88%E8%B4%B9%E8%80%85%E8%BF%9B%E7%A8%8B%E5%85%88%E5%90%AF%E5%8A%A8%EF%BC%8C%E5%88%99%E8%BF%9B%E5%85%A5%E9%98%BB%E5%A1%9E%E7%8A%B6%E6%80%81%E7%AD%89%E5%BE%85%E7%94%9F%E4%BA%A7%E8%80%852021-10-26%20102.4%20%E7%BB%8F%E5%85%B8%E8%BF%9B%E7%A8%8B%E7%9A%84%E5%90%8C%E6%AD%A5%E9%97%AE%E9%A2%98%E2%97%BC%20%E5%8A%A0%E5%85%A5%E8%AE%B0%E5%BD%95%E5%9E%8B%E4%BF%A1%E5%8F%B7%E9%87%8F%E7%9A%84%E7%94%9F%E4%BA%A7%E8%80%85%E2%80%94%E6%B6%88%E8%B4%B9%E8%80%85%E7%A8%8B%E5%BA%8F%0Aproceducer%3Abegin%20consumer%3Abeginrepeat%20repeat%0Aproducer%20an%20item%20nextp%3B%20%E2%80%A6wait%28empty%29%3B%20wait%28full%29%3Bwait%28mutex%29%3B%20wait%28mutex%29%3B%0Abuffer%28in%29%E2%88%B6%3D%20nextp%3B%20nextc%E2%88%B6%20%3D%20buffer%28out%29%3Bin%E2%88%B6%3D%20%28in%2B1%29%20mod%20n%3B%20out%E2%88%B6%20%3D%20%28out%2B1%29%20mod%20n%3Bsignal%28mutex%29%3B%20signal%28mutex%29%3Bsignal%28full%29%3B%20signal%28empty%29%3Buntil%20false%3B%20consumer%20the%20item%20in%20nextc%3B%20%E2%80%A62021-10-26%20112.4%20%E7%BB%8F%E5%85%B8%E8%BF%9B%E7%A8%8B%E7%9A%84%E5%90%8C%E6%AD%A5%E9%97%AE%E9%A2%98%0A%E2%97%BC%20%E4%BA%92%E6%96%A5%EF%BC%88%E5%85%AC%E7%94%A8%EF%BC%89%E4%BF%A1%E5%8F%B7%E9%87%8F%EF%BC%8C%E5%9C%A8%E5%8D%95%E4%B8%AA%E7%A8%8B%E5%BA%8F%E4%B8%AD%E5%BF%85%E9%A1%BB%E6%88%90%E5%AF%B9%E5%9C%B0%E5%87%BA%E7%8E%B0%0A%E2%9D%91%20%E4%BE%8B%E5%A6%82%E5%AE%9E%E7%8E%B0%E4%BA%92%E6%96%A5%E7%9A%84wait%28mutex%29%E5%92%8Csignal%28mutex%29%E2%97%BC%20%E8%B5%84%E6%BA%90%EF%BC%88%E7%A7%81%E7%94%A8%EF%BC%89%E4%BF%A1%E5%8F%B7%E9%87%8Fempty%E5%92%8Cfull%E7%9A%84wait%E5%92%8Csignal%E6%93%8D%E4%BD%9C%EF%BC%8C%E5%90%8C%E6%A0%B7%E9%9C%80%E8%A6%81%E6%88%90%E5%AF%B9%E5%9C%B0%E5%87%BA%E7%8E%B0%EF%BC%8C%E4%BD%86%E5%AE%83%E4%BB%AC%E5%88%86%E5%88%AB%E5%A4%84%E4%BA%8E%E4%B8%8D%E5%90%8C%E7%9A%84%E7%A8%8B%E5%BA%8F%E4%B8%AD%E3%80%82%E2%9D%91%20%E4%BE%8B%E5%A6%82%EF%BC%8Cwait%28empty%29%E5%9C%A8%E8%AE%A1%E7%AE%97%E8%BF%9B%E7%A8%8B%E4%B8%AD%EF%BC%8C%E8%80%8Csignal%28empty%29%E5%88%99%E5%9C%A8%E6%89%93%E5%8D%B0%E8%BF%9B%E7%A8%8B%E4%B8%AD%EF%BC%8C%E8%AE%A1%E7%AE%97%E8%BF%9B%E7%A8%8B%E8%8B%A5%E5%9B%A0%E6%89%A7%E8%A1%8Cwait%28empty%29%E8%80%8C%E9%98%BB%E5%A1%9E%EF%BC%8C%20%E5%88%99%E4%BB%A5%E5%90%8E%E5%B0%86%E7%94%B1%E6%89%93%E5%8D%B0%E8%BF%9B%E7%A8%8B%E5%B0%86%E5%AE%83%E5%94%A4%E9%86%92%E2%97%BC%20%E6%AF%8F%E4%B8%AA%E7%A8%8B%E5%BA%8F%E4%B8%AD%E7%9A%84%E5%A4%9A%E4%B8%AAwait%E6%93%8D%E4%BD%9C%E9%A1%BA%E5%BA%8F%E4%B8%8D%E8%83%BD%E9%A2%A0%E5%80%92%EF%BC%8C%20%E2%80%9C%E5%85%88%E7%A7%81%E5%90%8E%E5%85%AC%E2%80%9D%EF%BC%8C%E5%85%88%E6%89%A7%E8%A1%8C%E5%AF%B9%E8%B5%84%E6%BA%90%E4%BF%A1%E5%8F%B7%E9%87%8F%E7%9A%84wait%E6%93%8D%E4%BD%9C%EF%BC%8C%E5%86%8D%E6%89%A7%E8%A1%8C%E5%AF%B9%E4%BA%92%E6%96%A5%E4%BF%A1%E5%8F%B7%E9%87%8F%E7%9A%84wait%E6%93%8D%E4%BD%9C%EF%BC%8C%E5%90%A6%E5%88%99%E5%8F%AF%E8%83%BD%E5%BC%95%E8%B5%B7%E8%BF%9B%E7%A8%8B%E6%AD%BB%E9%94%81%E3%80%822021-10-26%20122.4%20%E7%BB%8F%E5%85%B8%E8%BF%9B%E7%A8%8B%E7%9A%84%E5%90%8C%E6%AD%A5%E9%97%AE%E9%A2%98%E2%97%BC%20%E2%80%9C%E5%85%88%E5%85%AC%E5%90%8E%E7%A7%81%E2%80%9D%E4%BC%9A%E5%AF%BC%E8%87%B4%E6%AD%BB%E9%94%81%E5%8F%91%E7%94%9F%3A%0A%E2%9D%91%20%E7%94%9F%E4%BA%A7%E8%80%85%E5%92%8C%E6%B6%88%E8%B4%B9%E8%80%85%E8%BF%9B%E7%A8%8B%E9%83%BD%E4%BA%A4%E6%8D%A2%E4%BA%86wait%E6%93%8D%E4%BD%9C%E7%9A%84%E6%AC%A1%E5%BA%8F%E2%9D%91%20mutex%3D1%2C%20full%3D0%2C%20empty%3Dn%0A%E2%91%A0%20C%EF%BC%9Await%28mutex%29%20%E2%86%92%20mutex-1%3D0%2C%20%E9%80%9A%E8%BF%87%E5%BE%80%E4%B8%8B%E6%89%A7%E8%A1%8C%E2%91%A1%20C%EF%BC%9Await%28full%29%20%E2%86%92%20full-1%3D-1%3C0%2C%20%E6%B6%88%E8%B4%B9%E8%80%85%E8%BF%9B%E7%A8%8B%E8%A2%AB%E9%98%BB%E5%A1%9E%E2%91%A2%20P%EF%BC%9Await%28mutex%29%20%E2%86%92%20mutex-1%3D-1%3C0%2C%20%E7%94%9F%E4%BA%A7%E8%80%85%E8%BF%9B%E7%A8%8B%E8%A2%AB%E9%98%BB%E5%A1%9E%E2%9D%91%20%E8%BF%99%E6%97%B6%EF%BC%8C%E7%94%9F%E4%BA%A7%E8%80%85%E5%92%8C%E6%B6%88%E8%B4%B9%E8%80%85%E4%B8%A4%E8%BF%9B%E7%A8%8B%E5%88%86%E5%88%AB%E9%98%BB%E5%A1%9E%E5%9C%A8%E7%AD%89%E5%BE%85mutex%E5%92%8Cfull%E4%BF%A1%E5%8F%B7%E9%87%8F%E7%9A%84%E9%98%9F%E5%88%97%EF%BC%8C%E6%B2%A1%E6%9C%89%E8%BF%9B%E7%A8%8B%E5%8F%AF%E4%BB%A5%E5%90%91%E5%89%8D%E6%8E%A8%E8%BF%9B%EF%BC%8C%E7%B3%BB%E7%BB%9F%E8%BF%9B%E5%85%A5%E6%AD%BB%E9%94%81%E7%8A%B6%E6%80%812021-10-26%20132.4%20%E7%BB%8F%E5%85%B8%E8%BF%9B%E7%A8%8B%E7%9A%84%E5%90%8C%E6%AD%A5%E9%97%AE%E9%A2%98%0A%E2%97%BC%20%E5%81%87%E8%AE%BE%E7%BC%93%E5%86%B2%E6%B1%A0%E6%9C%893%E4%B8%AA%E7%BC%93%E5%86%B2%E5%8C%BA%EF%BC%8C%E5%BD%93%E5%89%8D%E6%89%A7%E8%A1%8C%E9%A1%BA%E5%BA%8F%E4%B8%BA%EF%BC%9A%0AP1-P2-C1-P3-P4-P5-C2-C3-C4-C5-C6-P6%E2%9D%91%20%E8%A7%84%E5%88%991%EF%BC%9A%E9%98%BB%E5%A1%9E%E8%BF%9B%E7%A8%8B%E8%A2%AB%E5%94%A4%E9%86%92%E5%90%8E%E6%8F%92%E5%85%A5%E5%B0%B1%E7%BB%AA%E9%98%9F%E5%88%97%E5%A4%B4%0A%E2%9D%91%20%E8%A7%84%E5%88%992%EF%BC%9A%E9%98%BB%E5%A1%9E%E8%BF%9B%E7%A8%8B%E8%A2%AB%E5%94%A4%E9%86%92%E5%90%8E%E6%94%BE%E5%85%A5%E5%B0%B1%E7%BB%AA%E9%98%9F%E5%88%97%E5%B0%BE%E2%9D%91%20%E5%AF%B9%E4%BA%8E%E8%AE%B0%E5%BD%95%E5%9E%8B%E4%BF%A1%E5%8F%B7%E9%87%8F%EF%BC%8C%E9%98%BB%E5%A1%9E%E8%BF%9B%E7%A8%8B%E8%A2%AB%E5%94%A4%E9%86%92%E5%90%8E%E5%B0%86%E4%BB%8E%E9%98%BB%E5%A1%9E%E7%9A%84%E5%9C%B0%E6%96%B9%E5%BE%80%E4%B8%8B%E6%89%A7%E8%A1%8C%EF%BC%8C%E5%8D%B3wait%E6%93%8D%E4%BD%9C%E4%B8%8D%E4%BC%9A%E5%86%8D%E6%AC%A1%E6%89%A7%E8%A1%8C%EF%BC%8C%E7%9B%B4%E6%8E%A5%E6%89%A7%E8%A1%8Cwait%E6%93%8D%E4%BD%9C%E5%90%8E%E9%9D%A2%E7%9A%84%E8%AF%AD%E5%8F%A5%E3%80%82%E2%97%BC%20%E5%88%9D%E5%A7%8B%E5%8C%96mutex%3D1%2C%20empty%3D3%2C%20full%3D02021-10-26%2014%0A2.4%20%E7%BB%8F%E5%85%B8%E8%BF%9B%E7%A8%8B%E7%9A%84%E5%90%8C%E6%AD%A5%E9%97%AE%E9%A2%98%0A%E6%8C%89%E8%A7%84%E5%88%991%E6%89%A7%E8%A1%8C%EF%BC%9A%20P1-P2-C1-P3-P4-P5-C2-C3-C4-C5-C6-P6%E6%89%A7%E8%A1%8C%20%E6%89%A7%E8%A1%8C%E5%90%8E%20%E4%BF%A1%E5%8F%B7%E9%87%8F%E5%8F%98%E5%8C%96%28%E7%BC%93%E5%86%B2%E6%B1%A0%E7%8A%B6%E6%80%81%29%0A%E6%89%A7%E8%A1%8C%E9%A1%BA%E5%BA%8F%20empty%E9%98%BB%E5%A1%9E%E9%98%9F%E5%88%97full%E9%98%BB%E5%A1%9E%E9%98%9F%E5%88%97%0A%E5%88%9D%E5%A7%8B%20%E6%97%A0%E8%BF%9B%E7%A8%8B%E6%89%A7%E8%A1%8C%20empty%3D3%2Cfull%3D0%20NULL%20NULLP1%20P%E8%BF%9B%E7%A8%8B%E7%AC%AC1%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D2%2Cfull%3D1P2%20P%E8%BF%9B%E7%A8%8B%E7%AC%AC2%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D1%2Cfull%3D2C1%20C%E8%BF%9B%E7%A8%8B%E7%AC%AC1%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D2%2Cfull%3D1P3%20P%E8%BF%9B%E7%A8%8B%E7%AC%AC3%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D1%2Cfull%3D2P4%20P%E8%BF%9B%E7%A8%8B%E7%AC%AC4%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D0%2Cfull%3D3P5%20P5%E9%98%BB%E5%A1%9E%EF%BC%8C%E6%8F%92%E5%85%A5empty%E9%98%9F%E5%88%97%20empty%3D-1%2Cfull%3D3%20P5C2%20C%E5%AE%8C%E6%88%90%EF%BC%8C%E5%94%A4%E9%86%92P5%20empty%3D0%2Cfull%3D2%20P5-C3-C4-C5-C6-P6P5%20P%E8%BF%9B%E7%A8%8B%E7%AC%AC5%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D0%2Cfull%3D3%0AC3%20C%E8%BF%9B%E7%A8%8B%E7%AC%AC3%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D1%2Cfull%3D2C4%20C%E8%BF%9B%E7%A8%8B%E7%AC%AC4%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D2%2Cfull%3D1C5%20C%E8%BF%9B%E7%A8%8B%E7%AC%AC5%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D3%2Cfull%3D0C6%20C6%E9%98%BB%E5%A1%9E%EF%BC%8C%E6%8F%92%E5%85%A5full%E9%98%9F%E5%88%97%20empty%3D3%2Cfull%3D-1%20C6P6%20P%E5%AE%8C%E6%88%90%EF%BC%8C%E5%94%A4%E9%86%92C6%20empty%3D2%2Cfull%3D0C6%20C%E8%BF%9B%E7%A8%8B%E7%AC%AC6%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D3%2Cfull%3D0%20NULL%20NULL%20NULL2021-10-26%20152.4%20%E7%BB%8F%E5%85%B8%E8%BF%9B%E7%A8%8B%E7%9A%84%E5%90%8C%E6%AD%A5%E9%97%AE%E9%A2%98%0A%E6%8C%89%E8%A7%84%E5%88%992%E6%89%A7%E8%A1%8C%EF%BC%9A%20P1-P2-C1-P3-P4-P5-C2-C3-C4-C5-C6-P6%E6%89%A7%E8%A1%8C%20%E6%89%A7%E8%A1%8C%E5%90%8E%20%E4%BF%A1%E5%8F%B7%E9%87%8F%E5%8F%98%E5%8C%96%28%E7%BC%93%E5%86%B2%E6%B1%A0%E7%8A%B6%E6%80%81%29%20%E6%89%A7%E8%A1%8C%E9%A1%BA%E5%BA%8F%20empty%20full%E5%88%9D%E5%A7%8B%20%E6%97%A0%E8%BF%9B%E7%A8%8B%E6%89%A7%E8%A1%8C%20empty%3D3%2Cfull%3D0%20NULL%20NULLP1%20P%E8%BF%9B%E7%A8%8B%E7%AC%AC1%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D2%2Cfull%3D1P2%20P%E8%BF%9B%E7%A8%8B%E7%AC%AC2%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D1%2Cfull%3D2C1%20C%E8%BF%9B%E7%A8%8B%E7%AC%AC1%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D2%2Cfull%3D1P3%20P%E8%BF%9B%E7%A8%8B%E7%AC%AC3%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D1%2Cfull%3D2P4%20P%E8%BF%9B%E7%A8%8B%E7%AC%AC4%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D0%2Cfull%3D3P5%20P5%E9%98%BB%E5%A1%9E%EF%BC%8C%E6%8F%92%E5%85%A5empty%E9%98%9F%E5%88%97%20empty%3D-1%2Cfull%3D3%20P5C2%20C%E5%AE%8C%E6%88%90%EF%BC%8C%E5%94%A4%E9%86%92P5%20empty%3D0%2Cfull%3D2%20C3-C4-C5-C6-P6-P5C3%20C%E8%BF%9B%E7%A8%8B%E7%AC%AC3%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D1%2Cfull%3D1%0AC4%20C%E8%BF%9B%E7%A8%8B%E7%AC%AC4%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D2%2Cfull%3D0%0AC5%20C5%E9%98%BB%E5%A1%9E%EF%BC%8C%E6%8F%92%E5%85%A5full%E9%98%9F%E5%88%97%20empty%3D3%2Cfull%3D-1%20C5C6%20C6%E9%98%BB%E5%A1%9E%EF%BC%8C%E6%8F%92%E5%85%A5full%E9%98%9F%E5%88%97%20empty%3D3%2Cfull%3D-2%20C5-C6P6%20P%E5%AE%8C%E6%88%90%EF%BC%8C%E5%94%A4%E9%86%92C5%20empty%3D2%2Cfull%3D-1%20P5-C5%20C6P5%20P%E5%AE%8C%E6%88%90%EF%BC%8C%E5%94%A4%E9%86%92C6%20empty%3D1%2Cfull%3D0%20C5-C6C5%20C%E8%BF%9B%E7%A8%8B%E7%AC%AC5%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D2%2Cfull%3D0C6%20C%E8%BF%9B%E7%A8%8B%E7%AC%AC6%E6%AC%A1%E5%AE%8C%E6%88%90%20empty%3D3%2Cfull%3D0%20NULL%20NULL%20NULL2021-10-26%2016%0A2.4%20%E7%BB%8F%E5%85%B8%E8%BF%9B%E7%A8%8B%E7%9A%84%E5%90%8C%E6%AD%A5%E9%97%AE%E9%A2%98%E2%97%BC%20%E9%81%B5%E5%BE%AA%E8%A7%84%E5%88%991%E8%BF%90%E8%A1%8C14%E6%AC%A1%E7%BB%93%E6%9D%9F%E2%97%BC%20%E9%81%B5%E5%BE%AA%E8%A7%84%E5%88%992%E8%BF%90%E8%A1%8C15%E6%AC%A1%E7%BB%93%E6%9D%9F%0A%E2%97%BC%20%E8%A7%84%E5%88%991%E5%8F%91%E7%94%9F%E7%9A%84%E9%98%BB%E5%A1%9E%E6%AF%94%E8%A7%84%E5%88%992%E5%B0%91%EF%BC%8C%E6%89%A7%E8%A1%8C%E7%9A%84%E6%AD%A5%E9%AA%A4%E4%B9%9F%E5%B0%91%E2%97%BC%20%E6%8E%A8%E8%AE%BA%EF%BC%9A%E9%98%BB%E5%A1%9E%E7%9A%84%E8%BF%9B%E7%A8%8B%E8%A2%AB%E5%94%A4%E9%86%92%E5%90%8E%E5%BA%94%E8%AF%A5%E4%BC%98%E5%85%88%E6%89%A7%E8%A1%8C%EF%BC%8C%E8%BF%99%E6%A0%B7%E5%8F%AF%E4%BB%A5%E5%87%8F%E5%B0%91%E5%90%8E%E7%BB%AD%E5%8F%91%E7%94%9F%E9%98%BB%E5%A1%9E%E7%9A%84%E6%AC%A1%E6%95%B0%E3%80%822021-10-26%20172.4%20%E7%BB%8F%E5%85%B8%E8%BF%9B%E7%A8%8B%E7%9A%84%E5%90%8C%E6%AD%A5%E9%97%AE%E9%A2%98%0A%E2%97%BC%20%E5%88%A9%E7%94%A8AND%E4%BF%A1%E5%8F%B7%E9%87%8F%E8%A7%A3%E5%86%B3%E7%94%9F%E4%BA%A7%E8%80%85%E2%80%94%E6%B6%88%E8%B4%B9%E8%80%85%E9%97%AE%E9%A2%98%0AVar%20mutex%2C%20empty%2C%20full%3Asemaphore%20%E2%88%B6%20%3D%201%2C%20n%2C%200%3Bbuffer%3Aarray%EF%BC%BB0%2C%20%E2%80%A6%2C%20n-1%EF%BC%BD%20of%20item%3Bin%20out%3Ainteger%20%E2%88%B6%20%3D%200%2C%200%3Bbeginparbegin%0Aproducer%3Abeginrepeat%0Aproduce%20an%20item%20in%20nextp%3BSwait%28empty%2C%20mutex%29%3Bbuffer%28in%29%20%E2%88%B6%20%3D%20nextp%3Bin%20%E2%88%B6%20%3D%20%28in%2B1%29mod%20n%3BSsignal%28mutex%2C%20full%29%3Buntil%20false%3Bend%0A2021-10-26%20182.4%20%E7%BB%8F%E5%85%B8%E8%BF%9B%E7%A8%8B%E7%9A%84%E5%90%8C%E6%AD%A5%E9%97%AE%E9%A2%98%E2%97%BC%20%E7%BB%AD%E5%89%8D%E7%A8%8B%E5%BA%8Fconsumer%3Abeginrepeat%0ASwait%28full%2C%20mutex%29%3Bnextc%20%E2%88%B6%20%3D%20buffer%28out%29%3Bout%20%E2%88%B6%20%3D%20%28out%2B1%29%20mod%20n%3BSsignal%28mutex%2C%20empty%29%3Bconsumer%20the%20item%20in%20nextc%3Buntil%20false%3Bend%0Aparendend%20%0A2021-10-26%20192.4%20%E7%BB%8F%E5%85%B8%E8%BF%9B%E7%A8%8B%E7%9A%84%E5%90%8C%E6%AD%A5%E9%97%AE%E9%A2%98%E2%97%BC%20%E7%AE%A1%E7%A8%8B%E8%A7%A3%E5%86%B3%E7%94%9F%E4%BA%A7%E8%80%85-%E6%B6%88%E8%B4%B9%E8%80%85%E9%97%AE%E9%A2%98producer%3Abeginrepeatproduce%20an%20item%20in%20nextp%3BPC.put%28item%29%3B%0Auntil%20false%3Bend%0Aconsumer%3AbeginrepeatPC.get%28item%29%3B%0Aconsume%20the%20item%20in%20nextc%3Buntil%20false%3Bend%20%0A2021-10-26%2020%0A%E2%97%BC%20%E5%B7%B2%E7%9F%A5%E7%BB%84%E8%A3%85%E4%B8%80%E6%94%AF%E9%92%A2%E7%AC%94%E9%9C%80%E8%A6%81%E7%94%A8%E4%B8%89%E7%A7%8D%E9%9B%B6%E4%BB%B6%EF%BC%9A%E7%AC%94%E8%8A%AF%E3%80%81%E7%AC%94%E8%BA%AB%E5%92%8C%E7%AC%94%E7%8E%AF%E5%90%841%E4%B8%AA%E3%80%82%E7%A8%8B%E5%BA%8FC%E6%AF%8F%E6%AC%A1%E5%90%91%E7%BC%93%E5%86%B2%E6%B1%A0%E5%8F%963%E7%A7%8D%E9%9B%B6%E4%BB%B6%E5%90%841%E4%B8%AA%E6%9D%A5%E7%BB%84%E8%A3%85%E9%92%A2%E7%AC%94%E3%80%82%E7%A8%8B%E5%BA%8FP%E6%AF%8F%E6%AC%A1%E5%90%91%E7%BC%93%E5%86%B2%E6%B1%A0%E6%94%BE3%E7%A7%8D%E9%9B%B6%E4%BB%B6%E5%90%841%E4%B8%AA%E3%80%82%0A%E8%AE%BE%E7%BC%93%E5%86%B2%E6%B1%A0%E8%A3%85%E4%B8%89%E7%A7%8D%E9%9B%B6%E4%BB%B6%E7%9A%84%E7%BC%93%E5%86%B2%E5%8C%BA%E5%88%86%E5%88%AB%E4%B8%BA3%E4%B8%AA%EF%BC%8C%E7%8E%B0%E6%9C%89%E7%AC%94%E8%8A%AF%E3%80%81%E7%AC%94%E8%BA%AB%E5%92%8C%E7%AC%94%E7%8E%AF%E7%9A%84%E6%95%B0%E9%87%8F%E4%B8%BA1%E3%80%812%E3%80%813%E3%80%82%E7%8E%B0%E7%94%A8%E4%BF%A1%E5%8F%B7%E9%87%8FS1F%5CS2F%5CS3F%E5%88%86%E5%88%AB%E8%A1%A8%E7%A4%BA%E7%AC%94%E8%8A%AF%E3%80%81%E7%AC%94%E8%BA%AB%E5%92%8C%E7%AC%94%E7%8E%AF%E5%9C%A8%E7%BC%93%E5%86%B2%E6%B1%A0%E7%9A%84%E6%95%B0%E9%87%8F%EF%BC%8C%20S1E%5CS2E%5CS3E%E8%A1%A8%E7%A4%BA%E7%BC%93%E5%86%B2%E6%B1%A0%E8%A3%85%E4%B8%89%E7%A7%8D%E9%9B%B6%E4%BB%B6%E7%9A%84%E7%A9%BA%E7%BC%93%E5%86%B2%E5%8C%BA%E3%80%82%E2%9D%91%20%E7%94%A8AND%E5%9E%8B%E4%BF%A1%E5%8F%B7%E9%87%8F%E6%9D%A5%E8%A7%A3%E5%86%B3%E7%A8%8B%E5%BA%8FC%E5%92%8CP%E7%9A%84%E4%B8%8D%E5%90%8C%E9%97%AE%E9%A2%98%EF%BC%8C%E7%A8%8B%E5%BA%8FC%E5%92%8CP%E6%80%8E%E4%B9%88%E5%86%99%EF%BC%9F%E2%9D%91%20%E7%A8%8B%E5%BA%8FP%E4%BB%8E%E7%AC%AC0%E7%A7%92%E5%BC%80%E5%A7%8B%E6%89%A7%E8%A1%8C%EF%BC%8C%E6%AF%8F%E9%9A%943%E7%A7%92%E5%90%91%E7%BC%93%E5%86%B2%E6%B1%A0%E6%94%BE%E9%9B%B6%E4%BB%B6%EF%BC%8C%E7%A8%8B%E5%BA%8FC%E4%BB%8E%E7%AC%AC1%E7%A7%92%E5%BC%80%E5%A7%8B%E6%89%A7%E8%A1%8C%EF%BC%8C%E6%AF%8F%E9%9A%944%E7%A7%92%E5%90%91%E7%BC%93%E5%86%B2%E6%B1%A0%E5%8F%96%E9%9B%B6%E4%BB%B6%EF%BC%8C%E8%AF%B7%E5%88%86%E6%9E%90%E4%BB%8E0%E5%88%B07%E7%A7%92%E8%BF%99%E6%AE%B5%E6%97%B6%E9%97%B4%EF%BC%8C%E7%A8%8B%E5%BA%8FP%E5%92%8CC%E7%9A%84%E6%89%A7%E8%A1%8C%E8%BF%87%E7%A8%8B%EF%BC%8C%E5%A6%82%E6%9E%9C%E6%9C%89%E9%98%BB%E5%A1%9E%E8%A6%81%E8%AF%B4%E6%98%8E%E3%80%82%E2%97%BC%20%E4%B8%BA%E6%96%B9%E4%BE%BF%E6%8F%8F%E8%BF%B0%EF%BC%8C%E5%AF%B9%E7%A8%8B%E5%BA%8F%E8%BF%9B%E8%A1%8C%E7%BC%96%E5%8F%B7%EF%BC%8C%E4%BE%8B%E5%A6%82%E7%A8%8B%E5%BA%8FP%E5%9C%A8%E7%AC%AC0%E3%80%813%E3%80%816%E7%A7%92%E6%89%A7%E8%A1%8C%EF%BC%8C%E5%88%99%E7%BC%96%E5%8F%B7%E4%B8%BAP0%5CP3%5CP6%EF%BC%8C%E7%B1%BB%E4%BC%BC%E5%9C%B0%EF%BC%8C%E7%A8%8B%E5%BA%8FC%E5%9C%A8%E7%AC%AC1%E3%80%815%E7%A7%92%E6%89%A7%E8%A1%8C%EF%BC%8C%E7%BC%96%E5%8F%B7%E4%B8%BAC1%5CC5%E2%97%BC%20%E9%98%BB%E5%A1%9E%E8%BF%9B%E7%A8%8B%E8%A2%AB%E5%94%A4%E9%86%92%E5%90%8E%E7%AD%89%E5%94%A4%E9%86%92%E5%AE%83%E7%9A%84%E8%BF%9B%E7%A8%8B%E5%AE%8C%E5%90%8E%E7%AB%8B%E5%88%BB%E6%89%A7%E8%A1%8C%E3%80%82%0A2.%20%E7%BB%8F%E5%85%B8%E8%BF%9B%E7%A8%8B%E7%9A%84%E5%90%8C%E6%AD%A5%E9%97%AE%E9%A2%98