diff options
| author | eunhhu <[email protected]> | 2026-10-04 22:03:20 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-10-04 22:03:20 +0100 |
| commit | b9ed9cd968c923b79383ed251c5da1e89a49c1a5 (patch) | |
| tree | c7aa7a1cb481f98dd62709b06bf52b8223d14162 /docs/research | |
| parent | 5faa2c1feaca1e620f3ea4133cb80a160766dd8a (diff) | |
| download | pure-b9ed9cd968c923b79383ed251c5da1e89a49c1a5.tar.gz pure-b9ed9cd968c923b79383ed251c5da1e89a49c1a5.zip | |
The same answers on the final build and the same pure-runs on the Pi, WSL2 and a Mac (121); 019 points at 020's view workers
Diffstat (limited to 'docs/research')
| -rw-r--r-- | docs/research/121-computing-faster.md | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/docs/research/121-computing-faster.md b/docs/research/121-computing-faster.md index db99568..2220aee 100644 --- a/docs/research/121-computing-faster.md +++ b/docs/research/121-computing-faster.md @@ -141,7 +141,11 @@ in_credit의 둘째 쌍(+2.21%)은 한 쌍으로는 기준을 넘는다. 그 질 기록을, 통째로 저장한 항목 뒤에 다시 하면 그 리스트다(재시작 59번). - 두 검사가 잡는지 일부러 망가뜨려 봤다: 표에서 지울 때 뒤를 당기지 않으면 `key_sets`가, 손가락이 판을 보지 않으면 공유 검사가, 키로 넣기가 기록의 길이를 더하지 않으면 `keyed_journal`이 멈춘다. -- 두 빌드(전과 처음의 후)의 은행 질의 일곱의 답이 바이트까지 같다(`same_answers.py`). +- 전과 후(`9484700`, `dde73e4` 둘 다)의 은행 질의 일곱의 답이 바이트까지 같다(`same_answers.py`, `2026-10-04-same-answers.txt`). +- 기기 사이(033의 `record.py`, 029의 기록 방식): aup의 `transients`와 `computing` 검사가 돌리는 `pure-run` 46번이 Pi, WSL2(gcc 13), + M3 Mac(clang 21)에서 출력, 오류, 종료 코드까지 모두 같고, 그 모듈 넷의 바이트가 같다(`2026-10-04-{pi,wsl,mac}-record.jsonl`). + Mac의 기본 SDK(27.0)는 그 기계의 링커가 읽지 못해 26.5로 빌드했다(`SDKROOT`). WSL에서 처음 한 번 멈춘 것은 기록을 쓸 수 없는 + 경로를 준 내 명령 때문이었다(같은 경로로 다시 내면 같은 자리에서 멈추고, 맞는 경로로는 세 번 모두 통과했다). - Pure의 `make check`(ASan 포함), aup와 Vega의 모든 검사가 초록이다(`dde73e4`). ## 판정 |
