기록

Operating System

운영체제

운영체제는 컴퓨터 시스템의 CPU, 메모리, 입출력 장치, 저장 장치 등의 자원을 효율적으로 관리하고 다른 소프트웨어나 사용자가 이용할 수 있도록 관리하는 인터페이스 역할을 하는 소프트웨어를 말한다. 

Resource Management

자원관리, 운영체제는 컴퓨터의 자원을 효율적으로 관리하고 할당하는 역할을 한다.

대표적인 자원으로는 CPU, 메모리, 저장장치, 입출력 장치가 있다.

CPU

프로세스 스케줄링을 통해 CPU 자원을 할당하고 여러 프로세스 간의 경쟁 상황을 해결한다.

CPU를 효율적으로 사용하기 위해 실행 중인 여러 프로세스들 사이에서 CPU의 사용권을 어떻게 배분할지 결정하여 CPU의 사용률을 높이고 응답 시간을 최소화하며 프로세스의 우선순위를 지정하여 경쟁 상황 해결 및 효율적인 시스템 동작을 유지한다.

스케줄링 알고리즘에는 FCFS, SJF, Priority Scheduling, Round-Robin Scheduling 등이 있다.

FCFS, First Come First Served

프로세스 스케줄링의 가장 간단한 형태 중 하나이다. 

준비 큐에 도착한 순서대로 프로세스를 처리하는 방식으로 매우 직관적이기 때문에 구현이 간단하지만 실행 시간이 긴 프로세스가 먼저 도착하면 그 이후에 도착한 짧은 실행 시간을 가진 프로세스들이 대기 시간이 길어지기 때문에 평균 대기 시간과 평균 반환 시간이 크게 증가할 수 있는 문제가 있다.

* Average Waiting Time : 평균 대기 시간, 프로세스가 대기하는 시간의 평균값

* Average Turnaround Time : 평균 반환 시간, 프로세스가 큐에서 대기하고 CPU를 사용하는 시간의 합의 평균값

* 일반적으로 두 지표가 작을수록 좋은 스케줄링 알고리즘으로 판단한다.

먼저 도착한 프로세스가 먼저 실행되기 때문에 CPU를 먼저 사용하는 프로세스는 대기 시간이 짧고, 나중에 사용하는 프로세스는 대기 시간이 길어진다. 따라서 평균 대기 시간과 평균 반환 시간은 프로세스 도착 순서에 따라 크게 달라진다. 또한 FCFS는 선점형 스케줄링이 아니기 때문에 한 번 시작된 프로세스는 CPU를 반환하기 전까지 계속 실행된다. 따라서 이 알고리즘은 대화형 시스템과 같이 응답 시간이 중요한 시스템에서는 적합하지 않다.

SJF, Shortest Job First

다음에 실행할 프로세스를 선택할 때 CPU Burst Time이 가장 짧은 프로세스를 선택하는 알고리즘이다.

CPU 버스트 시간이 짧은 작업이 먼저 실행되면 해당 작업이 빠르게 완료되면 자원을 빨리 반환할 수 있고 다른 작업도 빠르게 실행될 수 있기 때문에  때문에 평균 대기 시간을 줄일 수 있다는 장점이 있다.

Priority Scheduling

FCFS와 SJF 알고리즘은 일괄적으로 대결에서 작업을 처리하기 때문에 일부 작업이 너무 오래 실행되거나 대기하는 경우 다른 작업들은 계속해서 대기열에 쌓이게 되는 문제가 있다. 이렇게 필요한 만큼의 CPU 자원을 할당받지 못하고 대기하게 되는 상태를 Starvation라고 한다.

이 문제는 대기 시간이 긴 프로세스에게 우선순위를 부여하여 대기 시간이 길어질수록 우선순위가 높아지게 하는 방법을 통해 해결할 수 있다. 그중 Aging 기법은 SJF 알고리즘에서 버스트 타임이 높은 작업을 우선순위로 두어 문제를 해결하는 기법이다.

우선순위 스케줄링은 자원이나 시간이 많이 필요한 작업을 우선 순위로 두고 먼저 처리시켜 다음 작업을 진행할 때 자원이나 시간이 부족하여 대기 상태에 빠지지 않도록 한다. 이때 동일한 우선순위의 경우 해당 알고리즘을 통해서 처리하여 기아 상황에서도 공정한 작업 스케줄링이 가능하게 한다.

Round-Robin Scheduling

CPU 스케줄링에서 가장 일반적으로 사용되는 알고리즘이다. 

시분할 시스템에서 사용되며 각 프로세스가 동일한 시간 할당량(Quantum)을 갖는다는 특징이 있으며 할당된 시간 이내에 작업이 끝나지 않으면 다른 프로세스에게 CPU를 양보하고 대기열의 끝으로 이동하는 과정을 반복한다.

* 시분할 시스템 : CPU 시간을 작은 단위로 분할하여 다수의 사용자가 동시에 컴퓨터를 사용할 수 있도록하는 기술이다.

주로 대화식 시스템에서 사용되는 것이 일반적이며 사용자가 프로세스를 시작하면 해당 프로세스는 대기열에 추가되는데 CPU는 대기열에서 가장 앞에 있는 프로세스에게 할당되고 일정한 시간 후에 다른 프로세스로 넘어가고 이 과정을 대기열이 비어 있을 때까지 반복한다.

FCFS와 마찬가지로 간단하며 쉽게 구현이 가능하지만 모든 프로세스에게 동일한 기회를 부여하기 때문에 더 공정한 스케줄링이 가능하다. 다만 할당된 시간이 작은 경우에는 자주 Context Switch이 발생하기 때문에 오버헤드 문제가 있을 수 있다. 또한 할당된 시간이 큰 경우에는 대기열에 있는 다른 프로세스들이 오랫동안 기다려야 하기 때문에 적절한 시간 할당량을 결정하는 것이 중요하다.

* Context Swtich : 문맥 교환, CPU가 현재 실행 중인 프로세스에서 다음으로 실행할 프로세스로 제어를 양도하는 과정

Memory

프로세스가 사용할 메모리 공간을 할당하고 메모리 공간을 관리한다.

운영체제에서 메모리 공간은 일반적으로 세 가지 방식으로 할당 및 관리된다.

Single Fixed Partition Allocation

단일 고정 분할 할당

메모리를 고정 크기의 분할로 나누고 각 분할을 프로세스에 할당한다.

분할 크기는 운영체제가 미리 정해놓은 것으로 프로세스의 크기가 이것보다 작아야한다.

단순한 방식이지만 메모리 이용률이 낮다는 단점이 있다. 

Paing 기어

Variable Partition Allocation

가변 분할 할당

