并行性分析的数学原理PDF带目录高清完整版.rar

软件介绍:

并行性分析的数学原理：与现代并行处理计算机相伴而生，从20世纪70年代起，并行性分析的理论研究和工程实践业已走过40余年的光辉历程(附录1)。先驱者依据各自对并行性的理解，发挥各自长期形成的数学优势，采取各色各样的数学观点，研制出各具特色的分析工具，为并行机的推广应用作出了贡献。本书以作者几十年贯穿于“下标追踪法一元素视图一数据相关性’’的理论研究，以及在我国某两种并行机序列中的工程实践为基础，几乎涵盖所有历史上出现过的研究成果，统一到“公理一定义一引理一定理一证明一推论一应用”的演绎系统里，形成工程技术领域不多见的像非欧几何那样缜密、可靠的演绎理论，并且把它们及时地反哺工程实践以创造效益。依托并行处理技术的各类巨型计算机，是并行性分析理论的首要服务对象；迄今为止，它们的首要任务是求解各类关系国计民生的战略课题。所以，正确性与可靠性始终居第一位。建立演绎体系，无疑是其恰当的保证。    本书前13章由我撰写，其运行环境以SIMD/SPMD为主，MIMD为辅；最后一章“并行死锁的静态检测是我的“下标追踪法一元素视图一数据相关性”理论体系与时俱进的发展，其运行环境则彻底迁移到MIMD。“下标追踪法一元素视图一数据相关性”的主体，诞生于作者在国防科技大学计算机系研制某巨型机期间；经过总装系统所研制某实时操作系统的升华，到中科院软件所，尤其是其综合信息系统技术国防重点实验室为我系统地总结~归纳，提高、发展这些成果达到理论上的完整，提供了优越的科研条件和宽松的科研环境；