diff options
| author | Jorge Aparicio <japaricious@gmail.com> | 2017-04-07 18:48:33 -0500 |
|---|---|---|
| committer | Jorge Aparicio <japaricious@gmail.com> | 2017-04-07 18:48:33 -0500 |
| commit | 22bb0d8eaef26dc9f276b89b85f20121a372197f (patch) | |
| tree | 22a37664c8c7b0ce769b8ff88344e5b71819ef3f /src | |
| parent | f875cfcb5c2d1d051e20e6cb36b2881c8e630eb8 (diff) | |
removed global critical section from checked::release
Diffstat (limited to 'src')
| -rw-r--r-- | src/checked.rs | 11 |
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 |
