From ae272ac2dc871834c380268fbb60785a401b7da5 Mon Sep 17 00:00:00 2001 From: Kirby Linvill Date: Fri, 13 Aug 2021 18:24:31 -0700 Subject: [PATCH] Minor dining philosopher and numbering fixes --- src/bin/09_shared_queue.rs | 2 +- src/bin/10_dining_philosophers.rs | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/bin/09_shared_queue.rs b/src/bin/09_shared_queue.rs index 659c6f4..a6584a4 100644 --- a/src/bin/09_shared_queue.rs +++ b/src/bin/09_shared_queue.rs @@ -1,7 +1,7 @@ use ferrite_session::prelude::*; /* - # Excercise 8: Shared Queue + # Excercise 9: Shared Queue - Implement a shared queue provider consist of chains of shared processes, providing the shared session type Queue with following operations: diff --git a/src/bin/10_dining_philosophers.rs b/src/bin/10_dining_philosophers.rs index e63b374..d24628c 100644 --- a/src/bin/10_dining_philosophers.rs +++ b/src/bin/10_dining_philosophers.rs @@ -1,5 +1,5 @@ /* - Exercise 9: Dining Philosophers + Exercise 10: Dining Philosophers In this exercise you will implement the dining philosophers problem using session type. @@ -91,7 +91,7 @@ fn main_session() -> Session { let p0 = philosopher(0, f0.clone(), f1.clone()); let p1 = philosopher(1, f1.clone(), f2.clone()); let p2 = philosopher(2, f2.clone(), f3.clone()); - let p3 = philosopher(3, f3.clone(), f1.clone()); + let p3 = philosopher(3, f3.clone(), f0.clone()); include_session(p0, move |c0| { include_session(p1, move |c1| {