summaryrefslogtreecommitdiff
path: root/examples/dining_philosophers.rs
diff options
context:
space:
mode:
authorMica White <botahamec@outlook.com>2024-03-13 22:44:46 -0400
committerMica White <botahamec@outlook.com>2024-03-13 22:44:46 -0400
commit7bd236853ef5ae705328c8fdc492cf60fc6887c1 (patch)
treeec4e9dced562fdae618b98ac704074c0ddc9cc41 /examples/dining_philosophers.rs
parent7c6f49b6570669098938dc332a4f3e85dd3d217d (diff)
Lockable overhaul
Diffstat (limited to 'examples/dining_philosophers.rs')
-rw-r--r--examples/dining_philosophers.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/examples/dining_philosophers.rs b/examples/dining_philosophers.rs
index 35aa330..34efb0e 100644
--- a/examples/dining_philosophers.rs
+++ b/examples/dining_philosophers.rs
@@ -1,6 +1,6 @@
use std::{thread, time::Duration};
-use happylock::{LockCollection, Mutex, ThreadKey};
+use happylock::{Mutex, RefLockCollection, ThreadKey};
static PHILOSOPHERS: [Philosopher; 5] = [
Philosopher {
@@ -50,8 +50,8 @@ impl Philosopher {
thread::sleep(Duration::from_secs(1));
// safety: no philosopher asks for the same fork twice
- let forks =
- unsafe { LockCollection::new_unchecked([&FORKS[self.left], &FORKS[self.right]]) };
+ let forks = [&FORKS[self.left], &FORKS[self.right]];
+ let forks = unsafe { RefLockCollection::new_unchecked(&forks) };
let forks = forks.lock(key);
println!("{} is eating...", self.name);
thread::sleep(Duration::from_secs(1));