logo
教育论文中心  教育论文中心   广告服务  广告服务   论文搜索  论文搜索   论文发表  论文发表   会员专区  会员专区   在线购卡   在线购卡   服务帮助  服务帮助   联系我们  联系我们   网站地图  网站地图   硕士论文  会员专区   博士论文
当前位置:教育论文中心首页--硕士论文--基于动态二进制翻译的多线程程序数据竞争检测方法研究
博硕论文分类列表
工业技术 交通运输 农业科学
生物科学 航空航天 历史地理
医学卫生 语言文字 环境科学
综合图书 政治法律 社会科学
马列主义、毛泽东思想 艺术
数理科学和化学 文学
天文学、地理科学 军事
文化科学、教育体育 经济
自然科学总论 哲学
查看更多分类
 
论文搜索
 
 
相关论文
XX银行对公中间业务经营现状和发
中国新医疗改革中蕴含的投资机会
动态二进制翻译TCache
水情电报翻译研究
基于身份公钥密码系统研究
基于二进制运算属性值约简
动态二进制翻译动态优化相关问题
动态翻译和优化若干关键技术研究
翻译政治与翻译艺术——以瞿秋
文化途径翻译研究:争议与回应
动态二进制翻译优化技术研究
基于Web Workers多线
基于断言制导多线程符号执行
面向主题多线程网络爬虫设计与
基于多核平台多线程动态二进制
面向微处理器设计动态二进制翻译
面向动态二进制翻译动态优化和微
基于二进制翻译并行应用程序移植
动态二进制翻译主从式多线程并行
基于CPU/GPU平台虚拟化技
面向国产处理器二进制翻译关键技
怎样从二进制流中恢复汉字信息(1
莱布尼茨发明二进制前没有见过先天
怎样从二进制流中恢复汉字信息
基于VME星载上行数据 数据
基于动态二进制翻译技术反编译研
动态二进制翻译基于profil
基于动态二进制探测工具程序执行
动态二进制翻译热路径优化
动态二进制翻译后端代码热路径
单片机系统中多任务多线程机制
 
科目列表
市场营销 管理理论 人力资源
电子商务 社会实践 先进教育
伦理道德 艺术理论 环境保护
农村研究 交通相关 烟草论文
电子电气 财务分析 融资决策
电影艺术 国学论文 材料工程
语文论文 数学论文 英语论文
政治论文 物理论文 化学论文
生物论文 美术论文 历史论文
地理论文 信息技术 班主任
音乐论文 体育论文 劳技论文
自然论文 德育管理 农村教育
素质教育 三个代表 旅游管理
国际贸易 哲学论文 工商管理
证券金融 社会学 审计论文
会计论文 建筑论文 电力论文
水利论文 园林景观 农林学
中医学 西医学 心理学
公安论文 法学法律 思想汇报
法律文书 总结报告 演讲稿
物业管理 经济学 论文指导
计算机 护理论文 社会调查
军事论文 化工论文 财政税收
保险论文 物流论文 语言教育
教育教学 给水排水 暖通论文
结构论文 综合类别 硕士论文
博士论文    
 
 
基于动态二进制翻译的多线程程序数据竞争检测方法研究
 
     论文目录
 
摘要第5-7页
ABSTRACT第7-8页
第1章 绪论第13-18页
    1.1 研究背景第13-16页
        1.1.1 多线程程序竞争检测第13页
        1.1.2 基于动态二进制翻译的分析工具第13-15页
        1.1.3 国内外研究现状第15-16页
    1.2 研究目标第16页
    1.3 论文结构第16-18页
第2章 动态二进制翻译基础平台简介第18-36页
    2.1 简介第18-20页
    2.2 二进制翻译的过程第20-21页
    2.3 二进制翻译的分类第21-25页
        2.3.1 解释器第22页
        2.3.2 静态二进制翻译第22-23页
        2.3.3 动态二进制翻译第23-24页
        2.3.4 三种翻译器的比较第24-25页
    2.4 动态二进制翻译实验平台CROSSBIT简介第25-29页
        2.4.1 Crossbit概述第25-26页
        2.4.2 Crossbit系统框架第26-28页
        2.4.3 Crossbit的中间语言第28-29页
    2.5 典型二进制翻译及优化系统介绍第29-35页
        2.5.1 Pin第29-30页
        2.5.2 Valgrind第30-34页
        2.5.3 Dynamo第34-35页
    2.6 本章小结第35-36页
第3章 基于动态二进制翻译的数据竞争检测工具第36-63页
    3.1 Racebit对多线程的支持第36-43页
        3.1.1 相关工作第36-37页
        3.1.2 Pthreads接口介绍第37-39页
        3.1.3 Racebit多线程支持框架第39-43页
    3.2 Racebit的整体框架第43-49页
        3.2.1 相关工作第44-45页
        3.2.2 支持数据竞争检测的Racebit系统框架第45-46页
        3.2.3 内存访问探测第46-47页
        3.2.4 影子内存第47-49页
        3.2.5 锁集合的实现第49页
    3.3 Racebit采用的数据竞争检测算法第49-62页
        3.3.1 相关工作第50-51页
        3.3.2 动态检测算法第51-58页
        3.3.3 Racebit使用的检测算法第58-62页
    3.4 本章小结第62-63页
第4章 Racebit的使用与评测第63-69页
    4.1 Racebit的使用方法第63-64页
    4.2 性能评测第64-67页
        4.2.1 时间性能分析第65页
        4.2.2 功能性分析第65-67页
    4.3 局限性第67-68页
    4.4 本章小结第68-69页
第5章 结论第69-71页
    5.1 全文总结第69-70页
    5.2 未来工作第70-71页
参考文献第71-75页
致谢第75-76页
攻读硕士学位期间已发表或录用的学术论文第76-78页

 
 
论文编号BS3505257,这篇论文共78
会员购买按0.35元/页下载,共需支付27.3元。        直接购买按0.5元/页下载,共需要支付39元 。
我还不是会员,注册会员
会员下载更优惠!充值送钱!
我只需要这篇,无需注册!
直接网上支付,方便快捷!
 您可能感兴趣的论文
版权申明:本目录由www.jylw.com网站制作,本站并未收录原文,如果您是作者,需要删除本篇论文目录请通过QQ或其它联系方式告知我们,我们承诺24小时内删除。
 
 
| 会员专区 | 在线购卡 | 广告服务 | 网站地图 |
版权所有 教育论文中心 Copyright(C) All Rights Reserved
联系方式: QQ:277865656 或写信给我