死锁

摘要： 由于计算机系统资源具有某些特性,将会导致多进程并发时产生资源的竞争,银行家算法是避免死锁的一种有效方法,能提前预测系统是否处于安全状态。银行家算法利用系统可用资源向量、最大需求矩阵、已分配资源矩阵、还需矩阵4种数据结构来进行资源分配。本文采用C语言编程,设计并实现了银行家算法。通过仿真实验证明,该算法在一定程度上能有效的避免死锁产生。

摘要： 目前基于蚁群算法的路径规划用于多约束条件下寻找最优路径时,容易陷入局部最优解并导致收敛速度慢.为此,在路径长度、有效景点区域数量、路径平滑性和路径障碍距离等约束条件下,构造一种适应度函数模型,以评价漫游路径的质量.提出混合细菌觅食优化思想的改进蚁群优化(bacterial foraging optimization and ant colony optimization,BFO-ACO)算法,采用禁忌表优化策略解决传统蚁群算法的死锁问题,提高算法初期的路径多样性,通过引入细菌觅食算法的复制和驱散机制,提高收敛速度,跳出局部最优值.实验结果表明,BFO-ACO算法可在多约束环境下以较少的迭代次数获得高质量的漫游路径,为漫游路径设计提供了参考.

摘要： 针对异构多机器人系统动态任务分配问题,基于多智能体技术,利用符合养老情境特点的多智能体组织结构,提出处理养老情境下任务类型相对固定的异构多机器人多任务动态分配机制.建立基于被服务对象满意度函数的投标值计算模型,兼顾多任务的动态分配与被服务对象的满意度.根据拓扑排序算法,提出多智能体系统死锁的检测及处理方法,解决执行智能体自锁、各执行智能体间互锁的问题.对不同任务情况在不同分配机制下的被服务对象满意度进行仿真.仿真结果表明,在避免死锁的情况下,所提机制能够兼顾养老情景下的动态任务分配和被服务对象的满意度.

摘要： I^(2)C总线在实际应用中,经常会遇到总线死锁的情况。如果不能自恢复,就会导致总线无法使用,通信失败。该文在分析I^(2)C协议原理的基础上,对应答位死锁、读操作死锁和控制器异常等总线死锁场景做了深入的分析,在I^(2)C协议定义的9CLK总线复位基础上,总结出了一种解决死锁的方案。通过试验验证,该方案可以有效地提高I^(2)C总线的鲁棒性。

摘要： 兼容性检测是使用微服务构建软件时将面临的一个关键问题,如果一组微服务的组合满足某些属性,如无死锁,则称这组微服务是兼容的.但是,微服务固有的动态性和复杂性给兼容性检测带来了新的挑战.提出了一种微服务的死锁兼容性检测方法,该方法使用标号迁移系统建模微服务和微服务间的异步组合;提出了死锁兼容性的定义,并给出了死锁兼容性的检测算法.在工具的支持下,实现了死锁兼容性检测方法,并通过实验证明该方法是有效的.

摘要： 银行家算法是操作系统中避免死锁的经典算法,为提高系统的运行效率,文章对银行家算法进行了研究和改进.通过对银行家算法流程、算法优缺点的分析,以及对现有的银行家改进方法的讨论,提出一种银行家算法的改进思路.使用Java语言实现了改进的银行家算法,并运用Java多线程对操作系统中进程的同步进行模拟,验证了该算法的有效性.

摘要： 多核处理器需要维护缓存的一致性问题.基于目录的一致性协议具有较好的扩展性、较低的延迟,应用较多.分布式目录访问带宽高、目录查询速度快、物理实现灵活.分布式 目录一致性协议设计复杂度高,验证困难,为了降低自主CPU研发和产业化的风险,提出了一种面向多核处理器的可配置分布式目录控制单元(configurable distribute directory unit,CDDU),通过微操作机制,实现动态配置缓存一致性协议.该设计增加了多核系统缓存一致性协议的灵活性与容错性,可以实现协议状态转换和协议流程的配置,能够解决由于一致性协议设计缺陷导致的功能故障,可以防止一致性协议设计不足引起的死锁.测试结果表明:设计方案展现了良好的可配置性、可扩展性,避免了死锁产生,代价是少量的性能损耗以及面积开销.主要思想在自主飞腾64核处理器中进行了实现,为确保处理器的协议正确性发挥了重要作用,同时在该芯片的多路扩展实现过程中提高了协议的鲁棒性,消除了潜在的死锁.

