diff options
| author | eunhhu <[email protected]> | 2026-10-05 23:27:43 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-10-05 23:27:43 +0100 |
| commit | 1b64ab89710a637e66604ece15d83f40ba314586 (patch) | |
| tree | 973d0a8ee41379ff87cee24f2524c8460dca04b2 /docs/research | |
| parent | fffe01904984aebd10b237e400859b5ff86f0729 (diff) | |
| download | pure-1b64ab89710a637e66604ece15d83f40ba314586.tar.gz pure-1b64ab89710a637e66604ece15d83f40ba314586.zip | |
024, 126, 127: the lanes are 24 buffers (stage 2), about 200 KB a thread; stage 2 under ASan and UBSan (139 programs, the executor's output)
Diffstat (limited to 'docs/research')
| -rw-r--r-- | docs/research/126-batch-executor-stage-one.md | 2 | ||||
| -rw-r--r-- | docs/research/127-batch-executor-stage-two.md | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/docs/research/126-batch-executor-stage-one.md b/docs/research/126-batch-executor-stage-one.md index f51b050..018c113 100644 --- a/docs/research/126-batch-executor-stage-one.md +++ b/docs/research/126-batch-executor-stage-one.md @@ -90,7 +90,7 @@ knapsack의 안쪽 루프 하나(500만 회차)에 묶음이 쓰는 시간은 � ## 메모리 레인 버퍼는 16개 × 1024 × 8바이트 = 약 134 KB다. 스레드의 정적 TLS에 있고, 묶음을 도는 스레드만 그 페이지를 쓴다. 024가 적은 -32 KB(256 레인)보다 크다. 묶음마다의 고정 값을 나누려고 고른 크기다. +32 KB(256 레인)보다 크다. 묶음마다의 고정 값을 나누려고 고른 크기다. (2단계에서 버퍼를 24개로 늘려 약 200 KB가 됐다, 127.) ## 다음 diff --git a/docs/research/127-batch-executor-stage-two.md b/docs/research/127-batch-executor-stage-two.md index 1b361ee..0b81269 100644 --- a/docs/research/127-batch-executor-stage-two.md +++ b/docs/research/127-batch-executor-stage-two.md @@ -55,7 +55,9 @@ 품었다. - `NESTED_SOURCE`: Newton 걸음과 `break`, 회차마다 분수 하나의 합, 레인마다 0–6회차인 안쪽 루프에서 어떤 레인의 회차에만 나는 0 나누기, `max`와 `min`, 레인마다 분수 여럿의 합(묶음이 돌려준다), −0의 합, 격자의 합을 담았다. 작은 예산 둘도 돈다. -- 단위 시험(실행기 모드)이 통과했다. +- 단위 시험(실행기 모드)이 통과했다. sanitized `pure-run`(ASan, UBSan)으로 시드 23의 프로그램, `BATCH_SOURCE`, `NESTED_SOURCE` + 139개를 돌려도 오류가 없었고 출력은 실행기만으로 돈 것과 같았다. +- 레인 버퍼를 24개로 늘려서, 레인 자리는 스레드당 약 200 KB다. ## 다음 |