메모리를 동적으로 분할하며 프로세스에 할당하는 방식이다.

프로세스의 크기에 맞춰서 할당되기 때문에 메모리 이용률이 향상된다. 프로세스의 크기가 불규칙적이고 할당과 해제에 따른 Memory Fragment 문제가 발생할 수 있다.

Memory Fragment 

메모리 단편화

메모리에서 사용 가능한 공간이 작은 조각으로 나뉘어 큰 용량의 프로세스가 할당되지 못하고 남는 작은 조각들이 늘어나는 문제를 말한다. 메모리를 효율적으로 사용하지 못하게 만들어 시스템 성능을 저하시키게 된다.

메모리 단편화는 Internal Fragment와 External Fragment 두 종류가 있다.

Internal Fragment

내부 단편화, 메모리 할당 시 요청한 프로세스크기보다 더 큰 메모리 공간을 할당하게 되어 할당된 메모리 공간 중 일부가 사용되지 않는 문제

External Fragment

외부 단편화, 메모리에서 사용 가능한 공간이 작은 조각으로 나뉘어 큰 용량의 프로세스가 할당되지 못하는 문제 

이러한 메모리 단편화 문제를 해결하기 위해서 Paing과 Segmentation 기법이 사용된다.

Paging : 물리적인 메모리를 고정 크기의 블록으로 분할하여 가상 주소와 물리 주소를 매핑한다. 

Segmentation : 프로그램을 논리적인 단위인 세그먼트로 분할하여 가상 주소와 물리 주소를 매핑한다. 페이징 보다 프로그램의 논리적 구조를 반영하기 쉽다.

Virtual Memory

가상 메모리

물리적인 메모리보다 큰 용량의 가상 메모리 공간을 프로세스에게 할당하여 사용하는 방식이다.

프로세스가 필요로 하는 부분만 메모리에 올려서 실행하고 나머지 부분은 디스크에 저장한다. 이 방식은 물리적인 메모리보다 큰 용량의 프로그램을 실행할 수 있게 되며 프로세스 간의 메모리 공유도 가능하다.

Storage

하드디스크 등의 저장장치를 관리하고 File System을 통해 파일을 관리한다.

* File System : 운영체제에서 파일과 디렉터리를 저장하고 검색할 수 있는 구조

파일이나 디렉토리를 저장하기 위한 블록의 할당, 디스크 공간 관리, 파일 접근 권한 관리, 파일 백업 및 복구 등의 역할을 수행하는데 일반적으로 파일 시스템은 파일과 디렉토리를 계층 구조로 구성하며 각 파일과 디렉터리는 고유한 이름을 가지고 있다. 

디렉터리와 파일을 구분하는 특별한 기능을 수행하기 위한 파일을 사용하기도 하는데 이 파일은 파일 시스템의 일부이지만 일반 파일과 다른 속성을 가지고 있다. 예를 들어 리눅스에는 /dev 디렉터리에 하드웨어와 상호 작용하기 위한 특별한 파일들이 존재하는데 이러한 파일들은 일반 파일과는 달리 디바이스 파일로서 하드웨어 디바이스에 대한 인터페이스 역할을 한다. Windows에는 레지스트리 파일이 이러한 파일로 분류되며 운영체제 설정 정보를 포함하고 운영체제 및 애플리케이션의 구성을 제어하는 데 사용된다. 

Input/Output

키보드, 마우스, 모니터, 프린터 등의 입출력 장치의 관리, 디바이스 드라이버를 통해 입출력을 처리한다.

Device Driver Management

장치 드라이버 관리

각각의 입출력 장치에 대해 운영체제는 해당 장치와 상호작용할 수 있는 드라이버를 관리한다. 이 드라이버는 해당 장치와 통신할 수 있는 인터페이스를 제공하며 운영체제와 프로그램 간의 데이터 전송을 담당한다.

I/O Request Management

프로그램이 입출력을 요청하면 운영체제는 이를 관리하며 각각의 입출력 요청에 대해 우선순위를 결정하여 처리한다. 이를 위해서 운영체제는 입출력 요청 큐를 유지하고 요청에 따라 적절한 장치를 할당하여 요청을 처리한다.

I/O Buffering

입출력 장치의 속도는 프로그램의 실행 속도와 차이가 있기 때문에 입출력 요청에 대한 응답을 기다리는 동안에는 다른 작업을 수행할 수 있도록 버퍼링을 수행한다. 이를 위해 운영체제는 입출력 데이터를 임시로 저장할 수 있는 입출력 버퍼를 유지한다.

Interrupt Process

입출력 작업 중에는 다양한 상황에서 인터럽트가 발생할 수 있는데 이를 위해 운영체제는 인터럽트 처리 루틴을 유지하여 각각의 인터럽트에 대해 적절한 처리를 수행한다.

I/O Protection

 입출력 장치를 공유하는 다양한 프로그램이 동시에 실행될 경우 장치 접근에 대한 충돌이 발생할 수 있는데 이를 방지하기 위해 운영체제는 입출력 보호 기능을 수행하여 각각의 프로그램이 입출력 장치를 안전하게 사용할 수 있도록 보장한다.

입출력 보호 기능은 장치에 대한 접근 권한을 제어하는 기능으로 보안과 안정성을 유지한다. 사용자 프로세스가 입출력 장치를 임의로 사용하지 못하도록 하고 운영체제가 입출력 장치에 대한 접근 권한을 부여하고 사용자 프로세스는 해당 권한을 가지지 못한 상태에서는 장치에 접근할 수 없도록 한다.

Architecture

하드웨어와 소프트웨어의 구성 요소, 기능, 상호작용 등을 설계하고 구성하는 방식이나 규칙으로 컴퓨터 시스템 전반에 대한 설계와 구조를 의미한다.

Von Neumann Architecture

폰 노이만 아키텍처

1940년대 말에 알렌 튜링과 존 폰 노이만 등이 제안한 아키텍처로 컴퓨터 시스템의 아키텍처 중 가장 널리 사용되는 구조 중 하나이다. 현대 컴퓨터 시스템의 대부분이 이 아키텍처를 기반으로 설계되었다.

Von Neumann 아키텍처는 메모리, CPU, 입/출력 장치, 버스 등의 하드웨어 요소로 구성되며 이 중에서 CPU가 가장 핵심적인 구성 요소이다. CPU는 명령어를 순차적으로 처리하며, 프로그램의 명령어를 주기억장치에서 읽어와서 해석하고 실행한다. 따라서 명령어와 데이터를 모두 주기억장치에 저장하고 명령어와 데이터를 순차적으로 읽어오는 방식을 사용한다. 이를 '프로그램과 데이터의 저장공간이 동일하다'라는 의미에서 '단일 저장 장치(Single Memory)'라고 한다.

