운영체제 용어 사전

유저 프로그램이 커널에 일을 부탁하는 통로. 모드 전환 비용 때문에 호출 횟수 자체가 성능이 된다.

CPU의 실행 권한 수준. 하드웨어를 직접 만지는 명령은 커널 모드에서만 허용된다.

실행 중인 프로그램과 그에 딸린 자원의 묶음. 각자 독립된 가상 주소 공간을 갖는다.

같은 주소 공간을 공유하는 실행 흐름. 전환이 싸지만 공유하기 때문에 동기화가 필요하다.

CPU가 실행 대상을 바꾸며 상태를 저장·복원하는 것. 직접 비용보다 캐시가 식는 간접 비용이 크다.

프로세스를 복제하고 다른 프로그램으로 덮어쓰는 두 시스템 콜. 유닉스 프로세스 생성 모델.

누가 스레드를 스케줄하는지에 따른 구분. 1:1·N:1·M:N 모델이 있다.

누구에게 CPU를 줄지 정하는 것. 응답성과 처리량 사이의 균형을 어떻게 잡느냐의 문제다.

리눅스의 기본 스케줄러. 가상 실행 시간이 가장 적은 태스크를 고른다.

임계 구역을 보호하는 자물쇠들. 대기 방식과 개수 제한에서 서로 갈린다.

서로가 쥔 자원을 기다려 아무도 진행하지 못하는 상태. 네 조건이 모두 성립할 때만 생긴다.

정해진 개수만큼 동시 접근을 허용하는 동기화 도구. 뮤텍스와 소유권 개념이 다르다.

낮은 우선순위 스레드가 락을 쥐어 높은 우선순위 스레드가 밀리는 현상.

명령 재정렬을 막아 다른 코어가 변경을 보게 만드는 장치. 원자성과는 다른 문제다.

메모리를 고정 크기 조각으로 나눠 관리하는 방식. 가상 주소를 물리 주소로 바꾸는 표가 페이지 테이블이다.

주소 변환 결과를 캐싱하는 하드웨어. 없으면 메모리 접근마다 페이지 테이블을 여러 번 읽어야 한다.

접근한 페이지가 물리 메모리에 없을 때 발생하는 예외. 디스크를 읽는 major가 진짜 비용이다.

메모리가 부족할 때 어떤 페이지를 내보낼지 고르는 것. 잘못 고르면 스래싱에 빠진다.

복사를 실제로 쓸 때까지 미루는 기법. fork가 빠른 이유이자 메모리를 아끼는 핵심 장치다.

페이지 폴트가 지나치게 잦아 실제 작업보다 페이징에 시간을 더 쓰는 상태.

쓸 수 없는 빈틈이 생기는 현상. 할당 단위 안에 남으면 내부, 사이에 남으면 외부.

파일의 메타데이터와 데이터 위치를 담은 구조체. 파일 이름은 여기에 없고 디렉터리에 있다.

변경을 먼저 로그에 적고 실제 반영하는 기법. 갑작스러운 전원 차단에서 일관성을 지킨다.

CPU를 거치지 않고 장치가 메모리에 직접 전송하는 방식. 인터럽트와 짝을 이뤄 CPU를 해방한다.

장치가 준비되면 CPU에 알리는 방식. 폴링과 달리 기다리는 동안 다른 일을 할 수 있다.

커널을 공유하며 격리된 실행 환경. namespace가 보이는 것을, cgroup이 쓸 수 있는 양을 가른다.

하드웨어를 통째로 흉내 내 게스트 OS를 돌리는 방식. 컨테이너보다 격리가 강하고 무겁다.