프로세스: 실행 중인 프로그램, 디스크에서 메모리에 올라오는 단위
프로그램은 실행되기 전까지는 보조기억장치에 있는 데이터 덩어리에 불과하지만, 보조기억장치에 저장된 프로그램을 메모리에 적재하고 실행하는 순간부터 그 프로그램은 프로세스가 된다.
프로세스는 사용자가 볼 수 있는 공간에서 실행되는 포그라운드 프로세스(foreground process)와 사용자가 보지 못하는 뒤편에서 실행되는 백그라운드 프로세스(background process)로 나뉜다.
백그라운드 프로세스 중 사용자와 상호작용하지 않는 프로세스를 데몬(daemon)이라고 부른다.
모든 프로세스는 실행을 위해 CPU를 필요로 하지만, CPU 자원은 한정되어 있기 때문에 프로세스들은 차례대로 돌아가며 한정된 시간만큼만 CPU를 이용한다.
프로세스는 자신의 차례가 되면 정해진 시간만큼 CPU를 점유하고, 시간이 끝났음을 알리는 타이머 인터럽트가 발생하면 자신의 차례를 앙보하고 다음 차례가 올 때까지 기다린다.
프로세스 제어 블록(PCB): 프로세스와 관련된 정보를 저장하는 자료구조로, 해당 프로세스를 식별하기 위해 필요한 정보들이 저장된다.
운영체제는 프로세스들의 실행 순서를 관리하고, 프로세스에 자원을 배분할 때 PCB를 사용한다.
PCB 작업은 매우 빈번하게 발생하기 때문에 메모리에 저장한다.
PCB는 메모리의 커널 영역에 생성되어 운영체제로 하여금 프로세스를 식별하고, 처리하는데 필요한 정보를 제공한다.
PCB는 프로세스와 생명주기를 공유한다. 즉, 프로세스 생성 시에 만들어지고, 실행이 끝나면 폐기된다.
PCB에는 프로세스ID, 레지스터 값, 프로세스 상태, CPU스케줄링 정보, 메모리관리 정보, 사용한 파일과 입출력장치 목록에 대한 정보 등을 담고 있다.
레지스터 값은 프로세스가 CPU에서 처리되던 시점의 레지스터 상태를 나타낸다.
레지스터 값을 통해 CPU는 해당 프로세스가 중단되기 전까지 사용했던 레지스터의 상태를 복원하여 진행하던 작업을 이어서 실행할 수 있다.
프로세스가 언제, 어떤 순서로 CPU를 할당받을지에 대한 정보
운영체제가 CPU 스케줄링을 할 때 참조
프로세스 우선순위, CPU 점유 시간, 대기 시간 같은 정보들이 포함된다.
프로세스가 메모리에 저장된 주소를 알기 위한 페이지 테이블 정보
베이스 레지스터, 한계 레지스터 값과 같은 정보도 담긴다.
운영체제가 프로세스의 자원 관리와 프로세스 상태 복원을 위해 참조한다.
프로세스가 실행 중에 파일을 열거나 입출력 장치를 사용하고 있었을 경우, 해당 정보를 참조하여 이전 상태를 정확히 복원한다.
파일이나 입출력 장치 같은 공유 자원을 사용 중인지 알고 있어야 충돌을 방지할 수 있다.
프로세스가 종료되었다면 파일이나 입출력 장치의 할당을 해제하여 메모리 누수나 자원 낭비를 막을 수 있다.
문맥(Context): 하나의 프로세스 수행을 재개하기 위해 기억해야 할 정보 (PCB에 표현되어 있다)
문맥 교환(Context Switch): 기존 프로세스의 문맥을 백업하고, 새로운 프로세스를 실행하기 위해 문맥을 PCB로부터 복구하여 새로운 프로세스를 실행하는 것
문맥 교환이 자주 일어나면서 프로세스가 빠르게 번갈아가며 수행되기 때문에 프로세스들이 동시에 실행된는 것처럼 느껴진다.
주의) 문맥교환이 너무 자주 일어나면 오버헤드가 발생할 수도 있음
프로세스가 생성되면 메모리의 커널 영역에 PCB가 저장되고, 사용자 영역에 프로세스가 배치된다.
사용자 영역에 배치된 프로세스의 메모리 영역은 정적 할당 영역과 동적 할당 영역으로 나뉜다.
정적 할당 영역: 크기가 고정된 영역 - 코드 영역, 데이터 영역
동적 할당 영역: 크기가 변할 수 있는 영역 - 힙 영역, 스택 영역
텍스트 영역이라고도 부른다.
실행할 수 있는 코드, 즉 기계어가 저장된다.
CPU가 실행할 명령어가 담겨 있기 때문에 쓰기가 금지되어 있다.(read-only)
프로그래머가 직접 할당할 수 있는 저장 공간
힙 영역에 할당한 메모리는 언젠가는 반환해야 한다. 그렇지 않으면 할당한 공간이 메모리 내에 계속 남아 메모리 누수가 발생한다.
대표적으로 동적 배열, 클래스, 연결 리스트, 문자열 등
데이터를 일시적으로 저장하는 공간
데이터 영역에 담기는 값과는 달리 잠깐 쓰다가 말 값들이 저장된다. ex) 함수가 종료되면 pop
대표적으로 매개 변수, 지역 변수
운영체제는 여러 프로세스를 빠르게 번갈아 가며 실행시킨다. 그 과정에서 하나의 프로세스는 여러 상태를 거치며 실행된다.