명령어와 데이터를 같은 메모리 공간에 저장하기 때문에 명령어와 데이터의 접근 시간이 동일하다는 것으로 명령어와 데이터를 주기억장치에서 읽어오는 시간이 줄어들어 전체적인 성능을 향상시킬 수 있다. 또한 프로그램의 수정이나 변형이 용이하다는 장점을 가진다. 하지만 주기억장치와 CPU 사이의 데이터 전송이 병목현상을 유발할 수 있으며 이를 해결하기 위해 캐시 메모리 등의 보조 기억장치를 사용하는 등의 방법이 고안되었다. 

Havard Architecture

하버드 대학에서 개발되었다는 것에서 이름이 유래되었다.

Von Neumann 아키텍처와 달리 프로그램과 데이터가 동일한 메모리 공간에 저장되지 않고 각각 다른 메모리 공간에 저장한다. 이러한 구조를 가지는 컴퓨터 시스템은 두 개의 메모리 버스를 사용한다. 하나는 프로그램을 저장하는 코드 메모리 버스이고, 다른 하나는 데이터를 저장하는 데이터 메모리 버스이다. 이 두 개의 버스는 병렬로 동작하여 CPU가 동시에 코드와 데

이터를 읽을 수 있도록 한다.

이 아키텍처의 장점은 프로그램과 데이터가 각각 다른 메모리 공간에 저장되기 때문에 프로그램과 데이터를 동시에 읽을 수 있다. 따라서 프로그램 실행 시간이 더욱 빨라진다. 그리고 프로그램과 데이터를 분리하여 저장하기 때문에 데이터의 비인가된 접근을 막을 수 있어 보안성이 Von Neumann 아키텍처보다 높다. 하지만 각각 다른 메모리 공간에 저장되어 있기 때문에 프로그램 수정 시 코드 메모리와 데이터 메모리를 모두 수정해야하기 때문에 프로그램의 수정이나 변형이 불편하며 이러한 구조를 가지는 컴퓨터 시스템은 하드웨어 구조가 복잡하다.

Von Neumann 아키텍처와 Harvard 아키텍처 두 아키텍처의 차이는 명령어와 데이터를 메모리에서 어떻게 처리하느냐에 따라 달라지며, 이는 컴퓨터 아키텍처의 성능과 기능을 결정한다. 

Instruction Set Architecture(ISA)

명령어 세트 아키텍처

컴퓨터에서 실행되는 명령어 집합과 해당 명령어의 동작을 정의하는 인터페이스 즉, 소프트웨어 개발자와 하드웨어 엔지니어 사이의 인터페이스 역할을 한다.

명령어 세트 아키텍처는 프로그래밍 언어와 컴퓨터 아키텍처 사이의 중개자 역할을 하며, 어떤 프로그래밍 언어를 사용하더라도 ISA에서 정의된 명령어 집합을 사용하여 작성된 프로그램은 모든 ISA 호환 컴퓨터에서 실행될 수 있다. 또한 ISA는 명령어의 크기, 명령어의 수행 방법, 레지스터의 개수와 종류, 주소 지정 방식 등과 같은 하드웨어 구성 요소를 규정하여, 하드웨어 제조업체들이 ISA를 준수하여 호환성을 보장할 수 있도록 한다.

RISC

Reduced instruction Set Computing 

명령어의 수를 줄이고 명령어 실행 시간을 일정하게 유지하는 것에 초점을 두고 설계된 아키텍처이다.

CISC

Complex Instruction Set Computing

 복잡한 명령어 집합과 다양한 주소 지정 방식 등을 지원하여 프로그래머가 작성한 코드의 길이를 줄이고 복잡한 작업을 더 쉽게 처리할 수 있도록 설계되었다.

Microarchitecture

ISA에서 정의된 명령어 세트를 하드웨어로 구현하는 방법에 대한 아키텍처이다. 마이크로 아키텍처는 ISA와 하드웨어 구현 사이의 중간 계층으로 ISA에 정의된 명령어 세트를 하드웨어에서 처리하기 위한 방법과 기술적인 세부 사항을 다룬다.

마이크로 아키텍처는 CPU의 내부 동작 방식을 설명하며 ALU, 레지스터, 캐시 등과 같은 하드웨어 요소들이 어떻게 조합되어 명령어를 실행하는지를 나타낸다. 이는 프로세서의 처리 속도와 성능에 직접적인 영향을 미친다.

예를 들어 Intel의 x86 아키텍처는 하나의 ISA를 여러 가지 버전의 마이크로 아키텍처를 통해 구현하는 방법이 다르며 이러한 버전에는 Pentium, Core, Atom 등이 있다.

ISA와 달리 마이크로 아키텍처는 하드웨어에 종속적이며 같은 ISA를 가진 두 개의 CPU라 하더라도 각각의 마이크로 아키텍처에 따라서 성능과 기능이 달라진다. 이러한 이유로 마이크로 아키텍처는 하드웨어 설계자들이 CPU를 개발할 때 매우 중요한 역할을 한다.

VLIW

Very Long Instruction Word Architecture

하나의 명령어로 여러 개의 연산 명령어들을 패킹하여 동시에 처리하는 방식을 사용하는 마이크로 아키텍처이다.

각 연산 명령어의 종류와 크기는 사전에 고정되어 있어야 하며 이렇게 하나의 명령어에 여러 개의 연산 명령어를 패킹하면 하나의 명령어를 실행하는데 필요한 클럭 사이클 수를 줄 일 수 있어 실행 효율성이 높아진다.

하지만 이러한 패킹 작업이 복잡하고 명령어에 들어갈 연산 명령어의 종류와 크기를 고정해야 하기 때문에 하드웨어 구현이 복잡해지고 설계 및 프로그래밍이 어렵다.

EPIC

Explicitly Parallel Instruction Computing

인텔에서 개발한 아키텍처로 VLIW의 한 종류이다. 명령어와 함께 해당 명령어를 실행하기 위한 하드웨어 리소스를 명시적으로 지정하여 병렬 처리를 구현한다. 이를 위해 명령어를 여러 개 묶어 하나의 Attention Point로 지정하고 해당 포인트에서 동시에 실행 가능한 명령어를 실행하는 방식을 사용한다. 이를 통해 프로그램 내의 병렬 처리 가능한 부분을 미리 식별하여 처리할 수 있기 때문에 성능 향상을 기대할 수 있다.

