Lamport algorithm finished and Ricart-Agrawala algorithm added.