큐 검증카드 (Redis Queue/Celery/BullMQ/RabbitMQ 대응)

개요

파동①(존재≠동작 검증) 웨이브2 산출물. libs/에서 "큐"로 매칭되는 153건 중 실제 큐 자료구조 5종(큐.한선·우선순위큐.한선·메시지큐.한선·분산큐.한선·큐관리.한선)을 실컴파일+실행으로 값 단위 검증했다.

무엇을 했는지

• 5종 큐 라이브러리 실측: FIFO 순서, LIFO(스택, pop 없음→재구축 관용구), 우선순위(binary heap vs 삽입정렬 — 방향이 서로 반대), 영속 큐(파일 기반), 빈 큐/OOB 처리.
• 최대 발견: front-pointer FIFO(큐.한선)는 dequeue해도 내부 배열이 안 줄어들고 누적 enqueue 횟수만큼 영원히 자란다 → 배열캡(ARRAY_CAP=4095, v11.0.4 실측 갱신치) 도달 시 stderr에만 조용히 경고([ARRAY] 배열 캡 도달) 후, 계속 dequeue 시도하면 OOB 100회 누적으로 VM 전체 강제 종료까지 재현됨. 재구축형(dequeue 시 나머지를 새 배열로 복사)은 같은 워크로드에서 캡 안전함을 대조 실증(예제06).
• 분산큐.한선의 우선순위설정()은 필드만 바꾸고 큐를 재정렬하지 않는 장식용 함수임을 실측으로 확인(§함정3).

산출물

• /Users/ef/crowny-rpnkit/라이브러리카드/큐카드.md — 대응표+함정전표+갭목록
• /Users/ef/crowny-rpnkit/라이브러리카드/큐검증.sh — 6/6 PASS 게이트
• /Users/ef/crowny-rpnkit/라이브러리카드/예제/큐/01~06_*.한선 — 검증 예제 6개(전부 PASS)

잔여 이슈

• 분산 브로커·진짜 병렬 워커·BLPOP 블로킹 대기·pub-sub 팬아웃은 언어 밖 범위(P1~P2 갭으로 정직 표기, 카드 §5 참조).
• 원형버퍼(circular buffer) 기반 O(1) dequeue 큐 라이브러리는 미작성(재구축형의 O(n) 비용 개선 후속과제).