Search

Fulltext results:

week5

3 Hits, Last modified: 6 weeks ago

dsger_W._Dijkstra|Edsger Dijkstra]] in the mid-1960s * Ben-Ari Ch 6 * slides: {{slides.pdf|PDF}} * begin slide 6.1, p. 105 * Two operations: * wait(s) * Trad... se") * Definition: <code text> < await (s > 0) s = s - 1; > </code> * signal(s) * Tr... nary semaphore: value is always either ''1'' or ''0'' * general semaphore: value is nonnegative

week6

1 Hits, Last modified: 5 weeks ago

re for binary semaphores s1 and s2: <code text> 0 <= s1+s2 <= 1 </code> * technique: pass the b

week8

1 Hits, Last modified: 8 days ago

(Go)! * RIP: C.A.R. 'Tony' Hoare (March 5, 2026; 92 years old) * [[https://en.wikipedia.o... ort]] * Hoare's [[https://dl.acm.org/doi/pdf/10.1145/359576.359585|1978 CSP paper]] * Hoare's [[https://antares.sip.ucm.es/~luis/doctorado06-07/cspbook.pdf|1985 CSP textbook]] /***** * Go... ill use Go this semester!) * [[courses:cs377-202651:welch-lectures:top|Occam-pi Lecture Notes]]

week9

1 Hits, Last modified: 13 hours ago

ill use Go this semester!) * [[courses:cs377-202651:welch-lectures:top|Occam-pi Lecture Notes]] ... * Legoland: slides 83--end of {{courses:cs377-202651:welch-lectures:basics.pdf|basics.pdf}} ... \\ \\ /************ * Rob Pike's Google I/O 2012 - Go Concurrency Patterns: https://youtu.be/f6k... tion 5.3 of Hoare's [[https://dl.acm.org/doi/pdf/10.1145/359576.359585|1978 CSP paper]] * and d