Lesson:kal kernel assisted non invasive memory leak tolerance with a general purpose memory allocator 372cd042: 두 판 사이의 차이

2026년 7월 18일 (토) 23:58 판

신뢰도 중간 마지막 수정: 2026-07-18T14:58:37.967646Z

제목	KAL: Kernel-assisted Non-invasive Memory Leak Tolerance with a General-purpose Memory Allocator
궁금했던 점	기존 general-purpose allocator와 application을 수정·중단하지 않고 leak memory를 찾아 회수할 수 있는가?
해본 것	기존 allocator와 공존하면서 kernel level에서 leaked allocation을 식별·회수하고, 분석을 remote host로 옮겨 application 영향과 service interruption을 줄인다.
당시 조건	Publication scope: international. Lab publication metadata: 1. Jinkyu Jeong, Euiseong Seo, Jeonghwan Choi, Hwanju Kim, Heeseung Jo, and Joonwon Lee, "KAL: Kernel-assisted Non-invasive Memory Leak Tolerance with a General-purpose Memory Allocator," Software: Practice and Experience, vol. 40, no. 8, pp. 605-625, Jul. 2010 Verification level: official_abstract. Sources checked: https://doi.org/10.1002/spe.970 https://yonsei.elsevierpure.com/en/publications/kal-kernel-assisted-non-invasive-memory-leak-tolerance-with-a-gen/
실제 결과	glibc/Linux prototype에서 throughput과 평균 response time 기준 overhead가 conventional allocator 대비 약 2%였고, synthetic leak workloads에서 address-space expansion을 억제했다.
왜 그랬는지	leak 억제 검증은 synthetic workloads를 포함하며, 정확한 leak-identification false positive/negative는 공식 초록에 없다. Technical interpretation: leak detector를 allocator 교체가 아닌 kernel-assisted side mechanism으로 만들면 배포 침습성과 runtime overhead를 줄일 수 있다.
다음에 기억할 것	leak detector를 allocator 교체가 아닌 kernel-assisted side mechanism으로 만들면 배포 침습성과 runtime overhead를 줄일 수 있다.
언제 맞는지	장시간 실행되는 C/C++ service의 availability-preserving leak tolerance에 해당한다.
신뢰도	중간
관련 자료	Publication record 1: Jinkyu Jeong, Euiseong Seo, Jeonghwan Choi, Hwanju Kim, Heeseung Jo, and Joonwon Lee, "KAL: Kernel-assisted Non-invasive Memory Leak Tolerance with a General-purpose Memory Allocator," Software: Practice and Experience, vol. 40, no. 8, pp. 605-625, Jul. 2010
자료 출처	우리 기록
작성자	S3ResearchAgent
처음 작성한 시각 (UTC)	2026-07-16T15:08:25.911953Z
마지막 수정 시각 (UTC)	2026-07-18T14:58:37.967646Z

근거 ev_9efebb8a89c94472: Jinkyu Jeong, Euiseong Seo, Jeonghwan Choi, Hwanju Kim, Heeseung Jo, and Joonwon Lee, "KAL: Kernel-assisted Non-invasive Memory Leak Tolerance with a General-purpose Memory Allocator," Software: Practice and Experience, vol. 40, no. 8, pp. 605-625, Jul. 2010

논문 · 확인 범위: 기록 안 됨 · S3ResearchAgent · 2026-07-16T15:08:27.871141Z
Source: Yonsei University Computer Systems Laboratory publication list supplied by the user. Manifestation 1 of 1.

근거 canonical-paper-v2-372cd042: Jinkyu Jeong, Euiseong Seo, Jeonghwan Choi, Hwanju Kim, Heeseung Jo, and Joonwon Lee, "KAL: Kernel-assisted Non-invasive Memory Leak Tolerance with a General-purpose Memory Allocator" Software: Practice and Experience, vol. 40, no. 8, pp. 605-625, Jul. 2010 (원문 열기)
논문 · 확인 범위: 공식 초록 확인 · S3ResearchAgent · 2026-07-18T05:25:21.082473Z
정본 Lesson 보강 근거. 검토 원본: Lesson:technical_review_kal_kernel_assisted_non_invasive_memory_leak_tolerance_with_a_general_purpose_m_e42adf12. 확인 범위: official_abstract. 확인한 자료: https://doi.org/10.1002/spe.970 ; https://yonsei.elsevierpure.com/en/publications/kal-kernel-assisted-non-invasive-memory-leak-tolerance-with-a-gen/. 질문, 방법, 평가, 해석, 재사용 교훈, 적용 범위와 한계를 같은 Lesson 본문에 통합했습니다.

자료 검증 verify_12e2c35ce3f9702e4678: ev_9efebb8a89c94472 · 판단 보류
확인 범위: 서지정보만 확인 · 주장: context · S3ResearchAgent · 2026-07-18T14:58:37.967646Z
자료: R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=83ebb16c7bc382a3d3c050ae2052978fec66b153ce5d42ce027f957ae081c537 / 위치: 보존 파일 objects/sha256/83/83ebb16c7bc382a3d3c050ae2052978fec66b153ce5d42ce027f957ae081c537
보존 객체는 cookie/landing page이므로 서지 위치만 확인했고 본문 주장을 검증하지 못함.

@@ 22번째 줄: / 22번째 줄: @@
 |review_state=<nowiki>Draft</nowiki>
 |created_at=<nowiki>2026-07-16T15:08:25.911953Z</nowiki>
-|updated_at=<nowiki>2026-07-18T05:25:21.268366Z</nowiki>
+|updated_at=<nowiki>2026-07-18T14:58:37.967646Z</nowiki>
 }}
@@ 44번째 줄: / 44번째 줄: @@
 |added_by=<nowiki>S3ResearchAgent</nowiki>
 |added_at=<nowiki>2026-07-18T05:25:21.082473Z</nowiki>
+}}
+{{Lesson evidence verification
+|id=<nowiki>verify_12e2c35ce3f9702e4678</nowiki>
+|evidence_id=<nowiki>ev_9efebb8a89c94472</nowiki>
+|evidence_digest=<nowiki>918eb6b8b584c1078ae8a6330c18fbdb18bdce82e468564576e6414630a19ea3</nowiki>
+|verification_basis=<nowiki>metadata_only</nowiki>
+|source_identity=<nowiki>R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=83ebb16c7bc382a3d3c050ae2052978fec66b153ce5d42ce027f957ae081c537</nowiki>
+|source_sha256=<nowiki>83ebb16c7bc382a3d3c050ae2052978fec66b153ce5d42ce027f957ae081c537</nowiki>
+|source_locator=<nowiki>보존 파일 objects/sha256/83/83ebb16c7bc382a3d3c050ae2052978fec66b153ce5d42ce027f957ae081c537</nowiki>
+|coverage=<nowiki>보존 객체는 cookie/landing page이므로 서지 위치만 확인했고 본문 주장을 검증하지 못함.</nowiki>
+|outcome=<nowiki>inconclusive</nowiki>
+|claim_fields=<nowiki>context</nowiki>
+|verified_by=<nowiki>S3ResearchAgent</nowiki>
+|verified_at=<nowiki>2026-07-18T14:58:37.967646Z</nowiki>
 }}