【摘 要】
：
并发错误难触发、难调试、难检测.为应对这一挑战,已有动态程序分析技术通过观测或控制并发程序执行实现其质量保障.由于并发程序不确定性主要来自共享内存,实现其动态分析的
【机 构】
：
计算机软件新技术国家重点实验室（南京大学）,南京大学计算机科学与技术系
【基金项目】
：
国家重点基础研究发展计划(973)(2015CB352202);国家自然科学基金(61472177,61690204);江苏省软件新技术与产业化协同创新中心资助~~
论文部分内容阅读
并发错误难触发、难调试、难检测.为应对这一挑战,已有动态程序分析技术通过观测或控制并发程序执行实现其质量保障.由于并发程序不确定性主要来自共享内存,实现其动态分析的基本问题即是获取线程访问共享内存的顺序,即获取访存依赖.提出访存依赖获取技术的综述框架,包含4个评价指标（即时性、准确性、高效性、简化性）、两种方法（在线追踪、离线合成）、两类应用（轨迹分析、并发控制）.通过对已有技术的总结和分析框架中的空白,对未来可能的研究方向予以展望.
其他文献
在皮革加工过程中，复鞣是极为重要的一道工序，被誉为制革“点金术”。能赋予皮革优异的性能，例如改善柔软性，提高丰满度，缩小部位差，增强抗水性、耐光性以及改变革的表面电荷，促进染
城市轨道交通作为大运量、低能耗的交通方式,近年来越来越受到城市建设者和出行者的欢迎。城市轨道交通站点是轨道交通与外界联系的唯一途径,也是乘客搭乘轨道交通的必经节点
荆州为历代封建王朝屯兵置府的战略重镇，先后34位帝王在荆州建都立国。明代江西境内有三藩，宁献王朱权、淮靖王朱瞻燠、益端王朱祐槟。由于特殊的地理位置，我国南方地区出土了许
社区医院,作为医疗体系改革的产物,虽然它在欧洲各国发展了已有半个世纪,但在我国才刚刚起步,我国是人口大国,对于医疗卫生的基本保障需求十分迫切,由于国情不同,照搬国外社
迪伦马特是悲喜剧创作的代表作家之一,其独特的悲喜剧风格是本文的主题。本文主要通过对迪伦马特戏剧创作及戏剧理论的分析,阐明其悲喜剧风格的具体内涵,并将迪伦马特与其他
在地理课程的学习中,学生应该具备基本的地理图像信息能力。在本文中,笔者首先假设首都师范大学大兴附中高一年级学生地理图像信息能力较弱,其原因可能是由于学生在地理思维
在西方文学领域,"垮掉的一代"被视为后现代主义文学的一个重要分支,也是美国文化历史上的重要流派。从社会学的视野审视这一流派及其所代表的独特亚文化,梳理了"垮掉的一代"
面对新经济时代日益复杂的竞争环境，如何更好地去适应环境，利用环境，提升市场竞争力，追求可持续发展，这些都是所有企业必须认清的现实问题。同时，组织环境的剧烈变化对企业组织结构
随着保险市场竞争的日益加剧,新渠道TSR成为保险公司扩大保险份额的新型营销方式的支柱。保险公司TSR的高流失率却始终制约着电销中心的发展。导致TSR高流失率的原因是多方面
都市圈规划是一种以城市功能区为对象的区域规划,旨在打破行政界限的束缚,从更大的空间范围协调城市之间和城乡之间发展,协调城乡建设与人口分布、资源开发、环境整治和基础