제2장 CPU의 구조와 기능. 제2장 CPU의 구조와 기능 CPU의 기능 명령어 인출(Instruction Fetch): 기억장치로부터 명령어를 읽어온다. 명령어 해독(Instruction Decode): 수행해야 할 동작을 결정하기 위하여 인출된 명령어를 해독한다.

Presentation on theme: "제2장 CPU의 구조와 기능. 제2장 CPU의 구조와 기능 CPU의 기능 명령어 인출(Instruction Fetch): 기억장치로부터 명령어를 읽어온다. 명령어 해독(Instruction Decode): 수행해야 할 동작을 결정하기 위하여 인출된 명령어를 해독한다."— Presentation transcript:

1

2 제2장 CPU의 구조와 기능

3 CPU의 기능 명령어 인출(Instruction Fetch): 기억장치로부터 명령어를 읽어온다.
명령어 해독(Instruction Decode): 수행해야 할 동작을 결정하기 위하여 인출된 명령어를 해독한다. 데이터 인출(Data Fetch): 명령어 실행을 위하여 데이터가 필요한 경우에는 기억장치 또는 입출력장치로부터 그 데이터를 읽어온다. 데이터 처리(Data Process): 데이터에 대한 산술적 또는 논리적 연산을 수행한다. 데이터 쓰기(Data Store): 실행한 결과를 저장한다. 첫 번째 및 두 번째 기능은 모든 명령어들에 대하여 공통적으로 수행. 세 번째부터 다섯 번째까지의 기능들은 명령어에 따라 필요한 경우에만 수행.

4 2.1 CPU의 기본 구조 2.2 명령어 실행 2.3 명령어 파이프라이닝 2.4 명령어 세트

5 CPU의 내부 구성 요소들 산술논리연산장치(Arithmetic and Logical Unit: ALU)
레지스터 세트(Register Set) 제어 유니트(Control Unit) 그림 2-1. CPU의 내부 구조와 시스템 버스 접속

6 ALU: 각종 산술 연산들과 논리 연산들을 수행하는 회로들로 이루어진 하드웨어 모듈.
산술 연산: +, -, ×, ÷ 논리 연산: AND, OR, NOT, XOR 등. 레지스터 세트: CPU 내부 레지스터들의 집합. 컴퓨터의 기억장치들 중에서 액세스 속도가 가장 빠름. CPU 내부에 포함할 수 있는 레지스터들의 수가 제한됨. (특수목적용 레지스터들과 적은 수의 일반목적용 레지스터들) 제어 유니트: 프로그램 코드(명령어)를 해석하고, 그것을 실행하기 위한 제어 신호들(control signals)을 순차적으로 발생하는 하드웨어 모듈. 내부 CPU 버스(internal CPU bus): ALU와 레지스터들 간의 데이터 이동을 위한 데이터 선들과 제어 유니트로부터 발생되는 제어 신호 선들로 구성된 내부 버스. 외부의 시스템 버스들과는 직접 연결되지 않으며, 반드시 버퍼 레지스터들 혹은 시스템 버스 인터페이스 회로를 통하여 시스템 버스와 접속.

7 2.1 CPU의 기본 구조 2.2 명령어 실행 2.3 명령어 파이프라이닝 2.4 명령어 세트

8 명령어 사이클을 두 개의 부사이클(subcycle)들로 구분.
명령어 사이클(instruction cycle): CPU가 한 개의 명령어를 실행하는 데 필요한 전체 처리 과정으로서, CPU가 프로그램 실행을 시작한 순간부터 전원을 끄거나 회복 불가능한 오류가 발생하여 중단될 때까지 반복된다. 명령어 사이클을 두 개의 부사이클(subcycle)들로 구분. 인출 사이클(fetch cycle): CPU가 기억장치로부터 명령어를 읽어오는 단계. 실행 사이클(execution cycle): 명령어를 실행하는 단계. 그림 2-2. 기본 명령어 사이클

9 명령어 실행에 필요한 CPU 내부 레지스터들 프로그램 카운터(PC): 다음에 인출할 명령어의 주소를 가지고 있는 레지스터. 각 명령어가 인출된 후에는 그 내용이 자동적으로 일정 크기(한 명령어 길이)만큼 증가되며, 분기(branch) 명령어가 실행되는 경우에는 그 목적지 주소로 갱신된다. 누산기(AC): 데이터를 일시적으로 저장하는 레지스터. 이 레지스터의 비트 수는 그 CPU가 한 번에 처리할 수 있는 데이터 비트 수, 즉 단어 길이와 같다. 명령어 레지스터(IR): 가장 최근에 인출된 명령어 코드가 저장되어 있는 레지스터. 기억장치 주소 레지스터(MAR): PC에 저장된 명령어 주소가 시스템 주소 버스로 출력되기 전에 일시적으로 저장되는 레지스터. 기억장치 버퍼 레지스터(MBR): 기억장치에 쓰여질 데이터 혹은 기억장치로부터 읽혀진 데이터를 일시적으로 저장하는 레지스터.

