Volatile信息传递

### 背景
Java对于volatile long和double这种64位的数据类型的读写，需要保证原子性。

源于Java语言规范：https://docs.oracle.com/javase/specs/jls/se8/html/jls-17.html#jls-17.7

![](https://images.gitee.com/uploads/images/2020/0603/165703_41ef3f03_644165.png "Java语言规范.png")

### 问题
在AArch64中，对于64位的数据类型，`ldr`和`str`是满足原子性的。

然而，在Arm32中，因为寄存器size的限制，对于64位的数据类型会通过两个连续32位寄存器来存取值，且常用的`ldrd`和`strd`不满足原子性。

如果要满足原子性得使用`ldrexd`和`strexd`这种消耗更大的指令。

所以后端需要得到volatile信息来针对性地处理。

### 现状
现在，对于volatile存在以下2种情况。

1. 对于解耦来说，读取instance field时，会擦掉field Id的信息，改成直接读取解耦（offset table)表的信息。

处理之前：
```
#LINE AddInt.java : 29, DEX_INSTIDX : 16 ||0010: iget: LAddInt;.b:I // field@0001
iread i32 <* <$LAddInt_3B>> 10 (regread ref %8)) {}
```
处理之后：
```
#LINE AddInt.java : 29, DEX_INSTIDX : 16 ||0010: iget: LAddInt;.b:I // field@0001
iread u32 <* <$OffsetTableEntry>> 1 (array 0 ptr <* <[19] <$OffsetTableEntry>>> (addrof ptr $__offset_value_table$$classes_dex, constval i64 9)))),
```
2. 对于static field来说，也会修改成读取dataDef/dataUndef的结构格式，而丢掉读取的具体Symbol信息。

处理之前:
```
addrof ptr $Lcom_2Fhuawei_2Fservicehost_2FIServiceHost_24Stub_24Proxy_3B_7CsDefaultImpl) { regassign ref %1}
```
处理之后：
```
iread ptr <* <$MUIDDataDefTabEntry>> 1 (array 0 ptr <* <[703] <$MUIDDataDefTabEntry>>> (addrof ptr $__muid_data_def_tab$$out_soong__intermediates_vendor_huawei_Emui_frameworks_ServiceHost_interfaces_servicehost_android_common_dex_classes_dex, constval i64 671))
```
现在，我们设想这样一个方案，在中端生成解耦和mpl linker的时候，并不会完全lower，而是构造一个intrinsiccall，在这个intrinsiccall里面会保留读取的field id和具体的Symbol信息，通过这种方式把对应的volatile信息传到后端去，等后端处理完成，再真正的进行lower。

GVP 方舟编译器/OpenArkCompiler

内容风险标识

评论 (3)

GVP方舟编译器/OpenArkCompiler

内容风险标识