7-5 无饿死互斥_地铁十字转门控制程序java代码-程序员宅基地

技术标签： # 嵌入式——线程同步  多线程  

参考https://blog.csdn.net/booksyhay/article/details/82769005
在这里插入图片描述
在如图中所示的程序中，while语句是一个无限循环; 换句话说，一旦线程离开临界区，它就会循环到顶部并尝试再次获取互斥锁。

想象一下，线程A获取互斥锁，线程B和C等待。 当A离开时，B进入，但在B离开之前，A循环回来加入到队列中和C一起排队. B离开时，无法保证C接下来会执行。 实际上，如果接下来是A，并且B加入队列，那么我们将回到起始点，可以永远重复该循环。 C饿死。

这种模式的存在证明了互斥体容易受到饿死的影响。

解决方案：

使用两个十字转门在临界区之前创建两个等候室。 该机制分两个阶段进行。 在第一阶段期间，第一个旋转门打开而第二个旋转门关闭，因此线程在第二个房间中积聚。 在第二阶段，第一个旋转门关闭，因此没有新线程可以进入，第二个旋转门打开，因此现有线程可以到达临界区。

虽然等候室中可能有任意数量的线程，但这里的每个线程都确保在未来的其他线程到达之前进入临界区。

初始化：
在这里插入图片描述
room1和room2跟踪等候室中的线程数。 mutex有助于保护计数器。 t1和t2是十字转门。

osSemaphoreId_t sem_t1;
sem_t1 = osSemaphoreNew(1, 1, NULL); /*t1旋转门初始化打开*/

osSemaphoreId_t sem_t2;
sem_t2 = osSemaphoreNew(1, 0, NULL);/*t2旋转门初始化关闭*/

osSemaphoreId_t sem_mutex;
sem_mutex = osSemaphoreNew(1, 1, NULL);

int room1 = 0;
int room2 = 0;

线程：
在这里插入图片描述
在进入临界区之前，线程必须通过两个十字转门。这些十字转门将代码划分为三个“房间”。 第28行是1号房间，第618行是2号线，其余的是3号房间。不严格地说，计数器room1和room2跟踪每个房间的线程数。

计数器room1以通常的方式受互斥锁mutex保护，但是room2的保护任务分配在t1和t2中。同样，对临界区进行独占访问的责任包括t1和t2这两个信号量。为了进入临界区，线程必须持有其中的一个，但不能同时持有两个。然后，在退出之前，它会放弃它所持有的任何一个。

while(1)
{
    
	osSemaphoreAcquire(sem_mutex, osWaitForever);
	{
    
		room1++;
		printf("enter room1\r\n");
	}
	osSemaphoreRelease(sem_mutex);

	osDelay(10);	/*等待别的线程进入房间*/

	osSemaphoreAcquire(sem_t1, osWaitForever);  /*关闭t1*/
	{
    
		room2++;
		printf("enter room2\r\n");
		osDelay(10);	/*等待别的线程进入房间*/
		osSemaphoreAcquire(sem_mutex, osWaitForever);
		room1--;

		if(room1 == 0)
		{
    
			printf("open turnstile 2\r\n");
			osSemaphoreRelease(sem_mutex);
			osSemaphoreRelease(sem_t2); /*打开t2*/
		}
		else
		{
    
			osSemaphoreRelease(sem_mutex);
			osSemaphoreRelease(sem_t1); /*打开t1*/
		}
	}

	osSemaphoreAcquire(sem_t2, osWaitForever);  /*关闭t2*/
	{
    
		room2--;
		printf("enter room3\r\n");
	
		//critical_point();

		if(room2 == 0)
		{
    
			printf("open turnstile 1\r\n");
			osSemaphoreRelease(sem_t1); /*打开t1*/
		}
		else
		{
    
			osSemaphoreRelease(sem_t2); /*打开t2*/
		}
	}
}

结论：
在这里插入图片描述
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/C_cai_niao/article/details/104020708

智能推荐

18个顶级人工智能平台-程序员宅基地

文章浏览阅读1w次，点赞2次，收藏27次。来源：机器人小妹　　很多时候企业拥有重复，乏味且困难的工作流程，这些流程往往会减慢生产速度并增加运营成本。为了降低生产成本，企业别无选择，只能自动化某些功能以降低生产成本。　　通过数字化..._人工智能平台

electron热加载_electron-reloader-程序员宅基地

文章浏览阅读2.2k次。热加载能够在每次保存修改的代码后自动刷新 electron 应用界面，而不必每次去手动操作重新运行，这极大的提升了开发效率。安装 electron 热加载插件热加载虽然很方便，但是不是每个 electron 项目必须的，所以想要舒服的开发 electron 就只能给 electron 项目单独的安装热加载插件[electron-reloader]:// 在项目的根目录下安装 electron-reloader，国内建议使用 cnpm 代替 npmnpm install electron-relo._electron-reloader

android 11.0 去掉recovery模式UI页面的选项_android recovery 删除 部分菜单-程序员宅基地

文章浏览阅读942次。在11.0 进行定制化开发，会根据需要去掉recovery模式的一些选项 就是在device.cpp去掉一些选项就可以了。_android recovery 删除 部分菜单

mnn linux编译_mnn 编译linux-程序员宅基地

