[multithreading] “스레드 안전”이라는 용어의 의미는 무엇입니까?

더 유익한 질문은 코드가 스레드에 안전하지 않게 만드는 것입니다. 그리고 정답은 4 가지 조건이 있어야한다는 것입니다 … 다음 코드를 상상해보십시오 (그리고 기계 언어 번역).

totalRequests = totalRequests + 1
MOV EAX, [totalRequests]   // load memory for tot Requests into register
INC EAX                    // update register
MOV [totalRequests], EAX   // store updated value back to memory

1. 첫 번째 조건은 둘 이상의 스레드에서 액세스 할 수있는 메모리 위치가 있다는 것입니다. 일반적으로 이러한 위치는 전역 / 정적 변수이거나 전역 / 정적 변수에서 도달 할 수있는 힙 메모리입니다. 각 스레드는 함수 / 메소드 범위의 지역 변수에 대한 자체 스택 프레임을 가져 오므로 스택에있는 이러한 로컬 함수 / 메소드 변수 otoh는 해당 스택을 소유 한 하나의 스레드에서만 액세스 할 수 있습니다.
2. 두 번째 조건은 이러한 공유 메모리 위치와 연관된 특성 (종종 불변 이라고 함 )이 있으며 프로그램이 올바르게 작동하기 위해서는 true 또는 유효해야한다는 것입니다. 위의 예에서 속성은 ” totalRequests는 스레드가 증가 문의 일부를 실행 한 총 횟수를 정확하게 나타내야합니다 “. 일반적으로 업데이트가 올바르게 수행 되려면 업데이트가 발생하기 전에이 변하지 않는 특성이 true (이 경우 totalRequests가 정확한 수를 보유해야 함)를 보유해야합니다.
3. 세 번째 조건은 실제 업데이트의 일부 부분에서 고정 속성이 유지되지 않는 것입니다. (일부 처리 중에 일시적으로 유효하지 않거나 거짓입니다). 이 특정 경우, totalRequests가 페치 된 시간부터 갱신 된 값이 저장 될 때까지 totalRequests는 불변을 만족 시키지 않습니다 .
4. 레이스가 발생하고 코드 가 “스레드 안전”상태가 되지 않기 위해 발생해야하는 네 번째이자 마지막 조건 은 불변이 깨지는 동안 다른 스레드가 공유 메모리에 액세스 할 수 있어야 하므로 불일치 또는 잘못된 행동.

답변