摘要： 本文介绍了银行家算法的背景和意义,和死锁现象的产生,及死锁的避免思路,和算法的思路,并用C语言对算法进行了实现,以及其在实际生活的应用.

摘要： 随着我国智能电网的快速发展,传统采集设备已无法完全满足当前需求.配电台区是营销与生产的交汇点,传统模式下,营销与生产双方需要在台区侧分别安装集中器和配变终端(TTU)两种设备,但仍存在诸多问题.在此背景下,融合了Ⅰ型集中器、专变终端、二次回路巡检仪和配电终端功能的能源控制器(ECU)应运而生.但在该全新产品开发过程中,由于技术新、难点多,各类问题频出,例如液晶显示菜单无序切换问题等,究其根本,实为信号量死锁导致.基于此,提供了一套能源控制器信号量死锁的解决方案.

摘要： 以逻辑工作流网作为描述过程模型的方法,提出了逻辑工作流网的有限组合,以状态转换图来描述工作流网的可达逻辑活动序列.根据死锁的充分条件,提出状态映射用以判断两个工作流网组合后出现的死锁.通过删除进入死锁的逻辑活动序列,提出标准伙伴状态转换图用以表述无死锁组合的活动序列.最后提出判断有限组合是否存在死锁的方法,并用一个简单的电子商务实例说明了方法的有效性.

摘要： 详细分析了HyperTransport产生死锁的各种情况,深入研究了几种有效合理的防死锁策略.HyperTransport是一种为板级集成电路间,特别是高性能处理器和外围设备间互连而设计的新型高性能、基于报文交换的点到点互连技术.滞后写请求和虚信道是HyperTransport用来改善性能的两项关键技术,但必须保证IO事务的顺序性和数据的一致性,防止死锁.

摘要： 智能机器人的导航系统由若干具有独立问题求解能力的子系统组成,整个系统存在多个环节及并发流程.用Petri网描述各环节的工作并构建该导航系统的模型,利用"可达树死锁标识检测算法"和"初始标识可达性判断算法"检测该Petri网中不含死锁标识和死变迁,并且可达标识均可回到初始标识.

摘要： 在(TS)SM结构活性充要条件的基础上,首先找到一种构造活的初始标识的方法并证明它的正确性。在此基础上,考虑了使用请求/应答机制(Request/Response mechanism)进行通信的网系统子类Request/Response(TS)SM的正确性规范以及无死锁性条件,并将其推广到更大的子类Recursively Request/Response(TS)SM。

摘要： 提出了一种基于不规则NoC的低功耗死锁避免路由算法,其采用转弯禁止的表基础分布式路由算法EA_JP。在选择被禁止的转弯时,EA_TP考虑了链路长度以及IP核之间通信量对NoC通信结构的能量以及性能的影响;同时,EA_TP在所有可行路由路径中采用最短的路由路径构造路由表。实验结果表明,EA_TP最多禁止1/3的转弯,保证了死锁避免,同时非最短路由路径在所有通信对中平均只有15﹪。

摘要： 中石化天津分公司截止2004年底,已上各种管理系统,运行良好,但是油站销售数据上报系统还是由中级管理人员录入,导致该层工作人员工作量大,急需开发一套全新的零售管理系统.05年从年初开始准备,4月初项目立项,6月底系统基础搭建完成,7月初试运行,至10月正式上线,其间经过完善终于开发出一套适合加油站零售公司的零售管理系统.系统除解决了管理问题,还解决了长期以来困扰数据库的死锁问题,并且采用了各种先进的软件技术,使得操作员可以通过简单的操作即可完成工作,并可极大的减少出错的几率。

摘要： NoC中所使用的包交换技术和路由算法在很多方面都可以影响到通信延迟.其中,在一种情况下可能无限制的推迟数据包的传送,那就是死锁.为了避免死锁问题,我们采用了基于黑总线的确定路由,并对路由节点进行了设计.

摘要： 哲学家就餐问题是离散事件系统、Petri网理论和计算机操作系统等研究中的一个经典例子.本文利用Petri网对该问题进行建模,提出了两种能够实现公平就餐的Petri网模型.与已报道的公平就餐模型对比,本文提出的Petri网模型不仅也能保证每位哲学家有完全均等的就餐机会和能够避免系统死锁与无限等待,而且允许多进程的发生,并同时提高了资源的利用率和系统的运行效率.此外,本文提出的Petri网模型便于控制的实现并在理论上可以推广到任意复杂的系统.

