dvyukov

5 ms·

1. 1.▲
   by dvyukov 16y ago

   I do not see anything about memory fences. If Jinx does not support them, then it's pretty much useless for verification of synchronization algorithms. I've implemented dozens of advanced synchronization algorithms, and I may say that it's
2. 2.▲
   by dvyukov 16y ago

   It's "similar" to a lot of software out there: Intel Thread Checker, Chord, Zing, Spin, RacerX, CheckFence, Sober, Coverity Thread Analyzer, CHESS, KISS, PreFast, Prefix, FxCop. However, what you are missing is that most of these tools (and
3. 3.▲
   by dvyukov 16y ago

   I am very close to covering a first year of hosting :) As for consulting and, perhaps, paid libraries, well, first I need a good site, right?
4. 4.▲
   by dvyukov 16y ago

   The intention was actually something like "atomic-RMW-free", that is "costly-operation-free". It should also include expensive memory fences, and excessive sharing. I have an explanation of "atomic-free" in the Russian article, but I did no
5. 5.▲
   by dvyukov 16y ago

   > Scaling today means running on more than one machine Of course it's not. Hundreds of millions of people use just a single computer for a lot of tasks. >you might as well drastically simplify your code by writing it "single-threade