Clojure - JVM språket som er "multi-core ready"

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

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

Alf Kristian Støyle 7 års erfaring som programmerer

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

1 ; => 1 "Hello World" ; => "Hello World"

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

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

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

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

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

Preﬁks notasjon Funksjonsnavn Parametere (println "Hello " "world") , ; “Hello world” ; => nil

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

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

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

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

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

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

1 + 2 * 3 1 + (2 * 3) (+ 1 (* 2 3))

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

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

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

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

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

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

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

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

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

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

(+ 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

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

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

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

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

Immutable objects are always thread-safe.

Ren funksjonell programmering f(x) = x + 2

Clojures ﬁlosoﬁ Verdier Immutable/uforanderlig, primitiv eller sammensatt

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

Clojures ﬁlosoﬁ 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

Clojures ﬁlosoﬁ 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

Fra Rich Hickeys “Are we there yet”

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Software transactional memory Atomic Consistent Isolated Durable

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

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

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

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

Clojure - JVM språket som er "multi-core ready"

More Related Content

Featured

Clojure - JVM språket som er "multi-core ready"

Editor's Notes