【摘 要】
：
数据竞争检测、确定性回放等方法被广泛应用于解决多线程程序中由内存访问顺序不确定性引发的数据竞争及死锁等问题.但是,由于上述方法需要监测程序内存访问,所以通常带来很
【机 构】
：
复旦大学并行处理研究所,上海,201203
论文部分内容阅读
数据竞争检测、确定性回放等方法被广泛应用于解决多线程程序中由内存访问顺序不确定性引发的数据竞争及死锁等问题.但是,由于上述方法需要监测程序内存访问,所以通常带来很大的运行开销.实验表明,在多线程程序中存在着大量只被赋值一次的对象,去除这类对象内存访问的监测操作不会影响上述方法的正确性,且能有效减少系统的运行开销.在此基础上,本文形式化定义了单赋值对象,并提出了一个静态对象单赋值分析算法,将这一算法的分析结果应用到多种成熟的数据竞争检测、确定性回放系统中.测试数据表明使用对象单赋值分析可以有效减少数据竞争检测、确定性回放等系统的运行开销,从而扩展系统应用场景.
其他文献
目的:探讨胆碱能激动剂卡巴可对大鼠膀胱ICC样细胞钙流的影响.方法:胶原酶消化大鼠膀胱,体外培养膀胱ICC样细胞,激光共聚焦技术检测Fluo-3AM负载的ICC样细胞在卡巴可刺激下Ca
目的 探讨周围型小细胞肺癌CT表现特征.方法 应用配比病例对照研究的方法 ,回顾性分析经病理证实的、原发灶≤3 cm的周围型小细胞肺癌和非小细胞肺癌各30例的临床资料和CT表
功能锻炼可促进新陈代谢和血液循环,避免肌肉萎缩和软组织粘连;减轻创伤或疾病的病理后果,尽可能保持和恢复关节的正常活动范围,使功能获得最大限度的恢复。
维塔萨羽衣甘蓝是北京市农业技术推广站从欧洲引进的品种中经过系统地选育而成的,是观赏兼食用双重功能的一种新型特菜。多采用育苗移栽的方式,定植前要施足基肥,每亩2800～380
我国茶区面积大、分布广,气候因子、地理条件复杂,特别是高纬度、高海拔的地区,茶树越冬很易遭受冻害。茶树冻害后不仅会造成当年春茶减产减值,甚至绝收,严重的还会影响到以
早籼稻中嘉早32系中国水稻研究所和浙江省嘉兴市农科院合作选育的常规早籼新品种。根据2007年、2008年的试种和示范推广工作实践,总结了中嘉早32在瑞安所表现的特征特性及其
施工质量是导致深层水泥土搅拌桩质量事故的主要原因之一。为了确保深层水泥土搅拌桩施工质量、方便施工控制,在研究了水泥浆输浆量、搅拌头钻进与提升速度、搅拌轴转速、复
伴随着新一轮城市更新发展的大潮,新城建设与旧城改造渐渐成为当前城市发展的重要工作之一。城市更新必然带来一系列的拆迁重建问题。对于我们周围的部分老旧建筑,往往在未达
新型防振金具减振防舞阻尼弹簧间隔棒改进了传统金具在减振方面的方法。采用阻尼弹簧和重球联合减振来抑制输电线路微风振动。此新型防振金具在组件构成和结构形式上都有较大
利用正交实验对Al和Cr生成的金属间化合物增强铝基复合材料进行硬度测试,探究各因素、水平对铝的增强效果,并找出最优方案。结果表明,Al-Cr/Al复合材料通过机械搅拌铸造法能