文章浏览阅读3.7k次。https://www.yuque.com/mnn/cn/cvrt_linux_mac基础依赖这些依赖是无关编译选项的基础编译依赖• cmake（3.10 以上）• protobuf (3.0 以上)• 指protobuf库以及protobuf编译器。版本号使用 protoc --version 打印出来。• 在某些Linux发行版上这两个包是分开发布的，需要手动安装• Ubuntu需要分别安装 libprotobuf-dev 以及 protobuf-compiler 两个包•..._mnn 编译linux

利用CSS3制作淡入淡出动画效果_css3入场效果淡入淡出-程序员宅基地

文章浏览阅读1.8k次。CSS3新增动画属性“@-webkit-keyframes”，从字面就可以看出其含义——关键帧，这与Flash中的含义一致。利用CSS3制作动画效果其原理与Flash一样，我们需要定义关键帧处的状态效果，由CSS3来驱动产生动画效果。下面讲解一下如何利用CSS3制作淡入淡出的动画效果。具体实例可参考刚进入本站时的淡入效果。1. 定义动画，名称为fadeIn@-webkit-keyf_css3入场效果淡入淡出

计算机软件又必须包括什么,计算机系统应包括硬件和软件两个子系统，硬件和软件又必须依次分别包括______？...-程序员宅基地

文章浏览阅读2.8k次。计算机系统应包括硬件和软件两个子系统，硬件和软件又必须依次分别包括中央处理器和系统软件。按人的要求接收和存储信息，自动进行数据处理和计算，并输出结果信息的机器系统。计算机是脑力的延伸和扩充，是近代科学的重大成就之一。计算机系统由硬件(子)系统和软件(子)系统组成。前者是借助电、磁、光、机械等原理构成的各种物理部件的有机组合，是系统赖以工作的实体。后者是各种程序和文件，用于指挥全系统按指定的要求进行..._计算机系统包括硬件系统和软件系统 软件又必须包括

随便推点

进程调度（一）——FIFO算法_进程调度fifo算法代码-程序员宅基地

文章浏览阅读7.9k次，点赞3次，收藏22次。一 定义这是最早出现的置换算法。该算法总是淘汰最先进入内存的页面，即选择在内存中驻留时间最久的页面予以淘汰。该算法实现简单，只需把一个进程已调入内存的页面，按先后次序链接成一个队列，并设置一个指针，称为替换指针，使它总是指向最老的页面。但该算法与进程实际运行的规律不相适应，因为在进程中，有些页面经常被访问，比如，含有全局变量、常用函数、例程等的页面，FIFO 算法并不能保证这些页面不被淘汰。这里，我_进程调度fifo算法代码

mysql rownum写法_mysql应用之类似oracle rownum写法-程序员宅基地

文章浏览阅读133次。rownum是oracle才有的写法，rownum在oracle中可以用于取第一条数据，或者批量写数据时限定批量写的数量等mysql取第一条数据写法SELECT * FROM t order by id LIMIT 1;oracle取第一条数据写法SELECT * FROM t where rownum =1 order by id;ok，上面是mysql和oracle取第一条数据的写法对比，不过..._mysql 替换@rownum的写法

eclipse安装教程_ecjelm-程序员宅基地

文章浏览阅读790次，点赞3次，收藏4次。官网下载下载链接：http://www.eclipse.org/downloads/点击Download下载完成后双击运行我选择第2个，看自己需要（我选择企业级应用，如果只是单纯学习java选第一个就行）进入下一步后选择jre和安装路径修改jvm/jre的时候也可以选择本地的（点后面的文件夹进去），但是我们没有11版本的，所以还是用他的吧选择接受安装中安装过程中如果有其他界面弹出就点accept就行..._ecjelm

Linux常用网络命令_ifconfig 删除vlan-程序员宅基地

文章浏览阅读245次。原文链接：https://linux.cn/article-7801-1.htmlifconfigping <IP地址>:发送ICMP echo消息到某个主机traceroute <IP地址>：用于跟踪IP包的路由路由：netstat -r: 打印路由表route add ：添加静态路由路径routed：控制动态路由的BSD守护程序。运行RIP路由协议gat..._ifconfig 删除vlan

redux_redux redis-程序员宅基地

文章浏览阅读224次。reduxredux里要求把数据都放在公共的存储区域叫store里面，组件中尽量少放数据，假如绿色的组件要给很多灰色的组件传值，绿色的组件只需要改变store里面对应的数据就行了，接着灰色的组件会自动感知到store里的数据发生了改变，store只要有变化，灰色的组件就会自动从store里重新取数据，这样绿色组件的数据就很方便的传到其它灰色组件里了。redux就是把公用的数据放在公共的区域去存..._redux redis

linux 解压zip大文件(解决乱码问题)_linux 7za解压中文乱码-程序员宅基地

文章浏览阅读2.2k次，点赞3次，收藏6次。unzip版本不支持4G以上的压缩包所以要使用p7zip：Linux一个高压缩率软件wget http://sourceforge.net/projects/p7zip/files/p7zip/9.20.1/p7zip_9.20.1_src_all.tar.bz2tar jxvf p7zip_9.20.1_src_all.tar.bz2cd p7zip_9.20.1make && make install 如果安装失败，看一下报错是不是因为没有下载gcc 和 gcc ++(p7_linux 7za解压中文乱码

推荐文章

热门文章

相关标签