aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorJorge Aparicio <japaricious@gmail.com>2017-04-07 18:48:33 -0500
committerJorge Aparicio <japaricious@gmail.com>2017-04-07 18:48:33 -0500
commit22bb0d8eaef26dc9f276b89b85f20121a372197f (patch)
tree22a37664c8c7b0ce769b8ff88344e5b71819ef3f /src
parentf875cfcb5c2d1d051e20e6cb36b2881c8e630eb8 (diff)
removed global critical section from checked::release
Diffstat (limited to 'src')
-rw-r--r--src/checked.rs11
1 files changed, 6 insertions, 5 deletions
diff --git a/src/checked.rs b/src/checked.rs
index 22890d0..eb0da3d 100644
--- a/src/checked.rs
+++ b/src/checked.rs
@@ -21,12 +21,13 @@ unsafe fn acquire(locked: &UnsafeCell<bool>, ceiling: u8) -> u8 {
}
unsafe fn release(locked: &UnsafeCell<bool>, old_basepri: u8) {
- interrupt::free(
- |_| {
- basepri::write(old_basepri);
+ // XXX Is it really memory safe to *not* use a global critical section here
+ // interrupt::free(
+ // |_| {
*locked.get() = false;
- },
- );
+ basepri::write(old_basepri);
+ // },
+ // );
}
/// A totally safe `Resource` that panics on misuse