Received-SPF: pass (google.com: domain of linux-kernel+bounces-176040-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.80.249 as permitted sender) client-ip=147.75.80.249;
Message-ID: <6066e0da-f00a-40fd-a5e2-d4d78786c227@os.amperecomputing.com>
Date: Fri, 10 May 2024 10:13:02 -0700
User-Agent: Mozilla Thunderbird
From: Yang Shi <yang@os.amperecomputing.com>
Subject: Re: [PATCH] arm64: mm: force write fault for atomic RMW instructions
To: Catalin Marinas <catalin.marinas@arm.com>
Cc: will@kernel.org, scott@os.amperecomputing.com, cl@gentwo.org,
 linux-arm-kernel@lists.infradead.org, linux-kernel@vger.kernel.org
References: <20240507223558.3039562-1-yang@os.amperecomputing.com>
 <Zj4O8q9-bliXE435@arm.com>
Content-Language: en-US
In-Reply-To: <Zj4O8q9-bliXE435@arm.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Precedence: bulk
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0:
	=?utf-8?B?ZTk1encvMUZ0ZVRpYjFFTTdkUmRDbGNQV0ZlTjE4YjZya09qQWh4L0twdjBG?=
 =?utf-8?B?MHZ6ZVp0QnZNU1U4UlIxSlNKU1JrY2hIbW1rUi8rQWtEOUdYcXk4V3NUQnhz?=
 =?utf-8?B?b2EwdUNCaXFiL1BJR2twTnUzZGhKMSswRWlJVVgyLzVKblZTUktiVk9IM0Vk?=
 =?utf-8?B?bFBnNmlxc0htUEhEbE9WWWplei9heWRyVDRhdG12a2pQdTJUamhBbHA5bllV?=
 =?utf-8?B?aG9Jay9wUzRPTmExdnJIbWFiOFhydDUxN1N2VHA2NldNZFdCdEpJazVETEkw?=
 =?utf-8?B?Yld0Q2pKSnY3ZjRCWnJrQk1SaHBCNE9CN3JsczF5NXRaN3RIQlVtR3dqWTFI?=
 =?utf-8?B?WEtCb3MzajQvUVJlTFV0YzNZSFRXMnBUZ3A5b1U5WHhNR0svMWY1bS8rTGR0?=
 =?utf-8?B?VGUrVGhNSzAzeml6RnRXMGFDRndZYmhMM1RFMUE0bzVEM1IvcGoxTitzcU43?=
 =?utf-8?B?c0VsZUxrdVJYUGsyVzdzQUZPS081bWx1cXllTVdhenZQMDNVc0VJK2F6K0FB?=
 =?utf-8?B?T0VhVXAyT3RkZC9YOVN4MG16UzVEbW9PeDAxTUdTay96cXBobHBUY2V3ei9k?=
 =?utf-8?B?SG9ndGY2RDVDV2M5OGhuVi9nSzlrTk5KbE41eXlNYnQzTS9oVGh4UjUwdDl0?=
 =?utf-8?B?TTJyeWpkYkhIc2RWS1ZKT2N3RWRnaEt1Zi9VOFllYkhHeGtiVTBYZ1ZJK3lC?=
 =?utf-8?B?eDFuN3Qxd1pPRFJlekVoUisyeHpMQUM0cGdZK2dBbjRrZ3UvV1ptMU02Sy94?=
 =?utf-8?B?U1RVc2FZZktUVEJwWnV2T29wTDhQSHBkbDhqVGdCNHlWdTlycnhwUE9DTEtE?=
 =?utf-8?B?VjhpSkMyL0FmUlJQOGhsaFZRSmhDUlpMQzhyUWg3dk1TMFhqQWJKQUZ6SHNt?=
 =?utf-8?B?Y0VvYUZMc2lHQ1l5N3IxcTZ0b3Bpa0krY3BMMitvZXdQK1JpU1lsaTJCZTBZ?=
 =?utf-8?B?R0ZteTVhTEJRNEUxK2MvajBGSWZERE5KWk56eHNkVkpReXREVVpla3ZBaTU5?=
 =?utf-8?B?ckVWWjNLMmpvTlZDSVBMMGE0VDE5SndGanFJQ0JETXBxMU56MTNiZFkzdWJh?=
 =?utf-8?B?ODlZZG4xUTZkSjA5WUtZQTVYY1RLOXJ2K1hpL3JvazB1Z3JpUTRYT2FoalZk?=
 =?utf-8?B?YTg2MzlLM0hYSHRSeUZ6Yyt6bWd4YmVVcUtxWHVXdXpNREFlSmNHWFptRjl6?=
 =?utf-8?B?VDZSaVAxZ0dDMVR5VWNnSnVxclM1NDhmOXJsOTU1aUtlNStQb01scUxVZ1V6?=
 =?utf-8?B?UFhmeDIveXdmTzNSWm9xdzB4WXpiSVNGeWQxTEV4TGJJb0NSa1lEcWJUZU5E?=
 =?utf-8?B?L0VyVUdqcTlBZDBkSkhzYTVvVGxiNERXTzU1cnFyYnJ1bmdFMmppWUxWaFU0?=
 =?utf-8?B?VHBWVFZxdDRRYlhaOVRiR1FURitRbWl6TzNFWjIyOUUvTGFnT2FpVlJ6elJ2?=
 =?utf-8?B?VDN1SkNuU0diZldNYy8rSFFpYnQreDZCR01rU0M0S2FGTUZxUEMraFZLVU9s?=
 =?utf-8?B?dDNLZTBYczNRTzZjMFVWOGM5VDNldWp5NXRBeXlDamlRNHlKOUdhYVI1SWgx?=
 =?utf-8?B?bjdqdStZRHlBWGw1ZW9GbWtRdDNyV0E4ZWdlMjRERmd5dk52RXd5amU5MjQr?=
 =?utf-8?B?cDYwSHBGRjdOa3ZHV1hZcEsyK1c5K1lJS2lvN3czN1lKNllvbkx4NWhta3FT?=
 =?utf-8?B?ZE81dWRLalp4ejArR1R1dlJrR2FleHFXUVpBOFBlMDBjYlVqV1JmbWNVRFYx?=
 =?utf-8?B?SVdzOVcwaGdNLzFNZUZib0Y2M0RTSGNkYm11Z2Z4Y1pJTlVHd2Z3RnVxUEQ2?=
 =?utf-8?B?aTQwSzRrT2RGZnZFWFUzYnlwWFEvdk5NUWc2S0NJbmIzMXFMb01nME8rNEla?=
 =?utf-8?B?YitvQjZHVVA1QnQxdmxXcklyd0dRTTJvcnF2UnJMbGgzMy9KSDM2WEM2ZHVq?=
 =?utf-8?B?OWNGeHFPNTVvQWZ6bTN5a24wZmJJNXpFck5OQmlJVVVYMVZ5VmdoM0FZUDhO?=
 =?utf-8?B?ZCttbUNmZEpQaGFFM0J4VjBJOVh6V0I5YlNWdFlTdkU1MjdwckNnenFDUHIv?=
 =?utf-8?B?L0JTNEFoK3MvZzFNM3RNMDJ5Nk1ReHdCOXVhMGxYRUtuQVNmQmkvc29kSThu?=
 =?utf-8?B?Z01kYjlYZjNtKzRldFdyTmxWdlEvT1J6em9LUGoyNGh4WlEwbUV5VUk3MitF?=
 =?utf-8?Q?PgxPRa6q8UYLjglk54WigAk=3D?=