10 그림 2-3. 주요 레지스터들과 데이터 통로가 표시된 CPU 구조

11 인출 사이클 동안에 수행되는 마이크로-연산(micro-operation)들 :
2.2.1 인출 사이클 인출 사이클 동안에 수행되는 마이크로-연산(micro-operation)들 : t0 : MAR ← PC t1 : MBR ← M[MAR], PC ← PC + 1 t2 : IR ← MBR 단, t0, t1 및 t2는 CPU 클럭의 주기. (예) CPU 클럭 = 100㎒ (클럭 주기 = 10㎱) → 인출 사이클 : 10㎱ x 3 = 30㎱ 소요. [첫번째 주기] 현재의 PC 내용을 CPU 내부 버스를 통하여 MAR로 전송. [두번째 주기] 그 주소가 지정하는 기억장치 위치로부터 읽혀진 명령어가 데이터 버스를 통하여 MBR로 적재되며, PC의 내용에 1을 더한다. [세번째 주기] MBR에 있는 명령어 코드가 명령어 레지스터인 IR로 이동.

12 그림 2-4. 인출 사이클에서의 정보 흐름도

13 2.2.2 실행 사이클 CPU는 실행 사이클 동안에 CPU가 수행하는 연산들의 종류 명령어 코드를 해독(decode)하고,
그 결과에 따라 필요한 연산들을 수행한다. CPU가 수행하는 연산들의 종류 데이터 이동: CPU와 기억장치 간 혹은 입출력장치 간에 데이터를 이동. 데이터 처리: 데이터에 대하여 산술 혹은 논리 연산을 수행. 데이터 저장: 연산 결과 데이터 혹은 입력장치로부터 읽어들인 데이터를 기억장치에 저장. 제어: 프로그램의 실행 순서를 결정. 실행 사이클에서 수행되는 마이크로-연산들은 명령어에 따라 서로 다르다.

14 연산코드 오퍼랜드(addr) 기본적인 명령어 형식의 구성
연산 코드(operation code): CPU가 수행할 연산을 지정. 오퍼랜드(operand): 그 명령어 실행에 필요한 데이터가 저장된 주소(addr). LOAD addr 명령어: 기억장치에 저장되어 있는 데이터를 CPU 내부 레지스터인 AC로 이동하는 명령어. t0 : MAR ← IR(addr) t1 : MBR ← M[MAR] t2 : AC ← MBR [첫번째 주기] 명령어 레지스터 IR에 있는 명령어의 주소 부분을 MAR로 전송. [두번째 주기] 그 주소가 지정한 기억장소로부터 데이터를 인출하여 MBR로 전송. [세번째 주기] 그 데이터를 AC에 적재. 연산코드 오퍼랜드(addr)

15 STA addr 명령어: AC 레지스터의 내용을 기억장치에 저장하는 명령어.
t0 : MAR ← IR(addr) t1 : MBR ← AC t2 : M[MAR] ← MBR [첫번째 주기] 데이터를 저장할 기억장치의 주소를 MAR로 전송. [두번째 주기] 저장할 데이터를 버퍼 레지스터인 MBR로 이동. [세번째 주기] MBR의 내용을 MAR이 지정하는 기억장소에 저장. ADD addr 명령어: 기억장치에 저장된 데이터를 AC의 내용과 더하고, 그 결과는 다시 AC에 저장하는 명령어. t1 : MBR ← M[MAR] t2 : AC ← AC + MBR [세번째 주기] 그 데이터와 AC의 내용을 더하고 결과값을 다시 AC에 저장.

16 그림 2-5. ADD 명령어 실행 사이클 동안의 정보 흐름

17 JUMP addr 명령어: 오퍼랜드(addr)가 가리키는 위치의 명령어로 실행 순서를 변경하는 분기(branch) 명령어.
t0 : PC ← IR(addr) 명령어의 오퍼랜드(분기할 목적지 주소)가 PC에 저장. 다음 명령어 인출 사이클에서 그 주소의 명령어가 인출되므로 분기가 발생. 마이크로-연산의 실행 과정을 위한 어셈블리 프로그램의 예 주소 명령어 기계어 코드 LOAD ADD STA JUMP

18 <실행 과정> [단계 1] 100번지의 첫 번째 명령어 코드가 인출되어 IR에 저장된다. [단계 2] 250 번지의 데이터를 AC로 이동. PC = PC + 1 = 101. [단계 3] 두 번째 명령어가 101번지로부터 인출되어 IR에 저장된다. [단계 4] AC에 들어있던 내용과 251 번지의 내용을 더하고, 결과를 AC에 저장. PC의 내용은 102로 증가된다. [단계 5] 세 번째 명령어가 102 번지로부터 인출되어 IR에 저장된다. [단계 6] AC의 내용이 251 번지에 저장되고, PC의 내용은 103으로 증가된다. [단계 7] 네 번째 명령어가 103 번지로부터 인출되어 IR에 저장된다. [단계 8] 분기될 목적지 주소, 즉 IR의 하위 부분(170)이 PC로 적재된다. (따라서 다음 명령어 인출 사이클에서는 170 번지의 명령어가 인출될 것이다.)

