Ponylangとこれからの並行プログラミング
•
7 likes•5,165 views
The document discusses the Ponylang programming language. It covers three main topics: 1) Concurrency in Ponylang uses the actor model or shared memory with synchronization to avoid data races and deadlocks. 2) Ponylang uses capabilities to safely share isolated or immutable state between actors. 3) The Ponylang runtime provides fast actors through techniques like message passing and a read/write barrier garbage collector.
![class Counter extends Actor {
val set = mutable.Set[Int]()
def receive = { case data: Int =>
set.add(data)
resetter ! set
}
}
class Resetter extends Actor {
def receive = { case set: mutable.Set[_] =>
if(set.size > 10) set.clear()
}
}
mutable
※ code Pony
※ scala var + immutable copy
https://doc.akka.io/docs/akka/2.5.6/scala/general/jmm.html#actors-and-shared-mutable-state
race-condition](https://image.slidesharecdn.com/pony-180216005713/85/Ponylang-19-320.jpg)
![- Pony GC
read/write barrier [1][2]
-
-
- Pony](https://image.slidesharecdn.com/pony-180216005713/85/Ponylang-44-320.jpg)
Ponylangとこれからの並行プログラミング
- 1. Ponylang 2018/02/17 Hacker Tackle 2018 @matsu_chara
- 2. - @matsu_chara - FOLIO Scala - Pony 2
- 3. 1. 2. Concurrency 3. Ponylang 4. Ponylang
- 4. Pony - - - 2015 v0.1 - pre v1.0
- 5. 1
- 6. - Pony - -
- 7. - - =>
- 12. - Shared Memory & Synchronization - Actor Model -
- 13. 1. Shared Memory & Synchronization - - - -
- 15. 2. Actor model - Actor - Actor Message Passing - Actor - Actor - 1 Actor 1 Actor Actor ActorActor
- 17. Actor
- 19. class Counter extends Actor { val set = mutable.Set[Int]() def receive = { case data: Int => set.add(data) resetter ! set } } class Resetter extends Actor { def receive = { case set: mutable.Set[_] => if(set.size > 10) set.clear() } } mutable ※ code Pony ※ scala var + immutable copy https://doc.akka.io/docs/akka/2.5.6/scala/general/jmm.html#actors-and-shared-mutable-state race-condition
- 20. ( )
- 21. ( ) - data-race dead-lock Actor
- 22. ( ) - data-race dead-lock Actor -
- 23. ( ) - data-race dead-lock Actor - -
- 25. Ponylang 3
- 26. Actor model Shared Memory - Pony Deny Capabilities for Safe, Fast Actors - -
- 27. - Transfer Isolated State - Share Immutable - ※ https://github.com/jemc/slides-pony
- 28. a. Transfer Isolated State - - -
- 29. a. Transfer Isolated State Pros - zero-copy mutable Cons -
- 30. b. Share Immutable State - Immutable
- 31. Share Immutable State - mutable immutable - mutable - Immutable - write - write-unique
- 32. immutable? mutable?write-unique? Pony Reference Capability ※ val
- 34. iso - Isolated - read/write unique - - - Transfer Isolated State
- 35. iso isoな参照
- 40. val - Immutable - - - read - Share Immutable State
- 41. trn - Transition - - Write Unique - val
- 42. capability - box: Read Only - ref: mutable - tag: read/write 6
- 43. Ponylang 4
- 44. - Pony GC read/write barrier [1][2] - - - Pony
- 45. Wallaroo - Pony Stream - Python/Go binding - - Why we used Pony to write Wallaroo reddit Pony Rust https://www.wallaroolabs.com/
- 46. Distributed Pony - Pony - work-steeling - - GC - Pony
- 47. - runtime Pony - Concurrency Pony - (pony )