3 ms·
Interesting.. I've been trying/playing with a home-made modelling language to describe concurrent program flow and job conditions. Mostly in the context of queu
by rawoke083600 8y ago
Interesting.. I've been trying/playing with a home-made modelling language to describe concurrent program flow and job conditions. Mostly in the context of queue-based-workers. The idea that a job can be split up in different parts and be run concurrently. Haven't cracked it yet :/
- polskibus 8y agoHave you tried TLA+ and PlusCal?
- rawoke083600 8y agoNope! But looking into it now :) Thank you sir !
- AboutTheWhisles 8y agoYou might get something out of looking at lava: https://github.com/LiveAsynchronousVisualizedArchitecture/lava https://github.com/LiveAsynchronousVisualizedArchitecture/la... Concurrency really comes from being able to split up data in isolated chunks that have access to all their dependencies. When you think in terms of data and not tasks, things make a lot more sense.