专利交易市场

一种系统死锁的检测方法及系统，包括：获取多个线程的并发资源数据和调度序列信息，据以获取读锁写锁数据和抑制死锁数据；根据所述读锁写锁数据和所述抑制死锁数据，对每一所述线程构建一线程解锁模型全局读弧模型；处理所述线程解锁模型，以得到全局读弧模型；获取预设死锁验证信息，根据所述全局读弧模型获取死锁检测数据。本发明解决了现有技术存在的死锁抑制效果较差的技术问题。

本发明实施例提供一种基于区块链的锁处理方法、装置、计算机设备及存储介质，有效地保证能实行分布式锁的功能，从而提高分布式锁实行的成功率。方法部分包括：获取首次加锁请求，其中，所述首次加锁请求为用于请求对目标事项进行第一次加锁操作的请求；生成所述目标事项唯一对应的锁数据；根据所述锁数据生成锁区块，所述锁区块的区块体中包含所述锁数据；将所述锁区块广播至所述区块链中；通过所述区块链中所述锁区块的所述锁数据控制所述目标事项处于加锁状态。

本发明公开一种基于细粒度读写锁的安全高效STM同步方法，应用于计算机领域，针对现有的基于无锁实现的软件事务性内存具有较差的时间可预测性的问题；本发明中一个写事务能够获得其所需要的写锁当且仅当其所有共享资源请求都处于队首，且不存在被写或读锁保护的共享资源，一个读事务能够获得其所需要的读锁当且仅当其所有共享资源请求都处于队首，且不存在被写锁保护的共享资源，否则事务将忙等；本发明将经典STM中的回滚机制由基于优先级队列的自旋锁代替，有效地保证了事务的推进，提高了系统的实时性。

本发明涉及自动制造系统技术领域，尤其涉及一种含不可靠资源的柔性制造系统的死锁避免方法。本发明包括以下步骤：S1、在给定标识M下引发给定变迁t，生成新的标识M′，然后计算生成的标识M′的所有后继标识；S2、判断每个后继标识下是否存在循环等待；S3、根据S2的结果判断给定变迁是否能在给定标识下引发。本发明关注的是含不可靠资源的柔性制造系统的生产过程，提出一种死锁避免方法，该方法不仅能检测出在给定标识下发生给定变迁后该系统会不会死锁，还能预测发生给定变迁后，后续的生产会不会因为不可靠资源故障而发生死锁。

本发明公开了一种标题栏与弹框栏同步通信的方法、存储介质、设备及系统，涉及应用程序开发技术领域。该方法包括：将标题栏、弹框栏均设置为使用标题元素容器来承载标题元素的信息，并通过各自的标题元素容器所对应的数据适配器来监听各自的标题元素的点击事件；当监听到标题栏的某个标题被点击时，将相应的点击事件信息转发至当前页面中，再经过当前页面转发至弹框栏的标题元素容器中；当监听到弹框栏的某个标题被点击时，将相应的点击事件信息转发至当前页面中，再经过当前页面转发至标题栏的标题元素容器中。本发明能实现标签栏与弹框栏之间的同步通信，不但通信层级结构简单清晰，信息易跟踪，而且无需引入第三方通信框架，资源开销低。