임계 영역 (Critical Section)

운영체제에서 임계 영역(Critical Section)은 여러 프로세스 또는 스레드가 공유하는 자원에 접근하는 코드 영역을 말한다.
이는 병렬 컴퓨팅 환경에서 중요한 개념으로, 데이터의 일관성과 무결성을 보장하기 위해 사용된다.

여러 프로세스가 동시에 임계 영역에 진입하면 데이터의 일관성이 깨질 수 있다.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10

# 임계 영역 예시
balance = 1000  # 공유 자원

def withdraw(amount):
    global balance
    # 임계 영역 시작
    temp = balance
    temp = temp - amount
    balance = temp
    # 임계 영역 종료

임계 영역 문제의 해결 조건

  1. 상호 배제(Mutual Exclusion): 한 프로세스가 임계 영역에 있을 때 다른 프로세스는 진입할 수 없다.
  2. 진행(Progress): 임계 영역에 있는 프로세스가 없다면, 진입하려는 프로세스가 들어갈 수 있어야 한다.
  3. 한정된 대기(Bounded Waiting): 프로세스의 임계 영역 진입은 무한정 연기되어서는 안 된다.

임계 영역 관련 문제와 해결 방법

구분데드락(Deadlock)경쟁 상태(Race Condition)기아 상태(Starvation)라이브락(Livelock)
정의두 개 이상의 프로세스가 서로의 자원을 기다리며 영구적으로 블록된 상태여러 프로세스가 공유 자원에 동시 접근할 때 실행 순서에 따라 결과가 달라지는 상태특정 프로세스가 필요한 자원을 계속 할당받지 못하는 상태프로세스들이 서로에게 응답하며 상태는 변하지만 실제 진행은 없는 상태
발생 원인상호 배제, 점유와 대기, 비선점, 순환 대기 조건이 동시 충족공유 자원에 대한 동시 접근, 원자성 결여부적절한 자원 할당 정책, 우선순위 역전 현상프로세스들의 과도한 양보, 재귀적 회피 동작
결과시스템 전체 또는 일부 프로세스의 완전한 정지데이터 불일치, 예측 불가능한 결과특정 프로세스의 실행 지연 또는 무한 대기CPU 자원 소비, 실제 작업 진행 없음
특징프로세스들이 움직이지 않고 완전히 멈춤타이밍에 따라 결과가 비결정적자원 할당의 불공정성프로세스들이 활발히 상태 변경
해결 방법프로세스 강제 종료, 자원 선점, 데드락 발생 조건 제거동기화 메커니즘 사용(뮤텍스, 세마포어 등)에이징(Aging) 기법 도입, 공정한 스케줄링무작위 대기 시간 도입, 우선순위 조정
예방 기법자원 할당 그래프 사용, 자원 순서화, 타임아웃 설정임계 영역 설정, 원자적 연산 사용자원 예약 시스템, 우선순위 조정 메커니즘타임아웃 설정, 재시도 횟수 제한
탐지 방법자원 할당 그래프 분석, 대기 사이클 검출데이터 일관성 검사, 로그 분석자원 할당 통계 모니터링CPU 사용률 분석, 진행률 모니터링
영향 범위전체 시스템 또는 관련 프로세스 그룹공유 자원을 사용하는 프로세스들특정 프로세스 또는 프로세스 그룹상호 작용하는 프로세스 그룹
복구 방법프로세스 재시작, 시스템 재부팅트랜잭션 롤백, 상태 복원우선순위 재조정, 자원 재할당프로세스 재시작 또는 동작 패턴 변경
모니터링 방법시스템 자원 모니터링, 프로세스 상태 감시로그 분석, 데이터 정합성 검사자원 할당 히스토리 분석CPU 사용률 추적, 진행 상태 모니터링

