||
丛书名:当代科学技术基础理论与前沿问题研究丛书——中国科学技术大学校友文库
【内容简介】
本书既是计算机工程技术领域的理论专著,又是用抽象数学解决工程技术实际问题的应用专著。它囊括了(微积分学开创、由微分方程和复变函数等继承与发展的)精确思维与(概率论与数理统计和信息论开创、由模糊数学等发扬光大的)不精确思维,并包括“纯粹”数学中近世代数在内的几十门数学分支,运用于应超级电脑之运而生的并行处理这一工程技术前沿,获得巨大的成功。其内容基本按“公理定义引理定理证明推论应用”的数学演绎体系编写,以满足关系国计民生的高科技所要求的正确性与可靠性;它也是作者近半个世纪跨应用数学与计算机科学两大专业方向科研成果的结晶,由于透彻地把握住了本质,有能力深入浅出地展现给读者。
全书共14章,内容几乎穷尽硬件,语言,以及语句、变量、元素、指令、迭代等五大相关视图,以及离散与简洁、分割与分布、并行死锁等并行处理软件涉及的所有方面。
本书可供计算机科技工作者、大专院校师生,特别是有志于把抽象数学与工程技术相结合的科研人员阅读。
【图书特色】
R“十二五”国家重点图书出版规划项目
R中国科学技术大学校友文库丛书中的一册
R第一作者范植华研究员是国家重点实验室首席科学家兼总工程师
R近100万字的系统巨著
【作者简介】
范植华,中国科学院软件研究所二级研究员,博士生导师,天基综合信息系统国家重点实验室首任首席科学家兼总工程师。1942年生于南京,1960年考入中国科学技术大学应用数学与电子计算机系,1965年本科毕业于其应用数学专业,分配至中国人民解放军军事工程学院/国防科学技术大学从事计算机软件科研与教学;1978年考入中国科学院研究生院,1981年毕业于中国科学院计算技术研究所计算机科学专业;1987年调入中华人民共和国国防科学技术工业委员会;1991年到中国科学院软件研究所工作至今。在应用数学和计算机科学两个领域具有坚实的理论基础和系统深入的专业知识,善于将理论与实践相结合,从工程应用中提炼尖端理论问题,灵活运用现代数学工具合理解决后反哺工程实践。在并行处理与实时处理两大前沿领域,分别首创元素视图理论与专用实时母系统理论,近年来又在软件系统自动生成方面,做出国际领先水平的创造性成果。发表学术论文百余篇,出版学术专著三部(《向量化理论》,科学出版社,1990;《数据相关性理论及其在并行处理中的应用》,科学出版社,1999;《并行性分析的数学原理》,中国科学技术大学出版社,2014)。退休后在中国科学院大学讲授“并行性分析的数学原理”课程,在历年教学奖评中保持各项指标全优。
【目录】
第一章硬件并行设施(1)
1.1计算机并行性的发展(1)
1.2流水线并行原理(3)
1.3多向量流水(7)
1.4向量指令系统与向量汇编语言(12)
1.5阵列与数据流方式(16)
1.6多核芯片(20)
1.7紧耦合多处理机(22)
1.8松耦合多计算机(27)
1.9集群(30)
1.10单体巨型机(34)
1.11复体巨型机(40)
1.12源于小微巨型机的可伸缩性(46)
1.13云计算平台(54)
第二章语言并行机制(58)
2.1 VFORTRAN语言(58)
2.2三元挑选符与下标对应规则(61)
2.3向量函数(62)
2.4向量过程(65)
2.5流水线处理(67)
2.6向量链接(72)
2.7向量屏蔽(74)
2.8数组运算(82)
2.9 PFORTRAN语言(88)
2.10 HPF语言(91)
2.11 BXC语言(93)
2.12时序算子(97)
2.13控制结构(101)
2.14点对点通信(103)
2.15并行程序设计(106)
第三章显数据相关性的三种视图(110)
3.1并行处理的三种粒度(111)
3.2相关依赖等价条件下的并行处理(113)
3.3单层赋值循环的适应性(117)
3.4临时变量与归纳变量(120)
3.5三种赋值与限制条件(122)
3.6繁衍层次(126)
3.7结合链同体链与年长顺序定理(132)
3.8元素间的优先关系(136)
3.9数据相关与输入相关(139)
第四章语句视图与依赖片断(144)
4.1语句间的相关依赖(144)
4.2语句图与并行性判别(148)
4.3解析判别法与非整除规则(150)
4.4变序点(154)
4.5A0型循环的层次片断(158)
4.6计算实例(161)
4.7A1型和A型循环的层次片断(164)
4.8循环体的最简形式(168)
4.9指令级的并行性(171)
4.10加权汇编语句图(174)
第五章变量视图(179)
5.1坐标方法(179)
5.2超平面方法(193)
5.3相关分析方法(203)
5.4图论方法(213)
5.5统一的解析判别法(222)
5.6拓扑排序(228)
5.7临时数组与暂存语句(231)
5.8改写算法(237)
第六章元素视图(246)
6.1以元素为结点的困难和片断的概念(246)
6.2有待跨越的“鸿沟”(248)
6.3判别准则(250)
6.4判别举例(253)
6.5等价类与R?P逆对所引起的暂存(257)
6.6时序层次等价类的数学抽象(260)
6.7结点的数学抽象(262)
6.8循环间包含关系的直观含义(264)
6.9生存带的胀缩(266)
6.10包含关系的数学表示(269)
6.11强化定理(272)
6.12偏序结构(275)
6.13比较判别法及其在循环体上的应用(279)
6.14比较判别法在取值点集合上的应用(285)
6.15元素视图A型算法全过程(290)
第七章控制依赖向数据依赖的转换(298)
7.1不定因素与参数集(298)
7.2I0型循环及其闭体(301)
7.3I0型循环的并行处理(306)
7.4关于I0型循环并行的充要条件(313)
7.5再识别算法(316)
7.6再改写算法(329)
7.7优化算法(337)
7.8识别改写优化链(344)
7.9两道例题演示I0型算法全过程(358)
第八章多岔控制转移的结构化重构(370)
8.1简单三岔控制转移(370)
8.2三岔控制转移的完备形式(378)
8.3程序变换应满足的集合方程(381)
8.4〈t1,t2,m,t3,n〉型组合方式的嵌入载体(384)
8.5〈t1,t2,t3,m,n〉型组合方式的嵌入载体(390)
8.6〈t1,t2,t3,n,m〉型组合方式的嵌入载体(395)
8.7程序变换目标程序的优化(401)
8.8退化情形(411)
8.9简单多岔控制转移(416)
8.10简单多岔控制转移的并行处理(419)
8.11多岔控制转移的完备形式(422)
8.12双阶律(424)
8.13完备形式多岔控制转移的结构化变换(427)
8.14GN型计算实例(430)
8.15结构化的多岔控制转移(436)
8.16GNS型计算实例(439)
8.17G型实现算法(442)
第九章离散连通与简洁冗余(455)
9.1离散层次的概念(455)
9.2具有离散层次的A型循环的可并行性质(462)
9.3向I0型循环的拓广(467)
9.4时序层次离散性的判别方法(471)
9.5一类简单的具有离散层次的A型循环(477)
9.6一类简单的具有离散层次的I0型循环(484)
9.7下标表达式单调变化的循环类(492)
9.8下标表达式单调变化的例题(498)
9.9反原形与拟离散性(507)
9.10简洁循环与冗余循环的概念(515)
9.11A型简洁循环与A型冗余循环(518)
9.12同态定理(521)
9.13向I0型循环的拓广(526)
9.14向I1型和G型循环的拓广(531)
第十章分部并行与循环分布(543)
10.1从并行的本质把握分部并行(543)
10.2分部并行的两种手段(545)
10.3循环分布与局部并行(549)
10.4从元素视图考查循环分布(552)
10.5语句团(554)
10.6语句团顺序(558)
10.7语句团的复杂组合(562)
10.8孤立非线性下标“奇异”团(566)
10.9向控制结构的分布(570)
10.10向句内成分的分布(575)
10.11其他“奇异”现象举例(580)
第十一章变序点分割(587)
11.1先分布后分割(587)
11.2变序点概念的精确描述(594)
11.3第一类实变序点(599)
11.4第二类实变序点(601)
11.5第三类实变序点(604)
11.6变序点的重叠(608)
11.7变序点的组合(614)
11.8变序点的萎缩(626)
11.9控制结构的变序点分割(630)
11.10综合实例(636)
第十二章递归分割与并行划分(644)
12.1递归关系及其对并行性的否定(644)
12.2循环中递归的成因(647)
12.3递归的分割(651)
12.4等长递归分割算法(655)
12.5变长的递归分割(661)
12.6完善的关键边组析取算法(666)
12.7全程递归分割算法(670)
12.8片断分割与稳态目标搜索算法(674)
12.9片断递归分割算法(678)
12.10片断递归分割举例(681)
12.11控制结构的递归分割(688)
12.12并行划分中的次序与迭代视图(698)
12.13迭代结点与并行划分举例(700)
第十三章向多重循环的拓广(703)
13.1多重循环的最内层循环(703)
13.2多重A型循环(706)
13.3多重层次片断定理(711)
13.4多重I0型循环(716)
13.5多重I1型和G型循环(723)
13.6多重循环的数组化(726)
第十四章并行死锁的静态检测(731)
14.1预备知识(732)
14.2MPI同步通信死锁检测基本理论(739)
14.3MPI同步通信顺序模型死锁静态检测算法(753)
14.4比例方程组与MPI同步通信静态死锁检测(759)
14.5死锁检测算法实现与基于素数序列的哈希表性能优化(767)
14.6MPI同步通信嵌套循环模型死锁检测(772)
14.7全节点空间MPI同步通信死锁检测(779)
14.8 MPICH同步通信程序死锁判定框架性算法(788)
14.9结论(795)
附录一从“银河”到“天河”(797)
附录二对范植华并行处理理论与工程成果的专家评价(802)
参考文献(809)
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-9-25 02:04
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社