06.OS.md

백엔드 개발자 기술 인터뷰 | OS 단골 질문

---

• 1. 프로세스와 스레드의 차이에 대해 말해주세요.
  • 1-1. 스레드는 프로세스의 자원을 공유하는데 발생할 수 있는 문제에 대해 말해주세요.
  • 1-2. 멀티스레드 환경에서 데이터를 안전하게 다룰 수 있는 방법에 대해 말해주세요.
• 2. 멀티프로세스와 멀티스레드의 특징에 대해 말해주세요.
  • 2-1. 멀티스레드의 동기화 문제를 해결하는 방법에 대해 말해주세요.
  • 2-2. 멀티프로세스보다 멀티스레드가 더 효율적인 경우에 대해 말해주세요.
• 3. 멀티스레드의 동시성과 병렬성에 대해 말해주세요.
  • 3-1. 멀티스레딩 환경에서 병렬성보다 동시성이 유리한 경우에 대해 말해주세요.
  • 3-2. 동시성과 병렬성을 최적화하기 위한 방법에 대해 말해주세요.
• 4. 멀티스레드 환경에서 주의해야 할 점에 대해 말해주세요.
  • 4-1. 데드락을 방지하는 방법에 대해 말해주세요.
  • 4-2. 뮤텍스와 세마포어의 차이점에 대해 말해주세요.
• 5. 컨텍스트 스위칭에 대해 말해주세요.
  • 5-1. 컨텍스트 스위칭을 줄이는 방법에 대해 말해주세요.
  • 5-2. 멀티스레드에서 문맥 전환을 최소화하는 전략에 대해 말해주세요.
• 6. 페이지 교체 알고리즘에 대해 말해주세요.
  • 6-1. LRU와 LFU의 차이점에 대해 말해주세요.
  • 6-2. OPT 알고리즘은 왜 현실적으로 구현이 불가능한지에 대해 말해주세요.
• 7. 동기와 비동기에 대해 말해주세요.
  • 7-1. 비동기 프로그래밍의 장점에 대해 말해주세요.
• 8. 선점형 스케줄링과 비선점형 스케줄링의 차이점에 대해 말해주세요.
  • 8-1. 대표적인 선점형과 비선점형 스케줄링의 알고리즘에 대해 말해주세요.

프로세스와 스레드의 차이

프로세스와 스레드의 차이에 대해 말해주세요.

• 프로세스(Process)는 실행 중인 프로그램으로, 독립된 메모리 공간(Code, Data, Heap, Stack)을 가진다.

• 스레드(Thread)는 프로세스 내에서 실행되는 작업의 단위이다.

  • Stack만 개별적으로 할당받고, Code, Data, Heap 영역을 공유한다.
  • 같은 프로세스 내에서는 스레드 간 데이터 공유가 가능하다.

⁉️ 스레드는 프로세스의 자원을 공유하는데 발생할 수 있는 문제에 대해 말해주세요.

• 스레드는 같은 프로세스 내에서 메모리(Code, Data, Heap)를 공유하기 때문에 경쟁 상태(Race Condition) 문제가 발생할 수 있다.
• 경쟁 상태(Race Condition)는 여러 스레드가 동시에 공유 데이터에 접근하여 예상치 못한 결과가 발생하는 문제이다.

⁉️ 멀티스레드 환경에서 데이터를 안전하게 다룰 수 있는 방법에 대해 말해주세요.

• 뮤텍스(Mutex)는 한 번에 하나의 스레드만 공유 데이터에 접근하도록 제한한다. (상호 배제)
• 세마포어(Semaphore)는 동시 접근 가능한 스레드 수를 제한한다.

---

멀티프로세스와 멀티스레드의 특징

멀티프로세스와 멀티스레드의 특징에 대해 말해주세요.

• 멀티프로세스는 여러 개의 프로세스를 독립적으로 실행하는 방식이다.

  • 하나의 프로세스가 종료되어도 다른 프로세스에는 영향이 없다.
  • 단, 프로세스 간 데이터 공유가 어렵고, 문맥 전환 비용(Context Switching)이 크다.