해결 방법

  1. 상호 배제(Mutual Exclusion) 구현:

    • 뮤텍스(Mutex): 하나의 공유 자원에 대한 접근을 제어한다.
    • 세마포어(Semaphore): 여러 개의 공유 자원에 대한 접근을 제어한다.

  2. 동기화 기법:

    • 피터슨 알고리즘(Peterson’s Algorithm): 두 프로세스 간의 상호 배제를 소프트웨어적으로 구현한다.
    • 베이커리 알고리즘(Bakery Algorithm): 여러 프로세스 간의 상호 배제를 구현한다.

  3. 하드웨어 지원:

    • 테스트와 설정(Test-and-Set) 명령어: 원자적 연산을 통해 상호 배제를 구현한다.
    • 비교와 교환(Compare-and-Swap) 명령어: 더 정교한 동기화 제어를 가능하게 한다.

  4. 운영체제 수준의 지원:

    • 모니터(Monitor): 고수준의 동기화 메커니즘으로, 상호 배제를 자동으로 보장한다.
    • 조건 변수(Condition Variables): 프로세스 간 통신과 동기화를 위해 사용된다.

  5. 프로그래밍 언어 수준의 지원:

    • 동기화 키워드(예: Java의 synchronized): 임계 영역에 대한 접근을 언어 차원에서 제어한다.

  6. 락-프리(Lock-Free) 및 대기-프리(Wait-Free) 알고리즘:

    • 락을 사용하지 않고도 동시성을 관리하는 고급 기법.
해결 방법들을 적용할 때 고려해야 할 중요한 원칙
  • 상호 배제(Mutual Exclusion)
    • 한 번에 하나의 프로세스만 임계 영역에 진입할 수 있도록 보장
    • 적절한 동기화 메커니즘 사용
  • 진행(Progress)
    • 임계 영역에 있는 프로세스가 없다면 진입을 원하는 프로세스가 진입할 수 있어야 함
    • 기아 상태 방지
  • 한정 대기(Bounded Waiting)
    • 프로세스의 임계 영역 진입 요청 후 무한정 대기하지 않도록 보장
    • 공정성 확보
  • 원자성(Atomicity)
    • 임계 영역의 연산은 중단되지 않고 완전히 수행되어야 함
    • 트랜잭션 관리

임계 영역 최적화 기법

임계 영역 최소화

임계 영역을 가능한 한 작게 유지하는 것이 중요하다.
이를 통해 동기화로 인한 오버헤드를 줄이고 병렬 처리 효율을 높일 수 있다.

  • 공유 데이터 접근 코드만 임계 영역으로 설정
  • 계산 로직은 임계 영역 밖으로 이동

세밀한 잠금 (Fine-grained Locking)

큰 임계 영역을 여러 개의 작은 임계 영역으로 나누는 기법.

  • 데이터 구조의 일부분만 잠그도록 설계
  • 동시성을 높이고 대기 시간을 줄임

락-프리 알고리즘 (Lock-free Algorithms)

락을 사용하지 않고 원자적 연산을 활용하여 동기화를 구현한다.

  • Compare-and-Swap (CAS) 등의 원자적 연산 사용
  • 데드락 위험 제거 및 성능 향상

읽기-쓰기 락 (Read-Write Locks)

읽기 작업과 쓰기 작업에 대해 서로 다른 락을 사용한다.

  • 다수의 읽기 작업 동시 허용
  • 쓰기 작업 시에만 배타적 접근

비동기 프로그래밍 (Asynchronous Programming)

비동기 프로그래밍 모델을 사용하여 임계 영역 접근을 최소화한다.

  • 이벤트 기반 프로그래밍
  • 콜백 또는 Promise 패턴 활용

락 결합 (Lock Coalescing)

여러 개의 연속된 락 획득과 해제를 하나로 합치는 기법.

  • 락 획득/해제 횟수 감소
  • 오버헤드 감소 및 성능 향상

락 계층화 (Lock Hierarchies)

락을 계층적으로 구성하여 데드락을 방지하고 성능을 개선한다.

  • 락 획득 순서 강제
  • 복잡한 동기화 시나리오에서 유용

참고 및 출처