Delphi并发内存模型？

Question

在Delphi中有类似Java内存模型的东西吗？为了防止误解:我的意思是"巨大/大/小",但与其他线程的变化可见性相关的事情.

Answer 1

我会说Delphi内存模型与C++内存模型匹配.也就是说,编译器不知道多个进程或多个线程,并且不为这些方案提供任何特殊支持.请参阅"并发的C++内存模型是什么？"

Delphi 32位编译器确实执行优化,例如不变的代码运动,并且发出旨在避免停止双流水线的指令序列.但是,Delphi编译器不包含指令调度程序或窥孔优化器,因此指令重新排序的机会很少.在指令发出之前,在AST/IR上发生Delphi优化.

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

Delphi 32位编译器的优化相当保守.优化带来的最大性能提升来自注册变量和中间结果,以及各种循环感应技巧.

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

编译器codegen模式依赖于x86体系结构规则,对齐地址的全局内存的寄存器大小写入是原子的.写入大数据,字节数据或未对齐地址可能会跨越高速缓存行,并且在单个写入指令中需要两个单独的写入操作.Delphi编译器(大部分)都没有注意到这一点.

无论如何,如果您正在编写从不同线程访问共享内存的Delphi代码,那么您始终有责任确定哪种线程同步措施适合您的情况并实施它们.