diff options
Diffstat (limited to 'docs/research')
| -rw-r--r-- | docs/research/114-across-machines.md | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/docs/research/114-across-machines.md b/docs/research/114-across-machines.md index 403478a..df41eb2 100644 --- a/docs/research/114-across-machines.md +++ b/docs/research/114-across-machines.md @@ -15,7 +15,7 @@ ## 쉬운 말로 - **같은 입력에 같은 것을 낸다.** aup의 검사가 돌리는 `pure-run` 1,053번(모듈 667개)의 출력, 오류, 종료 코드가 세 기계에서 모두 - 같다. 같은 사건으로 만든 저장소는 Pi와 Mac에서 파일까지 바이트 하나 다르지 않다. 한 기계에서 만든 저장소를 다른 기계가 열고 + 같다. 같은 사건으로 만든 저장소는 세 기계에서 파일까지 바이트 하나 다르지 않다. 한 기계에서 만든 저장소를 다른 기계가 열고 이어 쓴 결과도 같다. - **다른 컴파일러가 버그 하나를 찾았다.** 목록의 칸을 읽는 함수가 인자 둘을 한 호출에 넘겼는데, 하나가 다른 하나를 채우는 함수의 호출이었다. C는 인자를 읽는 순서를 정하지 않는다. Pi의 gcc 14는 우연히 채우는 쪽을 먼저 불렀고, x86_64의 gcc 13은 "채워지기 전에 @@ -65,19 +65,19 @@ Mac의 기본 SDK(27.0)는 링커(ld-1267)가 모르는 아키텍처(`arm64e.x1` aup의 검사가 내는 요약(29개 항목)도 세 기계에서 같다. 컴파일러가 만든 모듈도 같다(실행의 열쇠에 모듈의 해시가 들어 있다). -**저장소**(`stores`, 2026-10-02). aup의 예제 `tasks.aup`(목록)와 `notes.aup`(텍스트)를 트리 저장소 위에서 시드의 사건으로 돌린다 +**저장소**(`stores`, Pi와 Mac은 2026-10-02, WSL2는 10-04). aup의 예제 `tasks.aup`(목록)와 `notes.aup`(텍스트)를 트리 저장소 위에서 시드의 사건으로 돌린다 (목록 2,000개, 텍스트 4,000개, 64개마다 저장). 저장소의 형식은 페이지 크기와 상관없다(제자리로 읽을 때의 매핑에만 쓴다). 그래서 16 KiB 페이지 여럿에 걸치는 이 크기로 충분하다. | | tasks | notes | |---|---|---| | 저장소 | 8,659,104 B, 파일 6개 | 468,180 B, 파일 4개 | -| Pi와 Mac의 파일 | 바이트까지 같다 | 바이트까지 같다 | +| Pi, Mac, WSL2의 파일 | 바이트까지 같다 | 바이트까지 같다 | | 스냅숏 2,000개 / 4,000개 | 같다 | 같다 | -그다음 각 기계가 다른 기계의 저장소를 복사해 열고, 보이기, 사건 300개, 보이기를 한다. Pi에서 만들어 Pi에서, Pi에서 만들어 -Mac에서, Mac에서 만들어 Pi에서, Mac에서 만들어 Mac에서 연 넷의 스냅숏 302개가 모두 같다. WSL2와는 하지 못했다. 그 기계가 꺼져 -있었다. +그다음 각 기계가 다른 기계의 저장소를 복사해 열고, 보이기, 사건 300개, 보이기를 한다. 만든 기계와 연 기계의 짝 일곱(Pi와 +Mac 사이의 넷, Pi와 WSL2 사이의 셋)의 스냅숏 302개가 모두 같다. Mac과 WSL2 사이는 따로 하지 않았다. 두 기계의 저장소가 Pi의 +것과 바이트까지 같기 때문이다. **WSL2의 시계**(`clock.py`: 20 ms마다 벽시계와 단조 시계를 읽어, 어긋남이 20 ms를 넘는 걸음을 적는다). @@ -115,7 +115,6 @@ WSL2는 약 32.5초마다 벽시계를 1.2–2.2초 뒤로 놓는다(처음에� ## 다음 -- WSL2가 돌아오면 저장소를 그쪽과도 주고받는다(`runs.sh stores`). - 검사에 clang 빌드를 더할지. Pi에 clang 19가 있다. `make CC=clang-19`가 지나게 됐으니, 이것이 다시 깨지지 않게 하는 데는 그 한 줄이면 된다. 검사 시간이 늘어나는 것과 견준다. - macOS의 호스트. 보내는 루프는 `link/sending.c` 한 파일(kqueue)이지만, 받기(recvmmsg, GRO)와 보내기(GSO)는 대체가 필요하다. |