Linguistic Symbiosis between Actors and Threads

Transcription

1 Linguistic Symbiosis between s and Threads Tom Van Cutsem Stijn Mostinckx Wolfgang De Meuter Programming Technology Lab Vrije Universiteit Brussel Brussels, Belgium International Conference on Dynamic Languages, August 27th 2007, Lugano

2 2 Overview AmbientTalk: OO DSL for mobile ad hoc networks Pure event-driven concurrency model (actors [Agha86]) How to do a safe linguistic symbiosis between actors and threads?

3 3 s vs. Threads actor: { def obj := object: { def m() {... } } def button := Button.new( Click Me ); button.addactionlistener(object: { def actionperformed(actionevent) { obj.m(); } }) } obj.m();

4 3 s vs. Threads actor: { def obj := object: { def m() {... } } def button := Button.new( Click Me ); button.addactionlistener(object: { def actionperformed(actionevent) { obj.m(); } }) } obj.m();

5 4 Event Loop Concurrency Events are executed serially Event notification is strictly asynchronous Event loops should have no shared state Event Event Queue Event Loop Event Handler

6 5 Event loop concurrency Based on E programming language [Miller05] Message queue Event loop

7 5 Event loop concurrency Based on E programming language [Miller05] local object Message queue Event loop

8 5 Event loop concurrency Based on E programming language [Miller05] local object obj.m() obj Message queue Event loop

9 5 Event loop concurrency Based on E programming language [Miller05] local object remote object Message queue Event loop

10 5 Event loop concurrency Based on E programming language [Miller05] local object remote object obj<-m() obj Message queue Event loop

11 5 Event loop concurrency Based on E programming language [Miller05] local object remote object obj<-m() obj Message queue Event loop s cannot cause deadlock No race conditions on objects

12 6 AmbientTalk/Java Based on Inter-language Reflection [Gybels et al 05] AmbientTalk is implemented in Java Data mapping: cfr. JRuby, Jython, JScheme, LuaJava, JPiccola,... Tight integration at the syntactic level def Button := jlobby.java.awt.button; def button := Button.new( Click Me ); button.addactionlistener(object: { def actionperformed(actionevent) {... } }); button.setvisible(true);

13 /Thread Mapping 7

14 7 /Thread Mapping?

15 8 s as Threads def obj := object: {... }; ajavacollection.add(obj); obj ajavacollection

16 8 s as Threads def obj := object: {... }; ajavacollection.add(obj); add(obj) obj ajavacollection

17 8 s as Threads def obj := object: {... }; ajavacollection.add(obj); add(obj) obj ajavacollection

18 8 s as Threads def obj := object: {... }; ajavacollection.add(obj); add(obj) obj synchronizedcol

19 9 s as Threads def obj := object: { def compareto(other) {... } } ajavacollection.add(obj); obj ajavacollection

20 9 s as Threads def obj := object: { def compareto(other) {... } } ajavacollection.add(obj); obj add(obj) ajavacollection

21 9 s as Threads def obj := object: { def compareto(other) {... } } ajavacollection.add(obj); obj add(obj) ajavacollection

22 9 s as Threads def obj := object: { def compareto(other) {... } } ajavacollection.add(obj); compareto(obj2) obj add(obj) ajavacollection

23 9 s as Threads def obj := object: { def compareto(other) {... } } ajavacollection.add(obj); obj add(obj) ajavacollection

24 10 Threads as s interface junit.framework.test { public int counttestcases(); public void run(testresult r); } def ambienttalktest := object: { def counttestcases() {... } def run(result) {... } }

25 10 Threads as s interface junit.framework.test { public int counttestcases(); public void run(testresult r); } def ambienttalktest := object: { def counttestcases() {... } def run(result) {... } } TestSuite suite = new TestSuite(); ATObject atunittest = /* load ambienttalk test */; suite.addtest((test) wrap(atunittest, Test.class)); suite.addtest(ajavaunittest); junit.textuit.testrunner.run(suite);

26 10 Threads as s ambienttalktest suite

27 10 Threads as s run(result) ambienttalktest suite

28 10 Threads as s run(result) ambienttalktest suite

29 10 Threads as s ambienttalktest suite

30 10 Threads as s ambienttalktest suite wrapper

31 10 Threads as s barrier.get() ambienttalktest suite wrapper

32 10 Threads as s barrier.get() ambienttalktest suite wrapper

33 10 Threads as s barrier.get() ambienttalktest suite wrapper

34 11 Threads as s ActionListener l =...; l.actionperformed(actionevent); def button := Button.new( Click Me ); button.addactionlistener(object: { def actionperformed(actionevent) {... } });

35 11 Threads as s ActionListener l =...; l.actionperformed(actionevent); def button := Button.new( Click Me ); button.addactionlistener(object: { def actionperformed(actionevent) {... } }); buttonlistener button

36 11 Threads as s ActionListener l =...; l.actionperformed(actionevent); def button := Button.new( Click Me ); button.addactionlistener(object: { def actionperformed(actionevent) {... } }); actionperformed(ae) buttonlistener button

37 11 Threads as s ActionListener l =...; l.actionperformed(actionevent); def button := Button.new( Click Me ); button.addactionlistener(object: { def actionperformed(actionevent) {... } }); buttonlistener button wrapper

38 11 Threads as s ActionListener l =...; l.actionperformed(actionevent); def button := Button.new( Click Me ); button.addactionlistener(object: { def actionperformed(actionevent) {... } }); buttonlistener button wrapper

39 11 Threads as s ActionListener l =...; l.actionperformed(actionevent); def button := Button.new( Click Me ); button.addactionlistener(object: { def actionperformed(actionevent) {... } }); buttonlistener button wrapper

40 11 Threads as s ActionListener l =...; l.actionperformed(actionevent); def button := Button.new( Click Me ); button.addactionlistener(object: { def actionperformed(actionevent) {... } }); buttonlistener button wrapper

41 11 Threads as s interface I extends java.util.eventlistener { public void event(...); } buttonlistener button wrapper

42 Summary 12

43 12 Summary collection.add(obj)

44 12 Summary obj.compareto(obj2)

45 Summary 12

46 12 Summary unittest.run(reporter)

47 12 Summary listener.actionperformed(ae)

48 13 Experience AmbientTalk using Java: AWT and Swing for GUI construction Java using AmbientTalk: JEdit plugin for collaborative text editing Self/Squeak s Morphic UI framework in AmbientTalk

49 14 Conclusions AmbientTalk: object-oriented (distributed) event-driven programming Symbiotic Thread/ mapping: AmbientTalk invocations proceed immediately Automatic synchronization of Java invocations Support for Java event notifications (listeners)