Differences

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

Link to this comparison view

Next revision 		Previous revision
Last revision Both sides next revision
courses:cs377-201951:week9 [2019/04/01 13:22]
mlsmith created 		courses:cs377-201951:week9 [2019/04/04 02:30]
mlsmith [Channels]
Line 25: Line 25:
 ==== 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)