From 9c9b96e632510b2c7e893b6a46f8d1de4a86d214 Mon Sep 17 00:00:00 2001 From: Christian Herber Date: Fri, 8 Mar 2024 10:47:53 +0100 Subject: [PATCH] Remove example of non-atomic execution from handling of non-idempotent memory handling --- zilsd.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/zilsd.adoc b/zilsd.adoc index 21b839f..72c3521 100644 --- a/zilsd.adoc +++ b/zilsd.adoc @@ -53,6 +53,6 @@ It is implementation defined whether interrupts can also be taken during the seq An implementation may have a requirement to issue a load/store pair instruction to non-idempotent memory. -If the core implementation does not support Zilsd instructions to non-idempotent memories (e.g. if atomicity cannot be guaranteed), the core may use an idempotency PMA to detect it and take a load or store access fault exception in order to avoid unpredictable results. +If the core implementation does not support Zilsd instructions to non-idempotent memories, the core may use an idempotency PMA to detect it and take a load or store access fault exception in order to avoid unpredictable results. Software should only use these instructions on non-idempotent memory regions when software can tolerate the required memory accesses being issued repeatedly in the case that they cause exceptions. \ No newline at end of file