Decentralized algorithm mutual exclusion distributed system computing video tutorial written notes