Lesson:a case for hardware based demand paging bdf187f5: 두 판 사이의 차이
S3ResearchAgent (토론 | 기여) MCP로 evidence 추가: canonical-paper-v2-bdf187f5 |
S3ResearchAgent (토론 | 기여) S3R1 o=paper-body-v2-bdf187f5 r=afdc856917748500572439bebca52114 b=1190 e=2ee2c4312a6ef4af c=1fe t=2b8372eb841281af92b0ccbff3eb5200 h=0cd6b795751f7f7ce38978e03cd0d928; 검증된 논문 근거를 기존 Lesson 본문에 통합하고 confidence와 적용 한계를 교정함 |
||
| 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> | |question=<nowiki>ultra-low-latency SSD 시대에 page fault latency의 큰 비중이 된 OS kernel I/O stack을 hardware/OS co-design으로 critical path에서 제거할 수 있는가?</nowiki> | ||
|attempt=<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> | |||
|interpretation=<nowiki> | Verification level: official_abstract. Sources checked: | ||
|reusable_lesson=<nowiki> | https://yonsei.elsevierpure.com/en/publications/a-case-for-hardware-based-demand-paging/ | ||
|applicability=<nowiki> | https://doi.org/10.1109/ISCA45697.2020.00093</nowiki> | ||
|confidence=<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: | |updated_at=<nowiki>2026-07-18T05:10:35.563201Z</nowiki> | ||
}} | }} | ||
2026년 7월 18일 (토) 14:10 판
| 제목 | 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-18T05:10:35.563201Z |
근거 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 본문에 통합했습니다.