대표적인 예시로 인텔의 Itanium 프로세서가 있다. 명령어 세트가 복잡하고 처리 방식이 복잡하기 때문에 초기에는 호환성 문제 등으로 실패했지만 대용량 데이터 처리 등에서 높은 성능을 발휘하였다. 그러나 x86 아키텍처에 비해 생태계가 덜 발달하고 소프트웨어 호환성 문제도 있어 현재는 사용되지 않고 있다.

SIMD

Single Instruction Multiple Data

여러 개의 데이터가 동시에 처리하기 때문에 대규모 데이터 병렬 처리에 유리하다.

벡터 프로세싱이라고도 불리며 벡터 레지스터라는 별도의 레지스터를 사용하여 데이터를 저장하고 벡터 명령어를 사용하여 데이터를 처리한다. 

예를 들어 4개의 데이터를 더하는 연산을 할때 일반적으로 4번의 덧셈 연산을 수행해야 하지만 SIMD 아키텍처에서는 한 번의 명령어로 4개의 데이털르 한꺼번에 연산할 수 있다. 따라서 SIMD 아키텍처는 더 빠르고 효율적인 데이터 처리가 가능하기 때문에 그래픽 카드나 디지털 신호 처리 등의 분야에서 많이 사용된다.

Intel의 MMX, SSE, AVX, ARM의 NEON 등이 이 아키텍처를 기반으로 한다.

데이터 경로(Data Path)

데이터 경로는 프로세서 내에서 데이터가 이동하는 통로를 뜻한다.

프로세서 내에서 데이터가 이동하고 처리되는 구성 요소들과 이들 간의 연결을 말하며 데이터 경로는 컴퓨터가 명령어를 실행하는 과정에서 필요한 연산을 수행하고, 결과를 저장하는 데 사용된다. 레지스터, ALU, 다양한 버스 등으로 구성되어있으며 데이터 경로의 구성 요소와 연결 방식은 프로세서의 성능과 효율에 큰 영향을 미친다.

1. 레지스터

데이터 경로 내에서 데이터를 임시로 저장하는 작은 메모리이다.

레지스터는 데이터를 빠르게 처리할 수 있도록 돕고 ALU와 같은 다른 구성 요소들과 데이터를 교환한다.

2. 산술 논리 연산 장치(ALU, Arithmetic Logic Unit)

ALU는 데이터 경로에서 가장 중요한 연산을 수행하는 구성 요소이다. 산술 연산(덧셈, 뺄셈, 곱셈, 나눗셈 등) 및 논리 연산(AND, OR, NOT, XOR 등)을 처리한다.

3. 버스(Bus)

버스는 프로세서 내에서 레지스터, ALU, 메모리 등의 구성 요소들 간에 데이터를 전송하는 통로이다. 버스는 주로 데이터 버스, 주소 버스, 제어 버스로 구분된다.

데이터 경로 동작

1. 명령어 가져오기(Fetch)

    프로그램 카운터가 가리키는 메모리 위치에서 명령어를 가져온다.

2. 명령어 디코딩(Decode)

    제어 유닛이 가져온 명령어를 분석하여 해당 연산을 수행하는 데 필요한 제어 신호를 생성한다.

3. 피연산자 가져오기(Operand Fetch)

    디코딩된 명령어에 따라 필요한 피연산자를 레지스터 또는 메모리에서 가져온다.

4. 연산 수행(Execute)

    ALU가 피연산자를 사용하여 명령어에서 지정한 연산을 수행한다.

5. 결과 저장(Store)

    연산 결과를 레지스터 또는 메모리에 저장한다.

데이터 경로의 구성과 동작 방식은 프로세서의 성능과 효율성에 결정적인 영향을 미치기 때문에 효율적인 데이터 경로 설계를 통해 프로세서의 처리 속도를 높이고 전력 소모를 줄일 수 있다.

#파이프라이닝 #슈퍼스칼라 #VLIW(Very Long Instruction Word)

제어 유닛(Control Unit)

CPU 내에 위치하며 명령어를 해석하고 필요한 연산을 수행하기 위해 필요한 제어 신호를 생성하는 역할을 한다.

명령어 실행 과정에서 데이터 경로의 구성 요소들을 제어함으로써 프로세서의 전체 동작을 조율한다.

동작은 데이터 경로와 비슷한 단계를 거친다. 

1. 명령어 가져오기(Fetch)

2. 명령어 디코딩(Decode)

3. 제어 신호 생성(Control Signal Generation)

디코딩된 명령어를 기반으로 데이터 경로 내 구성 요소들을 제어하기 위한 신호를 생성한다. 이 신호들은 레지스터,    ALU, 메모리 등과 같은 구성 요소들을 제어하여 명령어를 실행하는 데 필요한 동작을 수행하도록 한다.

제어 유닛은 명령어 집합 구조(ISA)를 기반으로 작동하며 ISA에 따라 다양한 연산들을 처리할 수 있다. 일반적으로 제어 유닛은 하드웨어 또는 마이크로프로그램 방식으로 구현된다.

하드웨어 제어 유닛

디코딩 논리 회로를 사용하여 명령어를 직접 해석하고 제어 신호를 생성하는 방식이다. 

이 방식은 빠른 처리 속도를 가지지만 회로 복잡성이 높고 유연성이 떨어진다.

마이크로프로그램 제어 유닛

명령어를 해석하고 제어 신호를 생성하기 위해 내부적으로 사용하는 작은 프로그램인 마이크로코드를 실행하는 방식이다. 회로 설계가 단순하고 유연하지만 처리 속도가 하드웨어 제어 유닛에 비해 상대적으로 느리다.

메모리

컴퓨터 메모리는 시스템의 핵심 구성 요소 중 하나이다.

데이터와 명령어를 저장하고 CPU와 상호 작용하여 프로그램 실행을 가능하게 한다.

컴퓨터 메모리에는 다양한 종류가 있으며 각기 다른 용도와 특성을 가지고 있다. 

1. 주기억장치(Primary Memory)

컴퓨터의 메인 메모리로 RAM과 ROM이 포함된다.

주기억장치는 CPU와 직접 통신하며 빠른 속드를 요구한다. 

RAM

임시 데이터 저장소로, 읽기와 쓰기가 모두 가능한 메모리이다. 컴퓨터가 켜질 때마다 프로그램과 데이터가 RAM에 로드되며, 전원이 꺼지면 RAM의 데이터는 사라진다.

ROM

시스템의 기본 설정 및 부팅 과정에서 사용되는 정보를 저장하는 메모리이다. 일반적으로 읽기만 가능하며, 데이터는 전원이 꺼져도 유지된다.

2. 보조기억장치(Secondary Memory)

데이터를 영구적으로 저장하는 메모리로, 하드 드라이브, SSD, CD, DVD 등이  포함된다. 보조기억장치는 주기억장치보다 느리지만, 대용량의 데이터를 저장할 수 있다.