X-OriginatorOrg: os.amperecomputing.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 645205f5-7bf2-4027-81ae-08dc71147604
X-MS-Exchange-CrossTenant-AuthSource: BYAPR01MB5463.prod.exchangelabs.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 10 May 2024 17:13:07.3884
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 3bc2b170-fd94-476d-b0ce-4229bdc904a7
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: uCiayhmoof6E8RLBQojglastLxTVhjMGA0ogRDYJrOkYVJs3eYIAYB+eWtojAc5hRUFhEqI1EoiEikRMAh1hNemS6jDNhbjqFahWSn6K2NI=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: LV8PR01MB8653


On 5/10/24 5:11 AM, Catalin Marinas wrote:
> On Tue, May 07, 2024 at 03:35:58PM -0700, Yang Shi wrote:
>> The atomic RMW instructions, for example, ldadd, actually does load +
>> add + store in one instruction, it may trigger two page faults, the
>> first fault is a read fault, the second fault is a write fault.
>>
>> Some applications use atomic RMW instructions to populate memory, for
>> example, openjdk uses atomic-add-0 to do pretouch (populate heap memory
>> at launch time) between v18 and v22.
> I'd also argue that this should be optimised in openjdk. Is an LDADD
> more efficient on your hardware than a plain STR? I hope it only does
> one operation per page rather than per long. There's also MAP_POPULATE
> that openjdk can use to pre-fault the pages with no additional fault.
> This would be even more efficient than any store or atomic operation.

It is not about whether atomic is more efficient than plain store on our 
hardware or not. It is arch-independent solution used by openjdk.

I agree the applications can use other ways to populate memory, but it 
depends on the usecase of the applications. And openjdk is just one of 
the examples, I can't scan all applications, but it seems like using 
atomic-add-0 to populate memory is a valid usecase.

> Not sure the reason for the architecture to report a read fault only on
> atomics. Looking at the pseudocode, it checks for both but the read
> permission takes priority. Also in case of a translation fault (which is
> what we get on the first fault), I think the syndrome write bit is
> populated as (!read && write), so 0 since 'read' is 1 for atomics.

Yeah, I'm confused too. Triggering write fault in the first place should 
be fine, right? Can we update the spec?

