요청
methods / 50상태 미변경
추가 한 건은 검증 뒤 원자적으로 저장된다
size 증가는 두 병렬 배열 쓰기가 끝난 뒤 마지막에 일어납니다.
용량 검사
size < length통과
값 검사
topic·minutes통과
배열 쓰기
index=size두 값 저장
확정
size+1사용 영역 확장
핵심: 어느 검사에서 실패해도 배열과 size는 호출 전과 같아야 합니다.
size 증가는 두 병렬 배열 쓰기가 끝난 뒤 마지막에 일어납니다.
methods / 50상태 미변경
size < length통과
topic·minutes통과
index=size두 값 저장
size+1사용 영역 확장
핵심: 어느 검사에서 실패해도 배열과 size는 호출 전과 같아야 합니다.