[여채현] 3장 운영체제

[jungmyung16]

댓글로 면접 질문을 남겨주세요

[jungmyung16]

Critical Section(임계영역)에 대해 설명해주세요.

[1000hyehyang]

임계영역은 여러 개의 프로세스나 스레드가 동시에 공유 자원에 접근할 때, 데이터의 일관성과 무결성을 보장하기 위해 한 시점에 하나의 프로세스만 진입할 수 있도록 제한하는 코드 영역을 의미합니다.

[songcw8]

메모리 계층에 대해서 설명해주세요

[jungmyung16]

SSD와 HDD는 보조 기억 장치로서 어떤 차이가 있으며, 각각 어떤 경우에 더 적합한가요?

[songcw8]

캐시에서 L1,L2 에 대해서 설명해주셨는데 L1, L2의 위치와 데이터가 들어왔을 때 흐름을 간단하게 설명해주세요

[1000hyehyang]

메모리는 컴퓨터 시스템에서 속도와 저장 용량에 따라 여러 계층으로 구성되어 있으며, 주로 레지스터, 캐시, 주기억장치(RAM), 보조기억장치로 나눌 수 있습니다.
가장 상위에 있는 레지스터는 CPU 내부에 위치한 아주 작은 용량의 휘발성 메모리로, 접근 속도가 가장 빠릅니다. 연산에 직접적으로 사용되며, 용량은 극히 제한적입니다.
그 다음은 캐시 메모리로, 역시 휘발성이며 CPU와 주기억장치 사이에서 자주 사용하는 데이터를 임시로 저장함으로써 전체 시스템 속도를 높이는 역할을 합니다. 캐시도 속도가 매우 빠르지만 레지스터보다는 느리고, 용량은 여전히 제한적입니다.
주기억장치, RAM는 일반적으로 우리가 ‘메모리’라고 부르는 부분으로, 휘발성이며 프로그램 실행 중 데이터를 일시적으로 저장합니다. 속도는 캐시보다는 느리지만 용량은 더 큽니다.
가장 하위 계층에 있는 보조기억장치는 데이터를 영구적으로 저장할 수 있는 비휘발성 메모리이며, 속도는 가장 느리지만 저장 용량은 가장 큽니다.

[1000hyehyang]

SSD Solid State Drive는 반도체 기반 저장장치로, 속도가 빠르고 충격에 강하며 소음이 없습니다. 반면 Hard Disk Drive HDD는 기계식 디스크 기반으로, 저렴한 가격에 대용량 저장이 가능하지만 속도는 느리고 충격에 약합니다.
SSD는 운영체제, 자주 사용하는 프로그램 실행처럼 빠른 접근이 필요한 경우에 적합하고, HDD는 백업용이나 대용량 데이터 저장처럼 속도보다 용량과 비용이 중요한 경우에 적합합니다.

[1000hyehyang]

L1 캐시는 CPU 코어 내부에 위치하며, 속도가 가장 빠르고 용량은 작습니다. L2 캐시는 L1보다 크지만 상대적으로 느리며, 보통 코어별로 따로 존재하거나 공유 구조로 CPU 내부에 있습니다.

데이터가 요청되면 먼저 L1 캐시에서 검색하고, 없으면 L2 캐시를 확인, 그래도 없으면 **주기억장치(RAM)**에서 가져옵니다. 이후 가져온 데이터는 L2 → L1 순으로 저장되어 다음 접근 시 더 빠르게 처리할 수 있게 됩니다.

[TaeHoon96]

운영체제에서 사용하는 CPU 스케줄링 알고리즘 중 하나를 선택해 설명해주시고, 어떤 상황에서 적절한지도 설명해주세요.

[TaeHoon96]

멀티태스킹 시스템에서 스케줄링 알고리즘 선택에 따라 사용자 체감 성능에 어떤 차이가 생길 수 있을까요?

[1000hyehyang]

운영체제에서 사용하는 CPU 스케줄링 알고리즘 중 하나로 라운드 로빈이 있습니다.

