Concurrency in the imperative and functional world

Presentation created for ITerior 2015 conference check http://iterior.com.br

Transcript

1. @Scalone Concurrency in the imperative and functional world
2. Thiago Scalone thiago@scalone.com.br @scalone
6. … nothing new … DISCLAIMER
7. If you don't understand concurrency… it isn’t problem if doesn't make part of your day. DISCLAIMER
8. POINT
9. Context 1
11. … and the light …
18. Context 2
20. Concurrency
21. Concurrency Parallelism
22. “Dealing a lot of things at once Rob Pike about Concurrency
23. “Doing a lot of things at once Rob Pike about Parallelism
24. @Scalone
25. @Scalone
26. @Scalone
27. @Scalone
28. @Scalone
29. @Scalone
30. @Scalone
31. @Scalone
32. Context 3
33. Imperative
34. Imperative
35. Imperative defines computation as statements that change a program state
36. Imperative
37. Imperative
38. Functional
39. Functional treats computation as the evaluation of mathematical functions and avoids state and mutable data
40. Functional treats computation as the evaluation of mathematical functions and avoids state and mutable data
41. Functional treats computation as the evaluation of mathematical functions and avoids state and mutable data
42. Functional
43. Functional
44. Functional
45. Functional
46. Functional
47. Functional
49. Concurrency
50. Threads
51. Thread and Locks
52. Thread and Locks
53. Thread and Locks
54. Thread and Locks
55. Thread and Locks
56. Thread and Locks
57. Thread and Locks
58. Thread and Locks
59. Java = Imperative
60. Thread and Locks I don't know the answer
61. Thread and Locks Mutable State
62. Thread and Locks Race condition
63. Race Condition the output is dependent on the sequence or timing of other uncontrollable events
64. Thread and Locks The meaning of life is: 0
66. Thread and Locks The meaning of life is: 0
67. Thread and Locks
68. Thread and Locks
69. Thread and Locks
70. Thread and Locks
71. Thread and Locks
72. Thread and Locks
73. Thread and Locks
74. Thread and Locks
75. Thread and Locks Optimization
76. Optimization the compiler is allowed to statically optimize your code by reordering things
77. Optimization the compiler is allowed to statically optimize your code by reordering things
78. Optimization the JVM is allowed to dynamically optimize your code by reordering things
79. Optimization the JVM is allowed to dynamically optimize your code by reordering things
80. Optimization the hardware you’re running on is allowed to optimize performance by reordering things
81. Optimization the hardware you’re running on is allowed to optimize performance by reordering things
82. Imperative
83. Imperative Thread Pool Mutual Exclusion Mutiple Locks - Deadlock Excessive Contention
84. Functional
85. Functional treats computation as the evaluation of mathematical functions and avoids state and mutable data
86. Functional treats computation as the evaluation of mathematical functions and avoids state and mutable data
87. Functional treats computation as the evaluation of mathematical functions and avoids state and mutable data
88. Functional - Bound/Unbound Variable
89. Functional - Bound/Unbound Variable
90. Functional - Bound/Unbound Variable
91. Functional - Bound/Unbound Variable
92. Functional - Bound/Unbound Variable
93. Determinism
94. Determinism - Same In => Same out f(x)
95. Determinism - Same In => Same out no disk I/O f(x)
96. Determinism - Same In => Same out no disk I/O no random() f(x)
97. Determinism - Same In => Same out no disk I/O no side effects no random() always the same result f(x)
98. Determinism - Same In => Same out no disk I/O no side effects no random() f(x)
99. Determinism
100. Determinism
101. Determinism 42
102. Determinism
103. Determinism + Concurrency
104. Determinism + Concurrency
105. Determinism + Concurrency
106. Determinism + Concurrency
107. Determinism + Concurrency
108. Concurrency Models
109. Actor
110. Actor
111. Actor An object which encapsulates state and communicates with other actors by exchaging messages
112. Actor accumulator
113. Actor accumulator
114. Goroutines and Channels
115. Goroutines and Channels
116. Microthreads with a internal scheduler Goroutines and Channels
117. Goroutines and Channels
118. Goroutines and Channels
119. Goroutines and Channels
120. Goroutines and Channels
121. Goroutines and Channels
122. Goroutines and Channels
123. Goroutines and Channels
124. Goroutines and Channels
125. References
126. References
127. References
128. THANK YOU! @Scalone