1. 임계 영역(Critical Section) 임계 영역이란 임계 자원을 프로그램에서 이용하는 데 있어 공유 메모리가 참조되는 프로그램의 부분으로 한순간에 하나의 프로세스만 사용할 수 있는 영역을 의미한다. 쉽게 말해 공유자원이 함께 있어 교착상태(dead lock)가 발생할 수 있는 영역을 뜻한다. 동시에 접근해 교착상태가 생기지 않도록 각 프로세스의 독점을 보장해 줘야 한다. 2. 소프트웨어적 해결 방법 Lock을 이용한 소프트웨어적 해결 방법에는 상호배제(뮤텍스), 제한된 대기, 진행 등이 있다. 상호배제는 한 프로세스가 임...

1. 임계 영역 임계 영역은 다수의 프로세스 또는 스레드가 동시에 액세스할 때 데이터 일관성을 유지하거나 원하는 결과를 얻기 위해 반드시 한 번에 하나의 프로세스 또는 스레드만이 액세스해야 하는 코드의 부분을 말한다. 데이터를 일관성 있게 유지하는 것이 중요한 이유는, 임계 영역에서 발생할 수 있는 경쟁 상태(Race Condition)와 같은 문제 때문이다. 따라서, 임계 영역에서 데이터 접근을 제어하고 동기화하는 것이 필요하다. 2. 경쟁 상태 (Race Condition) 경쟁 상태는 두 개 이상의 프로세스나 스레드가 공유 데...

1. 임계영역의 개념과 문제점 임계영역은 여러 프로세스나 스레드가 동시에 접근할 경우 데이터의 무결성과 일관성을 해칠 수 있는 공유 자원을 포함하는 코드 영역을 말한다. 이러한 임계영역 문제에는 경쟁 조건, 데드락, 스타베이션, 일관성 유지 문제 등이 포함된다. 2. 뮤텍스를 이용한 임계영역 해결 뮤텍스는 락(Lock)과 언락(Unlock) 연산을 제공하여 상호배제를 구현할 수 있는 방법이다. 뮤텍스를 사용하면 경쟁 조건 문제를 해결할 수 있지만, 데드락이나 스타베이션 문제가 발생할 수 있어 주의가 필요하다. 3. 세마포어를 이용한...

1. Test-and-Set Test-and-Set은 동기화 하드웨어로 상호배제를 해결하는 명령어 개념입니다. 공유 변수를 수정하는 동안 인터럽트 발생을 억제하여 임계 영역 문제를 간단하게 해결할 수 있지만, 실행 효율이 현저히 떨어지고 스레드 간 Lock 경쟁이 발생할 수 있습니다. 이를 해결하기 위해 검사와 수정을 원자적으로 수행하여 임계 영역을 해결하는 방식으로 도입되었습니다. 2. 세마포 세마포는 신호기, 깃발이라는 뜻으로 각 프로세스에 제어 신호를 전달해 순서대로 수행하도록 합니다. P와 V 연산을 통해 동기화를 유지하고 ...