hengxin

hengxin has asked 18 questions and find answers to 4 problems.

Stats

About

I am interested in distributed computing and formal methods.

hengxin questions

Flatten the map and associate values using Java 8 Stream APIs
What is the inductive invariant of the simple concurrent program?
How to quickly jump to the class declaration line in IntelliJ?
Induction on evidence for the "less than" relation in coq
How to process the resulting List<T> values of `groupingBy` in the same `stream()`?
How to ensure that `methodB` is "blocked" if some threads are in `methodA` in Java?
What to do if the leader fails in Multi-Paxos for master-slave systems?
How to avoid HashMap "ConcurrentModificationException" while manipulating `values()` and `put()` in concurrent threads?
Catching exceptions out of 'stream()' or 'parallelStream()' loses correct values
Existence of a 0- and 1-valent configurations in the proof of FLP impossibility result

hengxin answers

What do matrix clocks solve but vector clocks can't?
Sequential Consistency in Distributed Systems