Visualizing Transactional Algorithms for DHTs
Boris Mejías, Mikael Högqvist, Peter Van Roy · 2008
The focus of this demonstrator is on the study of algorithms for implementing transactions on peer-to-peer networks. Their visualization contributes to the analysis and test of the protocols, verifying their tolerance to failures. In particular, we show a DHT running two-phase commit and the Paxos consensus algorithm.