Дмитрий Иванов «JetBrains.RdFramework — консистентное реактивное программирование в распределённом мире»

Давайте шаг за шагом напишем «мини-райдер» — распределённое многопоточное приложение на нескольких языках программирования (в нашем случае это будут C# и Kotlin, оставим C++ в покое).

Какие строительные кирпичики, идеи и технические решения нам потребуются?

Transcript

1. RD FRAMEWORK Reactive distributed cross-platform communication Dmitry Ivanov, JetBrains
2. NUGET
3. INCEPTION Hierarchical nature of view model
4. INCEPTION Hierarchical nature of view model
5. INCEPTION Why not RPC Client Server req (a)sync res
6. INCEPTION Because it’s not Reactive! Client Server Reactive Model
7. OTHER MODELS
8. TRANSACTIONAL DATABASE Client1 Client2 DB commit/rollback commit/rollback
9. PERSISTENT ACTORS Actor: Devices Actor: Money Actor: Users
10. EVENT SOURCING Frontend Language Server
11. EVENT SOURCING Frontend Language Server
12. EVENT SOURCING Frontend Language Server 1 2 0 0 3 4
13. EVENT SOURCING Frontend Language Server 1 2 1 0 3 4
14. EVENT SOURCING Frontend Language Server 1 2 2 0 3 4
15. EVENT SOURCING Frontend Language Server 1 2 2 1 3 4
16. EVENT SOURCING Frontend Language Server { {
17. EVENT SOURCING Frontend Language Server { { { {
18. EVENT SOURCING Frontend Language Server { { { { A }
19. EVENT SOURCING Frontend Language Server { } { A } } } A
20. EVENT SOURCING Frontend Language Server { } { A } } A } A
21. EVENT SOURCING Frontend Language Server { A-rejected { A } A-rejected A } A
22. EVENT SOURCING Frontend Language Server { A { A } A A } A
23. REACTIVE PRIMITIVES
24. SIGNALS let’s apply lifetime pattern interface ISignal<T> { void Fire(T value) void Advise(Lifetime lf, Action<T> handler) }
25. SIGNALS separation of concerns interface ISignalFrontend<T> { void Fire(T value) } interface ISource<T> { void Advise(Lifetime lf, Action<T> handler) } interface ISignal<T> : ISource<T>
26. SIGNALS Of void interface ISignal<Unit> { void Advise(Lifetime lf, Action handler) }
27. SIGNALS Reactive networks ISource<TRes> ISource<T1>.Compose( ISource<T2>, Func<T1, T2, TRes> ) ISource<TRes> ISource<TOrig>.Select( Func<TOrig, TRes> )
28. PROPERTIES stateful signals interface ISource<T> { void Advise(Lifetime lf, Action<T> handler) } interface IViewableProperty<T> : ISource<T> { T Value {get; set} ISource<T> Change; }
29. PROPERTIES presenting viewable pattern interface ISink<T> { void Advise(Lifetime lf, Action<T> handler) } interface IViewableProperty<T> : ISink<T> { T Value {get; set} void View(Lifetime lf, Action<Lifetime, T> action) }
30. PROPERTIES presenting viewable pattern interface ISink<T> { void Advise(Lifetime lf, Action<T> handler) } interface IViewableProperty<T> : ISink<T> { T Value {get; set} void View(Lifetime lf, Action<Lifetime, T> action) } initial value
31. PROPERTIES presenting viewable pattern interface ISink<T> { void Advise(Lifetime lf, Action<T> handler) } interface IViewableProperty<T> : ISink<T> { T Value {get; set} void View(Lifetime lf, Action<Lifetime, T> action) } initial value
32. PROPERTIES presenting viewable pattern interface ISink<T> { void Advise(Lifetime lf, Action<T> handler) } interface IViewableProperty<T> : ISink<T> { T Value {get; set} void View(Lifetime lf, Action<Lifetime, T> action) } initial value
33. PROPERTIES presenting viewable pattern interface ISink<T> { void Advise(Lifetime lf, Action<T> handler) } interface IViewableProperty<T> : ISink<T> { T Value {get; set} void View(Lifetime lf, Action<Lifetime, T> action) } initial value
34. MAPS reactive collections interface IViewableMap<K,V> : IDictionary<K,V>, ISource<MapEvent<K,V>> { ISource<MapEvent<K,V>> Change; } enum AddUpdateRemove {Add, Update, Remove} class MapEvent<K,V>{ AddUpdateRemove kind; K key; V value; }
35. SETS reactive collections interface IViewableSet<T> : ISet<T> ISource<SetEvent<T>> { } enum AddUpdate {Add, Remove} class SetEvent<T>{ AddUpdate kind; T item; }
36. LIST reactive collections interface IViewableList<T> : IList<T>, ISource<ListEvent<T>> { } class ListEvent<T>{ AddUpdateRemove kind; int index; [CanBeNull] V oldValue; [CanBeNull] V newValue; }
37. BINDING JVM & CLR
38. REAL WORLD Idea R# MsBuild Unity Editor Debugger (+remote) Roslyn WPF Preview Unreal ThinClient (rdclient) WebStorm (rdbackend) R# front
39. RIDER FRAMEWORK DSL Frontend (IJ IDEA) Code Kotlin RdFramework Kotlin Generated Code Backend (ReSharper) Code C# RdFramework C# Generated Code dsl based model github (rd-net) github (rd-kt) github (rd-kt/rd-gen) RdModel.csproj rider-generated rider-model
40. GITHUB https://confluence.jetbrains.com/display/ReSharperInt/ Make+changes+in+Rd+Framework core library networking dsl + generator swing on properties OT for textbuffer
41. GITHUB https://confluence.jetbrains.com/display/ReSharperInt/ Make+changes+in+Rd+Framework core library networking
42. object Solution : Ext(IdeRoot) { init { map(“editors”, string, classdef(“Editor”) { }) } }
43. object Solution : Ext(IdeRoot) { init { map(“editors”, string, classdef(“Editor”) { list(“document”, char) }) } }
44. object Solution : Ext(IdeRoot) { init { map(“editors”, string, classdef(“Editor”) { list(“document”, char) property(“caret”, int) }) } }
45. object Solution : Ext(IdeRoot) { init { map(“editors”, string, classdef(“Editor”) { list(“document”, char) property(“caret”, int) map(“highlighters”, Range, Highlighter) }) } val Range = structdef(“Range”) { field(“start”, int) field(“length”, int) } val Highlighter = classdef(“Highlighter”) { field(“attributes”, immutableList(string)) } }
46. object Solution : Ext(IdeRoot) { init { map(“editors”, string, classdef(“Editor”) { list(“document”, char) property(“caret”, int) map(“highlighters”, Range, Highlighter) property(“completion”, Completion.nullable) }) } val Range = structdef(“Range”) { field(“start”, int) field(“length”, int) } val Highlighter = classdef(“Highlighter”) { immutableList(attributes) } }
47. object Solution : Ext(IdeRoot) { init { map(“editors”, string, classdef(“Editor”) { list(“document”, char) property(“caret”, int) map(“highlighters”, Range, Highlighter) property(“completion”, Completion.nullable) }) source(“build”, void) } val Range = structdef(“Range”) { field(“start”, int) field(“length”, int) } val Highlighter = classdef(“Highlighter”) { … } }
48. BUILDING BLOCKS of RdProtocol Primitive types: • int8, int16, int32, int64 • uint(s) • float, double • char, boolean, void • string • secureString • byteArray, intArray, doubleArray … • guid, uri, dateTime
49. BUILDING BLOCKS of RdProtocol Scalar types: (could be used in signals, calls) • enums (+flags) • structdef (abstract/sealed) - can contain fields of scalars
50. BUILDING BLOCKS of RdProtocol Bindable types: • classdef (abstract/sealed) • can contain: • signals • properties • lists, sets, maps • calls (+ lifetime per call) • fields of scalars/bindable
51. BUILDING BLOCKS of RdProtocol Combinators : • immutableList(type) • array(type) • type.nullable
52. HOW TO START Protocol (ctor) : • Serializers (+ IPolymorphicTypeCatalog) • Identities • Scheduler • RdDispatcher • SingleThreadScheduler • SynchronousScheduler • Wire (Local, Socket.Server, Socket.Client)
53. QUESTIONS AND ANSWERS thanks for your attention dmitry.ivanov@jetbrains.com