TotalTest/Q_Lab at main · cocoz93/TotalTest

[메뉴 구조]
═══════════════════════════════════
  1 ─ Phase 1-1: 데이터 무결성
  2 ─ Phase 1-2: 불변성 검증
  3 ─ Phase 1-3: 경계 조건
  4 ─ Phase 1-4: 잘못된 사용 방어
  5 ─ Phase 1 전체 (1→2→3→4)
  6 ─ Phase 2-1: Producer-Consumer
  7 ─ Phase 2-2: 고빈도 경합
  8 ─ Phase 2 전체 (6→7)
  9 ─ 전체 실행 (1→2→3→4→6→7)
  0 ─ 종료
═══════════════════════════════════

RingBuffer_SafeTest/
├── RingBuffer_SafeTest.sln
├── RingBuffer_SafeTest.vcxproj
├── RingBuffer_SafeTest.cpp          ← 테스트 코드
└── ../RingBuffer.h                  ← 테스트 대상

[Phase 1: 싱글스레드] ── CRingBufferST
│
├── 1-1. 데이터 무결성 (1억회)
│     시퀀스 번호 Enqueue/Dequeue 반복, 순서·손상 검증
├── 1-2. 불변성 검증 (1억회)
│     랜덤 작업 후 DataSize + FreeSize == capacity-1 검증
├── 1-3. 경계 조건 (7500만회)
│     Wrap-Around / 다양한 크기 순환 / 오버플로우 방어
└── 1-4. 잘못된 사용 방어
      nullptr, size=0, capacity=0, 오버플로우 방어 확인

[Phase 2: 멀티스레드] ── CRingBufferMT
│
├── 2-1. Producer-Consumer (8가지 조합)
│     다중 P/C 스레드, 숫자 누락·중복 없이 전수 검증
└── 2-2. 고빈도 경합 (5가지 스레드수)
      16B 패킷(magic+checksum) Enqueue/Dequeue, 무결성 검증

검사 범위와 판정 기준

• 대상: Shared/RingBuffer.h — CRingBufferST = CRingBufferT<NoLock>, CRingBufferMT = CRingBufferT<MutexLock>
• CRingBufferMT는 전 구간 뮤텍스 락 큐. SPSC 전제가 아니므로 생산자·소비자 수를 바꾼 8가지 조합 검사가 의미를 가짐
• 판정 방식: 조건 위반 시 TEST_ASSERT가 널 포인터 역참조로 즉시 크래시(덤프). 끝까지 돌아 [PASS]가 찍히면 통과
• Phase 1-1은 5분 초과 시 타임아웃 크래시

Phase 1 — 싱글스레드 (CRingBufferST)

• 1-1 데이터 무결성 : 용량 8192, 1억 회. 매 회 uint64 1~10개 Enqueue / Dequeue
  • 통과 조건 : 읽은 시퀀스 번호가 쓴 순서와 일치, 반환 크기가 요청과 일치, 종료 시 쓴 개수 == 읽은 개수 및 DataSize 0
• 1-2 불변성 : 용량 4096, 1억 회. Enqueue / Dequeue / Peek / Consume / Clear 무작위
  • 통과 조건 : 매 작업 전후 DataSize + FreeSize == 4095, 각 작업의 DataSize 증감이 반환값과 일치, Peek은 DataSize 불변, Clear 후 DataSize 0
• 1-3 경계 조건 : 시나리오 3개 × 2500만 = 7500만 회
  • ① 용량 1024, 커서를 1022로 몰아 1바이트씩 랩 왕복 → 매 회 완전히 비워짐
  • ② 용량 256에 200 / 150바이트 교차 → 반환 크기가 요청과 정확히 일치
  • ③ 용량 512에 초과 쓰기 · 빈 버퍼 읽기 · Full 버퍼 쓰기 → 전부 0 반환
• 1-4 잘못된 사용 방어 : nullptr, size 0, capacity 0 생성, 용량 초과 쓰기
  • 통과 조건 : 각각 0 반환, capacity 0은 IsValid() false

Phase 2 — 멀티스레드 (CRingBufferMT, 전 구간 락)

• 2-1 Producer-Consumer : 용량 65536, 생산자 스레드당 1000만 개. 조합 8가지 (1-1, 2-2, 4-4, 8-8, 1-8, 8-1, 2-6, 6-2)
  • 통과 조건 : All-or-Nothing 준수(부분 읽기 0건), 숫자별 CAS 체크로 중복 0 · 누락 0, Enqueue / Dequeue 총수 일치, 종료 시 DataSize 0
• 2-2 고빈도 경합 : 용량 1024, 스레드당 1000만 회, 스레드 수 5가지 (2 / 4 / 8 / 16 / 32). 짝수 스레드 쓰기 · 홀수 스레드 읽기, 16바이트 패킷(magic 0xDEADBEEF + 곱셈 해시 checksum)
  • 통과 조건 : 읽은 패킷 전부 checksum 검증 통과, 잔여 회수 후 Enqueue 수 == Dequeue 수, DataSize 0

Phase 3 — Zero-copy 직접접근 (위 트리엔 없으나 소스에 있음. 서버 실제 송수신 경로 모사)

• 3-1 왕복 : 용량 4096, 2500만 회. GetWritePtr / MoveWritePtr로 쓰고 GetReadPtr / Consume으로 읽음
  • 통과 조건 : 바이트 순번 일치, 총 쓴 바이트 == 총 읽은 바이트, 종료 시 DataSize 0
• 3-2 경계 랩 집중 : 용량 256, 2500만 회. 커서를 끝(용량-4)에 몰아 매 회 2단계 랩 강제
  • 통과 조건 : 연속 공간 0으로 막히지 않음, 순번 손상 없음