【摘 要】
：
当今普遍流行的多核架构使得硬并发成为现实.为了从硬件的并发能力获益,并发程序设计正越来越流行.然而由于内在的并发性和不确定性,并发程序易于遭遇并发缺陷,并且它们难以
【机 构】
：
哈尔滨工业大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金(61173021,61202092)资助~~
论文部分内容阅读
当今普遍流行的多核架构使得硬并发成为现实.为了从硬件的并发能力获益,并发程序设计正越来越流行.然而由于内在的并发性和不确定性,并发程序易于遭遇并发缺陷,并且它们难以检测、调试和修复.文中指出软件开发正从顺序模式转向并发模式的趋势,揭示并发程序和并发缺陷各自的三大特点,剖析并发缺陷面临的三大挑战,然后将并发缺陷分为死锁、数据竞争、原子性违背和顺序违背4类,并讨论4类并发缺陷的相互关系,接着就如何尽快暴露、及时检测和高效规避各类并发缺陷对已有研究作出分析、比较和归纳,最后从智能快速的缺陷暴露、通用准确的缺陷检
其他文献
红岭煤矿井下现部署二个采区(四采区、五采区),整个矿井的瓦斯混合抽入量为71.28m3/min,混合瓦斯浓度26.4%,矿井纯瓦斯抽放量18.84m3/min。根据计算,可提供8台胜动500GF1-3RW
目的探讨冠心病患者的门诊协同护理对于改善其生活质量和提高自我效能的影响。方法选取我院2018年3月至2019年1月期间收治的92例冠心病患者作为研究对象,分为观察组(门诊协同
互联网金融平台在我国的发展呈现出非理性繁荣的景象。传统意义上以"命令—强制"为特色的行政规制模式对于互联网金融平台而言弊端日显,亟需引入信息规制的理念与制度规则。
目的探讨吲哚氰绿清除试验与Child-Pugh肝功能分级在术前评估肝脏储备功能的价值。方法选择我院2009年10月至2011年2月期间的103例肝癌肝切除患者为对象,手术前测定ICG 15min
赞岐岩 (サヌカイト ,sanukite)是指发现于日本四国北部的一种富Mg的火山岩 ,主要产于日本中新世 (11～14Ma)Setouchi火山岩带 ,是一种黑色玻璃质的火山岩。其化学成分以富Si质
创新教育包括创新意识、创新精神、创新能力教育，教师要根据学生心理、生理发展的特点，根据教材内容和学生具有的知识层次，针对性地强化学生的创新教育，注重各学科知识和研究手法
运用定位理论，从旅游形象、优势资源和市场三方面对安康体育旅游进行了定位分析，并在此基础上提出安康体育旅游开发应选择观光型、健身娱乐型、度假休闲型、拓展训练型、体验型
<正>一位退休后潜心研究地方文史的潮汕老人,忽生雅兴上京参加央视的“夕阳红省钱厨艺大比拼”,凭着一盘“菜脯蛋”和其他三道花钱不多且简单易做的潮菜一举夺冠。此事轰动了
此项研究以山东农业大学园艺学院韭菜课题组提供的20个韭菜栽培品种为试验材料,首先对不同韭菜品种抗虫性进行聚类分析,在此基础上对与抗韭蛆性有关的性状进行聚类分析及相关