>> But the double page fault has some problems:
>>
>> 1. Noticeable TLB overhead.  The kernel actually installs zero page with
>>     readonly PTE for the read fault.  The write fault will trigger a
>>     write-protection fault (CoW).  The CoW will allocate a new page and
>>     make the PTE point to the new page, this needs TLB invalidations.  The
>>     tlb invalidation and the mandatory memory barriers may incur
>>     significant overhead, particularly on the machines with many cores.
> I can see why the current behaviour is not ideal but I can't tell why
> openjdk does it this way either.
>
> A bigger hammer would be to implement mm_forbids_zeropage() but this may
> affect some workloads that rely on sparsely populated large arrays.

But we still needs to decode the insn, right? Or you mean forbid zero 
page for all read fault? IMHO, this may incur noticeable overhead for 
read fault since the fault handler has to allocate real page every time.

>> diff --git a/arch/arm64/include/asm/insn.h b/arch/arm64/include/asm/insn.h
>> index db1aeacd4cd9..5d5a3fbeecc0 100644
>> --- a/arch/arm64/include/asm/insn.h
>> +++ b/arch/arm64/include/asm/insn.h
>> @@ -319,6 +319,7 @@ static __always_inline u32 aarch64_insn_get_##abbr##_value(void)	\
>>    * "-" means "don't care"
>>    */
>>   __AARCH64_INSN_FUNCS(class_branch_sys,	0x1c000000, 0x14000000)
>> +__AARCH64_INSN_FUNCS(class_atomic,	0x3b200c00, 0x38200000)
> This looks correct, it covers the LDADD and SWP instructions. However,
> one concern is whether future architecture versions will add some
> instructions in this space that are allowed to do a read only operation
> (e.g. skip writing if the value is the same or fails some comparison).

I think we can know the instruction by decoding it, right? Then we can 
decide whether force write fault or not by further decoding.

>> diff --git a/arch/arm64/mm/fault.c b/arch/arm64/mm/fault.c
>> index 8251e2fea9c7..f7bceedf5ef3 100644
>> --- a/arch/arm64/mm/fault.c
>> +++ b/arch/arm64/mm/fault.c
>> @@ -529,6 +529,7 @@ static int __kprobes do_page_fault(unsigned long far, unsigned long esr,
>>   	unsigned int mm_flags = FAULT_FLAG_DEFAULT;
>>   	unsigned long addr = untagged_addr(far);
>>   	struct vm_area_struct *vma;
>> +	unsigned int insn;
>>   
>>   	if (kprobe_page_fault(regs, esr))
>>   		return 0;
>> @@ -586,6 +587,24 @@ static int __kprobes do_page_fault(unsigned long far, unsigned long esr,
>>   	if (!vma)
>>   		goto lock_mmap;
>>   
>> +	if (mm_flags & (FAULT_FLAG_WRITE | FAULT_FLAG_INSTRUCTION))
>> +		goto continue_fault;
> I'd avoid the goto if possible. Even better, move this higher up into
> the block of if/else statements building the vm_flags and mm_flags.
> Factor out the checks into a different function - is_el0_atomic_instr()
> or something.

Yeah, sure. I can hide all the details in is_el0_atomic_instr().

>> +
>> +	pagefault_disable();
> This prevents recursively entering do_page_fault() but it may be worth
> testing it with an execute-only permission.

You mean the text section permission of the test is executive only?

>> +
>> +	if (get_user(insn, (unsigned int __user *) instruction_pointer(regs))) {
>> +		pagefault_enable();
>> +		goto continue_fault;
>> +	}
>> +
>> +	if (aarch64_insn_is_class_atomic(insn)) {
>> +		vm_flags = VM_WRITE;
>> +		mm_flags |= FAULT_FLAG_WRITE;
>> +	}
> The above would need to check if the fault is coming from a 64-bit user
> mode, otherwise the decoding wouldn't make sense:
>
> 	if (!user_mode(regs) || compat_user_mode(regs))
> 		return false;
>
> (assuming a separate function that checks the above and returns a bool;
> you'd need to re-enable the page faults)

Thanks for catching this. Will fix in v2.

> You also need to take care of endianness since the instructions are
> always little-endian. We use a similar pattern in user_insn_read():
>
> 	u32 instr;
> 	__le32 instr_le;
> 	if (get_user(instr_le, (__le32 __user *)instruction_pointer(regs)))
> 		return false;
> 	instr = le32_to_cpu(inst_le);

Sure, will take care of the endianness in v2.

> That said, I'm not keen on this kernel workaround. If openjdk decides to
> improve some security and goes for PROT_EXEC-only mappings of its text
> sections, the above trick will no longer work.

I agree the optimization/workaround does have limitation. The best way 
is still to have the spec changed to trigger write fault in the first 
place. But it may take time to have spec updated then have real hardware 
available.

Though the old hardware still get benefit from this optimization.