이 글은 혼자 공부하는 컴퓨터 구조 + 운영체제 (저자 : 강민철)의 책과 유튜브 영상을 참고하여 개인적으로 정리하는 글임을 알립니다.


주소에는 두 가지 종류가 있다.

  • 물리 주소 : 메모리 하드웨어가 사용하는 주소
  • 논리 주소 : CPU와 실행 중인 프로그램이 사용하는 주소

 

물리 주소(physical address)와 논리 주소(logical address)

  • CPU와 실행 중인 프로그램은 현재 메모리 몇 번지에 무엇이 저장되어 있는지 다 알 수 없다(메모리에 저장된 정보는 시시각각 변하기 때문)
  • 물리 주소 : 메모리 입장에서 바라본 주소, 정보가 실제로 저장된 하드웨어 상의 주소를 의미
  • 논리 주소 : CPU와 실행 중인 프로그램 입장에서 바라본 주소, 실행 중인 프로그램에게 부여된 0번지부터 시작되는 주소를 의미

만약 현재 메모리에 메모장, 게임, 웹 브라우저가 적재되어 있다고 가정하면 이러한 프로그램들은 다른 프로그램들이 메모리 몇 번지에 저장되어 있는지(물리주소) 굳이 알 필요가 없다.

그래서 프로그램들은 모두 물리 주소가 아닌 0번지부터 시작하는 자신만을 위한 주소인 논리 주소를 가지고 있다.

예를 들어 10번지라는 주소는 메모장에도, 게임에도, 웹 브라우저에도 논리 주소로써 존재할 수 있다.

 

하지만 CPU가 이해하는 주소가 논리 주소라고 해도 CPU가 메모리와 상호작용하려면 논리 주소와 물리 주소 간의 변환이 이루어져야 한다.

 

논리 주소는 물리 주소로 변환 되려면 메모리 관리 장치(MMU)라는 하드웨어에 의해 수행된다.

 

 

MMU는 CPU가 발생 시킨 논리 주소에 베이스 레지스터 값을 더해 논리 주소를 물리 주소로 변환한다.

베이스 레지스터
베이스 레지스터 값에는 프로그램의 시작주소(즉, 물리 주소상의 시작주소) 값이 담긴다.

예를 들어 현재 베이스 레지스터에 15000이 저장 되어 있고 CPU가 발생시킨 논리 주소가 100번지라면 이 논리 주소는 아래 그림처럼 물리 주소 15100번지(15000+100)로 변환된다.

 

만약 베이스 레지스터에 45000이 저장되어 있고 CPU가 발생시킨 논리 주소가 100번지라면 이 논리 주소는 물리 주소 45100(45000+100)번지로 변환된다.

 

  • 베이스 레지스터는 프로그램의 가장 작은 물리 주소, 즉 프로그램의 첫 물리 주소를 저장하는 셈이고,
  • 논리 주소는 프로그램의 시작점으로부터 떨어진 거리인 셈이다.

 


 

메모리 보호 기법

메모장 프로그램의 물리 주소가 1000번지부터 1999번지, 인터넷 브라우저 프로그램의 물리 주소가 2000번지부터 2999번지, 게임 프로그램의 물리 주소가 3000번지부터 3999번지라고 가정하면, CPU가 메모장 논리 주소 1500번지에 100을 저장하라고 명령을 내렸다면 이 명령어는 실행 되어서는 안 된다.

왜냐하면 메모장 프로그램의 논리 주소 범위는 0부터 999까지이기 때문이다.

이러한 명령어가 실행되면 애꿎은 인터넷 브라우저의 논리 주소상 500번지의 데이터만 바뀌게 될 것이다.

이렇게 다른 프로그램의 영역을 침범할 수 있는 명령어는 위험하기 때문에 논리 주소 범위를 벗어나는 명령어 실행을 방지하고 실행 중인 프로그램이 다른 프로그램에 영향을 받지 않도록 보호할 방법이 필요하다.

이는 한계 레지스터가 담당한다.

베이스 레지스터가 실행 중인 프로그램의 가장 작은 물리 주소를 저장한다면, 한계 레지스터는 논리 주소의 최대 크기를 저장한다.

즉, 프로그램의 물리 주소 범위는 베이스 레지스터 값 이상, 베이스 레지스터 값 + 한계 레지스터 값 미만이 된다.

 

한계 레지스터

  • 프로그램의 영역을 침범할 수 있는 명령어의 실행을 막음
  • 베이스 레지스터가 실행 중인 프로그램의 가장 작은 물리 주소를 저장한다면, 한계 레지스터는 논리 주소의 최대 크기를 저장
  • 베이스 레지스터 값 <= 프로그램의 물리 주소 범위 < 베이스 레지스터 + 한계 레지스터 값

 

CPU는 메모리에 접근하기 전에 접근하고자 하는 논리 주소가 한계 레지스터보다 작은지를 항상 검사한다. 만약 CPU가 한계 레지스터보다 높은 논리 주소에 접근하려고 하면 인터럽트(트랩)를 발생시켜 실행을 중단한다.

 

이러한 방식으로 실행 중인 프로그램의 독립적인 실행 공간을 확보하고 하나의 프로그램이 다른 프로그램을 침범하지 못하게 보호할 수 있다.