80486极小指令集及其构造性证明  

Least Instruction Set in 80486 and Its Constructive Proofs

作　　者：洪龙[1] 陈燕俐[1] 朱梧槚[2] 

机构地区：[1]南京邮电大学计算机学院,江苏南京210003 [2]南京航空航天大学信息科学与技术学院,江苏南京210016

出　　处：《南京邮电大学学报（自然科学版）》2006年第4期57-64,共8页Journal of Nanjing University of Posts and Telecommunications：Natural Science Edition

基　　金：国家自然科学基金(60273037)资助项目

摘　　要：指令集是计算机系统结构的重要研究内容之一,众多学者对指令完全性进行了描述,但至今未见极小指令集的报道。在文中,寻找既具有基本功能,又无法由其它指令编程实现的计算机基本指令,研究计算机现有的最基本的计算行为。提出了指令的功能完全性和独立性概念,并在此基础上定义了极小指令集,这为计算机指令集的优化设计建立了理论基础。还从Intel 80486指令集中选定了一个子集I9,并构造性地证明了I9是IA-32处理器指令集的极小指令集。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 I9, and it is constructively proved that I9 is the least instruction set of IA-32 instruction set.

关 键 词：极小指令集 功能完全性 独立性 

分 类 号：TF313[冶金工程—冶金机械及自动化]