19 그림 2-6. 프로그램 실행 과정의 예

20 그림 2-6. (계속) 7

21 인터럽트(interrupt): 프로그램 실행 중에 CPU의 현재 처리 순서를 중단시키고 다른 동작을 수행하도록 하는 것.
2.2.3 인터럽트 사이클 인터럽트(interrupt): 프로그램 실행 중에 CPU의 현재 처리 순서를 중단시키고 다른 동작을 수행하도록 하는 것. 외부로부터 인터럽트 요구가 들어오면 === CPU는 원래의 프로그램 수행을 중단하고, 요구된 인터럽트를 위한 서비스 프로그램을 먼저 수행한다. 인터럽트 서비스 루틴(interrupt service routine: ISR): 인터럽트를 처리하기 위하여 수행하는 프로그램 루틴. 그림 2-7. 인터럽트에 의한 제어의 이동.

22 이를 위하여, 인터럽트 요구가 들어오면 CPU는 다음과 같은 동작들을 수행한다.
(1) 어떤 장치가 인터럽트를 요구했는지 확인하여 해당 인터럽트 서비스 루틴을 호출하여 수행하고, (2) 서비스가 종료된 다음에는 중단되었던 원래 프로그램의 수행을 계속할 수 있어야 한다. 이를 위하여, 인터럽트 요구가 들어오면 CPU는 다음과 같은 동작들을 수행한다. (1) 현재의 명령어 실행을 끝낸 즉시, 다음에 실행할 명령어의 주소(PC의 내용)를 스택(stack)에 저장한다. 일반적으로 스택은 주기억장치의 특정 부분이 된다. (2) 인터럽트 서비스 루틴을 호출하기 위하여 그 루틴의 시작 주소를 PC에 적재한다. 이때 시작 주소는 인터럽트를 요구한 장치로부터 전송되거나 미리 정해진 값으로 결정된다 (자세한 사항은 제7장에서 설명).

23 그림 2-8. 인터럽트 사이클이 추가된 명령어 사이클

24 인터럽트 사이클에서 수행되는 마이크로-연산들
t0 : MBR ← PC t1 : MAR ← SP, PC ← ISR의 시작 주소 t2 : M[MAR] ← MBR 단, SP는 스택 포인터(stack pointer). [첫번째 주기] PC의 내용이 MBR로 전송된다. [두번째 주기] SP의 내용이 MAR로 전송되고, PC의 내용은 인터럽트 서비스 루틴의 시작 주소로 변경된다. [세번째 주기] MBR에 저장되어 있던 원래 PC의 내용이 스택에 저장된다. <예> 아래 프로그램의 첫 번째 명령어인 LOAD 250 명령어가 실행되는 동안에 인터럽트가 들어왔으며, SP = 999, 인터럽트 서비스 루틴의 시작 주소 = 650 번지라고 가정. 100 LOAD 250 101 ADD 251 102 STA 251 103 JUMP 170

25 그림 2-9. 인터럽트 요구가 들어온 경우의 상태 변화

26 다중 인터럽트(multiple interrupt): 인터럽트 서비스 루틴을 수행하는 동안에 다른 인터럽트가 발생하는 것.
다중 인터럽트를 처리하는 방법 (1) CPU가 인터럽트 서비스 루틴을 처리하고 있는 도중에는 새로운 인터럽트 요구가 들어오더라도 CPU가 인터럽트 사이클을 수행하지 않도록 한다. 인터럽트 플래그(interrupt flag)의 상태를 인터럽트 불가능(interrupt disabled) 상태로 세트. 시스템 운영상 중요한 프로그램이나 도중에 중단할 수 없는 데이터 입출력 동작 등을 위한 인터럽트를 처리하는데 사용. (2) 인터럽트의 우선 순위를 정하고, 우선 순위가 낮은 인터럽트가 처리되고 있는 동안에 우선순위가 더 높은 인터럽트가 들어오면 현재의 인터럽트 서비스 루틴의 수행을 중단하고 새로운 인터럽트를 처리하도록 한다.

27 그림 2-10: 장치 X를 위한 ISR X를 처리하는 도중에 우선 순위가 더 높은 장치 Y로부터 인터럽트 요구가 들어와서 먼저 처리되는 경우에 대한 제어의 흐름.
그림 다중 인터럽트에서 프로그램이 실행되는 순서

28 2.2.4 간접 사이클 간접 사이클(indirect cycle): 명령어에 포함되어 있는 주소를 이용하여, 실제 명령어 실행에 필요한 데이터를 인출하는 사이클. 인출 사이클과 실행 사이클 사이에 위치. 간접 사이클에서 수행될 마이크로-연산들: 인출된 명령어의 주소 필드 내용을 이용하여 기억장치로부터 데이터의 실제 주소를 인출하여 IR의 주소 필드에 저장. t0 : MAR ← IR(addr) t1 : MBR ← M[MAR] t2 : IR(addr) ← MBR

