【摘 要】
：
内存竞争记录是实现多核程序确定性重演的关键技术.针对现有内存竞争记录算法存在消耗资源多、记录日志大、重演速度受限等问题,本文提出了一种硬件结构支持的、基于分段技术
【机 构】
：
哈尔滨工业大学计算机科学与技术学院,中国科学院计算技术研究所
【基金项目】
：
国家自然科学基金(No.60736012)
论文部分内容阅读
内存竞争记录是实现多核程序确定性重演的关键技术.针对现有内存竞争记录算法存在消耗资源多、记录日志大、重演速度受限等问题,本文提出了一种硬件结构支持的、基于分段技术的、高效的点对点内存竞争记录算法,该算法用一种更严格的间接发生序表示内存竞争,采用分段的可推导约减算法减少记录内存竞争的次数,同时使用最大近似时戳法近似已被替换出cache的内存块的时戳,能够在引入较少硬件资源的前提下记录较小的内存竞争日志,且简单易实现,重演速度快.
其他文献
快乐体育在中学体育教学中是非常重要的,尤其是现在的教学中,中学生的心理压力是非常大的,尤其是在学习上,学生要在体育中快乐的教学,体验体育带给学生的乐趣,让学生有着不一
用殴打、辱骂、体罚等方式对学生进行惩罚的行为已经被明令禁止,班主任在班级管理中一般也不敢触碰这根高压线,然而,班主任在班级管理过程中实施＂冷暴力＂的现象却屡见不鲜,少数
当大肠癌被明确诊断以后,只有75%的病例适宜于根治性手术治疗,另25%的病例或因局部浸润严重,或因已有了远处脏器转移,只能行姑息性手术治疗.但是,即使是行根治性手术的病例,
自1993年以来,我们在疼痛门诊采用局部封闭、针刀疗法配合手法复位综合治疗第三腰椎横突综合征300例,疗效满意.
目的探究产房产后出血的护理风险管理措施的效果。方法 200例有阴道分娩愿望的孕产妇作为研究对象,随机分为观察组和对照组,每组100例。对照组给予常规护理,观察组在常规护理
互联网技术的发展使不确定促销的实施变得更加有效和实用,但是已有研究或者聚焦于不确定性的消极作用,或者聚焦于不确定性的积极作用。为了掌握不确定促销的本质,构建一个影
作为高等教育的重要组成部分,通识教育和专业教育相辅相成,构成了完整的大学教育,两者不可分割。哈佛大学自建校以来,通识教育作为其具有代表性的教育理念,一直根据各个时代
21经济社会发展是推动一个国家或地区世纪新兴的朝阳产业,文化产业作为世纪的竞争将不再是意综合实力。标志着一国(地区)的的重要动力,它的发展21大报告中向。习近平总书记在十九竞争,而是文化的竞争识形态、经济、军事的的伟大号召。会主义文化繁荣兴盛”坚定文化自信,推动社全党全国人名发出了“体系,创新代文化产业体系和市场大报告指出要“健全现在文化产业方面,十九省市文化产文化形态“。根据中国化经济政策,培育
本文介绍了高职院校人事档案管理工作现状,提出了人事档案管理的具体实施方案,得出做好人事资源档案信息化管理系统的对策,并在此基础上阐述了人事资源档案信息化管理系统在
“以德育为核心，以培养创新精神和实践能力为重点的素质教育”是我国当今教育改革与发展的方向，在民间美术教育中渗透德育是一种很好的教学方法。在学校开展民间美术教育对引导