【摘 要】
:
多线程软件由于进程间共享使用资源而极易发生死锁这一严重的并发漏洞.通过Petri网模型对多线程软件进行建模,并利用混合整数规划技术检测其漏洞.目前,使用互斥锁的多线程软
【机 构】
:
浙江大学电子电路与信息系统研究所,杭州师范大学国际服务工程学院
【基金项目】
:
国家自然科学基金资助项目(61071062), 浙江省自然科学基金资助项目(Y12F02030)
论文部分内容阅读
多线程软件由于进程间共享使用资源而极易发生死锁这一严重的并发漏洞.通过Petri网模型对多线程软件进行建模,并利用混合整数规划技术检测其漏洞.目前,使用互斥锁的多线程软件可通过Gadara网建模和检测.而使用信号量的多线程软件,虽可用S*PR网建模,但是尚未有理论支撑混合整数规划用于其漏洞检测.定义了S*PR网的一个子类——SEM-S*PR网,它允许资源库所初始标志大于1且分支可对称地使用资源,进而可建模一类使用信号量的多线程软件.依据结构特点,证明了该网保持活性的充分必要条件是网运行过程中所有信标始终非
其他文献
如果你感染了艾滋病病毒(HIV)或是艾滋病患者,你一定很害怕、痛苦和无奈。但请你相信,在你的身边会有很多人同情你、理解你、帮助你。国家对此出台了很多政策和法规,这些是你们生
目的探究沙美特罗替卡松与噻托溴铵联合沙美特罗替卡松治疗慢阻肺稳定期的临床疗效。方法我院在2017年6月-2018年6月期间共接诊治疗过80例慢性阻塞性肺疾病患者,经患者及家属
现有路由器体系在性能、复杂性和节能等方面存在诸多难以克服的问题.随着网络规模的扩展,如何实现低功耗大容量路由查找是绿色高性能路由器设计面临的重大挑战.提出一种FIB多
正常人在面对困难或有危险的任务,预感将要发生不利的情况或危险时,会产生焦虑(一种没有明确原因的、令人不愉快的紧张状态),这种焦虑通常并不构成疾病,是一种正常的心理状态。焦虑
近日,中华医学会肝病学分会、中华医学会感染病分会和中国肝炎防治基金会联合发布了2010年更新版《慢性乙型肝炎防治指南》,对2005年国内首个《慢性乙肝防治指南》进行全面更新
许多人喜欢吃黑木耳,只因为它是菜肴中的“百搭”,其实它不但是一种优质的菌菇类食品,而且是对人体非常有益的天然保健食品。黑木耳味甘,性平,有滋补、益胃、凉血、止血、清肺、润
《中国经济评论》(China Economic Review)2007年第18卷第1期35~53页刊登了澳门大学FU.Xiaoqing与英国城市大学Shelagh.HEFFERNAN合作的一篇题为“中国银行部门成本的X效率”(Cost
儿童多动症(简称多动症)是指儿童表现出与年龄不相称的、明显的注意力不集中,活动过多,任性冲动和学习困难等为主要特征的一组综合征,是颇常见的儿童行为问题。由于病因尚不清楚,诊
湘籍革命家群体,是指五四运动以后形成的出生在湖南的无产阶级革命家群体.他们具有共同的特征,既是初生茅庐的牛犊,又是饱学之士;既是同声相求的同学,又是志同道合的战友;既
采用0.25μmGaAs高电子迁移率晶体管(HEMT)7-艺设计了一款六位S波段数字移相器.移相器采用高低通和全通网络结构,运用了提高相位精度和抑制级联散射的方法.移相器在0°~360°