我声明了两个全局变量：
var
gIsRunning: Boolean = False;
gLogCounter: Integer = 0;
这些变量只在主线程中写入，在其他线程中读取。在这种情况下，这些变量是线程安全的吗？
【问题讨论】：
标签： multithreading delphi thread-safety
您可能是在说原子变量。整数和布尔变量是原子的。布尔值（字节）始终是原子的，整数（32 位）是原子的，因为编译器会正确对齐它们。
原子性意味着任何读或写操作都是作为一个整体执行的。如果线程A同时执行原子写入和线程B原子读取相同的数据，线程B读取的数据始终是一致的——线程B读取的某些位不可能从当前的写入操作中获得，并且上一次写入的一些位（由线程 A）
但是原子性并不意味着线程安全——你可以很容易地用原子变量编写不安全的代码。变量本身不能是线程安全的——只有整个代码可以是（或不是）线程安全的。
【讨论】：
只要只有一个线程可以写入它们，那么是的，它们是线程安全的。线程安全的真正问题是两个线程同时尝试修改一个值，而您不会在这里遇到这种情况。
如果它们更大，例如记录或数组，您可能会遇到问题，即一个线程尝试写入一个值，中途完成，然后进行上下文切换，而另一个线程读取部分（因此损坏）数据。但是对于单独的布尔（1 字节）和整数（4 字节）值，编译器可以自动对齐它们，使 CPU 可以保证对它们的所有读取和写入都是原子的，所以这不是问题。
【讨论】：
简单类型是“线程安全的”，只要它们可以从内存中一次读取（或一次写入）即可。我不确定它是由 CPU 内存总线宽度还是它们的“整数”大小（32 位与 64 位 cpu）定义的。也许其他人可以澄清这部分。
我知道现在的读取大小至少是 32 位。 （在 Intel 286 年代，一次只有 8 位）。
不过，有 1 件事需要了解。尽管它一次可以读取 32 位，但它不能从任何地址开始读取。它需要是 32 位（或 4 个字节）的倍数。因此，如果整数未与 32 位对齐，则即使是整数也可以在 2 次后续读取中读取。值得庆幸的是，编译器会自动将几乎所有字段对齐到 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;
我认为这比使用关键部分要快一些……但我不确定。
【讨论】：
不，它们不是线程安全的，您必须使用例如临界区、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);
【讨论】：