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