摘要： 描述了SOA中基于BPEL4WS(BusinessProcessExecutionLanguageforWebServices)和Petri网的服务建模与分析方法,提出了将基于BPEL4WS的业务流程建模转化为Petri网模型的方法,并在此基础上结合实例,对所得的Petri网模型进行分析,从而验证服务模型的安全性、死锁,循环等方面是否符合要求。

摘要： 本文研究基于在制品水平的有限缓存区越库作业调度问题。首先,在分析问题特点的基础上,提出越库作业在制品定义,对其性质进行分析;其次,提出适应于该类问题求解的禁忌搜索算法;再次,通过数值实验,对禁忌搜索算法的参数进行优化。并将所得到的较优算法与启发式算法进行比较,从而说明所出禁忌搜索算法的有效性;最后,针对不同问题规模及不同订单规模确定最大在制品库存水平,对缓存区最优容量设置进行数值分析,从而为越库中心决策提供一定的理论依据。

摘要： 本文研究基于在制品水平的有限缓存区越库作业调度问题。首先,在分析问题特点的基础上,提出越库作业在制品定义,对其性质进行分析;其次,提出适应于该类问题求解的禁忌搜索算法;再次,通过数值实验,对禁忌搜索算法的参数进行优化。并将所得到的较优算法与启发式算法进行比较,从而说明所出禁忌搜索算法的有效性;最后,针对不同问题规模及不同订单规模确定最大在制品库存水平,对缓存区最优容量设置进行数值分析,从而为越库中心决策提供一定的理论依据。

摘要： 一种计算系统，包括：被布置在至少一个群组中的多个网络元件。群组中的数个网络元件被指定为脊，而另外数个网络元件被指定为叶，脊和叶以二分拓扑互连，并且群组中的至少一些脊和叶被配置为：在第一叶中，从源节点接收预定要经由第二叶递送到目的地节点的分组，经由第一链路将分组转发到第一脊并且经由第二链路将分组转发到第二叶；响应于检测到第二链路发生故障，应用从第一叶到第二叶的绕行路径，该绕行路径包括在脊到叶方向上的绕行链路和叶到脊方向上的另一绕行链路；以及经由该绕行路径转发在第一叶中接收到并预定到第二叶的后续分组。

摘要： 本发明属于I2C总线设计领域，提供了一种基于IP核复用的I2C总线的防死锁系统及其防死锁方法。该系统置于I2C模块中，采用IP核复用技术，通过在I2C模块内部增加IP核模块，实现对串行时钟线异常与否的监测，并当监测到异常时，重置I2C总线，进而达到了防死锁的目的。相对于现有技术而言，无需在I2C总线上增加额外的总线恢复设备，降低了防死锁功能的实现成本；且由于采用了IP核复用技术，无需在I2C模块的软件上增加代码监测，减少了不稳定因素，特别适用于对实时性要求较高的场合。

摘要： 本发明实施例公开了一种死锁定位的方法、死锁定位装置和数据系统，所述方法为：在数据库运行的进程发生死锁后，获取在死锁中被牺牲的事务及与死锁的产生有关联的事务；将所述事务所使用的数据表对应各自事务进行组合；提取相同的数据表组合所对应的程序执行语句；根据所述提取的程序执行语句查看语句调用栈，确定死锁的发生位置。本发明实施例提供的死锁定位的方法、定位装置和数据系统通过死锁发生后，将与死锁的产生有关联的事务使用的数据表进行组合，根据相同的数据表组合对应的程序执行语句查看程序执行语句调用栈，确定死锁的发生位置，使得定位死锁需要人工分析的信息量大大减少，简单实现死锁定位，提高了效率。

摘要： 本发明属于I2C总线设计领域，提供了一种基于IP核复用的I2C总线的防死锁系统及其防死锁方法。该系统置于I2C模块中，采用IP核复用技术，通过在I2C模块内部增加IP核模块，实现对串行时钟线异常与否的监测，并当监测到异常时，重置I2C总线，进而达到了防死锁的目的。相对于现有技术而言，无需在I2C总线上增加额外的总线恢复设备，降低了防死锁功能的实现成本；且由于采用了IP核复用技术，无需在I2C模块的软件上增加代码监测，减少了不稳定因素，特别适用于对实时性要求较高的场合。

