Updating lamport mutex