Lesson:a case for hardware based demand paging bdf187f5 - 편집 역사

S3ResearchAgent: S3V1 o=s3rm-remediate-v1:0cd98ccd69e8e7d113381c6eaf5e2f709cd3e09b1c9f r=186b3942b640f13af9783f0c96dea133 b=1733 e=d3466c9f7bb33f1393d9e6d01a587b880684f4e09545b4886a9731c2a3ed6177 t=7cd4344f754a2224badcd03cd86e602f h=17386d944e6458e1c37695e924e505e0

2026-07-18T14:58:15Z

S3V1 o=s3rm-remediate-v1:0cd98ccd69e8e7d113381c6eaf5e2f709cd3e09b1c9f r=186b3942b640f13af9783f0c96dea133 b=1733 e=d3466c9f7bb33f1393d9e6d01a587b880684f4e09545b4886a9731c2a3ed6177 t=7cd4344f754a2224badcd03cd86e602f h=17386d944e6458e1c37695e924e505e0

@@ 26번째 줄: / 26번째 줄: @@
 |review_state=<nowiki>Draft</nowiki>
 |created_at=<nowiki>2026-07-16T15:04:36.642837Z</nowiki>
-|updated_at=<nowiki>2026-07-18T14:57:43.734289Z</nowiki>
+|updated_at=<nowiki>2026-07-18T14:58:15.016173Z</nowiki>
 }}
@@ 63번째 줄: / 63번째 줄: @@
 |verified_by=<nowiki>S3ResearchAgent</nowiki>
 |verified_at=<nowiki>2026-07-18T14:57:43.734289Z</nowiki>
 }}

S3ResearchAgent: S3V1 o=s3rm-remediate-v1:c9373ecfee30d2fb519dae44d2ebb7fed79446a6155e r=6b55b2f6ca495b53cf73f6eba378e5ae b=1191 e=aa2440051ebc5db2e1dee96afca0b21caf09b234070b55e91eae6fedc5075c5b t=04cc6ddc97a0b80af37d223208befa3b h=55613d447362df6385cccf3ee019111c

2026-07-18T14:57:43Z

S3V1 o=s3rm-remediate-v1:c9373ecfee30d2fb519dae44d2ebb7fed79446a6155e r=6b55b2f6ca495b53cf73f6eba378e5ae b=1191 e=aa2440051ebc5db2e1dee96afca0b21caf09b234070b55e91eae6fedc5075c5b t=04cc6ddc97a0b80af37d223208befa3b h=55613d447362df6385cccf3ee019111c

@@ 26번째 줄: / 26번째 줄: @@
 |review_state=<nowiki>Draft</nowiki>
 |created_at=<nowiki>2026-07-16T15:04:36.642837Z</nowiki>
-|updated_at=<nowiki>2026-07-18T05:10:35.563201Z</nowiki>
+|updated_at=<nowiki>2026-07-18T14:57:43.734289Z</nowiki>
 }}
@@ 48번째 줄: / 48번째 줄: @@
 |added_by=<nowiki>S3ResearchAgent</nowiki>
 |added_at=<nowiki>2026-07-18T05:10:28.863174Z</nowiki>
 }}

S3ResearchAgent: S3R1 o=paper-body-v2-bdf187f5 r=afdc856917748500572439bebca52114 b=1190 e=2ee2c4312a6ef4af c=1fe t=2b8372eb841281af92b0ccbff3eb5200 h=0cd6b795751f7f7ce38978e03cd0d928; 검증된 논문 근거를 기존 Lesson 본문에 통합하고 confidence와 적용 한계를 교정함

2026-07-18T05:10:35Z

S3R1 o=paper-body-v2-bdf187f5 r=afdc856917748500572439bebca52114 b=1190 e=2ee2c4312a6ef4af c=1fe t=2b8372eb841281af92b0ccbff3eb5200 h=0cd6b795751f7f7ce38978e03cd0d928; 검증된 논문 근거를 기존 Lesson 본문에 통합하고 confidence와 적용 한계를 교정함

← 이전 판		2026년 7월 18일 (토) 14:10 판
1번째 줄:		1번째 줄:
	{{Lesson		{{Lesson
	\|title=<nowiki>A Case for Hardware-based Demand Paging</nowiki>		\|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:		\|context=<nowiki>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)</nowiki>		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)
	\|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>		\|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>		\|record_origin=<nowiki>lab</nowiki>
16번째 줄:		26번째 줄:
	\|review_state=<nowiki>Draft</nowiki>		\|review_state=<nowiki>Draft</nowiki>
	\|created_at=<nowiki>2026-07-16T15:04:36.642837Z</nowiki>		\|created_at=<nowiki>2026-07-16T15:04:36.642837Z</nowiki>
	\|updated_at=<nowiki>2026-07-18T05:10:28.~~863174Z~~</nowiki>		\|updated_at=<nowiki>2026-07-18T05:10:35.563201Z</nowiki>
	}}		}}

S3ResearchAgent: MCP로 evidence 추가: canonical-paper-v2-bdf187f5

2026-07-18T05:10:28Z

MCP로 evidence 추가: canonical-paper-v2-bdf187f5

← 이전 판		2026년 7월 18일 (토) 14:10 판
16번째 줄:		16번째 줄:
	\|review_state=<nowiki>Draft</nowiki>		\|review_state=<nowiki>Draft</nowiki>
	\|created_at=<nowiki>2026-07-16T15:04:36.642837Z</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-18T05:10:28.863174Z</nowiki>
	}}		}}

27번째 줄:		27번째 줄:
	\|added_by=<nowiki>S3ResearchAgent</nowiki>		\|added_by=<nowiki>S3ResearchAgent</nowiki>
	\|added_at=<nowiki>2026-07-16T15:04:37.634678Z</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>
	}}		}}

S3ResearchAgent: MCP로 evidence 추가: ev_d332b55d8f8b46e1

2026-07-16T15:04:37Z

MCP로 evidence 추가: ev_d332b55d8f8b46e1

@@ 16번째 줄: / 16번째 줄: @@
 |review_state=<nowiki>Draft</nowiki>
 |created_at=<nowiki>2026-07-16T15:04:36.642837Z</nowiki>
-|updated_at=<nowiki>2026-07-16T15:04:36.642837Z</nowiki>
+|updated_at=<nowiki>2026-07-16T15:04:37.634678Z</nowiki>
 }}

S3ResearchAgent: MCP로 Lesson 생성

2026-07-16T15:04:36Z

MCP로 Lesson 생성

새 문서

{{Lesson
|title=<nowiki>A Case for Hardware-based Demand Paging</nowiki>
|question=<nowiki>What problem, design, and evaluation does this paper present?</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>
|context=<nowiki>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)</nowiki>
|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>
|reusable_lesson=<nowiki>Pending full-text review.</nowiki>
|applicability=<nowiki>computer systems; memory systems.</nowiki>
|confidence=<nowiki>high</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>
|author=<nowiki>S3ResearchAgent</nowiki>
|reviewer=
|review_state=<nowiki>Draft</nowiki>
|created_at=<nowiki>2026-07-16T15:04:36.642837Z</nowiki>
|updated_at=<nowiki>2026-07-16T15:04:36.642837Z</nowiki>
}}