운영체제가 관리하는 특정 프로세스의 가상 메모리는 현재 사용하는 만큼만 실제 페이지를 사용할 수 있다. 이 때 사용되는 페이지는 물리 메모리에 존재할 수도 있지만 하드디스크에 존재할 수도 있다. 만약 프로세스가 특정 페이지를 사용하기 위해 이를 참조할 때 해당 페이지가 하드디스크에 위치하는 경우를 페이지 폴트라고 부른다. 이런 경우 해당 페이지를 물리 메모리로 옮겨 오는 과정이 필요하다. 그런데 만약 이미 물리 메모리를 많이 사용하고 있어 물리 메모리 내 페이지를 옮겨올 마땅한 공간이 없다면? 페이지 폴트가 발생한 페이지를 가져오지 못할 것이다. 이러한 경우를 위해 기존에 물리 메모리에 존재하던 페이지를 하드디스크에 보내는 과정이 추가적으로 필요해진다. 이를 페이지 교체라고 한다. 이 때 어떤 페이지를 ..

운영체제는 프로세스가 복잡한 메모리의 구조를 몰라도 사용할 수 있고, 또 특정 프로세스가 다른 프로세스의 메모리에 접근하는 것을 막기 위해서 가상 메모리라는 개념을 제공한다. 이를 통해 프로세스는 스스로의 주소 공간을 가상 메모리에 위치시키는 방식으로 메모리를 사용할 수 있다. 이제 운영체제가 해야하는 일은 가상 메모리와 실제 물리 메모리를 매핑하는 일인데, 여기서 이를 어떤 방식으로 수행하느냐에 따라 발생할 수 있는 수많은 문제들이 존재한다. 만약 각 프로세스의 주소 공간을 배치 그대로 물리 메모리에 옮긴다면 단편화라고 불리는 문제가 발생할 수 있다. 일반적으로 주소 공간에서 힙과 스택은 서로를 향해 확장되는 구조를 갖는데, 이는 힙과 스택 사이의 빈공간이 존재한다는 것이다. 이 구조를 그대로 물리 메..

공유자원 접근에 대해 동시성 문제를 해결하는 것은 개발자의 입장에서 중요한 화두이다. 가령, 멀티 스레드 환경에서 스택을 제외한 다른 메모리에 접근하는 상황이나 다중 프로세스 환경에서 IPC를 위해 공유 메모리를 사용하는 상황 등이 존재할 수 있다. 이 때 활용할 수 있는 스킬이 바로 Mutex와 Semaphore이다. Mutex 뮤텍스는 Mutual Exclusion의 줄임말로 상호 배제라는 뜻을 갖는다. 뮤텍스는 특정 공유 자원에 대해 단 하나의 주체만이 접근할 수 있게 만드는 락의 개념이다. 뮤텍스의 구현은 크게 lock()과 unlock()으로 이루어 지는데, (wait()와 release()로도 표현하는데 여기서는 lock()과 unlock()이 더 직관적인 워딩이라고 판단) lock()은 특정..

현대에 들어서 PC의 컴퓨팅 성능이 증가하고, 이에 따라 동시에 여러 프로그램을 띄워 사용하는 일이 잦다. 운영체제 입장에서는 동시다발적으로 사용되고 있는 프로세스들에 대해, 비록 CPU 코어가 하나라서 한 번에 하나의 프로세스 만을 실행시킬 수 있는 상황일지라도, 사용자로 하여금 모든 프로세스들이 병렬적으로 실행되고 있다는 착각을 불러일으킬 수 있어야 한다. 만약 PC를 통해 음악을 들으면서 웹서핑을 하는 상황에서, 음악 애플리케이션이 실행되는 동안 검색창에 타이핑이 안된다면 이는 운영체제의 역할을 제대로 수행하고 있지 않은 것이다. 이를 위해, 운영체제는 CPU를 할당할 작업들에 대한 스케줄링을 수행한다. 단순히 스케줄링을 수행시키는 단계를 넘어, 이를 잘 수행할 수 있어야 한다. 스케줄링의 평가 항..

프로세스들이 서로에 대해 완전히 독립된 환경을 갖는다는 것은 운영체제를 공부해 보았다면 자명하다. 하지만 경우에 따라 프로세스 간 통신을 허용하고 싶을 수 있다. 예를 들어 로컬에서 구동 중인 웹 애플리케이션 서버에서 MySql DB에 접근하는 상황을 가정해 보자. 프로세스가 완전히 독립하다는 가정 하에는, 서로 접근이 불가능하다. 하지만 실제로는 서버에서 DB로 접근이 잘 이루어진다. 이를 가능하게 해주는 것이 바로 IPC이다. IPC의 종류 IPC의 종류는 아래와 같다. Pipe Named Pipe Message Queue Shared Memory Socket Communication Pipe 파이프는 두 프로세스 간 단방향 통신을 수행할 때 이용된다. 파이프는 일종의 파일로 관리되는데, 이는 익명으..

프로세스 제어 블록(Process Control Block)이란 OS가 프로세스들의 관리를 위해 사용하는 정보를 저장하는 구조체이다. OS는 다수의 프로세스를 사용자에게 동시에 제공하기 위해 현재 실행 중인 프로세스의 정보를 알고 있을 필요가 있는데, PCB가 그 역할을 하게되는 것이다. PCB 저장 요소 PCB에 저장되는 프로세스의 정보들은 다음과 같다. PID: 각 프로세스가 갖는 고유의 ID 값 프로세스 상태: 해당 프로세스가 실행 중, 대기 중, 정지 상태인지를 나타내는 정보 레지스터 상태: 레지스터란 CPU 내부에 존재하는 프로세스의 상태를 저장하는 저장 공간으로, 이의 상태를 저장. 레지스터에는 프로그램 카운터, 스택 포인터, 베이스 레지스터 등이 저장. 프로그램 카운터: 해당 프로세스가 다음..