Delphi는 단순한 유형의 스레드로부터 안전합니까?

Question

나는 두 개의 전역 변수 선언이 변수 만 메인 쓰레드로 작성

var 
    gIsRunning: Boolean = False; 
    gLogCounter: Integer = 0; 

, 그리고 다른 스레드에서 읽어 보시기 바랍니다. 이 경우 이러한 변수는 스레드로부터 안전합니까?

Answer 1

아마도 원자 변수에 대해 말할 것입니다. 정수 및 부울 변수는 원자 적입니다. 부울 (바이트)은 항상 원자이며, 정수 (32 비트)는 컴파일러가 올바르게 정렬하기 때문에 원자입니다.

원자성이란 읽기 또는 쓰기 작업이 전체적으로 수행됨을 의미합니다. 스레드 A가 동일한 데이터의 원자 쓰기 및 스레드 B 원자 읽기를 동시에 실행하면 스레드 B가 읽는 데이터는 항상 일관 적입니다. 스레드 B가 읽는 비트는 현재 쓰기 작업에서 얻은 것이 불가능하며 이전 쓰레드의 일부 비트 (스레드 A)

원자 단위는 스레드 안전성을 의미하지 않습니다. 원자 변수를 사용하여 안전하지 않은 코드를 쉽게 작성할 수 있습니다. 변수 자체는 스레드 세이프가 될 수 없습니다. 전체 코드는 스레드 세이프 일 수 있습니다 (또는 아닐 수도 있습니다).

Answer 2

아니 그들이, 당신은 예를 들어 중요한 섹션을 사용하여 이러한 변수에 액세스해야합니다, 스레드 안전있는만큼이 할 수있는 하나 개의 스레드가있는 한 InitializeCriticalSection, EnterCriticalSection 및 LeaveCriticalSection 기능을

//declaration of your global variables 
var 
    MyCriticalSection: TRTLCriticalSection; 
    gIsRunning: Boolean; 
    gLogCounter: Integer; 

//before the threads starts 
InitializeCriticalSection(MyCriticalSection); 

//Now in your thread 
    EnterCriticalSection(MyCriticalSection); 
//Here you can make changes to your variables. 
    gIsRunning:=True; 
    inc(gLogCounter); 
//End of protected block 
LeaveCriticalSection(MyCriticalSection); 

Answer 3

를 사용하지 않는 그들에게 글을 쓰고 그렇다면 쓰레드에 안전합니다. 스레드 안전성의 실제 문제는 두 개의 스레드가 동시에 값을 수정하려고 시도하는 것이므로 여기에는 해당 스레드가 없습니다.

레코드 나 배열과 같이 크기가 큰 경우 하나의 스레드가 값을 쓰고, 중간에 빠져 나가고, 컨텍스트 전환이 발생하고 다른 스레드가 부분적 (따라서 손상된) 데이터를 읽는 데 문제가있을 수 있습니다. 그러나 개별 부울 (1 바이트) 및 정수 (4 바이트) 값의 경우 컴파일러는 CPU가 이들에 대한 모든 읽기 및 쓰기가 원자 적이라는 것을 보장 할 수있는 방식으로 자동으로 정렬 할 수 있으므로 여기서 문제가되지 않습니다.

Answer 4

단순 유형은 메모리에서 단일 읽기 (또는 단일 쓰기로)로 읽을 수있는 한 "스레드 안전"입니다. CPU 메모리 버스 너비 또는 "정수"크기 (32 비트 대 64 비트 CPU)로 정의되어 있는지 확실하지 않습니다. 어쩌면 다른 사람이 그 부분을 분명히 할 수 있습니다.

저는 현재 읽기 크기가 적어도 32 비트임을 압니다. (인텔의 경우 286 일 전까지 한 번에 8 비트 밖에 없었습니다.)

이 점에 대해 알아야 할 것이 하나 있습니다. 한 번에 32 비트를 읽을 수는 있지만 모든 주소에서 읽기를 시작할 수는 없습니다. 32 비트 (또는 4 바이트)의 배수 여야합니다. 따라서 정수가 32 비트에 정렬되지 않은 경우 두 개의 연속 된 읽기에서 정수를 읽을 수 있습니다. 고맙게도 컴파일러는 모든 필드를 32 비트 (또는 64 비트)로 자동 정렬합니다.

그러나 예외적으로 압축 된 레코드는 정렬되지 않으므로 이러한 레코드의 정수는 스레드로부터 안전하지 않습니다.

크기 때문에 int64는 스레드로부터 안전하지 않습니다. 대부분의 부동 유형에 대해 동일한 내용을 전달할 수 있습니다. (단 하나를 제외하고 나는 믿는다).

이제 모든 것을 염두에두고 실제로 여러 스레드에서 전역 변수를 작성하고 여전히 "스레드로부터 안전"할 수있는 몇 가지 상황이 있습니다.예를 들어

, 여기

var 
    LastGoodValueTested : Integer 

procedure TestValue(aiValue : Integer); 
begin 
    if ValueGood(aiValue) then 
    LastGoodValue := aiValue 
end; 

, 당신은 여러 스레드에서 루틴 TestValue를 호출 할 수 있고 당신은 손상 LastGoodValueTested 변수하지 않을 것입니다. 변수에 쓰여지는 값은 아주, 마지막이 아닐 수도 있습니다. (스레드 컨텍스트 스위치가 ValueGood (aiValue)와 할당 사이에서 발생하는 경우). 따라서 필요에 따라 허용 될 수도 있고 허용되지 않을 수도 있습니다. 이제

, 여기

var  
    gLogCounter: Integer = 0; 

procedure Log(S : string); 
begin 
    gLogCounter := gLogCounter + 1; 
end; 

을 수행 할 수 있습니다 실제로 손상 카운터는 단항 연산 아니기 때문에. 먼저 변수를 읽습니다. 그런 다음 1을 더하십시오. 그런 다음 다시 저장하십시오. 스레드 컨텍스트 전환은 이러한 작업 중에 발생할 수 있습니다. 따라서 동기화가 필요한 경우입니다. 이 경우

, 그것은

procedure Log(S : string); 
begin 
    InterlockedIncrement(gLogCounter); 
end; 

나는이 중요한 부분을 사용하는 것보다 약간 빠른 생각에 다시 ...하지만 잘 모르겠어요 수 있습니다.