rust/comprehensive-rust
1
0
Fork 0
mirror of https://github.com/google/comprehensive-rust.git synced 2025-06-16 22:27:34 +02:00
Code Issues Releases Activity

wip: async dining philosophers simplification

Browse Source
This commit is contained in:
Martin Geisler
2024-06-17 12:31:44 +02:00
parent 9412254832
commit 512878a3e9
1 changed files with 4 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
src/concurrency/async-exercises/dining-philosophers.rs
View File

@ -44,22 +44,11 @@ impl Philosopher {
// Keep trying until we have both forks // Keep trying until we have both forks
// ANCHOR_END: Philosopher-eat // ANCHOR_END: Philosopher-eat
let (_left_fork, _right_fork) = loop { let (_left_fork, _right_fork) = loop {
tokio::task::yield_now().await;
// Pick up forks... // Pick up forks...
let left_fork = self.left_fork.try_lock(); match (self.left_fork.try_lock(), self.right_fork.try_lock()) {
let right_fork = self.right_fork.try_lock(); (Ok(left_fork), Ok(right_fork)) => (left_fork, right_fork),
let Ok(left_fork) = left_fork else { (_, _) => continue,
// If we didn't get the left fork, drop the right fork if we
// have it and let other tasks make progress.
drop(right_fork);
time::sleep(time::Duration::from_millis(1)).await;
continue;
};
let Ok(right_fork) = right_fork else {
// If we didn't get the right fork, drop the left fork and let
// other tasks make progress.
drop(left_fork);
time::sleep(time::Duration::from_millis(1)).await;
continue;
}; };
break (left_fork, right_fork); break (left_fork, right_fork);
}; };