PL设计概述.pptVIP

第*页 RISC 思路主要是通过减少指令总数和简化指令的功能来降低硬件设计的复杂度，从而提高指令的执行速度。 优点:与CISC技术相比 简化了指令系统，适合超大规模集成电路的实现； 提高了机器执行的速度和效率； 降低了设计成本，提高了系统的可靠性； 提供了直接支持高级语言的能力，简化了编译程序的设计。 第*页 机器指令 机器指令系统——每台数字电子计算机在设计中，都规定了一组指令。 机器语言——用机器指令形式编写的程序。 在裸机级，计算机语言关于算法的描述采用的是实际机器的机器指令，它的符号集是{0，1}， 支撑实际机器的理论是图灵机等计算模型； 在图灵机等计算模型理论的指导下，有关设计形态的主要成果有冯·诺依曼型计算机等具体实现思想和技术，以及各类数字电子计算机产品。 第*页 计算机语言在裸机级所取得的主要成果 计算机语言 抽象 理论 设计 裸机级的主要内容和成果 ? 语言的符号集为：{0，1}； 用机器指令对算法进行描述 图灵机（过程语言的基础）、波斯特系统（字符串处理语言的基础）、λ-演算（函数式语言的基础）等计算模型 冯·诺依曼型计算机等实现技术； 数字电子计算机产品 第*页 汇编语言 采用字符和十进制数来代替二进制代码的思想。 例3.10 对2+6进行计算的算法描述 用机器指令对“2+6”进行计算的算法描述： 1011000000000110 0000010000000010 101000100101000000000000 汇编语言对“2+6”进行计算的算法描述： MOV AL，6 ADD AL，2 MOV VC，AL 第*页 汇编语言语句与特定的机器指令有一一对应的关系，但是它毕竟不同于由二进制组成的机器指令，它还需要经汇编程序翻译为机器指令后才能运行。 汇编语言源程序经汇编程序翻译成机器指令，再在实际的机器中执行。 就汇编语言的用户而言，该机器是可以直接识别汇编语言的，从而产生了一个属于抽象形态的重要概念，即虚拟机的概念。 * ? 计算机语言中 3个学科形态的内在联系 以虚拟机的观点 来划分计算机的层次结构 第*页 虚拟机 抽象的计算机 由软件实现，并与实际机器一样，都具有一个指令集并可以使用不同的存储区域。 例如，一台机器上配有C语言和Pascal语言的编译程序，对C语言用户来说，这台机器就是以C语言为机器语言的虚拟机，对Pascal用户来说，这台机器就是以Pascal语言为机器语言的虚拟机。 第*页 虚拟机的层次之分 虚拟机可分为 固件虚拟机 操作系统虚拟机 汇编语言虚拟机 高级语言虚拟机 应用语言虚拟机等 第*页 虚拟机的意义和作用 当机器（实际机器或虚拟机）确定下来后，所识别的语言也随之确定；反之，当一种语言形式化后，所需要支撑的机器也可以确定下来。从计算机系统的层次结构图中可以清晰地看到这种机器与语言的关系。虚拟机是计算学科中抽象的重要内容。引入虚拟机的概念，就计算机语言而言，有以下意义和作用： 有助于我们正确理解各种语言的实质和实现途径 推动了计算机体系结构以及计算机语言的发展 有助于各层次计算机语言自身的完善 * ? 计算机语言中 3个学科形态的内在联系 高级语言 虽然与机器语言相比，汇编语言的产生是一个很大的进步，但是用它来进行程序设计仍然比较困难。于是人们着手对它进行改进。一是发展宏汇编，即用一条宏指令代替若干条汇编指令，从而提高编程效率。现在人们使用的汇编语言，大多数都是宏汇编语言。二是创建高级语言，使编程更加方便。 如用高级语言对例子2+6进行计算的算法描述，其描述与数学描述一样，即2+6。 第*页 高级语言的分类 按语言的特点，可以将高级语言划分为： 过程式语言（如Cobol，Forturn，Algol，Pascal，Ada，C） 函数式语言（如Lisp） 数据流语言（如SISAL，VAL） 面向对象语言（如Smalltalk，CLU，C++） 逻辑语言（如Prolog） 字符串语言（如SNOBOL） 并发程序设计语言（如Concurrent Pascal，Modula 2）等 第*页 高级语言的形式化 20世纪50年代 美国语言学家乔姆斯基（Noam Chomsky）关于语言分层的理论， 巴科斯（Backus）、瑙尔（Naur）的关于“上下文无关方法表示形式”的研究成果推动了语法形式