【摘 要】
：
随着Python语言越来越广泛的应用,其死锁问题一直困扰着人们.现有的静态死锁检测方法为了兼容可扩展性而缺乏精确的路径敏感分析,从而产生很多不可达路径,导致高误报率.基于
【机 构】
：
中国科学技术大学计算机科学技术学院,安徽省计算与通信软件重点实验室,中国科学技术大学先进技术研究院
论文部分内容阅读
随着Python语言越来越广泛的应用,其死锁问题一直困扰着人们.现有的静态死锁检测方法为了兼容可扩展性而缺乏精确的路径敏感分析,从而产生很多不可达路径,导致高误报率.基于此,针对Python程序,提出一种基于函数内联和函数摘要的路径敏感的静态死锁检测方法.该方法首先获取Python程序的语法树,然后利用函数内联和函数摘要的分析方法构建每个函数的摘要并由此得到Python程序可达的并发路径.基于这些路径,该方法利用Petri网建模并找出其中的死锁.实验结果表明,本文提出的方法可以有效地检测Python程序中
其他文献
本文对日本消防部门在化学危险物品管理方面的技术和经验进行了初步的探讨 ,并对我国消防部门在今后的相应管理工作提出一些设想 ,仅供参考
In this paper, the fire depart
对虾白斑综合症生物防控技术
对虾白斑综合症（WSS）生物防控技术通过试验和应用，已成为成熟的技术。在此，与广大养虾朋友交流、分享。
北参鲁养模式是相对北参南养模式而命名发展起来的新的模式.这一模式2017年春在《水产前沿》杂志等媒体上出现而逐渐被大家认识2016年夏天持续一个多月的高温让山东地区损失
金融危机以来国家提出通过基础设施建设来维持经济快速发展的政策,水利水电这类有利民生,造福后代的大型工程纷纷兴建。大型工程往往由多个系统所组成,各系统本身在支持主体
两优培粳是信阳市农科所育成的国审杂交粳稻组合。该组合杂种优势强,株叶型理想,在1999~2004年省及国家级试验中凸显产量优势。为揭示其生长发育规律,挖掘其应用潜力,我们对
《安全生产许可证条例》是在安全生产领域内实施行政许可的第一部行政法规。它的立法依据主要来自《行政许可法》和《安全生产法》两部法律。认真学习贯彻《行政许可法》,对
水印技术已成为国际上的研究热点,视频水印大量应用于版权保护、隐含标识、信息认证和隐蔽通信等。文中主要研究一种安全的数字视频水印系统,该系统基于一种视频帧的水印算法,使用二值图像作为水印信息,采用每帧索引的方法,能够很好地抵抗针对视频水印的攻击。此外,该系统使用NTRU加密,既能利用公钥来检测视频是否是正版产品,又能在遭受公钥攻击后,使用私钥进行版权认证。
在眼球运动生理神经学和解剖学的基础上,对双眼的前庭动眼反射神经回路及其运动机能进行了分析研究。简化复杂的眼球运动神经回路,建立双目前庭动眼反射模型数学模型。该模型包括旋转前庭动眼反射和平移前庭动眼反射。最后,通过仿真试验,验证该模型有效。
虾谚说得好:若要养好一塘虾,则要种好一塘草;若要多养虾、养大虾,则要种好草、养好草.由此可见,水草在小龙虾养殖塘中扮演着不可或缺的角色,直接关系到虾的规格、品质和产量,