Debugging Concurrent Software:Advances and Challenges

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:zhoubear
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Concurrency debugging is an extremely important yet challenging problem that has been hampering developer productivity and software reliability in the multicore era. We have worked on this problem in the past eight years and have developed several effective methods and automated tools for helping developers debugging shared memory concurrent programs. This article discusses challenges in concurrency debugging and summarizes our research contributions in four important directions: concurrency bug reproduction, detection, understanding, and fixing. It also discusses other recent advances in tackling these challenges.
其他文献
我们对2005年12月至2008年7月在我院生殖感染科门诊就诊的26例幼女淋病后综合征的患儿给予口服克拉霉素联合雌激素外用治疗,现报告如下.
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
患者,女性,40岁。因咳嗽一周就诊。平时经常咳嗽,二年前发热咳血痰一次。检查:左肺呼吸音较右侧弱,实验室检查血沉18 mm/h。胸正侧位片见相当于左下肺叶背段区一类圆形密度均匀增
我院从2006年5月至2008年5月采用亲属间同种异体角膜缘干细胞移植术治疗双眼化学伤后出现角膜缘干细胞失代偿12例,取得良好效果,现报告如下。1资料和方法1.1一般资料:收集200
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
输尿管巨大淋巴管瘤较罕见 ,我院遇到 1例 ,现报告如下。女性 ,71岁。 1989-0 9月无意中发现下腹部有一肿块 ,逐渐增大 ,伴有尿频。 1996 -0 8月入院 ,查体心肺正常 ,下腹部
近年来作者遇到 2例睾丸精原细胞瘤 ,均经手术病理证实 ,报告如下。并结合病理改变就其CT表现问题 ,提出一些粗浅看法。1 临床资料及扫描方法2例均为男性 ,年龄 5 2岁及 5 7岁
脑梗死抑郁(PSD)是脑血管病常见的并发症,具有较高的发病率.我们对31例脑梗死患者的抑郁状态进行了临床和疗效分析.现报告如下.
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