logo
教育论文中心  教育论文中心   广告服务  广告服务   论文搜索  论文搜索   论文发表  论文发表   会员专区  会员专区   在线购卡   在线购卡   服务帮助  服务帮助   联系我们  联系我们   网站地图  网站地图   硕士论文  会员专区   博士论文
当前位置:教育论文中心首页--硕士论文--基于Petri网的多线程死锁检测研究
博硕论文分类列表
工业技术 交通运输 农业科学
生物科学 航空航天 历史地理
医学卫生 语言文字 环境科学
综合图书 政治法律 社会科学
马列主义、毛泽东思想 艺术
数理科学和化学 文学
天文学、地理科学 军事
文化科学、教育体育 经济
自然科学总论 哲学
查看更多分类
 
论文搜索
 
 
相关论文
服务体执行流模型中消息通信的时间
基于Kinect的孤立词手语识别
分布式数据库死锁检测算法研究
计算系统自适应体系结构研究
一类禁止状态规范下Petri网控
工作流过程模型层次研究及其分析
基于Petri工作流模型在物
测试系统Petri建模和性能
基于Petri生物过程建模模
基于模糊Petri电网故障诊
柔性制造系统刀具流动态调度研究
分布式系统中死锁检测方法研究
并发缺陷检测与规避研究
基于Petri智能机器人系统
基于模糊Petri规则推理优
基于模糊Petri知识表示方
基于模糊Petri模型通信网
神经网络在模糊Petri故障诊
遗传算法在ANN-Petri
一个嵌入式系统Petri模型
面向环和结分布式死锁检测算法研
一种跨组织业务流程死锁检测方法
关于Petri汇合性质和家态
有色Petri行为研究
基于Petri多主体协作
基于静态源码分析多线程死锁检测
柔性制造系统一般Petri模型
基于网络协议Petri研究-
有色时间Petri与随机Pet
并发程序中潜在死锁检测与调试
模糊Petri系统性态研究
基于Intranet资源监控技
面向资源有色Petri模型控
基于断言制导多线程符号执行
 
科目列表
市场营销 管理理论 人力资源
电子商务 社会实践 先进教育
伦理道德 艺术理论 环境保护
农村研究 交通相关 烟草论文
电子电气 财务分析 融资决策
电影艺术 国学论文 材料工程
语文论文 数学论文 英语论文
政治论文 物理论文 化学论文
生物论文 美术论文 历史论文
地理论文 信息技术 班主任
音乐论文 体育论文 劳技论文
自然论文 德育管理 农村教育
素质教育 三个代表 旅游管理
国际贸易 哲学论文 工商管理
证券金融 社会学 审计论文
会计论文 建筑论文 电力论文
水利论文 园林景观 农林学
中医学 西医学 心理学
公安论文 法学法律 思想汇报
法律文书 总结报告 演讲稿
物业管理 经济学 论文指导
计算机 护理论文 社会调查
军事论文 化工论文 财政税收
保险论文 物流论文 语言教育
教育教学 给水排水 暖通论文
结构论文 综合类别 硕士论文
博士论文    
 
 
基于Petri网的多线程死锁检测研究
 
     论文目录
 
摘要第1-7页
ABSTRACT第7-11页
表目录第11-12页
图目录第12-13页
第一章 绪论第13-19页
   ·研究背景第13-14页
   ·国内外研究现状第14-17页
     ·死锁检测时机的不同第14-16页
     ·并发模型的不同第16-17页
   ·本文的研究内容第17页
   ·论文组织第17-19页
第二章 背景介绍第19-25页
   ·GCC介绍第19-21页
     ·GCC编译流程第19-20页
     ·CFG和SSA第20-21页
     ·GCC插件第21页
   ·指针别名分析第21-22页
   ·Petri 网的定义和性质第22-24页
   ·本章小结第24-25页
第三章 多线程程序的Petri网建模第25-47页
   ·多线程程序预处理第25-29页
     ·GCC插件生成CFG第26-27页
     ·函数依赖信息的提取第27-28页
     ·术语介绍第28-29页
   ·指针别名分析第29-36页
     ·别名信息的表示第30页
     ·指向图的建立第30-32页
     ·特殊情况处理第32页
     ·跨线程调用图第32-33页
     ·上下文敏感分析第33-36页
   ·基于函数调用图的Petri网建模第36-46页
     ·CFG转换为Petri网第37-38页
     ·锁操作的Petri网建模第38-39页
     ·函数调用图和CFG优化第39-40页
     ·程序特殊语义的处理第40-44页
     ·函数调用图转换为Petri网第44-46页
   ·本章小结第46-47页
第四章 基于Petri网的死锁检测研究第47-57页
   ·Petri网死锁与程序死锁第47-49页
   ·死锁检测算法第49-56页
     ·锁操作的Petri网定义第49-51页
     ·网N_s的动态性质第51-52页
     ·基于MIP的死锁检测算法第52-55页
     ·算法的正确性分析第55-56页
   ·线程组合分析第56页
   ·本章小结第56-57页
第五章 测试与分析第57-65页
   ·指针别名分析第57-58页
   ·死锁检测分析第58-63页
   ·性能分析第63页
   ·本章小结第63-65页
第六章 总结与展望第65-67页
   ·本文总结第65页
   ·本文的主要工作第65-66页
   ·下一步工作计划和展望第66-67页
参考文献第67-71页
致谢第71-73页
在读期间发表的学术论文与取得的研究成果第73页

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