delphi – 原子内在函数的对齐要求是什么(如果有的话)?

delphi – 原子内在函数的对齐要求是什么(如果有的话)?,第1张

概述Delphi移动目标的原子 *** 作建立在AtomicXXX系列内在函数之上. documentation说: Because the Delphi mobile compilers do not support a built-in assembler, the System unit provides four atomic intrinsic functions that provide a wa Delphi移动目标的原子 *** 作建立在AtomicXXX系列内在函数之上. documentation说:

Because the Delphi mobile compilers do not support a built-in assembler,the System unit provIDes four atomic intrinsic functions that provIDe a way to atomically exchange,compare and exchange,increment,and decrement memory values.

这四个功能是:

> AtomicIncrement
> AtomicDecrement
> AtomicCmpExchange
> AtomicExchange

提供原子 *** 作的其他RTL函数,例如,TInterlocked类的静态类方法建立在这四个内在函数之上.

对于针对ARMv7的移动编译器,这四种原子内在函数是否有任何对齐要求?如果是这样,他们是什么?

该文档未列出任何此类要求.但是,已知文件不准确,我不相信没有任何规定的要求作为没有此类要求的明确证据.

暂时不谈,XE8 documentation for intrinsic functions指出桌面编译器不支持这些原子内在函数.这是不正确的 – 桌面编译器支持这些内在函数.

解决方法 XE8编译

var   a: integer;AtomicIncrement(a);

3e: 2201        movs    r2,#140: 900c        str r0,[sp,#48]   ; 0x3042: 910b        str r1,#44]   ; 0x2c44: 920a        str r2,#40]   ; 0x2846: 980b        ldr r0,#44]   ; 0x2c48: e850 1f00   ldrex   r1,[r0]4c: 9a0a        ldr r2,#40]   ; 0x284e: 4411        add r1,r250: e840 1300   strex   r3,r1,[r0]54: 2b00        cmp r3,#056: d1f6        bne.n   46 <_NativeMain+0x46>

所以原子性是使用ldrex/strex实现的.

如果我正确地在community.arm.com解释信息,则所需的对齐是DWORD对齐的4字节 *** 作(ldrd / strd)和QWORD对齐的8字节 *** 作.

其他原子功能以类似的方式实现,因此应该应用相同的要求.

AtomicDecrement(a);68: 980f        ldr r0,#60]   ; 0x3c6a: e850 1f00   ldrex   r1,[r0]6e: 9a0e        ldr r2,#56]   ; 0x3870: 1a89        subs    r1,r272: e840 1300   strex   r3,[r0]76: 2b00        cmp r3,#078: d1f6        bne.n   68 <_NativeMain+0x68>AtomicExchange(a,b);82: 990f        ldr r1,#60]   ; 0x3c84: 6008        str r0,[r1,#0]86: 4873        ldr r0,[pc,#460]  ; (254 <_NativeMain+0x254>)88: 9a10        ldr r2,#64]   ; 0x408a: 5880        ldr r0,[r0,r2]8c: 6800        ldr r0,#0]8e: f3bf 8f5b   dmb ish92: 900d        str r0,#52]   ; 0x3494: 980f        ldr r0,#60]   ; 0x3c96: e850 1f00   ldrex   r1,[r0]9a: 9b0d        ldr r3,#52]   ; 0x349c: e840 3200   strex   r2,r3,[r0]a0: 2a00        cmp r2,#0a2: 910c        str r1,#48]   ; 0x30a4: d1f6        bne.n   94 <_NativeMain+0x94>AtomicCmpExchange(a,42,17);ae: 990f        ldr r1,#60]   ; 0x3cb0: 6008        str r0,#0]b2: f3bf 8f5b   dmb ishb6: 202a        movs    r0,#42 ; 0x2ab8: 2211        movs    r2,#17ba: 900b        str r0,#44]   ; 0x2cbc: 920a        str r2,#40]   ; 0x28be: 980f        ldr r0,#60]   ; 0x3cc0: e850 1f00   ldrex   r1,[r0]c4: 9a0a        ldr r2,#40]   ; 0x28c6: 4291        cmp r1,r2c8: d105        bne.n   d6 <_NativeMain+0xd6>ca: 990b        ldr r1,#44]   ; 0x2ccc: 9a0f        ldr r2,#60]   ; 0x3cce: e842 1000   strex   r0,[r2]d2: 2800        cmp r0,#0d4: d1f3        bne.n   be <_NativeMain+0xbe>
总结

以上是内存溢出为你收集整理的delphi – 原子内在函数的对齐要求是什么(如果有的话)?全部内容,希望文章能够帮你解决delphi – 原子内在函数的对齐要求是什么(如果有的话)?所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错,欢迎将内存溢出网站推荐给程序员好友。

欢迎分享,转载请注明来源:内存溢出

原文地址: http://outofmemory.cn/langs/1266005.html

(0)
打赏 微信扫一扫 微信扫一扫 支付宝扫一扫 支付宝扫一扫
上一篇 2022-06-08
下一篇 2022-06-08

发表评论

登录后才能评论

评论列表(0条)

保存