Effective Communication

A talk for the Detroit Lambda Lounge on CSP and Go.

Transcript

1. Effective Communication Or, Why Telepathy Might Not Be Such a Good Idea Eric Shull (@exupero)
2. SHARING MEMORY THE PROBLEM:
3. SHARING MEMORY THE PROBLEM: NON-DETERMINISM
4. SHARING MEMORY THE PROBLEM: NON-DETERMINISM RACE CONDITIONS
5. SHARING MEMORY THE PROBLEM: NON-DETERMINISM RACE CONDITIONS DEADLOCKS
6. SHARING MEMORY THE PROBLEM: NON-DETERMINISM RACE CONDITIONS DEADLOCKS HARD TO REPRODUCE
7. SHARING MEMORY THE PROBLEM: NON-DETERMINISM RACE CONDITIONS DEADLOCKS HARD TO REPRODUCE HARD TO DEBUG
8. SHARING MEMORY THE PROBLEM: NON-DETERMINISM RACE CONDITIONS DEADLOCKS HARD TO REPRODUCE HARD TO DEBUG HARD TO ENSURE RELIABILITY
9. MUTEXES & LOCKS SEMAPHORES COMPARE & SWAP ATOMIC OPERATIONS SYNCHRONIZATION SOLUTIONS?
10. WRITE LOCK? WRITE UNLOCK. READ LOCK? FAIL! READ LOCK? DEADLOCK? GOT IT! GOT IT! COMPLEX
11. LEAKY
12. NON-COMPOSABLE
13. WANTED SIMPLICITY ABSTRACTIONS COMPOSABILITY
14. WANTED SIMPLICITY ABSTRACTIONS COMPOSABILITY CONCURRENCY
15. PIPES
16. PIPESSIMPLE
17. PIPESSIMPLE COMPOSABLE
18. PIPESSIMPLE COMPOSABLE NON-LEAKY
19. PIPESSIMPLE COMPOSABLE NON-LEAKY PARALLEL
20. CSP COMMUNICATING SEQUENTIAL PROCESSES BY C.A.R. HOARE
21. PROCESSES
22. PROCESSES NO THREADS
23. PROCESSES NO THREADS NO SHARED MEMORY
24. PROCESSES “GOROUTINES” NO THREADS NO SHARED MEMORY
25. CHANNELS
26. CHANNELS COMMUNICATION
27. CHANNELS COMMUNICATION PASS DATA STRUCTURES
28. CHANNELS COMMUNICATION PASS DATA STRUCTURES VALUES AREN’T SHARED
29. ONE-TO-ONE
30. ONE-TO-MANY
31. MANY-TO-ONE
32. MANY-TO-MANY
33. SOUNDS LIKE ERLANG, EXCEPT... SYNCHRONY ...
34. SOUNDS LIKE ERLANG, EXCEPT... SYNCHRONY ... CHANNEL, NOT MAILBOX
35. CSPC.A.R. HOARE
36. CSPC.A.R. HOARE GO ROB PIKE KEN THOMPSON ROBERT GRIESEMER
37. CSPC.A.R. HOARE GO ROB PIKE KEN THOMPSON ROBERT GRIESEMER
38. CSPC.A.R. HOARE SQUEAKROB PIKE LUCA CARDELLI GO ROB PIKE KEN THOMPSON ROBERT GRIESEMER
39. CSPC.A.R. HOARE NEWSQUEAK ROB PIKE SQUEAKROB PIKE LUCA CARDELLI GO ROB PIKE KEN THOMPSON ROBERT GRIESEMER
40. CHANNELS FUNCTIONS OR GOROUTINES* FUNCTIONS OR GOROUTINES*
41. CHANNELS FUNCTIONS OR GOROUTINES* FUNCTIONS OR GOROUTINES* *GOROUTINES:
42. CHANNELS FUNCTIONS OR GOROUTINES* FUNCTIONS OR GOROUTINES* NOT THREADS *GOROUTINES:
43. CHANNELS FUNCTIONS OR GOROUTINES* FUNCTIONS OR GOROUTINES* NOT THREADS MORE LIGHTWEIGHT *GOROUTINES:
44. CHANNELS FUNCTIONS OR GOROUTINES* FUNCTIONS OR GOROUTINES* NOT THREADS MIGHT HAVE MILLIONS MORE LIGHTWEIGHT *GOROUTINES:
45. A SITE AGGREGATOR github.com/exupero/csp-demo
46. POLL SITES A SITE AGGREGATOR github.com/exupero/csp-demo
47. csp/poll-sites
50. POLL SITES A SITE AGGREGATOR
51. POLL SITES GET SOURCE A SITE AGGREGATOR
52. csp/queue-content
55. POLL SITES GET SOURCE A SITE AGGREGATOR
56. POLL SITES FILTER QUEUE GET SOURCE A SITE AGGREGATOR
57. csp/filter-queue
59. POLL SITES FILTER QUEUE GET SOURCE A SITE AGGREGATOR
60. POLL SITES FILTER QUEUE AGGREGATE MOOD GET SOURCE A SITE AGGREGATOR
61. csp/aggregate
63. A SITE AGGREGATOR
64. A SITE AGGREGATOR SIMPLE EXAMPLE
65. A SITE AGGREGATOR SIMPLE EXAMPLE DEMONSTRATES GRAMMAR
66. A SITE AGGREGATOR SIMPLE EXAMPLE DEMONSTRATES GRAMMAR SHOWS COMPOSABILITY
67. CSP COMMUNICATING SEQUENTIAL PROCESSES
68. CSP COMMUNICATING SEQUENTIAL PROCESSES PLAY WITH IT UNDERSTAND IT USE IT