diff options
| author | eunhhu <[email protected]> | 2026-09-27 13:48:55 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-27 13:48:55 +0100 |
| commit | c08c570d465ffa22c772c2c4d0910eb8a17a379e (patch) | |
| tree | 3a4d6e2c25f259f97c5a629d3862f020cf1ae7bd /docs/research/080-snapshot-reads.md | |
| parent | 628e72621693af9be8bf94ef42f3164c45763a7b (diff) | |
| download | pure-c08c570d465ffa22c772c2c4d0910eb8a17a379e.tar.gz pure-c08c570d465ffa22c772c2c4d0910eb8a17a379e.zip | |
Check pure-serve in Pure, not in aup
The HTTP host's end-to-end checks (documents against the earlier server,
lending, kill -9 durability, JSON, timers, links, webhooks and answers) sat
in aup's tests, so a change to the host was verified from the toolchain.
They now live in tests/check.py; make check builds their apps with the
sibling aup and runs them after the unit tests, which stay beside their
parts. Design 009 states the rule for all three repositories.
Diffstat (limited to 'docs/research/080-snapshot-reads.md')
| -rw-r--r-- | docs/research/080-snapshot-reads.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/research/080-snapshot-reads.md b/docs/research/080-snapshot-reads.md index 1300632..82bf7f7 100644 --- a/docs/research/080-snapshot-reads.md +++ b/docs/research/080-snapshot-reads.md @@ -117,7 +117,7 @@ Raspberry Pi 5, 서버는 CPU 0–2, 부하는 CPU 3, 저장소는 SD 카드의 저장을 기다리는 변경이 있으면 스냅숏이 없고, 실패한 저장 뒤의 스냅숏은 실패 전과 같다. 상태를 메모리에만 두는 앱은 스냅숏을 만들지 않는다. 두 스레드가 최신 스냅숏을 읽는 동안(2만–4만 번) 앱이 계속 적용하고 게시한다. ASan·UBSan· LeakSanitizer 빌드에서 같다. -- aup `make check`: 무작위 요청 800개의 파이썬 모델 대조가 연결 스레드 하나와 셋에서 같다. 여섯 클라이언트가 쓰는 동안 +- aup `make check`(지금은 Pure `tests/check.py`의 `server_app`): 무작위 요청 800개의 파이썬 모델 대조가 연결 스레드 하나와 셋에서 같다. 여섯 클라이언트가 쓰는 동안 `kill -9`하는 검사에 다른 연결의 읽기 둘을 더했다. 읽기마다 요청 전에 확인 응답된 점수를 모두 보고, 합계가 뒤로 가지 않으며, 다시 띄운 서버의 합계는 읽기가 본 어떤 합계 이상이다(저장되지 않은 것을 보지 않았다). 빌려준 보기의 회수(079)도 그대로다. `pure-serve`의 ASan·UBSan 빌드로 같은 서버 검사를 통과하고, 섞인 부하 뒤 정상 종료에서 누수가 |