Delphi并发内存模型？

Question

在Delphi中有没有像Java Memory Model这样的东西？为了防止误解:我的意思不是“大/大/小”，而是与其他线程的更改可见性相关的东西。

Answer 1

我认为Delphi内存模型与C++内存模型相匹配。也就是说，编译器不知道多个进程或多个线程，也不会为这些场景提供任何特殊支持。请参阅"What is the C++ memory model for concurrency?"

Delphi 32位编译器确实执行了诸如不变代码运动之类的优化，并且确实发出了旨在避免双流水线停滞的指令序列。然而，Delphi编译器不包含指令调度器或窥视优化器，因此指令重新排序的机会很小，几乎为零。Delphi优化在指令发出之前在AST / IR上进行。

局部变量可以注册，但对需要内存地址的变量的任何源代码引用(例如将局部变量传递给var参数，或获取本地var的地址)将强制编译器在使用地址之前将注册的值提交到内存位置，或者可能强制编译器完全放弃注册变量。

Delphi32位编译器在优化方面相当保守。从优化中获得的最大性能收益来自注册变量和中间结果，以及各种循环归纳技巧。

不注册对全局符号或驻留在全局内存中的符号(例如对象字段)的操作。没有"volatile“修饰符。

编译器编解码器模式依赖于x86体系结构规则，即在对齐的地址处对全局内存的寄存器大小写入是原子的。写入大数据、字节数据或在未对准的地址处写入可能跨越高速缓冲存储器线，并且需要在单个写入指令内进行两个单独的写入操作。Delphi编译器(大部分)都忽略了这一点。

无论如何，如果您正在编写从不同线程访问共享内存的Delphi代码，那么决定适合您的情况的线程同步措施并实现它们始终是您的责任。