管程-第三十三天

????????由于缓冲区中产品初始值为0，所以两个消费者进程在并发执行remove函数时都会在wait(empty)处阻塞，然后被挂在等待队列中，此时生产者进程将自己生产的产品放入缓冲区（insert_item(item)）中（缓冲区中还能放下新生产的产品）然后判断此时新产品是否是缓冲区中的唯一一个产品（如果是则说明可能会有消费者在等待新产品的生产，此时唤醒排在empty等待队列队头的消费者进程）然后count--，在消费者进程拿走产品前会判断缓冲区在自己拿走产品之前是否已经满了（如果已经满了，证明此时需要唤醒生产者进程去生产因拿走产品导致的缓冲区出现的空位）最后消费者进程拿走产品（最后肯定能拿走，但是拿走之前你得让之前那些因为缓冲区满了而停工的生产者继续生产）

结论

引入管程的目的就是要更方便地实现进程互斥和同步：

需要在管程中定义共享数据（生产者消费者问题中的缓冲区）
需要在管程中定义用于访问这些共享数据的”入口”，即函数（生产者消费者问题中，可以定义一个函数用于将产品放入缓冲区，再定义一个函数用于从缓冲区取出产品）
只有通过这些特定的“入口”才能访问共享数据
管程中有很多“入口”，但是每一次只能开放其中一个“入口”，并且只能让一个进程或线程进入（生产者消费者问题中，各进程需要互斥地访问共享缓冲区，管程地这种特性即可保证一个时间段内最多只会有一个进程在访问缓冲区，这种互斥特性是由编译器负责实现地，程序员不需要关心）
可在管程中设置条件变量及与之相关的等待/唤醒操作以解决同步问题。可以让一个进程或线程在条件变量上等待（此时，该进程应先释放管程地使用权，也就是让出“入口”）：可以通过唤醒操作将等待在条件变量上地进程或线程唤醒

????????程序员可以用某种特殊地语法定义一个管程，之后其他程序员就可以使用这个管程提供地特定“入口”很方便地实现了进程地同步和互斥了（封装思想）

本节思维导图

~over~

文章来源:https://blog.csdn.net/m0_73975164/article/details/135367145
本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若内容造成侵权/违法违规/事实不符，请联系我的编程经验分享网邮箱：chenni525@qq.com进行投诉反馈，一经查实，立即删除！