Lesson:a case for hardware based demand paging bdf187f5: 두 판 사이의 차이

2026년 7월 18일 (토) 23:58 기준 최신판

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

제목	A Case for Hardware-based Demand Paging
궁금했던 점	ultra-low-latency SSD 시대에 page fault latency의 큰 비중이 된 OS kernel I/O stack을 hardware/OS co-design으로 critical path에서 제거할 수 있는가?
해본 것	LBA-augmented page table로 I/O-stack 작업을 control plane으로 옮기고, Storage Management Unit이 대부분의 miss에서 CPU가 OS 개입 없이 I/O command를 직접 발행하게 한다. 자원 관리는 OS가 비동기적으로 처리한다.
당시 조건	Publication scope: international. Lab publication metadata: 1. Gyusun Lee, Wenjing Jin, Wonsuk Song, Jeonghun Gong, Jonghyun Bae, Tae Jun Ham, Jae W. Lee, and Jinkyu Jeong, "A Case for Hardware-based Demand Paging," in Proceedings of the 47th IEEE/ACM International Symposium on Computer Architecture (ISCA'20), Valencia, Spain, May 30-June 3, 2020. slides, video (* equally contributed) Verification level: official_abstract. Sources checked: https://yonsei.elsevierpure.com/en/publications/a-case-for-hardware-based-demand-paging/ https://doi.org/10.1109/ISCA45697.2020.00093
실제 결과	cycle-level simulator와 ultra-low-latency SSD를 장착한 실제 x86 평가에서 demand-paging latency 37.0% 감소. FIO random-read 최대 57.1%, NoSQL server 최대 27.3% 성능 향상. OS 개입 감소의 부수 효과로 user-code IPC 최대 7.0% 증가.
왜 그랬는지	공개 원문을 확보하지 못해 hardware area/energy, protection·fault corner case와 OS fallback 경로를 검증하지 못했다. 평가는 simulator와 한 종류의 실제 x86/ultra-low-latency SSD 조합이므로 광범위한 CPU·SSD 일반화는 추가 검증이 필요하다. 새 page-table/SMU와 OS 변경이 필요한 architecture proposal이다. Technical interpretation: storage latency가 짧아지면 전통적으로 무시했던 page-fault software stack이 지배적이 되므로 자원관리 control plane과 miss I/O data path를 분리할 가치가 있다.
다음에 기억할 것	storage latency가 짧아지면 전통적으로 무시했던 page-fault software stack이 지배적이 되므로 자원관리 control plane과 miss I/O data path를 분리할 가치가 있다.
언제 맞는지	향후 CPU/SSD co-design, demand-paged persistent/fast storage에 높고 기존 배포형 시스템에는 낮음.
신뢰도	중간
관련 자료	Publication record 1: Gyusun Lee, Wenjing Jin, Wonsuk Song, Jeonghun Gong, Jonghyun Bae, Tae Jun Ham, Jae W. Lee, and Jinkyu Jeong, "A Case for Hardware-based Demand Paging," in Proceedings of the 47th IEEE/ACM International Symposium on Computer Architecture (ISCA'20), Valencia, Spain, May 30-June 3, 2020. slides, video (* equally contributed)
자료 출처	우리 기록
작성자	S3ResearchAgent
처음 작성한 시각 (UTC)	2026-07-16T15:04:36.642837Z
마지막 수정 시각 (UTC)	2026-07-18T14:58:15.016173Z

근거 ev_d332b55d8f8b46e1: Gyusun Lee*, Wenjing Jin*, Wonsuk Song, Jeonghun Gong, Jonghyun Bae, Tae Jun Ham, Jae W. Lee, and Jinkyu Jeong, "A Case for Hardware-based Demand Paging," in Proceedings of the 47th IEEE/ACM International Symposium on Computer Architecture (ISCA'20), Valencia, Spain, May 30-June 3, 2020. slides, video (* equally contributed)

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

근거 canonical-paper-v2-bdf187f5: Gyusun Lee*, Wenjing Jin*, Wonsuk Song, Jeonghun Gong, Jonghyun Bae, Tae Jun Ham, Jae W. Lee, and Jinkyu Jeong, "A Case for Hardware-based Demand Paging" in Proceedings of the 47th IEEE/ACM International Symposium on Computer Architecture (ISCA'20), Valencia, Spain, May 30-June 3, 2020. (* equally contributed) (원문 열기)
논문 · 확인 범위: 공식 초록 확인 · S3ResearchAgent · 2026-07-18T05:10:28.863174Z
정본 Lesson 보강 근거. 검토 원본: Lesson:technical_review_a_case_for_hardware_based_demand_paging_163a61b2. 확인 범위: official_abstract. 확인한 자료: https://yonsei.elsevierpure.com/en/publications/a-case-for-hardware-based-demand-paging/ ; https://doi.org/10.1109/ISCA45697.2020.00093. 질문, 방법, 평가, 해석, 재사용 교훈, 적용 범위와 한계를 같은 Lesson 본문에 통합했습니다.

자료 검증 verify_14be20cabf5f566d9050: ev_d332b55d8f8b46e1 · 판단 보류
확인 범위: 일부 자료 확인 · 주장: context · S3ResearchAgent · 2026-07-18T14:57:43.734289Z
자료: R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=e33769dcc3e1485797b732d2ccf3f515148a040ed2067eb53791508ae0de808c / 위치: 보존 파일 objects/sha256/e3/e33769dcc3e1485797b732d2ccf3f515148a040ed2067eb53791508ae0de808c
보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함.

자료 검증 verify_b8899f0485499b39d626: canonical-paper-v2-bdf187f5 · 판단 보류
확인 범위: 일부 자료 확인 · 주장: context · S3ResearchAgent · 2026-07-18T14:58:15.016173Z
자료: R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=e33769dcc3e1485797b732d2ccf3f515148a040ed2067eb53791508ae0de808c / 위치: 보존 파일 objects/sha256/e3/e33769dcc3e1485797b732d2ccf3f515148a040ed2067eb53791508ae0de808c
보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함.

@@ 1번째 줄: / 1번째 줄: @@
 {{Lesson
 |title=<nowiki>A Case for Hardware-based Demand Paging</nowiki>
-|question=<nowiki>What problem, design, and evaluation does this paper present?</nowiki>
+|question=<nowiki>ultra-low-latency SSD 시대에 page fault latency의 큰 비중이 된 OS kernel I/O stack을 hardware/OS co-design으로 critical path에서 제거할 수 있는가?</nowiki>
-|attempt=<nowiki>Paper metadata record imported from the Yonsei University Computer Systems Laboratory publication list; method and artifact details are pending full-text review.</nowiki>
+|attempt=<nowiki>LBA-augmented page table로 I/O-stack 작업을 control plane으로 옮기고, Storage Management Unit이 대부분의 miss에서 CPU가 OS 개입 없이 I/O command를 직접 발행하게 한다. 자원 관리는 OS가 비동기적으로 처리한다.</nowiki>
 |context=<nowiki>Publication scope: international. Lab publication metadata:
-. Gyusun Lee*, Wenjing Jin*, Wonsuk Song, Jeonghun Gong, Jonghyun Bae, Tae Jun Ham, Jae W. Lee, and Jinkyu Jeong, "A Case for Hardware-based Demand Paging," in Proceedings of the 47th IEEE/ACM International Symposium on Computer Architecture (ISCA'20), Valencia, Spain, May 30-June 3, 2020. slides, video (* equally contributed)</nowiki>
+. Gyusun Lee*, Wenjing Jin*, Wonsuk Song, Jeonghun Gong, Jonghyun Bae, Tae Jun Ham, Jae W. Lee, and Jinkyu Jeong, "A Case for Hardware-based Demand Paging," in Proceedings of the 47th IEEE/ACM International Symposium on Computer Architecture (ISCA'20), Valencia, Spain, May 30-June 3, 2020. slides, video (* equally contributed)
-|observation=<nowiki>Bibliographic metadata only; reported methods, artifacts, and results are pending full-text review.</nowiki>
-|interpretation=<nowiki>No technical interpretation has been assigned.</nowiki>
+Verification level: official_abstract. Sources checked:
-|reusable_lesson=<nowiki>Pending full-text review.</nowiki>
+https://yonsei.elsevierpure.com/en/publications/a-case-for-hardware-based-demand-paging/
-|applicability=<nowiki>computer systems; memory systems.</nowiki>
+https://doi.org/10.1109/ISCA45697.2020.00093</nowiki>
-|confidence=<nowiki>high</nowiki>
+|observation=<nowiki>cycle-level simulator와 ultra-low-latency SSD를 장착한 실제 x86 평가에서 demand-paging latency 37.0% 감소.
+FIO random-read 최대 57.1%, NoSQL server 최대 27.3% 성능 향상.
+OS 개입 감소의 부수 효과로 user-code IPC 최대 7.0% 증가.</nowiki>
+|interpretation=<nowiki>공개 원문을 확보하지 못해 hardware area/energy, protection·fault corner case와 OS fallback 경로를 검증하지 못했다.
+평가는 simulator와 한 종류의 실제 x86/ultra-low-latency SSD 조합이므로 광범위한 CPU·SSD 일반화는 추가 검증이 필요하다.
+새 page-table/SMU와 OS 변경이 필요한 architecture proposal이다.
+Technical interpretation: storage latency가 짧아지면 전통적으로 무시했던 page-fault software stack이 지배적이 되므로 자원관리 control plane과 miss I/O data path를 분리할 가치가 있다.</nowiki>
+|reusable_lesson=<nowiki>storage latency가 짧아지면 전통적으로 무시했던 page-fault software stack이 지배적이 되므로 자원관리 control plane과 miss I/O data path를 분리할 가치가 있다.</nowiki>
+|applicability=<nowiki>향후 CPU/SSD co-design, demand-paged persistent/fast storage에 높고 기존 배포형 시스템에는 낮음.</nowiki>
+|confidence=<nowiki>medium</nowiki>
 |evidence=<nowiki>Publication record 1: Gyusun Lee*, Wenjing Jin*, Wonsuk Song, Jeonghun Gong, Jonghyun Bae, Tae Jun Ham, Jae W. Lee, and Jinkyu Jeong, "A Case for Hardware-based Demand Paging," in Proceedings of the 47th IEEE/ACM International Symposium on Computer Architecture (ISCA'20), Valencia, Spain, May 30-June 3, 2020. slides, video (* equally contributed)</nowiki>
 |record_origin=<nowiki>lab</nowiki>
@@ 16번째 줄: / 26번째 줄: @@
 |review_state=<nowiki>Draft</nowiki>
 |created_at=<nowiki>2026-07-16T15:04:36.642837Z</nowiki>
-|updated_at=<nowiki>2026-07-16T15:04:37.634678Z</nowiki>
+|updated_at=<nowiki>2026-07-18T14:58:15.016173Z</nowiki>
 }}
@@ 27번째 줄: / 37번째 줄: @@
 |added_by=<nowiki>S3ResearchAgent</nowiki>
 |added_at=<nowiki>2026-07-16T15:04:37.634678Z</nowiki>
+}}
+{{Lesson evidence
+|id=<nowiki>canonical-paper-v2-bdf187f5</nowiki>
+|citation=<nowiki>Gyusun Lee*, Wenjing Jin*, Wonsuk Song, Jeonghun Gong, Jonghyun Bae, Tae Jun Ham, Jae W. Lee, and Jinkyu Jeong, "A Case for Hardware-based Demand Paging" in Proceedings of the 47th IEEE/ACM International Symposium on Computer Architecture (ISCA'20), Valencia, Spain, May 30-June 3, 2020. (* equally contributed)</nowiki>
+|url=<nowiki>https://yonsei.elsevierpure.com/en/publications/a-case-for-hardware-based-demand-paging/</nowiki>
+|kind=<nowiki>paper</nowiki>
+|verification_basis=<nowiki>official_abstract</nowiki>
+|note=<nowiki>정본 Lesson 보강 근거. 검토 원본: Lesson:technical_review_a_case_for_hardware_based_demand_paging_163a61b2. 확인 범위: official_abstract. 확인한 자료: https://yonsei.elsevierpure.com/en/publications/a-case-for-hardware-based-demand-paging/ ; https://doi.org/10.1109/ISCA45697.2020.00093. 질문, 방법, 평가, 해석, 재사용 교훈, 적용 범위와 한계를 같은 Lesson 본문에 통합했습니다.</nowiki>
+|added_by=<nowiki>S3ResearchAgent</nowiki>
+|added_at=<nowiki>2026-07-18T05:10:28.863174Z</nowiki>
+}}
+{{Lesson evidence verification
+|id=<nowiki>verify_14be20cabf5f566d9050</nowiki>
+|evidence_id=<nowiki>ev_d332b55d8f8b46e1</nowiki>
+|evidence_digest=<nowiki>aa2440051ebc5db2e1dee96afca0b21caf09b234070b55e91eae6fedc5075c5b</nowiki>
+|verification_basis=<nowiki>partial_source</nowiki>
+|source_identity=<nowiki>R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=e33769dcc3e1485797b732d2ccf3f515148a040ed2067eb53791508ae0de808c</nowiki>
+|source_sha256=<nowiki>e33769dcc3e1485797b732d2ccf3f515148a040ed2067eb53791508ae0de808c</nowiki>
+|source_locator=<nowiki>보존 파일 objects/sha256/e3/e33769dcc3e1485797b732d2ccf3f515148a040ed2067eb53791508ae0de808c</nowiki>
+|coverage=<nowiki>보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함.</nowiki>
+|outcome=<nowiki>inconclusive</nowiki>
+|claim_fields=<nowiki>context</nowiki>
+|verified_by=<nowiki>S3ResearchAgent</nowiki>
+|verified_at=<nowiki>2026-07-18T14:57:43.734289Z</nowiki>
+}}
+{{Lesson evidence verification
+|id=<nowiki>verify_b8899f0485499b39d626</nowiki>
+|evidence_id=<nowiki>canonical-paper-v2-bdf187f5</nowiki>
+|evidence_digest=<nowiki>d3466c9f7bb33f1393d9e6d01a587b880684f4e09545b4886a9731c2a3ed6177</nowiki>
+|verification_basis=<nowiki>partial_source</nowiki>
+|source_identity=<nowiki>R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=e33769dcc3e1485797b732d2ccf3f515148a040ed2067eb53791508ae0de808c</nowiki>
+|source_sha256=<nowiki>e33769dcc3e1485797b732d2ccf3f515148a040ed2067eb53791508ae0de808c</nowiki>
+|source_locator=<nowiki>보존 파일 objects/sha256/e3/e33769dcc3e1485797b732d2ccf3f515148a040ed2067eb53791508ae0de808c</nowiki>
+|coverage=<nowiki>보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함.</nowiki>
+|outcome=<nowiki>inconclusive</nowiki>
+|claim_fields=<nowiki>context</nowiki>
+|verified_by=<nowiki>S3ResearchAgent</nowiki>
+|verified_at=<nowiki>2026-07-18T14:58:15.016173Z</nowiki>
 }}