DongHyeonkaandClaude Opus 5
b2963105a8
The keycloak project ended with four open questions that design could not
settle. A two-VM lab was built to answer them by measurement, and this is
that material: 26 experiments, 125 raw command outputs, 22 browser captures.
Follows the import procedure in README.md.
source/ the originating repository verbatim — 78 documents, 28 SVGs,
8 manifests, plus .source-revision recording the commit
final/ the SSOT
document.md 729 lines written from the 29 experiment documents, not
concatenated: what was predicted, what was measured, and
where the measurement itself was wrong
evidence/raw 125 outputs, flattened to <experiment>__<file> because
the originals collided (01-baseline.txt appeared three
times) and the audit only globs the top level
evidence/meta one per raw file; command and exitCode are null and the
README says why rather than inventing them
evidence/browser 22 captures
assets/ three diagrams through techviz
.techviz/ their VizSpecs
A separate project rather than an addition to keycloak: the B-layer answers
that project's four questions, but the A, C and D layers are about cluster
failure, SSO and operations, and one document.md should hold one subject.
The four question records there can point here through 관계.
Recorded rather than papered over: only three of the 28 diagrams were
remade. The repository forbids hand-drawn SVG and forbids titles inside the
canvas; all 28 originals carry both, so converting them is redrawing, not
reformatting. They stay in source/ and the gap is written into the document.
verify-pipeline.py passes. audit-records.py reports no issues.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2.8 KiB
2.8 KiB
kind, slug, title, topic, project, status, sourceRevision, rootTreeNode, questionStatus, verifiedOn
| kind | slug | title | topic | project | status | sourceRevision | rootTreeNode | questionStatus | verifiedOn |
|---|---|---|---|---|---|---|---|---|---|
| QUESTION | pool-contract-lane-not-executed | 풀 계약 레인이 실행되지 않아 포화 동작이 확인되지 않았다 | transaction-deadline-and-pool | clean-architecture-backend-template | 게시 전 | 21234e38cdb9a926cbc92bb97a2aee2e4a7d2916 | open-question:pool-contract-lane-not-executed | OPEN |
풀 계약 레인이 실행되지 않아 포화 동작이 확인되지 않았다
중첩 트랜잭션의 커넥션 하한과 포화 시 보고와 대기 동작을 검증하는 레인이 있다. 이 리비전에서 돌리지 않았다.
사실
레인은 세 가지 동작 계약을 검증한다. 중첩 깊이 1 이 동시 스레드당 커넥션 두 개를 요구한다는 것, 포화된 풀이 자기 대기 수를 보고한다는 것, 호출자가 커넥션 없이 진행하는 대신 기다린다는 것이다.
이 셋은 어떤 기계에서도 참이므로 플래그가 필요 없다. 그래서 성능 레인이 아니라 동작 계약 레인이다.
레인은 발견 실패 설정과 업투데이트 비주장 설정을 갖는다.
이 컨테이너에 Docker 가 있고 기본 test 레인은 통과했다.
가정
풀 사이징 수식이 설정 파일 주석에 적혀 있고 검증기가 획득 하한을 강제하므로 실제 동작도 그러할 것이라고 전제하고 있다. 주석과 검증기는 선언이고 레인이 동작이다.
미지수
중첩 트랜잭션이 실제로 스레드당 두 커넥션을 요구하는지.
포화 시 대기 수 보고가 정확한지.
호출자가 커넥션 없이 진행하는 경로가 정말 없는지.
제약
컨테이너가 필요하다.
이 레인은 전용 소스셋을 쓴다.
애플리케이션 소스를 수정하지 않는다.
선택지
레인만 개별로 돌린다 빠르고 실패를 격리하기 좋다.
릴리스 게이트를 돌려 다른 레인과 함께 확인한다 게이트 조립까지 검증되지만 시간이 더 든다.
다음 검증
풀 계약 레인을 실행하고 종료 코드와 실패 목록을 기록한다.
세 계약이 통과하면 이 질문을 닫는다.
실패가 나오면 어느 계약이 깨졌는지에 따라 풀 사이징 수식의 문제인지 구현의 문제인지 구분해 기록한다.
관계
- 컨테이너가 필요한 특수 레인의 실제 결과를 실행으로 확인하지 않았다 이 질문의 상위 항목이다.
- REQUIRES_NEW가 바깥 커넥션을 핀한 채 새 커넥션을 딴다 이 레인이 검증하는 제약이다.
- certified라 불리던 레인이 threshold를 하나도 비교하지 않고 있었다 이 레인이 지금 이름을 갖게 된 경위다.