|
|||||
|
|
| 80486极小指令集及其构造性证明 | |
| 引用本文： | 洪龙,陈燕俐,朱梧槚.80486极小指令集及其构造性证明[J].南京邮电大学学报(自然科学版),2006,26(4):57-64. |
| 作者姓名： | 洪龙 陈燕俐 朱梧槚 |
| 作者单位： | 1. 南京邮电大学,计算机学院,江苏,南京,210003;南京航空航天大学,信息科学与技术学院,江苏,南京,210016 2. 南京邮电大学,计算机学院,江苏,南京,210003 3. 南京航空航天大学,信息科学与技术学院,江苏,南京,210016 |
| 摘 要： | 指令集是计算机系统结构的重要研究内容之一,众多学者对指令完全性进行了描述,但至今未见极小指令集的报道。在文中,寻找既具有基本功能,又无法由其它指令编程实现的计算机基本指令,研究计算机现有的最基本的计算行为。提出了指令的功能完全性和独立性概念,并在此基础上定义了极小指令集,这为计算机指令集的优化设计建立了理论基础。还从Intel 80486指令集中选定了一个子集I9,并构造性地证明了I9是IA-32处理器指令集的极小指令集。 |
| 关 键 词： | 极小指令集 功能完全性 独立性 |
| 文章编号： | 1673-5439（2006）04-0057-08 |
| 收稿时间： | 2005-09-27 |
| 修稿时间： | 2005年9月27日 |
Least Instruction Set in 80486 and Its Constructive Proofs |
|
| HONG Long,CHEN Yan-li,ZHU Wu-jia.Least Instruction Set in 80486 and Its Constructive Proofs[J].Journal of Nanjing University of Posts and Telecommunications,2006,26(4):57-64. | |
| Authors: | HONG Long CHEN Yan-li ZHU Wu-jia |
| Institution: | 1. College of Computer, Nanjing University of Posts and Telecommunications, Nanjing 210003, China; 2. College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China |
| Abstract: | The instruction set is one of the important contents in computer architecture,and many scholars described instruction completeness with different ways.However,to the best of our knowledge,there has no report on the research of the least instruction set.In this paper,the instructions are sought which have basic functions but can't be realized by the program written by other instructions to research on the current fundamental computing behaviors in computers.The least instruction set based on the concepts of independence and functional completeness of instruction set is proposed,which establish foundation for designing optional instruction set.The paper chooses from Intel 80486 instruction set a subset I_9,and it is constructively proved that I_9 is the least instruction set of(IA-32) instruction set. |
| Keywords: | Least instruction set Function completeness Independence |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |