wip

Author: steveklabnik

src/doc/trpl/SUMMARY.md

@@ -6,6 +6,7 @@
     * [Hello, Cargo!](hello-cargo.md)
 * [Learn Rust](learn-rust.md)
     * [Guessing Game](guessing-game.md)
+    * [Dining Philosophers](dining-philosophers.md)
 * [Effective Rust](effective-rust.md)
     * [The Stack and the Heap](the-stack-and-the-heap.md)
     * [Testing](testing.md)

src/doc/trpl/dining-philosophers.md

@@ -0,0 +1,47 @@
+% Dining Philosophers
+
+For our second project, let’s look at a classic concurrency problem. It’s
+called ‘the dining philosophers’. It was originally conceived by Dijkstra in
+1965, but we’ll use the version from [this paper][paper] by Tony Hoare in 1985.
+
+[paper]: http://www.usingcsp.com/cspbook.pdf
+
+> In ancient times, a wealthy philanthropist endowed a College to accommodate
+> five eminent philosophers. Each philosopher had a room in which he could
+> engage in his professional activity of thinking; there was also a common
+> dining room, furnished with a circular table, surrounded by five chairs, each
+> labelled by the name of the philosopher who was to sit in it. They sat
+> anticlockwise around the table. To the left of each philosopher there was
+> laid a golden fork, and in the centre stood a large bowl of spaghetti, which
+> was constantly replenished. A philosopher was expected to spend most of his
+> time thinking; but when he felt hungry, he went to the dining room, sat down
+> in his own chair, picked up his own fork on his left, and plunged it into the
+> spaghetti. But such is the tangled nature of spaghetti that a second fork is
+> required to carry it to the mouth. The philosopher therefore had also to pick
+> up the fork on his right. When we was finished he would put down both his
+> forks, get up from his chair, and continue thinking. Of course, a fork can be
+> used by only one philosopher at a time. If the other philosopher wants it, he
+> just has to wait until the fork is available again.
+
+
+```rust
+struct Philosopher {
+    name: String,
+}
+
+impl Philosopher {
+    fn new(name: &str) -> Philosopher {
+        Philosopher {
+            name: name.to_string(),
+        }
+    }
+}
+
+fn main() {
+    let p1 = Philosopher::new(“Baruch Spinoza”);
+    let p2 = Philosopher::new(“Gilles Deleuze”);
+    let p3 = Philosopher::new(“Karl Marx”);
+    let p4 = Philosopher::new(“Friedrich Nietzsche”);
+    let p5 = Philosopher::new(“Michel Foucault”);
+}
+```