From de1c3dd822c7bd6ae01c510a53372445b1b993ea Mon Sep 17 00:00:00 2001 From: eunhhu Date: Mon, 19 Oct 2026 10:01:53 +0100 Subject: 115: the modules replaced are freed (0 bytes a change over 4,000, was 19,284), how, what checks it (586 of 600 loads at a freed address, answers right; ASan clean), what a mutant comparing addresses showed (nothing: requests hold their module and freeing waits a pass), the push group woken again, the bindings left (24 B an input a module); the bank's queries within 0.4% (s50, s51); CHECKPOINT's remaining list without it --- CHECKPOINT.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'CHECKPOINT.md') diff --git a/CHECKPOINT.md b/CHECKPOINT.md index 9c3732d..ca027f0 100644 --- a/CHECKPOINT.md +++ b/CHECKPOINT.md @@ -35,7 +35,7 @@ +9%, 상주 −10%, [107](docs/research/107-snapshot-nodes-reused.md)). 남은 가장 큰 몫은 항목 찾기다. 키로 나눈 소유자는 그다음에 본다. 대신 압축한 파일이 한 주기의 0을 미리 가져 커밋이 새 블록을 받지 않는다(저장소 커밋 +21%, 저널 커밋 −59%, [085](docs/research/085-cycle-sized-files.md)). -남은 것: macOS의 호스트(`pure-serve`는 리눅스의 것), 바뀐 모듈을 놓기(바꿀 때마다 19 KB, 115), 압축을 없애는 제자리 재사용 저장소(085 다음), 응답을 기다리는 출력의 묶음 전달(083), 앱 +남은 것: macOS의 호스트(`pure-serve`는 리눅스의 것), 압축을 없애는 제자리 재사용 저장소(085 다음), 응답을 기다리는 출력의 묶음 전달(083), 앱 라우트의 TLS(앞단이 한다; 문서 피어의 TLS는 있다), HTTP로 앱을 더하고 바꾸는 길, aup·Vega의 배포 묶음, 캐시보다 큰 목록을 찾는 걸음(109: 미리 가져오기로는 줄지 않았다. 한 사건의 조회를 겹치거나 구조를 바꿔야 한다). @@ -72,8 +72,7 @@ **묶음과 쓰는 길(위의 "남은 것", 바깥 피드백 006).** - 진입점이 하나가 아니다. aup는 `check`, `build`, `watch`, `query`다. `aup run`도, 런타임을 담은 단일 실행 파일도 없다. `pure-run`은 시험용이고(제품 인터페이스가 아니다), 운영은 `pure-serve`다. -- 그 밖에 남은 것: aup와 Vega의 배포 묶음, HTTP로 앱을 더하고 바꾸는 길, 앱 라우트의 TLS(앞단이 한다), 바뀐 모듈 놓기(교체마다 - 19 KB), 압축 없는 제자리 재사용 저장소, 응답을 기다리는 출력의 묶음 전달, 캐시보다 큰 목록 찾기. +- 그 밖에 남은 것: aup와 Vega의 배포 묶음, HTTP로 앱을 더하고 바꾸는 길, 앱 라우트의 TLS(앞단이 한다), 압축 없는 제자리 재사용 저장소, 응답을 기다리는 출력의 묶음 전달, 캐시보다 큰 목록 찾기. - 다른 언어에서 부를 안정된 C ABI와 바인딩이 없다. `core/module.h`가 C에서 쓰는 길이고, 140의 시간 도구가 그것을 쓴다. **공개의 증거.** 아래 "공개할 작업물과 완료 증거" 표는 aup 이전의 문서 앱을 기준으로 적었다. 1.0의 증거 앱(Vega의 메신저, -- cgit v1.2.3