diff --git a/go/EWD123/ewd123a/ewd123a.go b/go/EWD123/ewd123a/ewd123a.go index 3a6d472..c0afd79 100644 --- a/go/EWD123/ewd123a/ewd123a.go +++ b/go/EWD123/ewd123a/ewd123a.go @@ -41,11 +41,11 @@ L1: controller.LeaveCriticalSection(1) turn = 2 - //Process 2 can run now (and will in some cases) + //Process 2 can run now controller.OutsideCriticalSection(1, 100) - if controller.ProcessCrashed(0.01) { + if controller.ProcessCrashed(0.1) { log.Printf("Process 1 crashed\n") return } @@ -66,11 +66,11 @@ L2: controller.LeaveCriticalSection(2) turn = 1 - //Process can run now (and will in some cases) + //Process can run now controller.OutsideCriticalSection(2, 100) - if controller.ProcessCrashed(0.01) { + if controller.ProcessCrashed(0.1) { log.Printf("Process 2 crashed\n") return } diff --git a/go/EWD123/ewd123d/ewd123d.go b/go/EWD123/ewd123d/ewd123d.go index db2222e..167d9c6 100644 --- a/go/EWD123/ewd123d/ewd123d.go +++ b/go/EWD123/ewd123d/ewd123d.go @@ -15,7 +15,6 @@ package ewd123d import ( "../controller" - "log" ) // global synchronization variables @@ -34,9 +33,11 @@ L1: if c2 == 0 { //when both processes are at this stage, they will wait for each other to clear this area //for this to happen the processes need to be executed at exactly the same time. + controller.OutsideCriticalSection(1, 100) c1 = 1 goto L1 } + controller.OutsideCriticalSection(1, 100) controller.EnterCriticalSection(1) controller.InsideCriticalSection(1, 50) @@ -46,10 +47,10 @@ L1: controller.OutsideCriticalSection(1, 100) - if controller.ProcessCrashed(0.1) { + /*if controller.ProcessCrashed(0.1) { log.Println("Process 1 crashed") return - } + }*/ goto L1 } @@ -59,6 +60,7 @@ func process2() { L2: c2 = 0 if c1 == 0 { + controller.OutsideCriticalSection(2, 100) c2 = 1 goto L2 } @@ -71,10 +73,10 @@ L2: controller.OutsideCriticalSection(2, 100) - if controller.ProcessCrashed(0.1) { + /*if controller.ProcessCrashed(0.1) { log.Println("Process 2 crashed") return - } + }*/ goto L2 } diff --git a/go/EWD123/ewd123dekker/ewd123dekker.go b/go/EWD123/ewd123dekker/ewd123dekker.go index 1d3fc25..0e52016 100644 --- a/go/EWD123/ewd123dekker/ewd123dekker.go +++ b/go/EWD123/ewd123dekker/ewd123dekker.go @@ -92,10 +92,10 @@ L2: controller.OutsideCriticalSection(2, 100) - if controller.ProcessCrashed(0.1) { + /*if controller.ProcessCrashed(0.1) { log.Println("Process 2 crashed") return - } + }*/ goto A2 } diff --git a/mCRL2/VendingMachine/VendingMachine_spec.mcrl2 b/mCRL2/VendingMachine/VendingMachine_spec.mcrl2 index cc5bbaf..7bfedb3 100644 --- a/mCRL2/VendingMachine/VendingMachine_spec.mcrl2 +++ b/mCRL2/VendingMachine/VendingMachine_spec.mcrl2 @@ -18,6 +18,7 @@ sort map value: Coin -> Int; % the value of a coin as an integer + next: Coin -> Coin; eqn value(_5c) = 5; @@ -26,6 +27,11 @@ eqn value(_50c) = 50; value(Euro) = 100; + next(Euro) = _50c; + next(_50c) = _20c; + next(_20c) = _10c; + next(_10c) = _5c; + % ----------------------------------------------------------------------------------------------------------------------- % @@ -38,10 +44,10 @@ map price: Product -> Int; % the price of a product as an integer eqn - value(tea) = 10; - value(coffee) = 25; - value(cake) = 60; - value(apple) = 80; + price(tea) = 10; + price(coffee) = 25; + price(cake) = 60; + price(apple) = 80; % ----------------------------------------------------------------------------------------------------------------------- % diff --git a/protocol/a.txt b/protocol/a.txt index e636efb..67d23f0 100644 --- a/protocol/a.txt +++ b/protocol/a.txt @@ -1,434 +1,34 @@ -2020/03/11 16:10:15.212947 ewd123.go:33: *** Start Prozesse wechseln sich immer nur ab (Reihenfolge immer 1,2,1,2,1,2,1,2,...) -2020/03/11 16:10:15.325177 controller.go:32: entered CS: 1 Dies führt zu einem Deadlock wenn einer der Prozesse abstürzt, da der andere warten muss bis CS freigegeben ist. -2020/03/11 16:10:15.325177 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:15.376074 controller.go:47: left CS: 1 -2020/03/11 16:10:15.376074 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:15.376074 controller.go:32: entered CS: 2 -2020/03/11 16:10:15.376074 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:15.426941 controller.go:47: left CS: 2 -2020/03/11 16:10:15.426941 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:15.476805 controller.go:32: entered CS: 1 -2020/03/11 16:10:15.476805 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:15.527786 controller.go:47: left CS: 1 -2020/03/11 16:10:15.527786 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:15.527786 controller.go:32: entered CS: 2 -2020/03/11 16:10:15.527786 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:15.578964 controller.go:47: left CS: 2 -2020/03/11 16:10:15.578964 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:15.627826 controller.go:32: entered CS: 1 -2020/03/11 16:10:15.627826 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:15.678690 controller.go:47: left CS: 1 -2020/03/11 16:10:15.678690 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:15.679688 controller.go:32: entered CS: 2 -2020/03/11 16:10:15.679688 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:15.731549 controller.go:47: left CS: 2 -2020/03/11 16:10:15.731549 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:15.779421 controller.go:32: entered CS: 1 -2020/03/11 16:10:15.779421 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:15.830285 controller.go:47: left CS: 1 -2020/03/11 16:10:15.830285 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:15.832285 controller.go:32: entered CS: 2 -2020/03/11 16:10:15.832285 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:15.883145 controller.go:47: left CS: 2 -2020/03/11 16:10:15.883145 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:15.931051 controller.go:32: entered CS: 1 -2020/03/11 16:10:15.931051 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:15.981880 controller.go:47: left CS: 1 -2020/03/11 16:10:15.981880 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:15.983874 controller.go:32: entered CS: 2 -2020/03/11 16:10:15.983874 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:16.034740 controller.go:47: left CS: 2 -2020/03/11 16:10:16.034740 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:16.082637 controller.go:32: entered CS: 1 -2020/03/11 16:10:16.082637 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:16.133476 controller.go:47: left CS: 1 -2020/03/11 16:10:16.133476 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:16.135469 controller.go:32: entered CS: 2 -2020/03/11 16:10:16.135469 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:16.186335 controller.go:47: left CS: 2 -2020/03/11 16:10:16.186335 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:16.234206 controller.go:32: entered CS: 1 -2020/03/11 16:10:16.234206 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:16.285097 controller.go:47: left CS: 1 -2020/03/11 16:10:16.285097 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:16.287092 controller.go:32: entered CS: 2 -2020/03/11 16:10:16.287092 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:16.337760 controller.go:47: left CS: 2 -2020/03/11 16:10:16.337760 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:16.385633 controller.go:32: entered CS: 1 -2020/03/11 16:10:16.385633 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:16.436497 controller.go:47: left CS: 1 -2020/03/11 16:10:16.436497 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:16.438518 controller.go:32: entered CS: 2 -2020/03/11 16:10:16.438518 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:16.488745 controller.go:47: left CS: 2 -2020/03/11 16:10:16.488745 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:16.537843 controller.go:32: entered CS: 1 -2020/03/11 16:10:16.537843 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:16.588706 controller.go:47: left CS: 1 -2020/03/11 16:10:16.588706 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:16.589704 controller.go:32: entered CS: 2 -2020/03/11 16:10:16.589704 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:16.640099 controller.go:47: left CS: 2 -2020/03/11 16:10:16.640099 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:16.688988 controller.go:32: entered CS: 1 -2020/03/11 16:10:16.688988 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:16.739832 controller.go:47: left CS: 1 -2020/03/11 16:10:16.739832 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:16.740829 controller.go:32: entered CS: 2 -2020/03/11 16:10:16.740829 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:16.790860 controller.go:47: left CS: 2 -2020/03/11 16:10:16.790860 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:16.840726 controller.go:32: entered CS: 1 -2020/03/11 16:10:16.840726 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:16.891587 controller.go:47: left CS: 1 -2020/03/11 16:10:16.891587 controller.go:32: entered CS: 2 -2020/03/11 16:10:16.891587 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:16.891587 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:16.941643 controller.go:47: left CS: 2 -2020/03/11 16:10:16.941643 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:16.993394 controller.go:32: entered CS: 1 -2020/03/11 16:10:16.993394 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:17.053233 controller.go:47: left CS: 1 -2020/03/11 16:10:17.053233 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:17.053233 controller.go:32: entered CS: 2 -2020/03/11 16:10:17.053233 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:17.104123 controller.go:47: left CS: 2 -2020/03/11 16:10:17.104123 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:17.153963 controller.go:32: entered CS: 1 -2020/03/11 16:10:17.153963 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:17.204831 controller.go:47: left CS: 1 -2020/03/11 16:10:17.204831 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:17.204831 controller.go:32: entered CS: 2 -2020/03/11 16:10:17.204831 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:17.255693 controller.go:47: left CS: 2 -2020/03/11 16:10:17.255693 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:17.306696 controller.go:32: entered CS: 1 -2020/03/11 16:10:17.306696 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:17.357054 controller.go:47: left CS: 1 -2020/03/11 16:10:17.357054 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:17.357054 controller.go:32: entered CS: 2 -2020/03/11 16:10:17.357054 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:17.407563 controller.go:47: left CS: 2 -2020/03/11 16:10:17.407563 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:17.457424 controller.go:32: entered CS: 1 -2020/03/11 16:10:17.457424 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:17.508288 controller.go:47: left CS: 1 -2020/03/11 16:10:17.508288 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:17.508288 controller.go:32: entered CS: 2 -2020/03/11 16:10:17.508288 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:17.559157 controller.go:47: left CS: 2 -2020/03/11 16:10:17.559157 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:17.609021 controller.go:32: entered CS: 1 -2020/03/11 16:10:17.609021 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:17.659886 controller.go:47: left CS: 1 -2020/03/11 16:10:17.659886 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:17.659886 controller.go:32: entered CS: 2 -2020/03/11 16:10:17.659886 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:17.710770 controller.go:47: left CS: 2 -2020/03/11 16:10:17.710770 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:17.760765 controller.go:32: entered CS: 1 -2020/03/11 16:10:17.760765 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:17.811151 controller.go:47: left CS: 1 -2020/03/11 16:10:17.811151 controller.go:32: entered CS: 2 -2020/03/11 16:10:17.811151 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:17.811151 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:17.862015 controller.go:47: left CS: 2 -2020/03/11 16:10:17.862015 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:17.911882 controller.go:32: entered CS: 1 -2020/03/11 16:10:17.911882 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:17.962397 controller.go:47: left CS: 1 -2020/03/11 16:10:17.962397 controller.go:32: entered CS: 2 -2020/03/11 16:10:17.962397 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:17.962397 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:18.013291 controller.go:47: left CS: 2 -2020/03/11 16:10:18.013291 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:18.063132 controller.go:32: entered CS: 1 -2020/03/11 16:10:18.063132 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:18.114113 controller.go:47: left CS: 1 -2020/03/11 16:10:18.114113 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:18.114113 controller.go:32: entered CS: 2 -2020/03/11 16:10:18.114113 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:18.164779 controller.go:47: left CS: 2 -2020/03/11 16:10:18.164779 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:18.214256 controller.go:32: entered CS: 1 -2020/03/11 16:10:18.214256 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:18.265124 controller.go:47: left CS: 1 -2020/03/11 16:10:18.265124 controller.go:32: entered CS: 2 -2020/03/11 16:10:18.265124 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:18.265124 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:18.315274 controller.go:47: left CS: 2 -2020/03/11 16:10:18.315274 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:18.366592 controller.go:32: entered CS: 1 -2020/03/11 16:10:18.366592 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:18.427425 controller.go:47: left CS: 1 -2020/03/11 16:10:18.427425 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:18.427425 controller.go:32: entered CS: 2 -2020/03/11 16:10:18.427425 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:18.478289 controller.go:47: left CS: 2 -2020/03/11 16:10:18.478289 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:18.528779 controller.go:32: entered CS: 1 -2020/03/11 16:10:18.528779 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:18.578896 controller.go:47: left CS: 1 -2020/03/11 16:10:18.578896 controller.go:32: entered CS: 2 -2020/03/11 16:10:18.578896 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:18.578896 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:18.629790 controller.go:47: left CS: 2 -2020/03/11 16:10:18.629790 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:18.679657 controller.go:32: entered CS: 1 -2020/03/11 16:10:18.679657 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:18.730555 controller.go:47: left CS: 1 -2020/03/11 16:10:18.730555 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:18.730555 controller.go:32: entered CS: 2 -2020/03/11 16:10:18.730555 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:18.781070 controller.go:47: left CS: 2 -2020/03/11 16:10:18.781070 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:18.831443 controller.go:32: entered CS: 1 -2020/03/11 16:10:18.831443 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:18.882692 controller.go:47: left CS: 1 -2020/03/11 16:10:18.882692 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:18.882692 controller.go:32: entered CS: 2 -2020/03/11 16:10:18.882692 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:18.933557 controller.go:47: left CS: 2 -2020/03/11 16:10:18.933557 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:18.983423 controller.go:32: entered CS: 1 -2020/03/11 16:10:18.983423 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:19.033921 controller.go:47: left CS: 1 -2020/03/11 16:10:19.033921 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:19.033921 controller.go:32: entered CS: 2 -2020/03/11 16:10:19.033921 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:19.083980 controller.go:47: left CS: 2 -2020/03/11 16:10:19.083980 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:19.135842 controller.go:32: entered CS: 1 -2020/03/11 16:10:19.135842 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:19.197261 controller.go:47: left CS: 1 -2020/03/11 16:10:19.197261 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:19.197261 controller.go:32: entered CS: 2 -2020/03/11 16:10:19.197261 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:19.248067 controller.go:47: left CS: 2 -2020/03/11 16:10:19.248067 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:19.297925 controller.go:32: entered CS: 1 -2020/03/11 16:10:19.297925 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:19.348658 controller.go:47: left CS: 1 -2020/03/11 16:10:19.348658 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:19.348658 controller.go:32: entered CS: 2 -2020/03/11 16:10:19.348658 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:19.399562 controller.go:47: left CS: 2 -2020/03/11 16:10:19.399562 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:19.449436 controller.go:32: entered CS: 1 -2020/03/11 16:10:19.449436 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:19.500304 controller.go:47: left CS: 1 -2020/03/11 16:10:19.500304 controller.go:32: entered CS: 2 -2020/03/11 16:10:19.500304 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:19.500304 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:19.551164 controller.go:47: left CS: 2 -2020/03/11 16:10:19.551164 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:19.601043 controller.go:32: entered CS: 1 -2020/03/11 16:10:19.601043 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:19.651843 controller.go:47: left CS: 1 -2020/03/11 16:10:19.651843 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:19.651843 controller.go:32: entered CS: 2 -2020/03/11 16:10:19.651843 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:19.702702 controller.go:47: left CS: 2 -2020/03/11 16:10:19.702702 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:19.752141 controller.go:32: entered CS: 1 -2020/03/11 16:10:19.752141 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:19.803029 controller.go:47: left CS: 1 -2020/03/11 16:10:19.803029 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:19.803029 controller.go:32: entered CS: 2 -2020/03/11 16:10:19.803029 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:19.853256 controller.go:47: left CS: 2 -2020/03/11 16:10:19.853256 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:19.903127 controller.go:32: entered CS: 1 -2020/03/11 16:10:19.903127 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:19.954015 controller.go:47: left CS: 1 -2020/03/11 16:10:19.954015 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:19.954015 controller.go:32: entered CS: 2 -2020/03/11 16:10:19.954015 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:20.004881 controller.go:47: left CS: 2 -2020/03/11 16:10:20.004881 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:20.054746 controller.go:32: entered CS: 1 -2020/03/11 16:10:20.054746 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:20.105403 controller.go:47: left CS: 1 -2020/03/11 16:10:20.105403 controller.go:32: entered CS: 2 -2020/03/11 16:10:20.105403 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:20.105403 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:20.156159 controller.go:47: left CS: 2 -2020/03/11 16:10:20.156159 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:20.206016 controller.go:32: entered CS: 1 -2020/03/11 16:10:20.206016 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:20.256769 controller.go:47: left CS: 1 -2020/03/11 16:10:20.256769 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:20.256769 controller.go:32: entered CS: 2 -2020/03/11 16:10:20.256769 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:20.307659 controller.go:47: left CS: 2 -2020/03/11 16:10:20.307659 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:20.357065 controller.go:32: entered CS: 1 -2020/03/11 16:10:20.357065 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:20.407933 controller.go:47: left CS: 1 -2020/03/11 16:10:20.407933 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:20.407933 controller.go:32: entered CS: 2 -2020/03/11 16:10:20.407933 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:20.458797 controller.go:47: left CS: 2 -2020/03/11 16:10:20.458797 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:20.508660 controller.go:32: entered CS: 1 -2020/03/11 16:10:20.508660 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:20.559427 controller.go:47: left CS: 1 -2020/03/11 16:10:20.559427 controller.go:32: entered CS: 2 -2020/03/11 16:10:20.559427 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:20.559427 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:20.610295 controller.go:47: left CS: 2 -2020/03/11 16:10:20.610295 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:20.660163 controller.go:32: entered CS: 1 -2020/03/11 16:10:20.660163 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:20.710589 controller.go:47: left CS: 1 -2020/03/11 16:10:20.710589 controller.go:32: entered CS: 2 -2020/03/11 16:10:20.710589 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:20.710589 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:20.761049 controller.go:47: left CS: 2 -2020/03/11 16:10:20.761049 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:20.810893 controller.go:32: entered CS: 1 -2020/03/11 16:10:20.810893 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:20.861861 controller.go:47: left CS: 1 -2020/03/11 16:10:20.861861 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:20.861861 controller.go:32: entered CS: 2 -2020/03/11 16:10:20.861861 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:20.912066 controller.go:47: left CS: 2 -2020/03/11 16:10:20.912066 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:20.962274 controller.go:32: entered CS: 1 -2020/03/11 16:10:20.962274 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:21.013162 controller.go:47: left CS: 1 -2020/03/11 16:10:21.013162 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:21.013162 controller.go:32: entered CS: 2 -2020/03/11 16:10:21.013162 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:21.064003 controller.go:47: left CS: 2 -2020/03/11 16:10:21.064003 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:21.113930 controller.go:32: entered CS: 1 -2020/03/11 16:10:21.113930 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:21.164443 controller.go:47: left CS: 1 -2020/03/11 16:10:21.164443 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:21.164443 controller.go:32: entered CS: 2 -2020/03/11 16:10:21.164443 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:21.215280 controller.go:47: left CS: 2 -2020/03/11 16:10:21.215280 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:21.265146 controller.go:32: entered CS: 1 -2020/03/11 16:10:21.265146 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:21.315660 controller.go:47: left CS: 1 -2020/03/11 16:10:21.315660 controller.go:32: entered CS: 2 -2020/03/11 16:10:21.315660 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:21.315660 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:21.366249 controller.go:47: left CS: 2 -2020/03/11 16:10:21.366249 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:21.415699 controller.go:32: entered CS: 1 -2020/03/11 16:10:21.415699 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:21.466596 controller.go:47: left CS: 1 -2020/03/11 16:10:21.466596 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:21.466596 controller.go:32: entered CS: 2 -2020/03/11 16:10:21.466596 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:21.517460 controller.go:47: left CS: 2 -2020/03/11 16:10:21.517460 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:21.567362 controller.go:32: entered CS: 1 -2020/03/11 16:10:21.567362 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:21.618201 controller.go:47: left CS: 1 -2020/03/11 16:10:21.618201 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:21.618201 controller.go:32: entered CS: 2 -2020/03/11 16:10:21.618201 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:21.669069 controller.go:47: left CS: 2 -2020/03/11 16:10:21.669069 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:21.718931 controller.go:32: entered CS: 1 -2020/03/11 16:10:21.718931 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:21.769402 controller.go:47: left CS: 1 -2020/03/11 16:10:21.769402 controller.go:32: entered CS: 2 -2020/03/11 16:10:21.769402 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:21.769402 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:21.820262 controller.go:47: left CS: 2 -2020/03/11 16:10:21.820262 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:21.870240 controller.go:32: entered CS: 1 -2020/03/11 16:10:21.870240 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:21.920489 controller.go:47: left CS: 1 -2020/03/11 16:10:21.920489 controller.go:32: entered CS: 2 -2020/03/11 16:10:21.920489 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:21.920489 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:21.971133 controller.go:47: left CS: 2 -2020/03/11 16:10:21.971133 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:22.021005 controller.go:32: entered CS: 1 -2020/03/11 16:10:22.021005 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:22.071405 controller.go:47: left CS: 1 -2020/03/11 16:10:22.071405 controller.go:32: entered CS: 2 -2020/03/11 16:10:22.071405 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:22.071405 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:22.122383 controller.go:47: left CS: 2 -2020/03/11 16:10:22.122383 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:22.172138 controller.go:32: entered CS: 1 -2020/03/11 16:10:22.172138 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:22.222596 controller.go:47: left CS: 1 -2020/03/11 16:10:22.222596 controller.go:32: entered CS: 2 -2020/03/11 16:10:22.222596 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:22.222596 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:22.273484 controller.go:47: left CS: 2 -2020/03/11 16:10:22.273484 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:22.322766 controller.go:32: entered CS: 1 -2020/03/11 16:10:22.322766 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:22.373284 controller.go:47: left CS: 1 -2020/03/11 16:10:22.373284 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:22.374282 controller.go:32: entered CS: 2 -2020/03/11 16:10:22.374282 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:22.425145 controller.go:47: left CS: 2 -2020/03/11 16:10:22.425145 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:22.473589 controller.go:32: entered CS: 1 -2020/03/11 16:10:22.473589 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:22.524047 controller.go:47: left CS: 1 -2020/03/11 16:10:22.524047 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:22.526013 controller.go:32: entered CS: 2 -2020/03/11 16:10:22.526013 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:22.576512 controller.go:47: left CS: 2 -2020/03/11 16:10:22.576512 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:22.624099 controller.go:32: entered CS: 1 -2020/03/11 16:10:22.624099 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:22.674959 controller.go:47: left CS: 1 -2020/03/11 16:10:22.674959 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:22.676954 controller.go:32: entered CS: 2 -2020/03/11 16:10:22.676954 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:22.727473 controller.go:47: left CS: 2 -2020/03/11 16:10:22.727473 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:22.775188 controller.go:32: entered CS: 1 -2020/03/11 16:10:22.775188 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:22.825565 controller.go:47: left CS: 1 -2020/03/11 16:10:22.825565 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:22.827560 controller.go:32: entered CS: 2 -2020/03/11 16:10:22.827560 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:22.877637 controller.go:47: left CS: 2 -2020/03/11 16:10:22.877637 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:22.927501 controller.go:32: entered CS: 1 -2020/03/11 16:10:22.927501 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:22.978449 controller.go:47: left CS: 1 -2020/03/11 16:10:22.978449 controller.go:32: entered CS: 2 -2020/03/11 16:10:22.978449 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:22.978449 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:23.029267 controller.go:47: left CS: 2 -2020/03/11 16:10:23.029267 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:23.078556 controller.go:32: entered CS: 1 -2020/03/11 16:10:23.078556 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:23.129424 controller.go:47: left CS: 1 -2020/03/11 16:10:23.129424 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:23.129424 controller.go:32: entered CS: 2 -2020/03/11 16:10:23.129424 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:23.180284 controller.go:47: left CS: 2 -2020/03/11 16:10:23.180284 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:23.230151 controller.go:32: entered CS: 1 -2020/03/11 16:10:23.230151 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:23.281053 controller.go:47: left CS: 1 -2020/03/11 16:10:23.281053 controller.go:32: entered CS: 2 -2020/03/11 16:10:23.281053 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:23.281053 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:23.331577 controller.go:47: left CS: 2 -2020/03/11 16:10:23.331577 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:23.381444 controller.go:32: entered CS: 1 -2020/03/11 16:10:23.381444 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:10:23.431858 controller.go:47: left CS: 1 -2020/03/11 16:10:23.431858 controller.go:32: entered CS: 2 -2020/03/11 16:10:23.431858 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:10:23.431858 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:10:23.482397 controller.go:47: left CS: 2 -2020/03/11 16:10:23.482397 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:10:23.532342 ewd123a.go:49: Process 1 crashed \ No newline at end of file +2020/04/17 09:44:04.164361 ewd123.go:33: *** Start +2020/04/17 09:44:04.210238 controller.go:32: entered CS: 1 +2020/04/17 09:44:04.210238 controller.go:57: inside CS: 1 (50 msecs) +2020/04/17 09:44:04.261103 controller.go:47: left CS: 1 +2020/04/17 09:44:04.261103 controller.go:67: outside CS: 1 (100 msecs) +2020/04/17 09:44:04.261103 controller.go:32: entered CS: 2 +2020/04/17 09:44:04.261103 controller.go:57: inside CS: 2 (50 msecs) +2020/04/17 09:44:04.311966 controller.go:47: left CS: 2 +2020/04/17 09:44:04.311966 controller.go:67: outside CS: 2 (100 msecs) +2020/04/17 09:44:04.361832 controller.go:32: entered CS: 1 +2020/04/17 09:44:04.361832 controller.go:57: inside CS: 1 (50 msecs) +2020/04/17 09:44:04.412697 controller.go:47: left CS: 1 +2020/04/17 09:44:04.412697 controller.go:32: entered CS: 2 +2020/04/17 09:44:04.412697 controller.go:57: inside CS: 2 (50 msecs) +2020/04/17 09:44:04.412697 controller.go:67: outside CS: 1 (100 msecs) +2020/04/17 09:44:04.463560 controller.go:47: left CS: 2 +2020/04/17 09:44:04.463560 controller.go:67: outside CS: 2 (100 msecs) +2020/04/17 09:44:04.513455 controller.go:32: entered CS: 1 +2020/04/17 09:44:04.513455 controller.go:57: inside CS: 1 (50 msecs) +2020/04/17 09:44:04.564386 controller.go:47: left CS: 1 +2020/04/17 09:44:04.564386 controller.go:67: outside CS: 1 (100 msecs) +2020/04/17 09:44:04.564386 controller.go:32: entered CS: 2 +2020/04/17 09:44:04.564386 controller.go:57: inside CS: 2 (50 msecs) +2020/04/17 09:44:04.615253 controller.go:47: left CS: 2 +2020/04/17 09:44:04.615253 controller.go:67: outside CS: 2 (100 msecs) +2020/04/17 09:44:04.665121 controller.go:32: entered CS: 1 +2020/04/17 09:44:04.665121 controller.go:57: inside CS: 1 (50 msecs) +2020/04/17 09:44:04.715982 controller.go:47: left CS: 1 +2020/04/17 09:44:04.715982 controller.go:32: entered CS: 2 +2020/04/17 09:44:04.715982 controller.go:67: outside CS: 1 (100 msecs) +2020/04/17 09:44:04.715982 controller.go:57: inside CS: 2 (50 msecs) +2020/04/17 09:44:04.766493 controller.go:47: left CS: 2 +2020/04/17 09:44:04.766493 controller.go:67: outside CS: 2 (100 msecs) +2020/04/17 09:44:04.816384 ewd123a.go:49: Process 1 crashed diff --git a/protocol/d.txt b/protocol/d.txt index 3cc47d7..f5b1dd6 100644 --- a/protocol/d.txt +++ b/protocol/d.txt @@ -1,46 +1,157 @@ -2020/03/11 16:14:46.862020 ewd123.go:33: *** Start -2020/03/11 16:14:46.968278 controller.go:32: entered CS: 2 -2020/03/11 16:14:46.968278 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:14:47.019143 controller.go:47: left CS: 2 -2020/03/11 16:14:47.019143 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:14:47.019143 controller.go:32: entered CS: 1 -2020/03/11 16:14:47.019143 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:14:47.070008 controller.go:47: left CS: 1 -2020/03/11 16:14:47.070008 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:14:47.119584 controller.go:32: entered CS: 2 -2020/03/11 16:14:47.119584 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:14:47.170425 controller.go:47: left CS: 2 -2020/03/11 16:14:47.170425 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:14:47.170425 controller.go:32: entered CS: 1 -2020/03/11 16:14:47.170425 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:14:47.220903 controller.go:47: left CS: 1 -2020/03/11 16:14:47.220903 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:14:47.270770 controller.go:32: entered CS: 2 -2020/03/11 16:14:47.270770 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:14:47.321635 controller.go:47: left CS: 2 -2020/03/11 16:14:47.321635 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:14:47.321635 controller.go:32: entered CS: 1 -2020/03/11 16:14:47.321635 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:14:47.372508 controller.go:47: left CS: 1 -2020/03/11 16:14:47.372508 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:14:47.421903 controller.go:32: entered CS: 2 -2020/03/11 16:14:47.421903 controller.go:57: inside CS: 2 (50 msecs) -2020/03/11 16:14:47.472767 controller.go:47: left CS: 2 -2020/03/11 16:14:47.472767 controller.go:67: outside CS: 2 (100 msecs) -2020/03/11 16:14:47.472767 controller.go:32: entered CS: 1 -2020/03/11 16:14:47.472767 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:14:47.523657 controller.go:47: left CS: 1 -2020/03/11 16:14:47.523657 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:14:47.573498 ewd123d.go:75: Process 2 crashed -2020/03/11 16:14:47.624388 controller.go:32: entered CS: 1 -2020/03/11 16:14:47.624388 controller.go:57: inside CS: 1 (50 msecs) -2020/03/11 16:14:47.675224 controller.go:47: left CS: 1 -2020/03/11 16:14:47.675224 controller.go:67: outside CS: 1 (100 msecs) -2020/03/11 16:14:47.775956 ewd123d.go:50: Process 1 crashed -fatal error: all goroutines are asleep - deadlock! +2020/04/21 10:09:23.606703 ewd123.go:33: *** Start +2020/04/21 10:09:23.640638 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:23.640638 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:23.741012 controller.go:32: entered CS: 1 +2020/04/21 10:09:23.741012 controller.go:57: inside CS: 1 (50 msecs) +2020/04/21 10:09:23.741012 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:23.791870 controller.go:47: left CS: 1 +2020/04/21 10:09:23.791870 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:23.841628 controller.go:32: entered CS: 2 +2020/04/21 10:09:23.841628 controller.go:57: inside CS: 2 (50 msecs) +2020/04/21 10:09:23.892488 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:23.892488 controller.go:47: left CS: 2 +2020/04/21 10:09:23.892488 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:23.992792 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:23.992792 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:24.093031 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:24.093031 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:24.193823 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:24.193823 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:24.294525 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:24.294525 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:24.395256 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:24.395256 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:24.495987 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:24.495987 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:24.596718 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:24.596718 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:24.696926 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:24.696926 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:24.797658 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:24.797658 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:24.898393 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:24.898393 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:24.999227 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:24.999227 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:25.099540 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:25.099540 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:25.199888 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:25.199888 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:25.300515 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:25.300515 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:25.401242 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:25.401242 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:25.501716 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:25.501716 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:25.601906 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:25.601906 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:25.702761 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:25.702761 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:25.803523 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:25.803523 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:25.903844 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:25.903844 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:26.004571 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:26.004571 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:26.105449 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:26.105449 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:26.206175 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:26.206175 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:26.307001 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:26.307001 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:26.407622 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:26.407622 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:26.507831 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:26.507831 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:26.608454 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:26.608454 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:26.709184 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:26.709184 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:26.810024 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:26.810024 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:26.910646 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:26.910646 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:27.011055 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:27.011055 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:27.111827 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:27.111827 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:27.212308 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:27.212308 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:27.313039 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:27.313039 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:27.413774 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:27.413774 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:27.514508 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:27.514508 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:27.615236 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:27.615236 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:27.715765 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:27.715765 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:27.815768 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:27.815768 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:27.916382 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:27.916382 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:28.017188 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:28.017188 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:28.118157 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:28.118157 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:28.218639 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:28.218639 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:28.319010 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:28.319010 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:28.419736 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:28.419736 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:28.519804 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:28.519804 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:28.620621 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:28.620621 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:28.721238 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:28.721238 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:28.821969 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:28.821969 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:28.922811 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:28.922811 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:29.023432 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:29.023432 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:29.124161 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:29.124161 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:29.224892 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:29.224892 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:29.325740 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:29.325740 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:29.425871 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:29.425871 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:29.526606 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:29.526606 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:29.626916 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:29.626916 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:29.727645 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:29.727645 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:29.828405 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:29.828405 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:29.928735 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:29.928735 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:30.029461 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:30.029461 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:30.130193 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:30.130193 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:30.230924 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:30.230924 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:30.331654 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:30.331654 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:30.432384 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:30.432384 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:30.533115 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:30.533115 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:30.633850 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:30.633850 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:30.734578 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:30.734578 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:30.835307 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:30.835307 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:30.936039 controller.go:67: outside CS: 2 (100 msecs) +2020/04/21 10:09:30.936039 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:31.036769 controller.go:67: outside CS: 1 (100 msecs) +2020/04/21 10:09:31.036769 controller.go:67: outside CS: 2 (100 msecs) -goroutine 1 [chan receive]: -main.main() - -beide Prozesse müssen cX im genau gleichen Moment inspizieren um hier einen Livelock auszulösen -Dies benötigt ein exaxtes Timing welches schwierig ist zu reproduzieren. \ No newline at end of file +Process finished with exit code 2