Sto tentando di scrivere un codice per testare l'algoritmo di esclusione reciproca di Lamport per sicurezza come misura di correttezza. Sto eseguendo il alogrithm su una macchina CPU single core con più processi che condividono lo stesso clock del processore. Uno dei modi che stavo progettando di testare era registrando i tempi di entrata e di uscita di ciascun processo nella sezione critica. Quindi, se non ci sono sovrapposizioni tra questi tempi, posso dire che l'algoritmo soddisfa i requisiti di sicurezza?