From cea0b9fd19a9eac72df3a881dd11c22929ada5db Mon Sep 17 00:00:00 2001 From: Ved Shanbhogue Date: Mon, 2 Oct 2023 13:09:44 -0500 Subject: [PATCH] clarify PTE update text --- svadu.adoc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/svadu.adoc b/svadu.adoc index bafccf1..63b0f1c 100644 --- a/svadu.adoc +++ b/svadu.adoc @@ -16,8 +16,8 @@ A/D bits. The A and D bits are managed by these extensions as follows: PTE updates caused by an explicit or an implicit memory accesses. + + The PTE update must be atomic with respect to other accesses to the PTE, and - must atomically check that the PTE is valid and grants sufficient permissions - as part of conditionally making the update. Updates of the A bit may be + must atomically perform all tablewalk checks for that leaf PTE as part of, and + before, conditionally updating the PTE value. Updates of the A bit may be performed as a result of speculation, even if the associated memory access ultimately is not performed architecturally. However, updates to the D bit, resulting from an explicit store, must be exact (i.e., non-speculative), and