속성:Evidence note
자료에서 확인할 수 있는 점이나 한계를 적습니다.
d
chase/demote branch와 domino 분석을 확인했으며 GPU 결과는 prompt-seed audit 경고와 함께 보존함. +
실패 수량, recovery commit/SHA, pairing invalid 조건, fail-closed test를 확인함. +
telemetry caveat와 simulator abstraction gap을 확인함. +
standalone patch의 historical-only 경계와 current tree canonical 규칙을 확인함. +
aggregate objective와 premium SLO miss의 상반된 결과 및 KV term의 single-seed caveat를 확인함. +
수정 전 bug 설명과 수정 후 deterministic pool/trace 생성 코드를 함께 확인함. +
각 policy formula와 focused tests를 확인함. +
e
Source: Yonsei University Computer Systems Laboratory publication list supplied by the user. Manifestation 1 of 1. +
정본 Lesson 보강 근거. 검토 원본: Lesson:technical_review_efficient_footprint_caching_for_tagless_dram_caches_5090e3ab. 확인 범위: official_abstract. 확인한 자료: https://doi.org/10.1109/HPCA.2016.7446068 ; https://yonsei.elsevierpure.com/en/publications/efficient-footprint-caching-for-tagless-dram-caches/. 질문, 방법, 평가, 해석, 재사용 교훈, 적용 범위와 한계를 같은 Lesson 본문에 통합했습니다. +
정본 Lesson 보강 근거. 검토 원본: Lesson:technical_review_efficient_function_call_tracing_with_link_time_binary_rewriting_for_ce_devices_0c5c62cb. 확인 범위: official_abstract. 확인한 자료: https://doi.org/10.1109/TCE.2013.6689704 ; https://yonsei.elsevierpure.com/en/publications/efficient-function-call-tracing-with-link-time-binary-rewriting-f/. 질문, 방법, 평가, 해석, 재사용 교훈, 적용 범위와 한계를 같은 Lesson 본문에 통합했습니다. +
Source: Yonsei University Computer Systems Laboratory publication list supplied by the user. Manifestation 1 of 1. +
정본 Lesson 보강 근거. 검토 원본: Lesson:technical_review_efficient_hybrid_polling_for_ultra_low_latency_storage_devices_545391d6. 확인 범위: full_text. 확인한 자료: https://www.sciencedirect.com/science/article/pii/S1383762121002319 ; https://yonsei.elsevierpure.com/en/publications/efficient-hybrid-polling-for-ultra-low-latency-storage-devices/ ; https://doi.org/10.1016/j.sysarc.2021.102338. 질문, 방법, 평가, 해석, 재사용 교훈, 적용 범위와 한계를 같은 Lesson 본문에 통합했습니다. +
Source: Yonsei University Computer Systems Laboratory publication list supplied by the user. Manifestation 1 of 1. +
Source: Yonsei University Computer Systems Laboratory publication list supplied by the user. Manifestation 1 of 1. +
정본 Lesson 보강 근거. 검토 원본: Lesson:technical_review_efficient_memory_deduplication_for_mobile_smart_devices_6603ecf1. 확인 범위: official_abstract. 확인한 자료: https://doi.org/10.1109/ICCE.2014.6775893 ; https://yonsei.elsevierpure.com/en/publications/efficient-memory-deduplicati-on-for-mobile-smart-devices/. 질문, 방법, 평가, 해석, 재사용 교훈, 적용 범위와 한계를 같은 Lesson 본문에 통합했습니다. +
efficient memory overcommitment for i o passthrough enabled vms via fine grained page meta data d32f4845 +
Verification: abstract_only; confidence=medium.
Canonical title: Efficient Memory Overcommitment for I/O Passthrough Enabled VMs via Fine-grained Page Meta-data Management
Question: I/O passthrough VM에서도 DMA 안전하게 메모리를 초과 할당할 수 있는가?
Context: ballooning은 느리고 passthrough 장치의 DMA 때문에 페이지 회수가 위험하다.
Method: V-Probe는 세밀한 페이지 메타데이터로 게스트 free 페이지를 식별·회수하고 재할당한다.
Evaluation: workloads=I/O passthrough VM micro/macrobenchmarks; baselines=ballooning; IOPF; metrics=reclaim/reallocation latency; application impact; results=Microsecond operations; two orders of magnitude faster than ballooning/IOPF.
Interpretation: 페이지 상태를 정확히 공유하면 passthrough와 overcommit의 충돌을 완화할 수 있다.
Reusable lesson: DMA 환경의 메모리 회수는 페이지별 소유·사용 상태 추적이 핵심이다.
Applicability: SR-IOV·passthrough VM 클라우드.
Limits: 게스트·하이퍼바이저·장치 간 협조와 메타데이터 유지가 필요하다. +
efficient memory overcommitment for i o passthrough enabled vms via fine grained page meta data d32f4845 +
Verification: abstract_only; confidence=high.
Canonical title: Efficient Memory Overcommitment for I/O Passthrough Enabled VMs via Fine-grained Page Meta-data Management
Question: I/O passthrough VM에서도 DMA 안전하게 메모리를 초과 할당할 수 있는가?
Context: ballooning은 느리고 passthrough 장치의 DMA 때문에 페이지 회수가 위험하다.
Method: V-Probe는 세밀한 페이지 메타데이터로 게스트 free 페이지를 식별·회수하고 재할당한다.
Evaluation: workloads=I/O passthrough VM micro/macrobenchmarks; baselines=ballooning; IOPF; metrics=reclaim/reallocation latency; application impact; results=Microsecond operations; two orders of magnitude faster than ballooning/IOPF.
Interpretation: 페이지 상태를 정확히 공유하면 passthrough와 overcommit의 충돌을 완화할 수 있다.
Reusable lesson: DMA 환경의 메모리 회수는 페이지별 소유·사용 상태 추적이 핵심이다.
Applicability: SR-IOV·passthrough VM 클라우드.
Limits: 게스트·하이퍼바이저·장치 간 협조와 메타데이터 유지가 필요하다. +
efficient memory overcommitment for i o passthrough enabled vms via fine grained page meta data d32f4845 +
Bibliographic paper record. +
Verification: official USENIX page and abstract; confidence=medium.
Canonical title: EMT: An OS Framework for New Memory Translation Architectures
Question: How can Linux support emerging nontraditional address-translation structures without repeated invasive rewrites?
Context: New radix/hash and hardware-assisted translation designs conflict with assumptions embedded throughout modern VM code.
Method: EMT provides an architecture-neutral Linux framework for radix/hash translation and hardware optimizations, and ports Linux memory management to support ECPT and FPT.
Evaluation: workloads=Linux workloads on ECPT and FPT prototypes; baselines=native Linux translation paths; metrics=framework overhead and compatibility; results=negligible overhead; no exact value in abstract
Interpretation: Separating translation semantics from page-table implementation makes architecture research deployable in a full OS.
Reusable lesson: Introduce a stable translation interface before adding new hardware-specific structures.
Applicability: OS/architecture co-design for alternative page tables and memory translation.
Limits: Requires Linux integration and implementation work for each architecture; exact evaluation scope is abstract-limited. +
Bibliographic paper record. +