라운드 로빈은 시분할 시스템에서 가장 널리 사용되는 선점형 스케줄링 알고리즘입니다. 이 방식은 모든 프로세스에게 동일한 시간 할당량을 부여하고, 그 시간이 지나면 다음 프로세스로 CPU를 강제로 넘깁니다. 각 프로세스는 준비 큐에서 순차적으로 돌아가며 실행되기 때문에 ‘라운드 로빈’이라는 이름이 붙었습니다.

예를 들어, 타임 퀀텀이 100ms일 때 각 프로세스는 100ms 동안 CPU를 사용하고, 그 시간이 지나면 선점되어 준비 큐의 가장 뒤로 이동하게 됩니다. 이를 반복하면서 모든 프로세스가 공평하게 CPU를 사용할 수 있게 됩니다.

이 알고리즘은 특히 응답 시간이 중요한 UI 상호작용이나 웹서버에서 적합합니다. 사용자 요청에 빠르게 반응해야 하는 환경에서는 특정 프로세스가 너무 오랫동안 CPU를 점유하지 않도록 하는 것이 중요한데, 라운드 로빈은 이를 자연스럽게 보장해줍니다.

다만, 타임 퀀텀이 너무 작으면 문맥 전환이 너무 잦아져서 오버헤드가 커지고, 너무 크면 비선점형 스케줄링처럼 동작해 응답성이 떨어질 수 있습니다. 따라서 시스템의 특성과 요구 사항에 맞는 적절한 타임 퀀텀 설정이 중요합니다.

결론적으로, 라운드 로빈 알고리즘은 공정성과 응답 시간 보장이 필요한 환경에서 효과적인 스케줄링 방식입니다.

[1000hyehyang]

아까 말씀드렸듯이 라운드로빈은 인터랙티브한 작업에서 빠른 응답을 제공하지만, CPU 사용량이 많은 작업에는 오버헤드가 발생할 수 있습니다. 반면, SJF(Shortest Job First)는 전체 처리량을 높이지만 긴 작업은 기아 상태에 빠질 수 있습니다.

[nan0silver]

프로세스가 실행되는 동안 어떤 상태 변화(생성-준비-실행 등)를 겪나요?

[nan0silver]

실행(Running) 중인 프로세스가 다시 Ready 상태로 전환되는 경우는 어떤 경우인가요?

[1000hyehyang]

처음에는 생성 상태로, 운영체제가 프로세스를 만들고 필요한 메모리 및 자원을 할당하는 단계입니다. 생성이 완료되면 프로세스는 준비(Ready) 상태로 전이되며, 이때는 실행될 준비가 완료된 상태로 CPU를 할당받기를 기다립니다.

스케줄러가 해당 프로세스를 선택하면, 프로세스는 실행 상태로 전환되어 실제로 CPU에서 명령어를 수행하게 됩니다. 하지만 실행 도중 입출력 작업과 같은 이벤트가 발생하면, 프로세스는 대기 상태로 바뀝니다. 이 상태에서는 외부 자원을 기다리며 CPU를 사용할 수 없게 됩니다.

입출력이 끝나거나 대기 조건이 해소되면 프로세스는 다시 준비 상태로 돌아가고, 이후 다시 CPU를 할당받으면 실행 상태로 전환됩니다. 마지막으로, 모든 작업이 끝나거나 오류가 발생하면 프로세스는 종료 상태로 전이되며, 운영체제는 관련 자원을 회수하고 프로세스를 완전히 제거합니다.

[1000hyehyang]

실행 중인 프로세스가 Ready 상태로 전환되는 경우는 시간 할당량(Time Quantum)을 초과했을 때입니다. 이는 계속 말씀드리는 라운드로빈같은 선점형(Preemptive) 스케줄링 시스템에서 발생합니다. 이때 운영체제는 해당 프로세스를 강제로 중단시키고 Ready 큐로 이동시켜, 다른 프로세스에게 CPU를 할당합니다.