계층 구조(Memory Hierachy)

메모리 계층 구조는 컴퓨터 시스템에서 사용되는 다양한 메모리 기술을 속도, 용량, 비용, 접근 시간 등의 특성에 따라 계층적으로 구성한것이다.

계층 구조는 데이터를 처리하고 저장할 때 발생하는 효율성과 성능의 균형을 이루기 위해 만들어졌다.

1. 레지스터(Register) 

CPU 내부에 위치한 가장 빠르고 작은 메모리

연산에 직접 사용되는 데이터와 주소를 저장한다.

2. 캐시 메모리(Cache Memory)

CPU에 가까운 고속의 작은 메모리

주기억장치에서 자주 사용되는 데이터와 명령어를 저장해, CPU의 성능 향상을 도모한다. 캐시 메모리는 종종 여러 레벨로 구성되기도 한다.

3. 주기억장치(Primary Memory)

RAM과 ROM으로 구성된 메모리로 CPU가 직접 접근할 수 있는 메모리이다.

RAM은 주로 프로그램 실행에 필요한 데이터와 명령어를 저장하고 ROM은 시스템 부팅과 관련된 정보를 저장한다.

4. 보조기억장치(Secondary Menory)

하드 드라이브, SSD, CD, DVD 등으로 구성된 대용량의 영구적인 저장장치이다. 주기억장치보다 느리지만 대영량 대이터를 저장할 수 있다.

5. 오프라인 저장 장치(Offline Storage)

테이프 드라이브, 광학 저장 매체 등을 포함하는 컴퓨터 시스템과 직접 연결되지 않은 저장 장치이다. 백업과 아카이빙에 주로 사용된다.

6.

명령 사이클(Instruction Cycle)

CPU가 명령어를 수행하는 과정을 의미한다. 일반적으로 명령 사이클은 여러 단계로 이루어져 있다.

1. 인출(Fetch)

메모리에서 프로그램 카운터에 저장된 주소의 명령어를 가져온다. 그 다음 프로그램 카운터를 다음 명령어의 주소로 업데이트한다.

2. 디코딩(Decode)

명령어를 분석하여 해당하는 작업을 파악하고 필요한 피연산자를 결정한다.

3. 실행(Execute)

분석된 명령어와 연관된 작업을 수행하고 결과를 생성한다.

4. 저장(Store)

연산 결과를 레지스터 또는 메모리에 저장한다.

CPU는 위 사이클을 프로그램이 실행되는 동안 반복하며 각 명령어가 수행되는 순서대로 진행한다.

명령어 집합 구조(Instruction Set Architecture, ISA)

컴퓨터의 하드웨어와 소프트웨어 사이의 인터페이스를 정의한다. ISA는 하드웨어가 지원하는 명령어들의 집합, 데이터 유형, 레지스터, 메모리 주소 지정 방식, 입출력 관리 등에 대한 규칙과 규격을 제공한다. ISA는 컴퓨터 아키텍처의 핵심 구성 요소로 컴파일러와 운영 체제가 하드웨어와 상호 작용하는 방식을 결정한다. 컴퓨터는 다양한 아키텍처가 존재하며 각각의 아키텍처는 고유한 ISA를 가지고 있다.

ISA는 프로세서와 소프트웨어 간의 인터페이스 역할을 한다.

• 명령어 집합 : 프로세서가 인식하고 수행할 수 있는 기본 명령어 집합
• 레지스터 파일 : 프로세서 내부에 있는 레지스터들의 집합
• 메모리 접근 방식 : 프로세서가 메모리에 접근하는 방법 정의
• 입출력 방식 : 프로세서와 외부 장치 간의 데이터 교환 방식을 정의
• 인터럽트 및 예외 처리 : 프로세서가 예외 상황이 발생했을 때 처리하는 방식 정의

Register

CPU내에 위치한 기억장치로 특정 목적을 위해 사용하는 저장소이다.

매우 빠른 속도로 데이터를 읽고 쓰는 특징이 있다. CPU의 성능에 큰 영향을 미치며 레지스터의 개수와 크기가 높을수록 빠른 처리 속도를 기대할 수 있다.

종류

Accumulator Register(AC)  

누산기 레지스터

산술 및 논리 연산에 사용되는 값을 저장하는 레지스터이다.

이 레지스터는 CPU의 연산 결과를 저장하거나 결과를 다음 연산에 사용하기 위해 일시적으로 저장하는 역할을 한다.

대부분의 CPU에서 누산기 레지스터는 덧셈, 뺄셈, 곱셈, 나눗셈 등의 산술 연산을 수행하며, 비트 논리 연산을 수행하기도 한다. 이러한 연산의 결과는 다시 누산기 레지스터에 저장되어 다른 연산에 사용될 수 있다.

이 레지스터는 초기 컴퓨터 아키텍처부터 현대 컴퓨터 시스템에서까지 사용되고 있다. 하지만 현대에는 더 많은 범용 레지스터와 복잡한 레지스터 구조를 가지고 잇기 때문에 누산기 레지스터의 중요성은 상대적으로 감소했다. 

누산기 레지스터는 CPU내에 위치한 특별한 레지스터로 산술 및 논리 연산을 수행하고 그 결과를 저장하는 데 사용된다. 이는 연산 결과를 다른 명령어에 전달하거나 다음 연산에 사용하기 위한 중요한 구성요소이다.

Program Counter(PC)

프로그램 카운터

다음에 실행될 명령어의 메모리 주소를 저장하고 관리하는 일종의 포인터 역할을 한다. CPU는 프로그램 카운터에 저장된 주소를 사용하여 메모리에서 해당 명령어를 가져와 실행하며 명령어 실행이 완료되면 프로그램 카운터는 다음 명령어의 주소로 자동 업데이트된다.

일반적으로 프로그램 카운터는 순차적으로 실행되는 명령어들의 주소를 저장하고 있지만 제어 전달 명령어인 분기(Branch)나 점프(Jump) 명령어가 사용되면 프로그램 카운터가 다른 메모리 주소로 변경되어 명령어의 실행 순서가 바뀔 수 있다. 이러한 동작은 조건부 실행, 함수 호출, 반복문 및 예외 처리 등 다양한 프로그래밍 구조를 구현하는데 필수적이다.

- 제어 전달 명령어(Control Transfer Instructions) : 프로그램의 실행 흐름을 변경하는 명령어이다. 프로그램은 일반적으로 순차적으로 실행되지만, 조건부, 반복문, 함수 호출 등 다양한 프로그래밍 구조를 구현하기 위해서는 실행 흐름을 변경할 필요가 있다. 이때 사용되는 명령어들을 제어 전달 명령어라 하며 크게 분기, 점프, 서브루틴 호출 세 가지 유형으로 분류된다. 