• 멀티스레드는 하나의 프로세스 내부에서 여러 개의 스레드가 동시에 실행하는 방식이다.

  • 스레드 간 데이터 공유가 용이하지만, 동기화 문제가 발생할 가능성이 있다.

⁉️ 멀티스레드의 동기화 문제를 해결하는 방법에 대해 말해주세요.

• 락(Lock)을 사용하여 특정 자원에 대해 한 번에 하나의 스레드만 접근하도록 제한한다.
• 세마포어(Semaphore)를 사용하여 동시에 접근 가능한 스레드 수를 조정한다.

⁉️ 멀티프로세스보다 멀티스레드가 더 효율적인 경우에 대해 말해주세요.

• 같은 메모리를 공유해야 하는 경우로 웹 서버, 게임 엔진, 실시간 애플리케이션을 사용할 때 효율적이다.
• 문맥 전환 비용이 큰 경우로 멀티프로세스보다 멀티스레드는 문맥 전환(Context Switching) 비용이 적다.
• I/O 작업이 적고, 연산이 집중된 경우로 멀티스레드가 더 빠른 실행 속도를 가진다.

---

동시성과 병렬성

멀티스레드의 동시성과 병렬성에 대해 말해주세요.

• 동시성(Concurrency)은 싱글 코어에서 여러 개의 작업을 번갈아가며 실행하는, 논리적 동시 실행 방식이다.

  • 웹 서버가 여러 요청을 번갈아 처리한다.

• 병렬성(Parallelism)은 멀티 코어에서 여러 개의 작업을 물리적으로 동시에 실행하는 방식이다.

  • 데이터 분석 작업을 여러 코어에서 동시에 수행한다.

⁉️ 멀티스레딩 환경에서 병렬성보다 동시성이 유리한 경우에 대해 말해주세요.

• 싱글 코어 환경에서는 병렬성 대신 동시성을 사용해야 한다.
• I/O 작업이 많은 경우에는 동시성이 더 유리하다.
  • 예를 들어, 웹 서버의 경우로 클라이언트 요청을 순차적으로 처리하는 것보다 동시 실행이 더 효과적이다.

⁉️ 동시성과 병렬성을 최적화하기 위한 방법에 대해 말해주세요.

• 스레드 풀(Thread Pool)을 사용하여 불필요한 스레드 생성 및 삭제를 방지하여 성능을 최적화한다.
• 비동기 프로그래밍(Async Programming)을 적용하여 필요할 때만 작업을 수행하도록 한다.
• 작업을 적절히 분할하도록 연산을 여러 스레드로 나눠서 실행한다.

---

멀티스레드 환경에서 주의할 점

멀티스레드 환경에서 주의해야 할 점에 대해 말해주세요.

• 멀티스레드 환경에서 발생할 수 있는 문제점:

  • 경쟁 상태(Race Condition)로 여러 스레드가 동시에 공유 데이터에 접근하면 예상치 못한 결과가 발생할 수 있다.
  • 데드락(Deadlock) 상태로 두 개 이상의 스레드가 서로 자원을 점유한 상태에서 무한 대기할 수 있다.
  • 교착 상태(Starvation)로 특정 스레드가 계속해서 자원을 할당받지 못하고 대기하는 상태가 발생할 수 있다.

• 문제점 해결 방법:

  • 뮤텍스(Mutex)는 한 번에 하나의 스레드만 공유 자원에 접근 가능하도록 한다.
  • 세마포어(Semaphore)는 동시에 접근 가능한 스레드 개수를 제한한다.
  • 스핀락(Spinlock)은 바쁜 대기 방식으로 CPU 사용률을 최적화한다.

⁉️ 데드락을 방지하는 방법에 대해 말해주세요.