29 2.1 CPU의 기본 구조 2.2 명령어 실행 2.3 명령어 파이프라이닝 2.4 명령어 세트

30 2-단계 명령어 파이프라인(two-stage instruction pipeline)
명령어 파이프라이닝(instruction pipelining): CPU의 프로그램 처리 속도를 높이기 위하여 CPU 내부 하드웨어를 여러 단계로 나누어 동시에 처리하는 기술. 2-단계 명령어 파이프라인(two-stage instruction pipeline) 명령어를 실행하는 하드웨어를 인출 단계(fetch stage)와 실행 단계(execute stage)라는 두 개의 독립적인 파이프라인 모듈들로 분리한다. . 두 단계들에 동일한 클럭을 가하여 동작 시간을 일치시킨다: 첫 번째 클럭 주기 동안에 인출 단계가 첫 번째 명령어를 인출한다. 두 번째 주기에서는 그 명령어가 실행 단계로 보내져서 실행되며, 그와 동시에 인출 단계는 두 번째 명령어를 인출한다.

31 그림 2-11. 2-단계 명령어 파이프라인과 시간 흐름도

32 2-단계 파이프라인을 이용하면 명령어 처리 속도를 두 배 높일 수 있다. 일반적으로 단계 수만큼의 속도 향상을 얻을 수 있다.
[문제점] 두 단계의 처리 시간이 동일하지 않으면 두 배의 속도 향상을 얻지 못한다. 즉, 효율이 저하된다. [해결책] 파이프라인 단계의 수를 증가시켜 각 단계의 처리 시간을 같게 한다. 파이프라인 단계의 수를 늘리면 전체적으로 속도 향상도 더 높아진다. 4-단계 파이프라인의 예 명령어 인출(IF): 다음 명령어를 기억장치로부터 인출한다. 명령어 해독(ID): 해독기(decoder)를 이용하여 명령어를 해석한다. 오퍼랜드 인출(OF): 기억장치로부터 오퍼랜드를 인출한다. 실행(EX): 지정된 연산을 수행한다.

33 그림 2-12. 4-단계 명령어 파이프라인과 시간 흐름도

34 파이프라인에 의한 속도 향상(speedup)
파이프라인 단계 수 = k, 실행할 명령어들의 수 = N, 각 파이프라인 단계가 한 클럭 주기씩 걸린다고 가정한다면, 파이프라인에 의한 전체 명령어 실행 시간 T : T = k + (N - 1) (2-1) 즉, 첫 번째 명령어를 실행하는데 k 주기가 걸리고, 나머지 (N - 1) 개의 명령어들은 각각 한 주기씩만 소요된다. 비교 : 파이프라인 되지 않은 경우에는 N 개의 명령어들을 실행하는데 k × N 주기 소요. [예] 파이프라인 단계 수 = 4이고, 파이프라인 클럭 = 1MHz (각 단 계에서의 소요시간 = 1 ㎲)라면, 첫번째 명령어 실행에 걸리는 시간 = 4 ㎲ 다음부터는 매 1 ㎲ 마다 한 개씩의 명령어 실행 완료 10개의 명령어 실행 시간 = 4 + (10 - 1) = 13 ㎲ 속도향상 = (10 × 4) / 13 ≒ 3.08 배

35 실제 명령어 실행 과정에서는 파이프라이닝을 이용함으로써 얻을 수 있는 속도 향상 : k × N
Sp = (2-2) k + (N - 1) [예] k = 4일 때, N = 100 이라면, Sp = 400 / 103 = 3.88 N = 1000 이라면, Sp = 4000 / 1003 = 3.99 N = 이라면, Sp = / = 3.998 N → ∞, Sp = 4 실제 명령어 실행 과정에서는 (1) 모든 명령어들이 파이프라인 단계들을 모두 거치지는 않는다. (예) 어떤 명령어에서는 오퍼랜드를 인출할 필요가 없다. 그러나 파이프라인 하드웨어를 단순화하기 위해서는 모든 명령어가 네 단계들을 모두 통과하도록 해야 한다. (2) IF 단계와 OF 단계가 동시에 기억장치를 액세스하는 경우에는 기억장치 충돌(memory conflict)이 일어나면 지연이 발생한다. (3) 조건 분기(conditional branch) 명령어가 실행되면, 미리 인출하여 처리하던 명령어들이 무효화된다. (예) 그림 2-13.

36 그림 2-13. 조건 분기가 존재하는 경우의 시간 흐름도.

