Delphi中有Java Memory Model之类的东西吗?为了防止误解:我的意思是“巨大/大/小”,但与其他线程的变化可见性相关的事情。
答案 0 :(得分:14)
我认为Delphi内存模型与C ++内存模型相匹配。也就是说,编译器不知道多个进程或多个线程,并且不为这些方案提供任何特殊支持。见"What is the C++ memory model for concurrency?"
Delphi 32位编译器确实执行优化,例如不变代码运动,并发出旨在避免拖延双管道的指令序列。但是,Delphi编译器不包含指令调度程序或窥孔优化器,因此指令重新排序的机会很少。在指令发出之前,在AST / IR上进行Delphi优化。
可以注册本地变量,但是对需要内存地址的变量的任何源代码引用(例如将局部变量传递给var param,或者获取本地var的地址)将强制编译器提交在使用地址之前将注册值添加到内存位置,或者可能强制编译器完全放弃注册该变量。
Delphi 32位编译器的优化相当保守。优化带来的最大性能提升来自注册变量和中间结果,以及各种循环感应技巧。
不会注册驻留在全局内存中的全局符号或符号(例如对象字段)的操作。没有“volatile”修饰符。
编译器codegen模式依赖于x86体系结构规则,对齐地址的全局内存的寄存器大小写入是原子的。写入大数据,字节数据或未对齐地址可能会跨越高速缓存行,并且在单个写入指令中需要两个单独的写入操作。 Delphi编译器(大部分)都没有注意到这一点。
无论如何,如果您正在编写从不同线程访问共享内存的Delphi代码,那么您有责任确定哪种线程同步措施适合您的情况并实施它们。