Actor&stm

public class StopThread implements Runnable { private boolean terminate; public void run() { while (! terminate) { // } } public void setTerminate(boolean terminate) { this. terminate = terminate; }}

if (!terminate) { while(true){ // }}

http://www.ﬂickr.com/photos/teegardin/5547069087/sizes/m/in/photostream/

public class StopThread implements Runnable { private volatile boolean terminate; public void run() { // (2) Volatile Load while (! terminate) { // } } public void setTerminate(boolean terminate) { // (1) Volatile Store this. terminate = terminate; }}

x = 0; y = 0; a = 0; b = 0;class AThread extend class BThread extendRunnable { Runnable { @Override @Override public void run() { public void run() { a = 1; b = 1; x = b; y = a; } }} }

(x , y)004590 (1 , 1)005606 (0 , 0)045450 (0 , 1)045451 (1 , 0)105747 (0 , 0)129356 (0 , 0)

class MyActor extends Actor { def act() = { // Runnable#run loop { // while(true) receive { // ( ) case "end" => exit case msg: String => println(msg) } } }}val myactor = new MyActormyactor.start()//myactor ! “Hello”//myactor ! “end”

val myactor = actor { loop { receive { case "end" => exit case "Hello" => reply("World") } }}// ( )val result = myactor !? “Hello”

val myactor = actor { loop { receive { case "end" => exit case numbers: List[Int] => reply(result) } }}// futureval future = myactor !! largeNumberswhile(!future.isSet){ Thread.sleep(1000) }val result = future()

val myactor = actor { loop { receive { case "end" => exit case msg: String => println(msg) } }}// ( )myactor ! “Hello”// ( )myactor ! “end”

val myactor = actor { loop { react { case "end" => exit case numbers: List[Int] => reply(result) } // , }}

class MyActor extends Actor { def act() = { // Runnable#run loop { // while(true) receive { // ( ) case "end" => exit case msg: String => println(msg) } } }}val myactor = new MyActormyactor.start()//myactor ! “Hello”//myactor ! “end”

class Money(var amount:BigDecimal, val actorA = new MyActor var currency: Currency) { def plus(add: Money):Unit = { val actorB = new MyActor var a = amount val money = new Money(10, a = a + add.amount amount = a Currency.getInstance("JPY" } )) // actorA ! ("set", money)} actorB ! ("set", money)class MyActor extends Actor { actorA ! ("add", money) var money: Money = _ actorB ! ("add", money) def act() = { loop { react { case "end" => exit case ("set", m) => money = m case ("add", m) => money.plus(m) } } }}

class Sequence { private var value = 0 def getValue = value // ↓ def getAndIncrement() = { value += 1 // Java value++ value }}

0182 19980848 19983438 19983714 19983950 1998

class Sequence { private var value = 0 def getValue = value // ↓ def getAndIncrement() = synchronized { value += 1 value }}

class Sequence { private var value = Ref(0) def getValue = value.get def getAndIncrement() = atomic { value alter (_ + 1) }}class Ref[T] ...def alter(f: T T): T = { val value = f(get) set(value) value}

Actor&stm

by じゅんいちかとう on Nov 19, 2011

Accessibility

Upload Details

Usage Rights

2 Embeds 3

Statistics

Actor&stm — Presentation Transcript

http://paper.li	2
http://a0.twimg.com	1

Actor&stm

by じゅんいち かとう on Nov 19, 2011

Accessibility

Upload Details

Usage Rights

2 Embeds 3

Statistics

Actor&stm — Presentation Transcript

by じゅんいちかとう on Nov 19, 2011