37 분기 발생에 의한 성능 저하를 최소화하기 위한 방법들
(1)분기 목적지 선인출(prefetch branch target): 조건 분기가 인식되면, 분기 명령어의 다음 명령어뿐만 아니라 분기의 목적지 명령어도 함께 인출하는 방법. → 분기가 일어나는 경우에도 목적지의 명령어가 이미 인출되어 있는 상태. (2)루프 버퍼(loop buffer) 사용: 파이프라인의 명령어 인출 단계에 포함되어 있는 작은 고속 기억장치인 루프 버퍼에 가장 최근 인출된 n 개의 명령어들을 순서대로 저장해두는 방법. → 분기가 일어났을 때 분기 목적지 명령어가 버퍼에 있으면, 즉시 인출 가능. (3)분기 예측(branch prediction): 분기가 일어날 것인 지를 예측하고, 그에 따라 명령어를 인출하는 확률적 방법. 분기 역사 표(branch history table) 이용. (4)지연 분기(delayed branch): 분기 명령어의 위치를 재배치함으로써 파이프라인의 성능을 개선하는 방법.

38 상태 레지스터(status register): 조건분기 명령어가 사용할 조건 플래그(condition flag)들 저장.
영(Z) 플래그: 연산 결과값이 0 이면, 이 플래그가 1로 세트된다. 올림수(C) 플래그: 덧셈이나 뺄셈에서 올림수(carry)나 빌림수(borrow)가 발생한 경우에 세트한다. 동등(E) 플래그: 두 수를 비교한 결과가 같게 나왔을 경우에 세트된다. 오버플로우(V) 플래그: 산술 연산 과정에서 오버플로우가 발생한 경우에 세트된다. 인터럽트(I) 플래그: 인터럽트 가능(interrupt enabled) 상태이면 0, 인터럽트 불가능(interrupt disabled) 상태이면 1로 세트된다. 슈퍼바이저(P) 플래그: CPU가 슈퍼바이저 모드(supervisor mode)와 사용자 모드(user mode) 중의 어느 모드에서 실행중인지를 나타낸다. 어떤 특권 명령어들(privileged instructions)은 이 모드에서만 실행이 가능하며, 기억장치의 특정 부분도 이 모드에서만 액세스가 가능하다. 그림 비트 상태 레지스터의 플래그들

39 2.1 CPU의 기본 구조 2.2 명령어 실행 2.3 명령어 파이프라이닝 2.4 명령어 세트

40 명령어 세트(instruction set): 어떤 CPU를 위하여 정의되어 있는 명령어들의 집합.
명령어 세트 설계를 위해 결정되어야 할 사항들 연산 종류: CPU가 수행할 연산들의 수와 종류 및 복잡도. 데이터 형태: 연산을 수행할 데이터들의 형태. 즉, 데이터의 길이(비트 수), 수의 표현 방식, 등. 명령어 형식: 명령어의 길이, 오퍼랜드 필드들의 수와 길이, 등. 주소지정 방식: 오퍼랜드의 주소를 지정하는 방식. 2.4.1 연산의 종류 데이터 전송 : 레지스터와 레지스터 간, 레지스터와 기억장치 간, 혹은 기억장치와 기억장치간에 데이터를 이동하는 동작. 산술 연산 : 덧셈, 뺄셈, 곱셈 및 나눗셈과 같은 기본적인 산술 연산들. 논리 연산 : 데이터의 각 비트들 간에 대한 AND, OR, NOT 및 exclusive-OR 연산.

41 입출력(I/O) : CPU와 외부 장치들 간의 데이터 이동을 위한 동작들.
프로그램 제어 : 명령어 실행 순서를 변경하는 연산들. (예) 분기(branch), 서브루틴 호출(subroutine call). 서브루틴 호출을 위한 명령어들 호출 명령어 (CALL 명령어) : 현재의 PC 내용을 스택에 저장하고 서브루틴의 시작 주소로 분기하는 명령어. 복귀 명령어 (RET 명령어) : CPU가 원래 실행하던 프로그램으로 되돌아가도록 하는 명령어. 서브루틴 호출들이 포함된 프로그램의 예 (그림 2-15)

42 그림 2-15. 서브루틴들이 포함된 프로그램이 실행되는 순서

43 CALL X 명령어에 대한 마이크로-연산: RET 명령어의 마이크로-연산 t0 : MBR ← PC
t1 : MAR ← SP, PC ← X t2 : M[MAR] ← MBR, SP ← SP - 1 현재의 PC 내용(서브루틴 수행 완료 후에 복귀할 주소)을 SP가 지정하는 스택의 최상위(top of stack)에 저장한다. ☞ 만약 주소지정 단위가 바이트이고 저장될 주소는 16비트라면, SP ← SP - 2 가 되어야 함에 유의. RET 명령어의 마이크로-연산 t0 : SP ← SP + 1 t1 : MAR ← SP t2 : PC ← M[MAR]

44 그림 2-16. 그림 2-15의 프로그램 수행 과정에서 스택에 저장되는 내용들

