📚 Reference

📜 Chapter

‣

Mutex, Semaphore, Critical Section

Race condition - JavaScript

Race condition

• Race condition
• 데이터 경쟁
• 경쟁 상태
• 두 개 이상의 프로세스가 공통 자원을 병행적으로(concurrently) 읽거나 쓰는 동작을 할 때, 공용 데이터에 대한 접근이 어떤 순서에 따라 이루어졌는지에 따라 그 실행 결과가 같지 않고 달라지는 상황을 말한다.
• Race의 뜻 그대로, 간단히 말하면 경쟁하는 상태, 즉 두 개의 스레드가 하나의 자원을 놓고 서로 사용하려고 경쟁하는 상황을 말한다.
• 경쟁 상태(race condition)는 여러 개의 프로세스나 스레드가 하나의 공유 자원에 동시에 접근하려고 할 때, 접근하는 순서에 따라 실행 결과가 달라지는 상황을 말한다.
• 마치 여러 명의 주자가 결승선을 향해 달리는 경주와 비슷하다고 해서 '경쟁' 상태라는 이름이 붙었다.

원리

• 경쟁 상태는 주로 다음과 같은 경우에 발생한다.

  • 공유 자원: 여러 프로세스나 스레드가 동시에 읽거나 쓸 수 있는 변수, 파일, 데이터베이스 등의 공유 자원이 있을 때.
  • 동시 접근: 두 개 이상의 프로세스나 스레드가 이 공유 자원에 동시에 접근하려고 할 때.
  • 비동기적 실행: 각 프로세스나 스레드가 독립적으로 실행되며, 정확히 어떤 순서로 공유 자원에 접근할지 예측할 수 없을 때.

• 예를 들어, 두 스레드(Thread A, Thread B)가 은행 계좌의 잔액(balance)을 100씩 증가시키는 작업을 한다고 가정해 보겠다.

  1. 현재 잔액은 500입니다.
  2. Thread A가 잔액을 읽습니다 (balance = 500).
  3. Thread B가 잔액을 읽습니다 (balance = 500).
  4. Thread A가 100을 더하고 결과를 씁니다 (balance = 600).
  5. Thread B가 100을 더하고 결과를 씁니다 (balance = 600).

• 두 스레드가 각각 100씩 더했으므로 최종 잔액은 700이 되어야 하지만, 결과는 600이 된다.

• 이는 Thread B가 잔액을 읽은 시점에 Thread A의 계산이 끝나기 전이었기 때문이다.