From 572adedb6a0fe169be185278fb6602f0d37c8fb1 Mon Sep 17 00:00:00 2001
From: Connor Tsui <connor.tsui20@gmail.com>
Date: Wed, 16 Oct 2024 09:32:01 -0400
Subject: [PATCH] add simple `downgrade` implementations

---
 std/src/sys/sync/rwlock/no_threads.rs | 5 +++++
 std/src/sys/sync/rwlock/solid.rs      | 6 ++++++
 std/src/sys/sync/rwlock/teeos.rs      | 6 ++++++
 3 files changed, 17 insertions(+)

diff --git a/std/src/sys/sync/rwlock/no_threads.rs b/std/src/sys/sync/rwlock/no_threads.rs
index 6965e2e2cabe5..c11e59f719e93 100644
--- a/std/src/sys/sync/rwlock/no_threads.rs
+++ b/std/src/sys/sync/rwlock/no_threads.rs
@@ -62,4 +62,9 @@ impl RwLock {
     pub unsafe fn write_unlock(&self) {
         assert_eq!(self.mode.replace(0), -1);
     }
+
+    #[inline]
+    pub unsafe fn downgrade(&self) {
+        assert_eq!(self.mode.replace(1), -1);
+    }
 }
diff --git a/std/src/sys/sync/rwlock/solid.rs b/std/src/sys/sync/rwlock/solid.rs
index 7703082f95116..f664fef907404 100644
--- a/std/src/sys/sync/rwlock/solid.rs
+++ b/std/src/sys/sync/rwlock/solid.rs
@@ -79,6 +79,12 @@ impl RwLock {
         let rwl = self.raw();
         expect_success_aborting(unsafe { abi::rwl_unl_rwl(rwl) }, &"rwl_unl_rwl");
     }
+
+    #[inline]
+    pub unsafe fn downgrade(&self) {
+        // The SOLID platform does not support the `downgrade` operation for reader writer locks, so
+        // this function is simply a no-op as only 1 reader can read: the original writer.
+    }
 }
 
 impl Drop for RwLock {
diff --git a/std/src/sys/sync/rwlock/teeos.rs b/std/src/sys/sync/rwlock/teeos.rs
index 763430223834b..4a71a3abc2729 100644
--- a/std/src/sys/sync/rwlock/teeos.rs
+++ b/std/src/sys/sync/rwlock/teeos.rs
@@ -41,4 +41,10 @@ impl RwLock {
     pub unsafe fn write_unlock(&self) {
         unsafe { self.inner.unlock() };
     }
+
+    #[inline]
+    pub unsafe fn downgrade(&self) {
+        // Since there is no difference between read-locked and write-locked on this platform, this
+        // function is simply a no-op as only 1 reader can read: the original writer.
+    }
 }