45 필드(field): 위의 각 구성 요소들에 소요되는 비트들의 그룹.
2.4.2 명령어 형식 명령어가 포함해야 할 정보들 (1) 연산 코드(Operation Code): 수행될 연산을 지정 (예: LOAD, ADD 등). (2) 오퍼랜드(Operand): 연산을 수행하는 데 필요한 데이터 혹은 데이터의 주소. 각 연산은 한 개 혹은 두 개의 입력 오퍼랜드들과 한 개의 결과 오퍼랜드를 가질 수 있다. 데이터는 CPU 레지스터, 주기억장치, 혹은 I/O 장치에 위치. (3) 다음 명령어 주소(Next Instruction Address): 현재의 명령어 실행이 완료된 후에 다음 명령어를 인출할 위치 지정. 분기 혹은 호출 명령어와 같이 실행 순서를 변경하는 경우에 필요. 필드(field): 위의 각 구성 요소들에 소요되는 비트들의 그룹.

46 명령어 형식(instruction format): 명령어 내 필드들의 수와 배치 방식 및 각 필드의 비트 수.
명령어의 길이 = 단어 길이 명령어 형식의 예(세 개의 필드들로 구성된 16-비트 명령어) : 그림 비트 명령어 형식의 예 연산 코드 필드 = 4 비트 → 24 = 16 가지의 연산들 정의 가능. (만약 연산 코드 필드가 5 비트로 늘어나면 25 = 32 가지 연산들을 정의할 수 있지만, 다른 필드의 길이가 감소.) 오퍼랜드 필드의 범위는 오퍼랜드의 종류에 따라 결정됨. 데이터: 표현 가능한 수의 크기가 결정된다. 기억장치 주소: CPU가 오퍼랜드 인출을 위하여 직접 주소를 지정할 수 있는 기억장치 영역의 범위가 결정된다. 레지스터 번호: 데이터 저장에 사용될 수 있는 레지스터의 수가 결정된다.

47 [예] 그림 2-17의 형식에서 오퍼랜드1은 레지스터 번호를 지정하고, 오퍼랜드2는 기억장치 주소를 지정한다면,
오퍼랜드1 = 4 비트 → 16 개의 레지스터 사용 가능. 오퍼랜드2 = 8 비트 → 기억장치의 주소 범위 : 0 번지 ∼ 255 번지 [예] 그림 2-17의 형식에서 두 오퍼랜드들을 하나로 통합하여 사용하는 경우: 오퍼랜드가 2의 보수로 표현되는 데이터라면, 표현 범위 : ∼ 오퍼랜드가 기억장치 주소라면, 212 = 4096 개의 기억장치 주소 지정 가능.

48 1) 1-주소 명령어(1-address instruction) : 오퍼랜드를 한 개만 포함하는 명령어.
오퍼랜드의 수에 따른 명령어 분류 1) 1-주소 명령어(1-address instruction) : 오퍼랜드를 한 개만 포함하는 명령어. [예] ADD X ; AC ← AC + M[X] [예제 2-1] 길이가 16 비트인 1-주소 명령어에서 연산 코드가 5 비트일 때의 명령어 형식을 정의하고, 주소지정 가능한 기억장치 용량을 결정하라. [풀이] (a) 명령어 형식 그림 주소 명령어 형식의 예 (b) 주소지정 가능한 기억장치 용량 : = 바이트

49 2) 2-주소 명령어(two-address instruction) : 두 개의 오퍼랜드를 포함하는 명령어.
[예 I] ADD R1, R ; R1 ← R1 + R2 MOV R1, R ; R1 ← R2 [예 II] ADD R1, X ; R1 ← R1 + M[X] [예제 2-2] 2-주소 명령어 형식을 사용하는 16-비트 CPU에서 연산 코드가 4 비트이고, 레지스터의 수는 16 개이다. (a) 두 오퍼랜드들이 모두 레지스터 번호인 경우와, (b) 한 오퍼랜드는 기억장치 주소인 경우의 명령어 형식을 정의하라. [풀이] 그림 주소 명령어의 형식들

50 3) 3-주소 명령어(three-address instruction) : 세 개의 오퍼랜드들을 포함하는 명령어.
[예] ADD R1, R2, R3 ; R1 ← R2 + R3 그림 주소 명령어 형식과 예.

51 명령어 형식이 프로그래밍에 미치는 영향 [예] X = (A + B) x (C - D)
프로그래밍에 다음과 같은 니모닉을 가진 명령어들을 사용. ADD 덧셈 SUB 뺄셈 MUL 곱셈 DIV 나눗셈 MOV 데이터 이동 LOAD 기억장치로부터 데이터 적재 STOR 기억장치로 데이터 저장

52 (1) 1-주소 명령어를 사용한 프로그램 LOAD A ; AC ← M[A] ADD B ; AC ← AC + M[B]
STOR T ; M[T] ← AC LOAD C ; AC ← M[C] SUB D ; AC ← AC - M[D] MUL T ; AC ← AC × M[T] STOR X ; M[X] ← AC 단, M[A]는 기억장치 A 번지의 내용, T는 기억장치내 임시 저장장소의 주소. 프로그램의 길이 = 7

