专利详情

专利名称	一种在多任务环境下防止死锁的互斥信号量管理方法
申请号	CN201110450433.3	专利类型	发明专利
公开（公告）号	CN102567096A	公开（授权）日	2012.07.11
申请（专利权）人	中国科学院软件研究所	发明（设计）人	李彦峰;潘远明;杨秋松;武延军;翟健;杜栓柱;刘立宇
主分类号	G06F9/46(2006.01)I	IPC主分类号	G06F9/46(2006.01)I
专利有效期	一种在多任务环境下防止死锁的互斥信号量管理方法至一种在多任务环境下防止死锁的互斥信号量管理方法	法律状态	实质审查的生效
说明书摘要	一种在多任务环境中防止死锁的互斥信号量管理方法，包括以下步骤：A、为系统所需的互斥信号量分配一一对应的编号；B、建立包括含有互斥信号量的ID与互斥信号量编号信息的双向链表，并指明任务已经占有的信号量的个数以及任务可占有信号量的最大个数；C、建立针对互斥信号量的状态数组，以所述互斥信号量编号为状态数组下标，指示互斥信号量在系统中的存在个数；数组的每个成员值表示，系统中所对应编号的互斥信号量的拥有个数；D、在任务状态控制块中根据互斥信号量的ID按照互斥信号量编号从小到大的顺序申请信号量，并根据信号量的使用情况，对任务状态控制块中存放占有信号量的个数的域以及互斥信号量状态数组进行更新。