- 분기(Branch) : 주어진 조건이 참인지 거짓인지에 따라 프로그램의 실행 흐름을 변경한다. 일반적으로 조건문 또는 반복문에서 사용된다. 분기 명령어는 조건에 따라 프로그램 카운터를 업데이트하여 실행 흐름을 변경한다.

- 점프(Jump) : 프로그램의 실행 흐름을 명시적으로 변경한다. 점프 명령어는 프로그램 카운터를 새로운 주소로 업데이트하여 실행 흐름을 변경한다. 점프는 조건 없이 변경하는 것과 조건에 따라 변경하는 두 가지 유형이 있다.

- 서브루틴 호출(Subroutine Call) : 함수 호출과 반환에 사용된다. 함수를 호출할 때 실행 흐름은 함수의 시작 주소로 이동하고 함수의 실행이 완료되면 원래 실행 흐름으로 돌아와야 하는데 이때 사용되는 명령어가 서브루틴 호출 명령어이다.

프로그램 카운터는 다음에 실행할 명령어의 메모리 주소를 저장하는 CPU의 특수한 레지스터로 명령어가 순차적으로 실행되거나 분기 및 점프 명령어에 의해 변경되는 경우에도 명령어의 실행 순서를 관리하고 제어기 때문에 다양한 프로그래밍 구조를 구현하기 위해 필수적인 구성 요소이다.

Temporary Register(TR)

임시 레지스터

데이터를 일시적으로 저장하기 위해 사용되는 레지스터이다. 연산 과정에서의 중간 결과를 저장하거나, 데이터 전송, 레지스터 간의 값을 교환하는 등의 작업에 사용된다. 임시 레지스터는 데이터를 보유하기 때문에 포함된 비트 수는 데이터 워드의 비트 수와 같다.

- 워드(word) : 메모리에서 레지스터로 데이터를 옮기거나 ALU를 통해서 데이터를 조작할 때 하나의 명령어로 실행될 수 있는 데이터 처리 단위이다.

CPU 아키텍처에 따라 다양한 이름과 기능을 가질 수 있는데 예를 들어 x86 아키텍처에서는 범용 레지스터라고 불리는 레지스터들이 있으며, 이 레지스터들은 연산, 데이터 전송, 주소 계산 등 다양한 목적으로 사용된다. 이러한 범용 레지스터들은 EAX, EBX, ECX, EDX 등과 같은 이름으로 구분되며 종종 중간 결과를 저장하는 임시 레지스터로 사용된다. 범용 레지스터들의 이름과 종류는 아키텍처마다 다르다.

ARM 아키텍처에서는 R0부터 R12까지의 범용 레지스터가 있으며, 이 레지스터들 역시 데이터를 임시로 저장하고 연산에 사용된다. 

임시 레지스터는 프로그램 실행 중 발생하는 다양한 작업을 처리하는데 필수적인 레지스터로 중간 연산 결과를 저장하거나 데이터를 전송하는 등의 작업을 수행하기 위해 사용되며, CPU 아키텍처와 디자인에 따라 여러 가지 이름과 기능을 가진다.

Instruction Register(IR)

명령어 레지스터

실행 중인 명령어를 저장하는 데 사용된다. 프로그램 카운터에 저장된 주소를 통해 메모리에서 명령어를 가져온 후, 해당 명령어는 명령어 레지스터에 저장되어 실행을 위한 처리가 진행된다.

명령어 레지스터는 CPU가 현재 어떤 명령어를 실행하고 있는지 파악하는 데 사용되며, 명령어의 인코딩 된 정보를 저장하고 있다. 이 정보는 오퍼레이션 코드, 피연산자 주소, 상수 값 등으로 구성되어 있을 수 있고 CPU는 명령어 레지스터의 정보를 해독하여 적절한 연산을 수행하고 결과를 다른 레지스터에 저장하거나 메모리로 전송한다.

- 오퍼레이션 코드(opcode) : 명령어가 수행할 연산의 종류를 나타내는 코드이다. CPU는 이 코드를 해석하여 어떤 작업을 수행해야 하는지를 결정한다. 예를 들어 덧셈, 뺄셈, 곱셈 등의 산술 연산, 논리 연산 데이터 전송, 제어 전달 등의 작업은 각각 고유한 오퍼레이션 코드를 가진다. 오퍼레이션 코드는 명령어의 일부분으로 명령어의 길이와 아키텍처에 따른 다른 크기를 가질 수 있다.

- 피연산자(operand)  주소 : 연산의 대상이 되는 데이터를 나타낸다. 피연산자 주소는 이러한 데이터가 저장된 메모리 주소나 레지스터를 가리킨다. 명령어는 하나 이상의 피연산자를 가질 수 있으며 이들의 주소 정보를 함께 저장하고 있다. 피연산자 주소는 명령어 내에서 오퍼레이션 코드 뒤에 위치하며 주소 지정 방식(Addressing Mode)에 따라 다양한 형태를 가질 수 있다. 주소 지정 방식은 피연산자의 메모리 주소나 레지스터를 참조하는 방법을 정의하며, 아키텍처에 따라 다양한 방식이 사용된다.

명령어 레지스터는 현재 실행 중인 명령어를 저장하고 있는 CPU의 특수한 레지스터이다. 이 레지스터는 명령어를 실행하는 동안 해당 명령어의 인코딩 된 정보를 저장하고 관리하며, CPU가 적절한 작업을 수행할 수 있도록 한다.

Data Register(DR)

데이터 레지스터

주로 데이터를 저장하고 연산에 사용되는 목적으로 사용된다. CPU와 메모리 사이에서 데이터를 전송하거나, 연산의 피연산자와 결과를 저장하는 데 사용되는 레지스터이다. 

데이터 레지스터는 일반적으로 범용 레지스터라고 불리며 이러한 레지스터가 다양한 종류의 데이터를 저장하고 연산에 사용될 수 있는데 반해 다른 특수 레지스터들은 주로 특정 목적으로 사용된다. 

데이터 레지스터는 CPU내부에서 데이터를 저장하고 연산에 사용되는 레지스터로, 범용 레지스터라고 불린다. 이러한 레지스터는 CPU와 메모리 사이에서 데이터를 전송하거나, 연산의 피연산자와 결과를 저장하는데 사용된다.

Address Register(AR)

주소 레지스터

주로 메모리 주소를 저장하고 관리하는 데 사용된다. 주소 레지스터는 메모리에서 데이터를 읽거나 쓰는데 필요한 메모리 주소를 담당하며 주소 계산, 포인터 연산, 배열 인덱싱 등 다양한 작업에서 사용된다.

