【摘 要】
：
数据竞争是引起多核程序发生并发错误的主要原因。针对现有基于硬件的happens-before数据竞争检测方法硬件开销大的问题,提出了一种轻量级的内存竞争硬件检测算法,该算法利用
【机 构】
：
哈尔滨理工大学计算机科学与技术学院,哈尔滨理工大学计算机科学与技术学院博士后流动站,哈尔滨工业大学计算机科学与技术学院
【基金项目】
：
国家自然科学青年基金资助项目（No.61502123）,黑龙江省青年科学基金资助项目（No.QC2015084）,中国博士后科学基金资助项目（No.2015M571429）,国家自然科学基金资助项目（No.61472100）,国家重点基础研究发展计划（“973”计划）基金资助项目（No.2011CB302501）
论文部分内容阅读
数据竞争是引起多核程序发生并发错误的主要原因。针对现有基于硬件的happens-before数据竞争检测方法硬件开销大的问题,提出了一种轻量级的内存竞争硬件检测算法,该算法利用滑动窗口技术动态检测程序执行过程中发生的距离较近、更易引发并发错误的数据竞争。考虑竞争距离的大小,将并发线程片段细分为加锁并发竞争域和包含线程近期执行序列的未加锁并发竞争域,用一对交替移动的可重写滑动窗口保存未加锁并发竞争域内的内存操作指令,用一个大小可变的可重写滑动窗口保存加锁并发竞争域内的内存操作指令,当来自远程的共享访问与窗口
其他文献
基于属性的签名能够实现细粒度的访问控制,被认为是云计算环境中一种重要的匿名认证手段。但常见的属性基签名只能通过门限结构提供简单的访问控制,无法应对云环境中的大规模用户属性集。同时,用户属性集由唯一的属性权威管理,增加了属性权威的计算和存储开销,一旦属性权威被攻破,整个系统就会面临崩溃的风险。针对以上问题,提出了一种支持树形访问结构的多权威属性签名方案,可以支持任意形式的与、或和门限结构,提供了更灵
现有基于兴趣点(POI)路径规划的研究大部分只考虑POI的静态属性,而热门景点拥堵以及用户产生的不满意情绪会造成旅游质量大大下降。为了提升用户旅游的满意度,重点考虑了POI的动态属性,提出基于用户需求的景点路线利益规划算法。首先,设计了GM(1,1)马尔可夫景点人数预测算法,通过引入预测残差以及概率转移矩阵,使平均预测偏差比原GM(1,1)算法降低12.2%;其次,通过设计前向细化(FR)算法,在
现代复杂通信系统具有分布式、规模大、接入信号多和并行传输等特征,其通信安全问题日益突显。在分析混沌族群系统的演化方法以及混沌族群系统的统一同步问题的基础上,构建三维空间混沌系统的转动模型。以Newton-Leipnik系统为研究对象,利用3路不同的通信信号,对混沌族群的演化、混沌族群系统的统一同步进行了仿真和验证。实验结果证明了该方法的有效性,应用前景良好。
正为弘扬信用文化,营造诚实守信的社会氛围,学习普及《征信业管理条例》相关知识,增强公众维护自身信息安全的意识,进而推动征信体系及诚信社会建设,黑龙江省金融学绘决定在
沈阳农业大学设施园艺学博士、硕士学位授予权学科于2003年经教育部批准自主设置、隶属于园艺学一级博士点学科，2004年开始招生。在学科带头人李天来教授带领下．经过学科全体成
应用生态学中竞争的理论，探讨增施除草剂条件下大豆和三裂叶豚草生长的变化情况。采用裂区设计，主区为除草剂处理．副区为三裂叶豚草密度处理。三裂叶豚草密度设0，8，32，48株·m^
针对现有的均衡方法计算量大、非线性误差补偿速度慢的问题,提出了一种基于幅相分离的快速非线性均衡方法。该方法首先将接收信号的幅度和相位进行分离处理,并分别通过反馈均衡模型对信号进行均衡处理以减小计算复杂度,然后利用Volterra模型对误差进行非线性修正,并通过该非线性修正误差更新反馈均衡的参数,从而快速消除非线性干扰和记忆干扰。从误码率、收敛速度和计算复杂度3个方面将所提出的方法与现有的主要均衡方
今年年初的北京图书订货会上，锡恩企业管理顾问公司总裁姜汝祥以新闻发布会的方式公布了来自正规出版社的百种伪书名单，包括出版社和图书名称。在出版界引起极大反响。使他成为
目的探讨齐拉西酮（ZIP）联合度洛西汀（DUL）治疗难治性抑郁症（RD）的效果。方法方法 84例RD患者采用随机数字表方法分为观察组和对照组,各42例。观察组予口服ZIP联合DLU治疗,对照组仅
对短梗五加根腐病病原菌进行了生物学特性研究。试验结果表明：病菌菌丝在大多数培养基中均能良好生长,而在孟加拉红培养基上生长较为缓慢;菌丝在5～25℃范围内均能生长,最适温度