Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision 		Previous revision
courses:cs377-201951:week9 [2019/04/01 13:22]
mlsmith created 		courses:cs377-201951:week9 [2019/04/04 13:33] (current)
mlsmith
Line 23: Line 23:
     * {{onelanebridgemonitor.pdf|PDF}} (with thanks to Charlie Hughes!)     * {{onelanebridgemonitor.pdf|PDF}} (with thanks to Charlie Hughes!)
  
-==== Channels ==== +===== Channels =====
- +
-  * This week or next week +
  
 +  * CSP and Go!
 +  * Hoare's 1978 CSP paper: https://spinroot.com/courses/summer/Papers/hoare_1978.pdf
 +    * Go implementation of examples from paper: https://godoc.org/github.com/thomas11/csp
 +  * Rob Pike's Google I/O 2012 - Go Concurrency Patterns: https://youtu.be/f6kdp27TYZs
 +  * Peter Welch's slides introducing CSP and occam-pi (but we will use Go this semester!)
 +    * [[courses:cs377-201951:welch-lectures:top|Occam-pi Lecture Notes]]
 +    * Next time: **//Objects Considered Harmful//** (slide 27 of motivation.pdf slides)
 +  * Demo and codewalk of csp-dining-philosophers.go
 +    * Go language features highlighted:
 +      * channels
 +      * select
 +    * Design basis for solution in Go: go routines (processes)
 +      * room (communicates with philosophers over channels)
 +        * for philosophers to enter/leave -- at most 4 at a time to prevent deadlocking, 5th philosopher blocks 
 +      * forks (communicate with philosophers over channels)
 +      * philosophers (communicate with forks over channels)