About how Clojure handles the multi-core problem. In Norwegian, but not too much text on slides.

1. Clojure
JVM språket som er
“multi-core ready”
Alf Kristian Støyle

3. Concurrency
dreier som om å gjøre flere urelaterte
oppgaver omtrent samtidig
Parallelism
dreier seg om å dele en oppgave i mange
deloppgaver som kan gjøres concurrent

5. Clojure

6. Accidental complexity

7. Alf Kristian Støyle
7 års erfaring som programmerer

8. Clojure
• General purpose
• Lisp (List Processing)
• Funksjonelt
• Kompilert
• Dynamisk typet
• Tett knyttet til JVM’en

9. 1
; => 1
"Hello World"
; => "Hello World"

10. 1
; => 1
"Hello World"
; => "Hello World"
(class 1)
; => java.lang.Integer
(class "Hello world")
; => java.lang.String

11. (println "Hello " "world")
; “Hello world”
; => nil

12. Funksjonsnavn
(println "Hello " "world")
; “Hello world”
; => nil

13. Funksjonsnavn Parametere
(println "Hello " "world")
; “Hello world”
; => nil

14. Funksjonsnavn Parametere
(println "Hello " "world")
,
; “Hello world”
; => nil

15. Prefiks notasjon
Funksjonsnavn Parametere
(println "Hello " "world")
,
; “Hello world”
; => nil

16. Methods.callStatic();
methods.callInstance();
callStatic();
callInstance();
this.callInstance();
methods.callStatic();
Methods.this.callInstance();
Methods.this.callStatic();

17. (println "Hello world")
; Hello world
; => nil

18. (println "Hello world")
; Hello world
; => nil
(sum 1 2 3)
; => 6

19. (println "Hello world")
; Hello world
; => nil
(sum 1 2 3)
; => 6
(+ 1 2)
; => 3

20. (println "Hello world")
; Hello world
; => nil
(sum 1 2 3)
; => 6
(+ 1 2)
; => 3
(+ 1 2 3)
; => 6

21. (println "Hello world")
; Hello world
; => nil
(sum 1 2 3)
; => 6
(+ 1 2)
; => 3
(+ 1 2 3)
; => 6
(+)
; => 0

22. 1 + 2 * 3

23. 1 + 2 * 3
1 + (2 * 3)

24. 1 + 2 * 3
1 + (2 * 3)
(+ 1 (* 2 3))

25. Funksjoner
(fn [& nums]
(apply + nums))

26. Funksjoner
(def sum
(fn [& nums]
(apply + nums)))

27. Funksjoner
(def sum
)

28. Funksjoner
(def sum
(fn [& nums]
(apply + nums)))

29. Funksjoner
(def sum
(fn [& nums]
(apply + nums)))
(defn sum
[& nums] (apply + nums))

30. Lister!
'(3 2 1)
; => (3 2 1)
(+ 3 2 1)
; => 6

31. Lister!
'(3 2 1)
; => (3 2 1)
(+ 3 2 1)
; => 6
(defn iterate
[f x] (cons x (lazy-seq (iterate f (f x)))))

32. Makroer

33. Makroer
(postfix (2 1 +))
; => 3

34. Makroer
(defmacro postfix [form]
(reverse form))
(postfix (2 1 +))
; => 3

35. Makroer
(infix (1 + 2))
; => 3

