waiting [i] = false를 건너 뛰면 어떻게됩니까? 다음 코드 조각에서?

Question

아래 코드는 중요한 섹션 문제를 해결하기 위해 작성되었습니다. 중요 섹션에서 공통 데이터 구조를 수정하는 N 개의 프로세스가 있다는 것을 감안할 때. 여기

boolean waiting[n]; 
boolean lock; 

하드웨어 지원에 의한 실행에 원자 추정되는 검사와 지정() 함수이다 :

이 사용 된 데이터 구조이다.

boolean TestAndSet(boolean *target) 
{ 
    boolean rv = *target; 
    *target = TRUE; 
    return rv; 
} 

// 다음 코드는 상호 배제를 보장

do { 
    waiting[i] = TRUE; 
    key = TRUE; 

    while (waiting[i] && key) 
     key = TestAndSet(&lock); 

    waiting[i] = FALSE; //what if I skip this?? 

    // critical section 

    j = (i + 1) % n ; 
    while((j != i) && ! waiting[j]) 
    { 
     j = (j + 1) % n ; 
    } 
    if (j == i) 
     lock = FALSE; 
    else 
     waiting[j] = FALSE; 

    //remainder section 

    }while (TRUE); 

Answer 1

첫 번째 줄 이후 정말로 들여 쓰기가 필요합니다.

"임계 영역"아래의 항목은 액세스를 기다리는 다음 작업의 잠금을 해제하거나 아무도 기다리지 않으면 잠금을 해제합니다.

대기 플래그를 지우지 않으면 이미 잠겨 있던 다른 작업 (아마도 보호 메모리에 대한 액세스와 관련하여 동일한 코드가 실행 중일 것임)이 아직 대기 중이며 대기 플래그를 지울 것으로 생각됩니다 (루프에 앉아 있다고 가정하고, 대기 플래그가 참인 유일한 위치 인 TestAndSet을 확인하십시오). 잠금 플래그를 설정하면 잠금이 전달되기 때문에 잠금 플래그가 설정된 상태로 유지됩니다. 그러나 값을 false로 설정하지 않고 코드가 실제로 그 지점에서 계속 움직 였다면 대기 플래그를 True로 설정하지 않고 TestAndSet으로 돌아갈 수 없으며 잠금도 true로 유지되므로이 작업을 수행 할 수 없습니다 실행 중이며 다른 작업이 실행 중이 지 않습니다. 줄의 다음 작업에 계속 진행 (또는 잠금이 false로 설정되지 않음)이 주어지지 않았기 때문에 전체 시스템이 거칠어지기 때문입니다.

Answer 2

당신은 여전히 ​​락의 취득을 대기하는 것을 의미하는 것 '... = FALSE'라인을 건너 뛸 경우 (임계 영역) 첫 번째 while 루프 (특정 i)에서 두 번째 while 루프에서 "라운드 로빈 (round robin)"액세스의 중요 영역을 중단합니다.

Answer 3

해당 줄을 제거하면 모든 것이 손상 될 수 있습니다. 바로 위의 두 줄은 waiting[i]이 거짓이되거나 key이 거짓 (또는 둘 다 "동시에")이되는 두 조건 중 하나에서 종료 될 수있는 while 루프입니다. key이 거짓이어서 루프가 종료되면 waiting[i]이 여전히 사실 일 수 있으므로 잠금을 유지하고 동시에 잠금을 기다리고있는 것으로 생각되는 상황이 발생하여 후속 while의 전제 조건을 위반했을 가능성이 높습니다 루프 ...

Answer 4

나는 그것을 얻었습니다. 전체 혼동은 전체 코드를 감싸는 do() 루프에 의해 만들어집니다. 이러한 프로세스를 나타내는 몇 가지 기능을 같이한다면

function(int i) 
{ 
    waiting[i] = TRUE; 
    key = TRUE; 

    while (waiting[i] && key) 
    key = TestAndSet(&lock); 

    waiting[i] = FALSE; //what if I skip this?? 

    // critical section 

    j = (i + 1) % n ; 

    while((j != i) && ! waiting[j]) 
    { 
    j = (j + 1) % n ; 
    } 

    if (j == i) 
    lock = FALSE; 
    else 
    waiting[j] = FALSE; 

    //remainder section 
} 

함수는 I = 3이라고 말할 수 등이 대신에, 동안() 일을 (예를 들어 프로세스 I3. N에 대한 = 5). 그리고이 프로세스는 다시 실행되지 않습니다. wait [3] = false로 설정하면 교착 상태가됩니다. 프로세스 i4는 프로세스 i3이 실행되기를 원한다고 생각할 수 있으므로 대기 [3] = false로 설정하고 잠금을 해제하지 않음으로써 끝날 것입니다.