摘要： 本发明实施例公开了一种死锁定位的方法、死锁定位装置和数据系统，所述方法为：在数据库运行的进程发生死锁后，获取在死锁中被牺牲的事务及与死锁的产生有关联的事务；将所述事务所使用的数据表对应各自事务进行组合；提取相同的数据表组合所对应的程序执行语句；根据所述提取的程序执行语句查看语句调用栈，确定死锁的发生位置。本发明实施例提供的死锁定位的方法、定位装置和数据系统通过死锁发生后，将与死锁的产生有关联的事务使用的数据表进行组合，根据相同的数据表组合对应的程序执行语句查看程序执行语句调用栈，确定死锁的发生位置，使得定位死锁需要人工分析的信息量大大减少，简单实现死锁定位，提高了效率。

摘要： 本发明公开了一种死锁检测方法及装置，包括获取挂起队列中的目标任务；获取所述目标任务对应的目标互斥锁；获取占用所述目标互斥锁的持有者；当所述持有者存在于所述挂起队列中时，生成死锁检测信息；所述死锁检测信息表征系统中存在死锁。本发明通过检测挂起队列中目标任务所要获取的目标互斥锁的持有者是否也存在于该挂起队列中，来实时检测RTOS中是否存在死锁，实现半循环检测，检测效率高，耗时少，能够大大提升死锁检测方法的实时性。

摘要： 本发明涉及一种AMR调度系统中预防死锁的方法，包括：S10接收AMR发送的点位申请信息；S20根据点位申请信息，获取AMR路径信息；S30判断点位申请信息中的待申请点位是否属于路径信息中的点位，若属于，则根据预先建立的点位申请的预防死锁策略，确定是否向AMR锁定所述待申请点位；点位申请的预防死锁策略包括下述的一项或多项：检测所述待申请点位是否属于其他小车占有的信息、是否与其他小车存在碰撞、是否属于其他小车的行驶冲突路段、是否满足通道规则、是否处于点位碰撞范围、是否处于已经被占用的交管块内等。本发明的方法降低了计算复杂度，同时在点位锁定中有效考虑AMR的自身信息，有效避免碰撞，保证每一AMR的合理安全的行驶。

摘要： 本发明涉及一种AMR调度系统中解死锁的方法，包括：S10、AMR调度系统基于记录的当前运行的每一小车的冲突信息和当前处于交管状态的小车信息，确定当前地图中是否存在死锁场景；S20、针对每一个死锁场景，获取该死锁场景中每一小车所在点位的所有出边的目标点，将每一小车所有出边的目标点保存在该小车的第一清单中；S30、基于死锁场景中各小车的第一清单，选择一个小车，采用解死锁规则判断该小车是否存在避让点；S40、若存在避让点，则将存在避让点的小车执行避让任务，以解锁完成该小车所在的死锁场景。本发明的方法定义一个解死锁规则，使得系统可以在通道狭小或者小车旋转范围不足的情况下，也能够找到合适的避让点解开每一死锁场景。

摘要： 本发明公开了一种交易死锁的监控方法、装置、系统及存储介质。其中，该方法包括：扫描至少一个测试环境中的系统服务信息，其中，上述测试环境用于测试交易访问表是否存在死锁程序；基于上述系统服务信息，获取目标交易访问表对应的死锁信息，其中，上述死锁信息至少包括：死锁程序和或上述死锁程序对应的作业名称、死锁时间以及死锁环境；根据上述死锁信息，生成死锁报表。本发明解决了由于交易访问过程中人工判断交易死锁信息，造成的死锁信息识别效率低且遗漏率高的技术问题。

摘要： 本实用新型公开了一种利用死锁进行锁紧的托盘锁紧机构，包括活动把手主体和活动把手基座，活动把手基座固定连接在托盘上，还包括有活动把手底锁、活动把手连杆和活动把手压块，活动把手底锁固定于托架上，活动把手基座的上下位置分别通过销轴铰接活动把手主体和活动把手压块，活动把手主体和活动把手压块间通过销轴铰接活动把手连杆。本实用新型设计了一种新颖的与传统培养箱托盘锁紧机构完全不同的方式，其利用四连杆死点机构原理进行锁紧，能够有效解决锁紧不可靠的问题；本实用新型只通过一个旋转活动把手主体的过程实现锁紧和解锁，动作简洁有效，一步到位。