36. Makroer
(defmacro infix [form]
`(~(second form) ~(first form) ~@(nnext form)))
(infix (1 + 2))
; => 3

37. Makroer
(defmacro infix [form]
`(~(second form) ~(first form) ~@(nnext form)))
(infix (1 + 2))
; => 3
(macroexpand '(infix (1 + 2)))
; => (+ 1 2)

38. (+ Clojure Alf Kristian)

39. (+ Clojure Alf Kristian)
oooooo oooooo
oooooooooo oooooooooo
oooooooooooooo oooooooooooooo
ooooooooooooooooo ooooooooooooooooo
ooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooooooo
ooooooooooooooooooooooooooo
ooooooooooooooooooooooo
ooooooooooooooooooo
ooooooooooooooo
ooooooooooo
ooooooo
ooo
o
Clojure + Alf Kristian

40. Immutable collections
; List
'(3 2 1)
; Vector
[1 2 3]
; Set
#{1 2 3}
; Map
{1 "one", 2 "two"‚ 3 "three"}

41. Persistent data
structures
(def my-list '(3 2 1))
; => (3 2 1)

42. Persistent data
structures
(def my-list '(3 2 1))
; => (3 2 1)

43. Persistent data
structures
(def my-list '(3 2 1))
; => (3 2 1)
(def my-other-list (cons 4 my-list))
; => (4 3 2 1)

44. Persistent data
structures
(def my-list '(3 2 1))
; => (3 2 1)
(def my-other-list (cons 4 my-list))
; => (4 3 2 1)

45. Immutable records
(defrecord Person [fname lname])
; => user.Person
(Person. "Alf" "Støyle")
; => #:user.Person{:fname "Alf", :lname "Støyle"}

46. Immutable objects are always thread-safe.

47. Ren funksjonell
programmering
f(x) = x + 2

48. Clojures filosofi
Verdier
Immutable/uforanderlig, primitiv eller sammensatt

49. Clojures filosofi
Verdier
Immutable/uforanderlig, primitiv eller sammensatt
Identitet
En observert entitet som vi assosierer med en serie
relaterte tilstander (verdier) over tid

50. Clojures filosofi
Verdier
Immutable/uforanderlig, primitiv eller sammensatt
Identitet
En observert entitet som vi assosierer med en serie
relaterte tilstander (verdier) over tid
Tilstand
Verdien til en identitet i på et gitt tidspunkt

51. Clojures filosofi
Verdier
Immutable/uforanderlig, primitiv eller sammensatt
Identitet
En observert entitet som vi assosierer med en serie
relaterte tilstander (verdier) over tid
Tilstand
Verdien til en identitet i på et gitt tidspunkt
Tid
Relativ før/etter endring av identitet

52. Perception

53. Perception

54. Perception

55. Perception

56. Perception

57. Perception

58. Fra Rich Hickeys
“Are we there yet”

59. Reference types
• Atoms - synkron og ukoordinert oppdatering
• Agents - asynkron og ukoordinert oppdatering
• Refs - synkron og koordinert oppdatering

60. Reference types
• Atoms - synkron og ukoordinert oppdatering
• Agents - asynkron og ukoordinert oppdatering
• Refs - synkron og koordinert oppdatering
• Synkron perception

61. Atoms
(def an-atom (atom 0))
; => #'user/an-atom

62. Atoms
(def an-atom (atom 0))
; => #'user/an-atom
(swap! an-atom inc)
; => 1

63. Atoms
(def an-atom (atom 0))
; => #'user/an-atom
(swap! an-atom inc)
; => 1
(deref an-atom)
; => 1

64. Atoms
(def an-atom (atom 0))
; => #'user/an-atom
(swap! an-atom inc)
; => 1
(deref an-atom)
; => 1
@an-atom
; => 1

65. Agents
(def an-agent (agent 0))
; => #'user/an-atom

66. Agents
(def an-agent (agent 0))
; => #'user/an-atom
(send an-agent inc)
; => #<Agent@9b7c63f: 0>

67. Agents
(def an-agent (agent 0))
; => #'user/an-atom
(send an-agent inc)
; => #<Agent@9b7c63f: 0>
@an-agent
; => ???

68. Agents
(def an-agent (agent 0))
; => #'user/an-atom
(send an-agent inc)
; => #<Agent@9b7c63f: 0>
@an-agent (await an-agent)
; => ??? ; => nil
@an-agent
; => 1

69. Refs
(def ref-1 (ref 0))
; => #'user/ref-1
(def ref-2 (ref 0))
; => #'user/ref-2

70. Refs
(def ref-1 (ref 0))
; => #'user/ref-1
(def ref-2 (ref 0))
; => #'user/ref-2
(alter ref-1 inc)

71. Refs
(def ref-1 (ref 0))
; => #'user/ref-1
(def ref-2 (ref 0))
; => #'user/ref-2
(alter ref-1 inc)
; java.lang.IllegalStateException:
; No transaction running

72. Refs
(def ref-1 (ref 0))
; => #'user/ref-1
(def ref-2 (ref 0))
; => #'user/ref-2
(alter ref-1 inc)
; java.lang.IllegalStateException:
; No transaction running
(dosync (alter ref-1 inc))
; => 1

73. Refs
(dosync
(alter ref-1 inc)
(alter ref-2 dec))
; => -1

74. Refs
(dosync
(alter ref-1 inc)
(alter ref-2 dec))
; => -1
@ref-1
; => 2
@ref-2
; => -1

75. Refs
(dosync
(alter ref-1 inc)
(dosync
(alter ref-2 dec)))
; => -2
@ref-1
; => 3
@ref-2
; => -2

76. Software transactional
memory

77. Software transactional
memory

78. Software transactional
memory
Transactional memory is to
shared-memory concurrency
as
garbage collection is to
memory management

79. Software transactional
memory

80. Software transactional
memory
Atomic
Consistent
Isolated
Durable

82. (dosync
; ...
(commute ref-3 inc)
(alter ref-2 + @ref-1))
; => 1

83. Oppsummering
• Skiller tilstand og identitet
• Ingen mutable tilstand
• Ingenting blokkerer
• Clojure hjelper langt på vei med concurrency

84. Oppsummering
• Skiller tilstand og identitet
• Ingen mutable tilstand
• Ingenting blokkerer
• Clojure hjelper langt på vei med concurrency
• Mindre “accidental complexity”

85. clojure.org
slideshare.net/stoyle
aks@knowit.no
meetup.com/Oslo-Socially-Functional
Q &A