종류

• 베이스 레지스터(Base Register) : 메모리 주소 영역의 시작 주소를 저장하는 데 사용된다.
• 인덱스 레지스터(Index Register) : 메모리 주소 영역 내에서 특정 위치를 가리키기 위해 사용된다. 주로 배열 인덱싱에 활용된다.
• 세그먼트 레지스터(Segment Register) : 일부 아키텍처에서만 사용되며 메모리 세그먼트의 기준 주소를 저장하는 레지스터로 주소 계산에 사용된다.
• 스택 포인터 레지스터(Stack Pointer Register) : 스택의 최상단을 가리키는 주소를 저장한다.

세그먼트(Segment)

컴퓨터 메모리를 관리하는 방법 중 하나로 메모리를 의미상 관련 있는 덩어리로 나누는 것을 의미한다. 프로그램이 메모리에 로드될 때 메모리 공간을 논리적으로 구분하여 관리하며, 각 세그먼트는 시작 주소와 길이로 정의된다. 

세그 먼트는 메모리 보호와 관련된 장점을 가지며 다른 세그먼트 간에 데이터의 접근을 제한하여 메모리 충돌을 방지하고 프로그램의 안정성을 높인다. 

세그먼트 종류

코드 세그먼트(Code Segment) : 프로그램의 코드를 저장하는 세그먼트로 일반적으로 읽기와 실행 권한만 가지며 쓰기 권한은 없다. 이를 통해 코드 영역의 데이터 오염을 방지한다.

데이터 세그먼트(Data Segment) : 전역 변수와 정적 변수를 저장하는 세그먼트로 일반적으로 읽기와 쓰기 권한이 있다. 프로그램의 수명 동안 고정된 위치에 데이터를 저장하는 데 사용된다.

스택 세그먼트(Stack Segment) : 함수 호출과 지역 변수를 저장하는 데 사용되는 스택 자료구조를 위한 세그먼트이다. 스택 포인터를 사용하여 현재 스택의 최상단을 가리키며 함수 호출 시 스택 프레임이 할당되고 반환 시 해제된다.

힙 세그먼트(Heap Segment) : 동적으로 할당되는 메모리를 저장하는 세그먼트로 프로그램이 실행되는 동안 메모리를 필요에 따라 할당하고 해제하는 데 사용된다.

일부 프로세서 아키텍처에서는 주소 레지스터를 별도로 두기도 하지만, 다른 아키텍처에서 범용 레지스터를 주소 레지스터로 사용하기도 한다. 예를 들어 x86 아키텍처에서는 ESI와 EDI 등의 범용 레지스터가 주소 레지스터로 사용되며 이를 통해 메모리 주소를 저장하고 참조할 수 있다.

다양한 종류의 주소 레지스터는 메모리 주소를 저장하고 관리하는 데 사용되고 아키텍처에 따라 주소 레지스터와 범용 레지스터가 별도로 존재할 수 있으며 범용 레지스터가 주소 레지스터의 역할을 수행할 수도 있다.

Input Register(INPR)

입력 레지스터

주로 외부 장치에서 전달되는 데이터를 저장하는 데 사용된다. 이 레지스터는 입력 데이터를 저장하고 CPU가 처리할 수 있는 형태로 전달하는 역할을 한다. 

일반적으로 입력 레지스터는 입출력 시스템의 일부로 동작하며 외부 장치로부터 데이터를 받아올 때 해당 데이터를 일시적으로 저장하는 공간으로 사용된다. CPU는 입력 레지스터에 저장된 데이터를 읽어서 적절한 처리를 수행한 후 결과 데이터를 다른 레지스터 또는 메모리 영역에 저장할 수 있다.

입력 레지스터의 크기는 아키텍처에 따라 다를 수 있으며 일반적으로 8비트, 16비트, 32비트 등의 크기를 가질 수 있다. 입력 레지스터의 크기는 처리할 수 있는 데이터의 크기를 결정하며, 레지스터의 크기에 맞춰 외부 장치에서 전달되는 데이터의 크기가 정해진다.

입력 레지스터는 외부 장치와 CPU 간의 데이터 전달을 위한 중간 저장소 역할을 하며, CPU가 외부 장치에서 전달되는 데이터를 처리할 수 있도록 돕는 중요한 구성요소이다.

Output Register(OUTR)

출력 레지스터

CPU에서 처리된 데이터를 외부 장치로 전달하기 전에 일시적으로 저장하는 데 사용된다. 출력 레지스터는 CPU에서 생성된 결과 데이터를 외부 장치로 전송하는 과정에서 중간 저장소 역할을 한다.

일반적으로 출력 레지스터는 입출력 시스템의 일부로 동작하며 CPU가 처리한 데이터를 외부 장치로 전송할 때 해당 데이터를 일시적으로 저장하는 공간으로 사용된다. CPU는 처리한 데이터를 출력 레지스터에 저장한 후 컨트롤러를 통해 해당 데이터를 외부 장치로 전달할 수 있다.

출력 레지스터의 크기는 아키텍처에 따라 다를 수 있으며 일반적으로 8비트, 16비트, 32비트 등의 크기를 가질 수 있다. 출력 레지스터의 크기는 전달할 수 있는 데이터의 크기를 결정하며 레지스터 크기에 맞춰 CPU에서 처리된 데이터의 크기가 정해진다.

출력 레지스터는 CPU와 외부 장치 간의 데이터 전달을 위한 중간 저장소 역할을 하며, CPU가 처리한 데이터를 외부 장치로 전달하는데 필요한 중요한 구성 요소이다.

CPU

컴퓨터 시스템을 구성하는 요소는 다양하며, 각각의 구성요소들이 상호 작용을 통해서 전체 시스템이 동작하게 된다.

그 중 중앙 처리 장치(CPU, Central Processing Unit)는 컴퓨터 시스템에서 가장 중요한 부품 중 하나이다.

구성요소

연산 유닛(Arithmetic Logic Unit, ALU)

산술 및 논리 연산을 수행한다. 덧셈, 뺄셈, 곱셈, 나눗셈 같은 산술 연산과 AND, OR, NOT, XOR과 같은 논리 연산을 처리한다.

제어 유닛(Control Unit, CU)

메모리에서 명령어를 가져와 해독하고 실행한다. 또한 다른 구성요소들을 제어하여 명령어 실행에 필요한 데이터를 제공하거나 결과를 저장한다.

레지스터(Register)

CPU 내부의 작은 기억장치이다. 매우 빠른 접근 속도를 가지고 연산에 필요한 데이터를 저장하거나 중간 결과를 저장하는데 사용된다. 종류는 크게 범용, 프로그램 카운터, 명령, 주소 레지스터 등이 있다.

