해당 코드는 실제 난이도에 비해 설명히 자세하지 않아 이해가 어려운 점이 있다. 뒤에 증명까지 봐야 코드가 어떻게 작동하고, 어떤걸 목표로 하는지 이해할 수 있다. 그래서 특정 시나리오를 설정하고 실행하는 방법으로 해설을 작성했다. - 클라이언트 2개, 서버 2개 존재- 17번 줄에 응답이 굉장히 불안정하여 클라이언트1이 19번줄 실행을 못한다.(뒤에 증명도 이 시나리오다.) 클라이언트1이 코드를 실행한다.1. 클라이언트1의 t가 1로 변경된다.2. 클라이언트1이 서버1,2한테 티켓 t를 요구한다.3. 서버1,2의 Tmax는 0이고 클라이언트1이 보낸 t는 1이므로 true.4. 서버1,2의 Tmax가 1로 변경된다.5. 서버1,2의 현재 Tstore(0), C(ㅗ: null이라 보면 된다)의 상태를 ..
