Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision 		Previous revision
Last revision Both sides next revision
courses:cs377-201951:week9 [2019/04/03 13:33]
mlsmith [Channels] 		courses:cs377-201951:week9 [2019/04/04 02:30]
mlsmith [Channels]
Line 29: Line 29:
     * Go implementation of examples from paper: https://godoc.org/github.com/thomas11/csp     * 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   * Rob Pike's Google I/O 2012 - Go Concurrency Patterns: https://youtu.be/f6kdp27TYZs
-  * Peter Welch's slides introducing CSP and occam (but we will use Go this semester!) +  * Peter Welch's slides introducing CSP and occam-pi (but we will use Go this semester!) 
-    * [[courses:cs377-201951:lang-resources|Language Resources]] +    * [[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)