캐시 메모리(Cache Memory)

캐시 메모리는 CPU와 주 기억장치 사이에 위치하며 자주 사용되는 데이터와 명령어를 빠르게 접근할 수 있도록 저장한다. 캐시 메모리는 CPU 성능을 향상시키는 데 중요한 역할을 한다.

명령어 주기

CPU는 명령어 주기를 통해 작동한다.

1. 인출(Fetch) : 메모리에서 명령어를 가져오는 단계

2. 해독(Decode) : 가져온 명령어를 해독하여 실행할 동작을 결정하는 단계

3. 실행(Execute) :  해독된 명령어를 실행하는 단계

4. 저장(Store) :  실행 결과를 레지스터나 메모리에 저장하는 단계

성능

CPU의 성능은 클럭 속도, 코어 수, 캐시 크기, 명령어 집합 구조(ISA) 등 다양한 요소에 의해 영향을 받는다. 클럭 속도는 CPU가 초당 처리할 수 있는 명령어의 수를 나타내며, 코어 수는 동시에 처리할 수 있는 명령어 스트림의 수를 의미한다. 캐시 크기는 CPU와 메모리 사이에 위치한 고속 메모리의 용량을 나타내며, 명령어 집합 구조는 CPU가 어떤 종류의 명령어를 처리할 수 있는지를 결정한다.

다중 코어 프로세서와 파이프라이닝, 병렬 처리 등의 기술을 통해 성능을 향상시킬 수 있으며 이러한 기술은 동시에 여러 작업을 처리하거나 여러 단계로 구성된 작업을 동시에 진행함으로써 전체 시스템의 처리 속도를 높일 수 있다.

튜링머신(Turing Machine)

튜링 머신은 앨런 튜링이 1936년에 제안한 이론적인 기계이다.

수학자 앨런 튜링은 힐버트 프로젝트의 목표에 도전하기 위해 튜링 머신 개념을 도입했다. 힐버트 프로젝트는 모든 수학적 명제를 증명해주는 만능 기계를 만들려는 시도였으나, 튜링은 이러한 프로젝트의 목표가 불가능하다는 것을 증명하기 위해 튜링 머신을 사용했다.

이러한 배경으로 제안된 튜링 머신은 컴퓨터 과학의 기초가 되는 개념이 되면서 컴퓨터가 수행할 수 있는 모든 계산 작업을 수행할 수 있으며, 이를 통해 컴퓨터 과학에서 다양한 계산 문제를 이해할 수 있게된다.

튜링 완전성(Turing Completeness)

컴퓨터 과학에서 중요한 개념으로, 계산 이론의 관점에서 특정 시스템이 모든 튜링 머신의 계산 수행 능력을 말하며 튜링 완전성은 컴퓨터 시스템의 계산 능력을 평가하는 기준이 된다.

튜링 완전한 시스템은 두 가지 기본 요소가 있다.

1. 기계의 상태를 나타낼 수 있는 유한한 수의 상태

2. 무한한 길이의 메모리를 사용

튜링 완전한 시스템은 모든 계산 문제를 해결할 수 있는 이론적인 기계로 볼 수 있으며 이를 통해 현대의 대부분의 프로그래밍 언어와 컴퓨터 아키텍처는 튜링 완전하다고 간주되고 이를 통해서 다양한 시스템 간의 계산 능력을 비교할 수 있다.

튜링 완전성을 갖춘 시스템은 어떤 알고리즘도 구현이 가능하며 이론적으로는 다른 튜링 완전한 시스템과 동일한 계산 능력을 가진다. 하지만 언제까지나 튜링 완전성은 이론적인 기준일 뿐 실제 성능을 반영하지 않기 때문에 실제로는 하드웨어 성능, 메모리 제한 등의 제약 때문에 모든 시스템이 동일한 성능을 내지는 않는다.

작동 방식

튜링머신은 무한히 긴 테이프가 있고 이 테이프는 일정한 크기로 나누어져 있으며 이를 셀이라고 부른다. 이 셀에는 기호가 기록되어있고 테이프를 따라 움직이는 헤더에 의해서 기록이 바뀔 수 있다. 튜링 머신의 상태는 상태 레지스터에 저장되고 이 상태에 대 따른 동작은 액션 테이블에 의해서 결정된다.

액션 테이블에 작성되는 동작은 테이프에 기호를 읽거나 새로 기록하고, 헤더를 왼쪽 또는 오른쪽으로 이동 그리고 정지의 기능을한다. 만약 액션 테이블에서 특정기호를 읽을 때 까지 헤더를 이동시키고 해당 기호를 읽었을 때 새로 기록을 하거나 또는 다른 동작을 수행시키는 등의 방식으로 모든 계산을 처리할 수 있는 기계로 동작하게 된다. 

한계

튜링 머신에는 계산할 수 없는 문제들이 존재한다.

튜링 머신은 이론적인 개념이기 때문에 현실에 존재할 수 없는 무한한 길이의 테이프와 무한한 시간을 가정으로한다. 따라서 유한한 메모리와 제한된 시간을 가지는 실제 컴퓨터에서는 동일한 계산 능력을 가질 수 없다,

그리고 또 다른 한계의 대표적인 예로는 튜링의 정지 문제(Halting Problem)가 있다. 이 문제는 어떤 튜링 머신이 특정 입력에 대해 정지할지 즉, 계산이 완료되어 결과를 출력하고 종료할것인지 또는 무한 루프에 빠져 계속 실행할지를 결정하는 문제이다. 튜링은 이 문제에 대한 알고리즘이 존재하지 않음을 증명했는데 이는 어떤 일반적인 알고리즘이나 프로그램이 입력과 조합에 대해 항상 올바른 정지 여부를 결정할 수 없음을 의미한다. 튜링은 이러한 튜링 머신이 정지문제에 대해서 해결할 수 없다는 점을 통해서 힐버트의 프로젝트를 반증 했다.

정지 문제의 불가능성은 튜링 머신과 같은 계산 모델의 한계를 보여주며, 컴퓨터 과학의 여러 분야에서 중요한 영향을 미친다. 예를 들어 프로그램의 정확성, 최적화 또는 자동 버그 찾기 등의 분야에서 이론적한계를 인식하고 이에 대한 해결책을 찾는데 도움이 된다.

정지 문제의 증명은 컴퓨터 과학과 수학에서 근본적인 한계를 보여주며, 계산 가능성 이론의 발전에 큰 영향을 미쳤다. 또한, 이 결과는 계산의 본질과 한계에 대한 연구를 촉진시키며 컴퓨터 과학의 핵심 개념으로 자리잡게 되었다.