• 데드락 발생 조건 (Coffman's 조건): 아래 4가지 조건이 동시에 만족하면 데드락(Deadlock)이 발생한다.

  • 상호 배제(Mutual Exclusion)는 자원을 한 번에 하나의 프로세스만 사용 가능하도록 하는 상태이다.
  • 점유 대기(Hold and wait)는 자원을 점유한 상태에서 추가 자원을 기다리는 상태이다.
  • 비선점(No Preemption)은 다른 프로세스가 점유한 자원을 강제로 빼앗을 수 없는 상태이다.
  • 순환 대기(Circular Wait)는 프로세스들이 원형으로 자원을 대기하는 구조이다.

• 데드락 방지 방법:

  • 상호 배제 조건 제거(자원 공유)로 여러 개의 프로세스가 동시에 사용할 수 있도록 자원을 공유하면 데드락을 방지할 수 있다.
  • 점유 대기 조건 제거(자원 요청 전부 완료 후 실행)로 프로세스가 실행되기 전에 필요한 모든 자원을 한 번에 할당하여 점유 대기 상태를 만들지 않는다.
    • 하지만 자원의 활용률이 낮아지고, 요청하지 않을 자원까지 할당될 가능성이 있다.
  • 비선점 조건 제거(자원 회수)로 자원을 점유한 프로세스가 추가 자원을 요청하면 기존 자원을 반납하도록 한다.
    • 하지만 일부 프로세스가 자원을 얻지 못하고 계속 실행되지 않는 기아 상태가 발생할 가능성이 있다.
  • 순환 대기 조건 제거(자원 순서 지정)는 모든 자원에 고유한 우선순위(번호)를 부여하여 순서대로만 요청할 수 있도록 한다.
  • 은행가 알고리즘으로 데드락 회피 기법 중 하나로, 자원의 할당을 신중하게 관리하여 데드락을 방지하는 알고리즘이다.
    • 각 프로세스가 필요한 자원의 최대량을 선언하고, 안전 상태인 경우에만 자원을 할당한다.

⁉️ 뮤텍스와 세마포어의 차이점에 대해 말해주세요.

• 뮤텍스(Mutex)는 한 번에 하나의 스레드만 공유 자원에 접근할 수 있도록 하는 락(Lock) 기법이다.

• 세마포어(Semaphore)는 동시에 접근 가능한 스레드의 개수를 지정할 수 있는 기법이다.

• 뮤텍스는 값으로 0 또는 1을 사용하는 이진 세마포인 반면, 세마포어는 값으로 0 이상을 사용한다.

• 뮤텍스는 단일 스레드 접근을 제한하는 목적이지만, 세마포어는 여러 개의 스레드 동시 접근이 가능한 동기화가 목적이다.

• 뮤텍스는 락을 획득한 스레드만 해제 가능하지만, 세마포어는 소유권이 없어 다른 스레드도 해제가 가능하다.

---

컨텍스트 스위칭

컨텍스트 스위칭에 대해 말해주세요.

• CPU가 실행 중인 프로세스를 변경할 때, 기존 프로세스의 상태를 저장하고 새로운 프로세스의 상태를 복구하는 과정이다.

• 문맥 전환이 발생하면 CPU 캐시 초기화, 레지스터 변경, PCB(Process Control Block) 교체 등이 이루어진다.

• 컨텍스트 스위칭은 여러 작업이 이루어지므로 비용이 커서 오버헤드가 발생할 수 있다.

• 또한, 캐시 미스가 증가하여 성능 저하로 이어질 가능성이 있다.

⁉️ 컨텍스트 스위칭을 줄이는 방법에 대해 말해주세요.

• 멀티스레드 대신 스레드 풀(Thread Pool)을 사용하여 불필요한 스레드 생성 및 제거를 방지한다.
• 작업 단위를 크게 만들어서 너무 자주 문맥 전환이 일어나지 않도록 작업 크기를 조정한다.
• 동기화를 최소화하여 락을 적게 사용해서 문맥 전환 횟수를 줄인다.

⁉️ 멀티스레드에서 문맥 전환을 최소화하는 전략에 대해 말해주세요.

• 락을 최소한으로 사용하여 스레드 간 전환 비용을 감소시킨다.
• 스레드 바인딩을 적용하여 특정 코어에서 특정 스레드만 실행하도록 고정시킨다.

---

페이지 교체 알고리즘

페이지 교체 알고리즘에 대해 말해주세요.

• 페이지 부재 발생 시, 메모리에 적재할 새로운 페이지를 결정하는 알고리즘이다.

• 페이지 교체의 주요 알고리즘:

  • FIFO: 가장 먼저 들어온 페이지를 교체한다.
  • LRU: 가장 오래 사용되지 않은 페이지를 교체한다.
  • LFU: 참조 횟수가 가장 적은 페이지를 교체한다.
  • OPT(Optimal): 앞으로 가장 오랫동안 사용되지 않을 페이지를 교체한다.

⁉️ LRU와 LFU의 차이점에 대해 말해주세요.

• LRU(Least Recently Used)는 가장 오래 사용되지 않은 페이지를 교체한다.

  • 사용 기록을 기반으로 교체한다.

• LFU(Least Frequently Used)는 참조 횟수가 가장 적은 페이지를 교체한다.

  • 자주 사용된 페이지는 유지한다.

⁉️ OPT 알고리즘은 왜 현실적으로 구현이 불가능한지에 대해 말해주세요.

• OPT(Optimal Page Replacement)는 앞으로 가장 오랫동안 사용되지 않을 페이지를 교체하는 방식이다.
• 하지만 미래의 메모리 접근 패턴을 예측할 수 없기 때문에 실제 운영체제에서는 구현할 수 없다.

---

동기와 비동기

동기와 비동기에 대해 말해주세요.

• 동기(Synchronous)는 작업이 완료될 때까지 대기한다.

  • 데이터베이스, 트랜잭션, 파일 I/O 등으로 활용할 수 있다.

• 비동기(Asynchronous)는 작업을 요청하고 즉시 다음 작업을 실행한다.

  • 네트워크 요청, UI 이벤트 등으로 활용할 수 있다.

⁉️ 비동기 프로그래밍의 장점에 대해 말해주세요.

• CPU 사용 최적화로 하나의 작업이 완료될 때까지 대기하지 않고 다음 작업 실행이 가능하다.
• I/O 작업이 많은 웹 서버, 파일 처리, 네트워크 요청 등에서 효과적이다.

---

선점형과 비선점형 스케줄링

선점형 스케줄링과 비선점형 스케줄링의 차이점에 대해 말해주세요.

• CPU 스케줄링은 여러 프로세스가 실행될 때 어떤 프로세스에게 CPU를 할당할지 경정하는 알고리즘이다.

• 선점형 스케줄링 (Preemptive Scheduling): 현재 실행 중인 프로세스가 다른 프로세스에 의해 CPU 사용이 중단될 수 있는 방식이다.

  • CPU를 더 높은 우선순위를 가진 프로세스에게 할당이 가능하다.
  • 즉시 우선순위 높은 프로세스를 실행하므로 응답 속도가 빠르다.

• 비선점형 스케줄링 (Non-Preemptive Scheduling): 한 프로세스가 CPU를 할당받으면 끝날 때까지 유지된다.

  • CPU를 다른 프로세스가 강제로 빼앗을 수 없다.
  • 긴 프로세스가 먼저 실행되면 대기하므로 응답 속도가 느리다.

⁉️ 대표적인 선점형과 비선점형 스케줄링의 알고리즘에 대해 말해주세요.

• 대표적인 선점형 스케줄링은 RR(Round Robin), SRTF(Shortest Remaining Time First)가 존재한다.
• 대표적인 비선점형 스케줄링은 FCFS(First Come First Served), SJF(Shortest Job First)가 존재한다.

---