A javascript simulation of the paxos concurrency algorithm with HTML5 canvas GUI