计算机科学导论第2章 计算机体系结构与组织(答案)

2．什么是定点数，它分为哪些种类？
答：所谓定点数，就是指计算机在运算过程中，数据中小数点的位置固定不变。其中小数点的位置是由计算机设计者在机器的结构中指定一个不变的位置，而不一定都必须具有小数点的指示装置。定点数一般有小数和整数两种表示形式。定点小数是把小数点固定在数据数值部分的左边，符号位的右边；定点整数则把小数点固定在数据数值部分的右边。
今后，CMP这类处理器芯片内有多个进程同时执行的结构将成为主流，再加上硬件复杂性、设计时的失误增加，使得处理器芯片内部也未必是安全的，因此，安全与可靠性设计任重而道远。
多核的中断处理和单核有很大不同。多核的各处理器之间需要通过中断方式进行通信，所以多个处理器之间的本地中断控制器和负责仲裁各核之间中断分配的全局中断控制器也需要封装在芯片内部。另外,多核CPU是一个多任务系统。由于不同任务会竞争共享资源，因此需要系统提供同步与互斥机制。而传统的用于单核的解决机制并不能满足多核，需要利用硬件提供的“读－修改－写”的原子操作或其他同步互斥机制来保证。
5．简述计算机软件系统的分类。（系统软件和应用软件两方面）
软件是指能在计算机上运行的各种程序，包括各种有关的文档。通常将软件分为系统软件和应用软件两大类。
（1）系统软件
可以把软件分成若干层，最内层是对硬件的扩充与完善，而外层则是对内层的再次扩充与完善。一般把靠近内层、为方便使用和管理计算机资源的软件，称为系统软件。系统软件通常是负责管理、控制和维护计算机的各种软硬件资源，并为用户提供一个友好的操作界面，以及服务于一般目的的上机环境。系统软件包括操作系统、计算机的监控管理程序、高级程序设计语言的编译和解释程序以及系统服务程序等。操作系统在系统软件中处于核心地位，其他的系统软件在操作系统的支持下工作；高级程序设计语言的编译和解释程序，将软件工程师编写的软件“翻译”成为计算机能够“理解”的机器语言；系统服务程序为计算机系统的正常运行提供服务。
基于片上互连的结构是指每个CPU核心具有独立的处理单元和Cache，各个CPU核心通过交叉开关或片上网络等方式连接在一起。各个CPU核心间通过消息通信。这种结构的优点是可扩展性好，数据带宽有保证；缺点是硬件结构复杂，且软件改动较大。也许这两者的竞争结果不是互相取代而是互相合作，例如在全局范围采用片上网络而局部采用总线方式，来达到性能与复杂性的平衡。
（8）存储器
为了使芯片内核充分地工作，最起码的要求是芯片能提供与芯片性能相匹配的存储器带宽，虽然内部Cache的容量能解决一些问题，但随着性能的进一步提高，必须有其他一些手段来提高存储器接口的带宽，如增加单个管脚带宽的DDR、DDR2、QDR、XDR等。同样，系统也必须有能提供高带宽的存储器。所以，芯片对封装的要求也越来越高，虽然封装的管脚数每年以20%的数目提升，但还不能完全解决问题，而且还带来了成本提高的问题，为此，怎样提供一个高带宽，低延迟的接口带宽，是必须解决的一个重要问题。
第
习题（答案）
一．选择题
1．D2．D3．A4．D5．C
6．C7．D8．B9．D10．C
11．B12．A13．C14．A15．C
16．A17．C18．C19．C20．A
21．A22．B23．A
二．简答题
1．试简单叙述计算机采用二进制的原因。
答：计算机只认识二进制编码形式的指令和数据。因此，包括数字、字符、声音、图形、图像等信息都必须经过某种方式转换成二进制的形式，才能提供给计算机进行识别和处理。在计算机中采用二进制，是因为物理上实现容易。由于二进制只有两个状态0和1，这正好与物理器件的两种状态相对应，例如电压信号的高与低，门电路的导通与截止等；而十进制电路则需要用十种状态来描述，这将使得电路十分复杂，处理也十分困难。因此，采用二进制将使得计算机在物理上实现简单，且具有可靠性高、处理简单、抗干扰能力强等优点。
（6）操作系统设计：任务调度、中断处理、同步互斥
对于多核CPU，优化操作系统任务调度算法是保证效率的关键。一般任务调度算法有全局队列调度和局部队列调度。前者是指操作系统维护一个全局的任务等待队列，当系统中有一个CPU核心空闲时，操作系统就从全局任务等待队列中选取就绪任务开始在此核心上执行。这种方法的优点是CPU核心利用率较高。后者是指操作系统为每个CPU内核维护一个局部的任务等待队列，当系统中有一个CPU内核空闲时，便从该核心的任务等待队列中选取恰当的任务执行，这种方法的优点是任务基本上无需在多个CPU核心间切换，有利于提高CPU核心局部Cache命中率。目前多数多核CPU操作系统采用的是基于全局队列的任务调度算法。
（4）核间通信技术
CMP处理器的各CPU核心执行的程序之间有时需要进行数据共享与同步，因此其硬件结构必须支持核间通信。高效的通信机制是CMP处理器高性能的重要保障，目前比较主流的片上高效通信机制有两种，一种是基于总线共享的Cache结构，一种是基于片上的互连结构。总线共享Cache结构是指每个CPU内核拥有共享的二级或三级Cache，用于保存比较常用的数据，并通过连接核心的总线进行通信。这种系统的优点是结构简单，通信速度高，缺点是基于总线的结构可扩展性较差。
（7）低功耗设计
半导体工艺的迅速发展使微处理器的集成度越来越高，同时处理器表面温度也变得越来越高并呈指数级增长，每三年处理器的功耗密度就能翻一番。目前，低功耗和热优化设计已经成为微处理器研究中的核心问题。CMP的多核心结构决定了其相关的功耗研究是一个至关重要的课题。低功耗设计是一个多层次问题，需要同时在操作系统级、算法级、结构级、电路级等多个层次上进行研究。每个层次的低功耗设计方法实现的效果不同——抽象层次越高，功耗和温度降低的效果越明显。
（5）总线设计
传统微处理器中，Cache不命中或访存事件都会对CPU的执行效率产生负面影响，而总线接口单元（BIU）的工作效率会决定此影响的程度。当多个CPU核心同时要求访问内存或多个CPU核心内私有Cache同时出现Cache不命中事件时，BIU对这多个访问请求的仲裁机制以及对外存储访问的转换机制的效率决定了CMP系统的整体性能。因此寻找高效的多端口总线接口单元（BIU）结构，将多核心对主存的单字访问转为更为高效的猝发（burst）访问，同时寻找对CMP处理器整体效率最佳的一次Burst访问字的数量模型以及高效多端口BIU访问的仲裁机制将是CMP处理器研究的重要内容。
(4)按在计算机中的作用，可将存储器分为主存储器、辅助存储器和高速缓冲存储器等。
8．存储器的功能是什么？
答：现代计算机是以存储器为中心的计算机系统，存储器是计算机的重要组成部分。当利用计算机完成某项任务时，首先把解决问题的程序和所需数据存于存储器中，在执行程序时再由存储器快速地提供给处理机。显然，存储器的功能是存储信息，被存储的信息包括程序信息和数据信息等。
（3）Cache设计：多级Cache设计与一致性问题
处理器和主存间的速度差距对CMP来说是个突出的矛盾，因此必须使用多级Cache来缓解。目前有共享一级Cache的CMP、共享二级Cache的CMP以及共享主存的CMP。通常，CMP采用共享二级Cache的CMP结构，即每个处理器核心拥有私有的一级Cache，且所有处理器核心共享二级Cache。Cache自身的体系结构设计也直接关系到系统整体性能。但是在CMP结构中，共享Cache或独有Cache孰优孰劣、需不需要在一块芯片上建立多级Cache，以及建立几级Cache等等，由于对整个芯片的尺寸、功耗、布局、性能以及运行效率等都有很大的影响，因而这些都是需要认真研究和探讨的问题。 另一方面，多级Cache又引发一致性问题。采用何种Cache一致性模型和机制都将对CMP整体性能产生重要影响。在传统多处理器系统结构中广泛采用的Cache一致性模型有: 顺序一致性模型、弱一致性模型、释放一致性模型等。与之相关的Cache一致性机制主要有总线的侦听协议和基于目录的目录协议。目前的CMP系统大多采用 基于总线的侦听协议。
9.存储器的主要指标是什么？
答：存储器作为计算机系统的核心部件之一，有必要对其性能进行描述。描述一个存储器性能优劣的主要指标有存储容量、存储周期和存取时间、可靠性、性能价格比、功耗、可靠性等。
10.简述多核的关键技术。
与单核处理器相比，多核处理器在体系结构、软件、功耗和安全性设计等方面面临着巨大的挑战，但也蕴含着巨大的潜能。
（1）核结构研究
CMP的构成分成同构和异构两类，同构是指内部核的结构是相同的，而异构是指内部的核结构是不同的。为此，面对不同的应用研究核结构的实现对未来微处理器的性能至关重要。核本身的结构，关系到整个芯片的面积、功耗和性能。怎样继承和发展传统处理器的成果，直接影响多核的性能和实现周期。同时，根据Amdahl定理，程序的加速比决定于串行部分的性能，所以，从理论上来看似乎异构微处理器的结构具有更好的性能。
（2）具有逻辑判断和记忆能力
计算机有准确的逻辑判断能力和超强的记忆能力，能够进行各种逻辑判断，并根据判断的结果自动决定下一步应该执行的指令。
（3）高度的自动化和灵活性
计算机采取存储程序方式工作，即把编好的程序输入计算机，机器便可依次逐条执行，这就使计算机实现了高度的自动化和灵活性。每台计算机提供的基本功能是有限的，这是在设计和制造时就决定了的。但计算机可以在人们精心编写的程序下，用这些有限的功能，快速、自动地完成多种多样的基本功能序列，从而实现计算机的通用性，达到计算机应用的各种目的。
多核所用的指令系统对系统的实现也是很重要的，采用多核之间采用相同的指令系统还是不同的指令系统，能否运行操作系统等，也将是研究的内容之一。
（2）程序执行模型
多核处理器设计的首要问题是选择程序执行模型。程序执行模型的适用性决定多核处理器能否以最低的代价提供最高的性能。程序执行模型是编译器设计人员与系统实现人员之间的接口。编译器设计人员决定如何将一种高级语言程序按一种程序执行模型转换成一种目标机器语言程序;系统实现人员则决定该程序执行模型在具体目标机器上的有效实现。当目标机器是多核体系结构时，产生的问题是：多核体系结构如何支持重要的程序执行模型？是否有其他的程序执行模型更适于多核的体系结构？这些程序执行模型能多大程度上满足应用的需要并为用户所接受？