Fence before handle invalidation

nickwanninger · nickwanninger · commit 2829d33813bc · 2024-10-30T21:28:35.000-05:00
diff --git a/runtime/include/alaska/alaska.hpp b/runtime/include/alaska/alaska.hpp
@@ -77,8 +77,9 @@ namespace alaska {
 
     inline void invalidate(void) {
 #ifdef __riscv
-      __asm__ volatile("csrw 0xc4, %0" ::"rK"((uint64_t)handle_id()) : "memory");
+      // Fence *before* the handle invalidation.
       __asm__ volatile("fence" ::: "memory");
+      __asm__ volatile("csrw 0xc4, %0" ::"rK"((uint64_t)handle_id()) : "memory");
 #endif
     }
 

Original file line number	Diff line number	Diff line change
`@@ -77,8 +77,9 @@ namespace alaska {`
`77`	`77`
`78`	`78`	`inline void invalidate(void) {`
`79`	`79`	`#ifdef __riscv`
`80`		`- __asm__ volatile("csrw 0xc4, %0" ::"rK"((uint64_t)handle_id()) : "memory");`
	`80`	`+ // Fence before the handle invalidation.`
`81`	`81`	`__asm__ volatile("fence" ::: "memory");`
	`82`	`+ __asm__ volatile("csrw 0xc4, %0" ::"rK"((uint64_t)handle_id()) : "memory");`
`82`	`83`	`#endif`
`83`	`84`	`}`
`84`	`85`