From f2cd688ee08a63c2bba8fa4bc3310c2545ff6012 Mon Sep 17 00:00:00 2001 From: Christian Herber Date: Wed, 3 Jul 2024 11:19:56 +0200 Subject: [PATCH] Removed section on non-idempotent memory handling --- zilsd.adoc | 8 -------- 1 file changed, 8 deletions(-) diff --git a/zilsd.adoc b/zilsd.adoc index 5381ea2..8b5f6e1 100644 --- a/zilsd.adoc +++ b/zilsd.adoc @@ -112,14 +112,6 @@ From a software perspective the load/store pair instructions appears as: *** The bytes may be grouped into larger accesses. *** Any of the bytes may be stored multiple times. -=== Non-idempotent memory handling - -An implementation may have a requirement to issue a load/store pair instruction to non-idempotent memory. - -If an implementation of a hart does not support Zilsd instructions to non-idempotent memories, the hart 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. - <<< === Instructions