Sirven para asegurar la integridad del sistema comprobando que toda operación debe estar acabada.