[5. 병행제어1] Synchronization hardware의 Test_and_Set 함수

[Yunhee000]

Test_and_Set 코드

bool Test_and_Set(bool target) {
  bool rv = target;
  target = true;
  return rv;
}

• target을 true로 바꾸고 기존 값을 반환받는 함수
• Test_and_Set 함수 반환 값이 true면 이미 다른 프로세스가 critical section을 점유했다는 뜻
• Test_and_Set의 반환 값이 false로 다른 프로세스가 점유하고 있지 않다면 critical section 안에 들어갈 수 있음
  

Synchronization Hardware

하드웨어적으로 test & modify를 atomic하게 수행할 수 있도록 지원 -> 데이터를 읽어가는 것과 저장하는 것 모두 한꺼번에 수행

do {
    while (Test_and_Set(lock));
    critical section
    lock = false;
    remainder section
} whlie (1);

=> lock이 false이면 아무도 critical section에 들어가지 않음