一种在多任务环境下防止死锁的互斥信号量管理方法专利登记公告

专利名称：一种在多任务环境下防止死锁的互斥信号量管理方法

摘要：一种在多任务环境中防止死锁的互斥信号量管理方法，包括以下步骤：A、为系统所需的互斥信号量分配一一对应的编号；B、建立包括含有互斥信号量的ID与互斥信号量编号信息的双向链表，并指明任务已经占有的信号量的个数以及任务可占有信号量的最大个数；C、建立针对互斥信号量的状态数组，以所述互斥信号量编号为状态数组下标，指示互斥信号量在系统中的存在个数；数组的每个成员值表示，系统中所对应编号的互斥信号量的拥有个数；D、在任务状态控制块中根据互斥信号量的ID按照互斥信号量编号从小到大的顺序申请信号量，并根据信号量的使用情况

专利类型：发明专利

专利号：CN201110450433.3

专利申请（专利权）人：中国科学院软件研究所

专利发明（设计）人：李彦峰;潘远明;杨秋松;武延军;翟健;杜栓柱;刘立宇

主权项：一种在多任务环境中防止死锁的互斥信号量管理方法，其特征在于包括以下步骤：A、为系统所需的互斥信号量分配一一对应的编号，编号有大小之分；B、在任务状态控制块中建立包括含有互斥信号量的ID与互斥信号量编号信息的双向链表，并指明任务已经占有的信号量的个数以及任务可占有信号量的最大个数；C、在系统中建立针对互斥信号量的状态数组，以所述互斥信号量编号为状态数组下标，指示互斥信号量在系统中的存在个数；数组的每个成员值表示，系统中所对应编号的互斥信号量的拥有个数；D、在任务状态控制块中根据互斥信号量的ID按照互斥信号量

专利地区：北京