|
|
|
多线程程序数据竞争检测与调试机制研究 |
|
论文目录 |
|
摘要 | 第4-6页 | ABSTRACT | 第6-8页 | 1 绪论 | 第14-33页 | 1.1 研究背景 | 第14-21页 | 1.2 国内外研究现状 | 第21-29页 | 1.3 研究内容 | 第29-31页 | 1.4 论文组织结构 | 第31-33页 | 2 基于锁同步分析的数据竞争查找技术 | 第33-53页 | 2.1 研究背景 | 第33-36页 | 2.2 锁同步分析的后验因果关系 | 第36-39页 | 2.3 基于后验因果关系的数据竞争查找技术与实现 | 第39-47页 | 2.4 系统评测 | 第47-51页 | 2.5 本章小结 | 第51-53页 | 3 面向数据竞争的覆盖率驱动并发测试技术 | 第53-72页 | 3.1 研究背景 | 第53-55页 | 3.2 系统结构 | 第55-58页 | 3.3 基于覆盖率驱动的并发测试关键技术与实现 | 第58-62页 | 3.4 系统评测 | 第62-71页 | 3.5 本章小结 | 第71-72页 | 4 基于分层调度的轻量级并发调试技术 | 第72-96页 | 4.1 研究背景和动机 | 第72-75页 | 4.2 事件之间不确定性并发分析 | 第75-79页 | 4.3 基于分层调度的并发调试关键技术与实现 | 第79-87页 | 4.4 系统评测 | 第87-95页 | 4.5 本章小结 | 第95-96页 | 5 总结与展望 | 第96-98页 | 致谢 | 第98-100页 | 参考文献 | 第100-109页 | 附录1 攻读博士学位期间发表的学术论文 | 第109-110页 | 附录2 攻读博士学位期间参与的主要科研项目 | 第110页 |
|
|
|
|
论文编号BS4354120,这篇论文共110页 会员购买按0.35元/页下载,共需支付38.5元。 直接购买按0.5元/页下载,共需要支付55元 。 |
|
|
我还不是会员,注册会员!
会员下载更优惠!充值送钱! |
我只需要这篇,无需注册!
直接网上支付,方便快捷! |
|
|
|
版权申明:本目录由www.jylw.com网站制作,本站并未收录原文,如果您是作者,需要删除本篇论文目录请通过QQ或其它联系方式告知我们,我们承诺24小时内删除。 |
|
|