diff options
Diffstat (limited to 'docs/research/127-batch-executor-stage-two.md')
| -rw-r--r-- | docs/research/127-batch-executor-stage-two.md | 4 |
1 files changed, 3 insertions, 1 deletions
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다. ## 다음 |