53 (2) 2-주소 명령어를 사용한 프로그램 MOV R1, A ; R1 ← M[A]
ADD R1, B ; R1 ← R1 + M[B] MOV R2, C ; R2 ← M[C] SUB R2, D ; R2 ← R2 - M[D] MUL R1, R2 ; R1 ← R1 × R2 MOV X, R1 ; M[X] ← R1 프로그램의 길이 = 6 (3) 3-주소 명령어를 사용한 프로그램 ADD R1, A, B ; R1 ← M[A] + M[B] SUB R2, C, D ; R2 ← M[C] - M[D] MUL X, R1, R ; M[X] ← R1 × R2 프로그램의 길이 = 3 [단점] 명령어의 길이 증가 → 명령어 저장을 위한 기억장소 증가.

54 주소지정 방식 다양한 주소지정 방식(addressing mode)을 사용하는 이유: 제한된 수의 명령어 비트들을 이용하여 사용자(혹은 프로그래머)로 하여금 여러 가지 방법으로 오퍼랜드를 지정하고 더 큰 용량의 기억장치를 사용할 수 있도록 하기 위함. <기호> EA : 유효 주소(Effective Address), 즉 데이터가 저장된 기억장치의 실제 주소. A : 명령어 내의 주소 필드 내용 (오퍼랜드 필드가 기억장치 주소를 나타내는 경우). R : 명령어 내의 레지스터 번호 (오퍼랜드 필드가 레지스터 번호를 나타내는 경우). (A) : 기억장치 A 번지의 내용. (R) : 레지스터 R의 내용.

55 1) 직접 주소지정 방식(direct addressing mode): 오퍼랜드 필드의 내용 이 유효 주소가 되는 방식.
EA = A [장점] 데이터 인출을 위하여 한 번의 기억장치 액세스만 필요. [단점] 연산 코드를 제외하고 남은 비트들만 주소 비트로 사용될 수 있기 때문에 직접 지정할 수 있는 기억장소의 수가 제한.

56 2) 간접 주소지정 방식(indirect addressing mode): 오퍼랜드 필드에 기억장치 주소가 저장되어 있지만, 그 주소가 가리키는 기억 장소에 데이터의 유효 주소가 저장되어 있도록 하는 방식. EA = (A) [장점] 최대 기억장치 용량이 단어의 길이에 의하여 결정되므로 더 확장될 수 있다. 즉, 단어 길이가 n 비트라면, 최대 2n 개의 기억장소들을 주소지정할 수 있다. [단점] 실행 사이클 동안에 두 번의 기억장치 액세스가 필요하다: 첫 번째 액세스는 주소를 읽어 오기 위한 것이고; 두 번째는 그 주소가 지정하는 위치로부터 실제 데이터를 인출하기 위한 것이다.

57 이 방식을 위하여 명령어 형식은 간접 비트(I)를 포함해야 한다. 만약 I = 0 이면, 직접 주소지정 방식
그림 간접 비트가 포함된 명령어 형식 다단계(multi-level) 간접 주소지정 방식 EA = ( ( . . (A) . . ) )

58 3) 묵시적 주소지정 방식(implied addressing mode): 명령어 실행에 필요한 데이터의 위치가 묵시적으로 지정.
(예) SHL 명령어: 누산기의 내용을 좌측으로 쉬프트(shift). PUSH R1 명령어: 레지스터 R1의 내용을 스택에 저장. [장점] 명령어 길이가 짧다. [단점] 종류가 제한. 4) 즉치 주소지정 방식(immediate addressing mode): 데이터가 명령어에 포함되어 있는 방식. 즉, 오퍼랜드 필드의 내용이 연산에 사용할 실제 데이터. [용도] 프로그램에서 레지스터들이나 변수의 초기 값을 어떤 상수값(constant value)으로 세트하는 데 유용하게 사용. 그림 즉치 주소지정 방식의 명령어 형식 [장점] 데이터를 인출하기 위하여 기억장치를 액세스할 필요가 없다. [단점] 사용할 수 있는 수의 크기가 오퍼랜드 필드의 비트 수에 의하여 제한된다.

59 5) 레지스터 주소지정 방식(register addressing mode): 연산에 사용할 데이터가 레지스터에 저장되어 있는 방식.
EA = R 그림 레지스터 주소지정 방식 주소지정에 사용될 수 있는 레지스터들의 수 = 2k 개. (단, k는 오퍼랜드 비트 수) [장점] 오퍼랜드 필드의 비트 수가 적어도 된다. 데이터 인출을 위하여 기억장치 액세스가 필요 없다. [단점] 데이터가 저장될 수 있는 공간이 CPU 내부 레지스터들로 제한된다.

60 6) 레지스터 간접 주소지정 방식(register-indirect addressing mode): 오퍼랜드 필드(레지스터 번호)가 가리키는 레지스터의 내용을 유효 주소로 사용하여 실제 데이터를 인출하는 방식. EA = (R) 그림 레지스터 간접 주소지정 방식 [장점] 주소지정 할 수 있는 기억장치 영역이 확장된다. (예) 레지스터의 길이 = 16 비트라면, 주소지정 영역: 216 = 64K 바이트. 레지스터의 길이 = 32 비트라면, 주소지정 영역: 232 = 4G 바이트

61 7) 변위 주소지정 방식(displacement addressing mode): 직접 주소지정과 레지스터 간접 주소지정 방식의 조합.
EA = A + (R) 명령어에 포함된 변위 A값과 R이 가리키는 레지스터의 내용을 더하여 유효 주소를 결정. 그림 변위 주소지정 방식

62 상대 주소지정 방식(relative addressing mode): 프로그램 카운터(PC)를 레지스터로 사용
EA = A + (PC) A: 2의 보수 A ≥ 0, 앞(forward) 방향으로 분기. A < 0, 뒷(backward) 방향으로 분기. [예] JUMP 명령어가 450 번지에 저장. 명령어 인출 후, PC 내용 = 451. 만약 오퍼랜드 A = + 21, 분기 목적지 주소 = = 472 번지. 만약 A = - 50, 분기 목적지 주소 = = 401 번지. [장점] 전체 기억장치 주소가 명령어에 포함되어야 하는 일반적인 분기 명령어 보다 적은 수의 비트만 있으면 된다. [단점] 분기 범위가 오퍼랜드 필드의 길이에 의하여 제한.

63 인덱스 주소지정 방식(indexed addressing mode): 인덱스 레지스터의 내용과 변위 A를 더하여 유효 주소를 결정하는 방식.
인덱스 레지스터(IX): 인덱스(index) 값을 저장하는 특수 레지스터 EA = (IX) + A [주요 용도] 배열 데이터 액세스 [그림 2-27] 데이터 배열이 기억장치의 500 번지부터 저장되어 있고, 명령어의 주소 필드에 500이 포함되어 있을 때, 인덱스 레지스터의 내용 (IX) = 3 이라면, ==> 데이터 배열의 4 번째 데이터 액세스.

64 그림 인덱스 주소지정 방식의 예

65 ♠ 자동 인덱싱(autoindexing): 명령어가 실행될 때마다 인덱스 레지스터의 내용이 자동적으로 증가 혹은 감소되도록 하는 방식.
이 방식이 사용된 명령어가 실행되면 아래의 두 연산이 연속적으로 수행된다: EA = (IX) + A IX ← IX + 1 베이스-레지스터 주소지정 방식(base-register addressing mode): 베이스 레지스터의 내용과 변위 A를 더하여 유효 주소를 결정하는 방식. EA = (BR) + A [주요 용도] 서로 다른 세그먼트내 프로그램의 위치를 지정하는 데 사용.

66 2.4.4 실제 상용 프로세서들의 명령어 형식 (1) PDP 계열 프로세서
(단어의 길이 = 36 비트, 명령어의 길이 = 36 비트) 연산 코드 = 9 비트, 최대 512 종류의 연산 허용. (실제로는 전체 365 개의 명령어들이 정의되어 있다.) 그림 PDP-10의 명령어 형식 PDP-11 프로세서 : 다양한 길이의 명령어 형식들 사용. 연산 코드 길이 : 4 ∼ 16 비트 주소 개수 : 0, 1 혹은 2개.

67 그림 PDP-11의 명령어 형식들

68 (2) 펜티엄 프로세서 선형 주소(linear address: LA) = 유효 주소 + 세그먼트의 시작 주소
단, 세그먼트의 시작 주소는 세그먼트 레지스터에 저장. [표 2-1] 펜티엄의 주소지정 방식들 주소지정 방식 유효주소(EA) 선형 주소(LA) 즉치 방식 데이터 = A 레지스터 방식 EA = R LA = R 변위 방식 EA = A LA = (SR) + EA 베이스 방식 EA = (BR) LA = (SR) + EA 변위를 가진 베이스 방식 EA = (BR) + A LA = (SR) + EA 변위를 가진 인덱스 방식 EA = (IX) + A LA = (SR) + EA 인덱스와 변위를 가진 베이스 방식 EA = (IX) + (BR) + A LA = (SR) + EA 상대 방식 EA = (PC) + A LA = EA

69 즉치 방식(immediate mode): 데이터가 명령어에 포함되어 있는 방식.
데이터의 길이 = 바이트, 단어(word) 혹은 2중 단어(double word). 레지스터 방식(register mode): 유효 주소가 레지스터에 들어 있는 방식. 변위 방식(displacement mode): 명령어에 포함된 변위값과 세그먼트 레지스터 SR의 내용을 더하여 선형주소 LA를 생성하는 방식. 베이스 방식(base mode): 레지스터 간접 주소지정에 해당. 상대 방식(relative mode): 변위값과 프로그램 카운터의 값을 더하여 다음 명령어의 주소로 사용하는 방식.

70 펜티엄 명령어 형식의 필드들 (그림 2-31) 연산 코드(Op code): 연산의 종류 지정. 길이 = 1 혹은 2 바이트.
MOD/RM : 주소지정 방식 지정. SIB: MOD/RM 필드와 결합하여 주소지정 방식을 완성. 변위(displacement): 부호화된 정수(변위)를 저장. 즉치(immediate): 즉치 데이터를 저장. 그림 펜티엄의 명령어 형식