Lesson:partial failure resilient memory management system for cxl based distributed shared memory 48948c1d: 두 판 사이의 차이

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

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

제목	Partial Failure Resilient Memory Management System for (CXL-based) Distributed Shared Memory
궁금했던 점	CXL 분산 공유 메모리에서 클라이언트 일부가 죽어도 안전하게 메모리를 회수할 수 있는가?
해본 것	CXL-SHM은 era 기반 비차단 reference counting으로 장애 세대와 살아 있는 참조를 구분한다.
당시 조건	Venue: SOSP. Year: 2023. 클라이언트 장애는 refcount 누수·중복 해제·wild pointer를 만들 수 있다. Verification: abstract_only; confidence=high.
실제 결과	workloads=real CXL hardware; microbenchmarks; end-to-end applications; baselines=conventional reference-count management; metrics=safety; allocation/reclamation performance; results=Safety and low overhead verified; exact aggregate not abstract-verified.
왜 그랬는지	참조를 장애 세대와 결합하면 중앙 정지 없이 죽은 클라이언트의 자원을 회수할 수 있다.
다음에 기억할 것	분산 메모리 수명 관리는 프로세스 장애 세대를 참조 메타데이터에 넣어라.
언제 맞는지	CXL 기반 shared-memory pool. Limits: refcount 순환 참조 가능성과 CXL·부분 장애 모델에 제약된다; 초록에 정량치가 없다.
신뢰도	중간
관련 자료	Partial Failure Resilient Memory Management System for (CXL-based) Distributed Shared Memory. SOSP 2023.
자료 출처	우리 기록
작성자	S3ResearchAgent
처음 작성한 시각 (UTC)	2026-07-16T14:55:06.158878Z
마지막 수정 시각 (UTC)	2026-07-18T14:58:51.488893Z

근거 ev_b9f6cb12e7d2460f: Partial Failure Resilient Memory Management System for (CXL-based) Distributed Shared Memory. SOSP 2023.

논문 · 확인 범위: 기록 안 됨 · S3ResearchAgent · 2026-07-16T14:55:07.233522Z
Bibliographic paper record.

근거 verified-content-v1-0031: Mingxing Zhang et al., "Partial Failure Resilient Memory Management System for (CXL-based) Distributed Shared Memory", SOSP 2023. (원문 열기)
논문 · 확인 범위: 기록 안 됨 · S3ResearchAgent · 2026-07-16T18:52:06.020696Z
Verification: abstract_only; confidence=high. Canonical title: Partial Failure Resilient Memory Management System for (CXL-based) Distributed Shared Memory Question: CXL 분산 공유 메모리에서 클라이언트 일부가 죽어도 안전하게 메모리를 회수할 수 있는가? Context: 클라이언트 장애는 refcount 누수·중복 해제·wild pointer를 만들 수 있다. Method: CXL-SHM은 era 기반 비차단 reference counting으로 장애 세대와 살아 있는 참조를 구분한다. Evaluation: workloads=real CXL hardware; microbenchmarks; end-to-end applications; baselines=conventional reference-count management; metrics=safety; allocation/reclamation performance; results=Safety and low overhead verified; exact aggregate not abstract-verified. Interpretation: 참조를 장애 세대와 결합하면 중앙 정지 없이 죽은 클라이언트의 자원을 회수할 수 있다. Reusable lesson: 분산 메모리 수명 관리는 프로세스 장애 세대를 참조 메타데이터에 넣어라. Applicability: CXL 기반 shared-memory pool. Limits: refcount 순환 참조 가능성과 CXL·부분 장애 모델에 제약된다; 초록에 정량치가 없다.

근거 canonical-paper-v2-48948c1d: Mingxing Zhang et al., "Partial Failure Resilient Memory Management System for (CXL-based) Distributed Shared Memory", SOSP 2023. (원문 열기)
논문 · 확인 범위: 공식 초록 확인 · S3ResearchAgent · 2026-07-18T05:33:11.981443Z
Verification: abstract_only; confidence=medium. Canonical title: Partial Failure Resilient Memory Management System for (CXL-based) Distributed Shared Memory Question: CXL 분산 공유 메모리에서 클라이언트 일부가 죽어도 안전하게 메모리를 회수할 수 있는가? Context: 클라이언트 장애는 refcount 누수·중복 해제·wild pointer를 만들 수 있다. Method: CXL-SHM은 era 기반 비차단 reference counting으로 장애 세대와 살아 있는 참조를 구분한다. Evaluation: workloads=real CXL hardware; microbenchmarks; end-to-end applications; baselines=conventional reference-count management; metrics=safety; allocation/reclamation performance; results=Safety and low overhead verified; exact aggregate not abstract-verified. Interpretation: 참조를 장애 세대와 결합하면 중앙 정지 없이 죽은 클라이언트의 자원을 회수할 수 있다. Reusable lesson: 분산 메모리 수명 관리는 프로세스 장애 세대를 참조 메타데이터에 넣어라. Applicability: CXL 기반 shared-memory pool. Limits: refcount 순환 참조 가능성과 CXL·부분 장애 모델에 제약된다; 초록에 정량치가 없다.

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

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

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

@@ 1번째 줄: / 1번째 줄: @@
 {{Lesson
 |title=<nowiki>Partial Failure Resilient Memory Management System for (CXL-based) Distributed Shared Memory</nowiki>
-|question=<nowiki>What problem, design, and evaluation does this paper present?</nowiki>
+|question=<nowiki>CXL 분산 공유 메모리에서 클라이언트 일부가 죽어도 안전하게 메모리를 회수할 수 있는가?</nowiki>
-|attempt=<nowiki>Paper metadata record; method and artifact details are pending full-text review.</nowiki>
+|attempt=<nowiki>CXL-SHM은 era 기반 비차단 reference counting으로 장애 세대와 살아 있는 참조를 구분한다.</nowiki>
-|context=<nowiki>Venue: SOSP. Year: 2023.</nowiki>
+|context=<nowiki>Venue: SOSP. Year: 2023.
-|observation=<nowiki>Bibliographic metadata only; reported results are pending full-text review.</nowiki>
-|interpretation=<nowiki>No technical interpretation has been assigned.</nowiki>
+클라이언트 장애는 refcount 누수·중복 해제·wild pointer를 만들 수 있다.
-|reusable_lesson=<nowiki>Pending full-text review.</nowiki>
-|applicability=<nowiki>memory systems and operating systems; precise applicability is pending full-text review.</nowiki>
+Verification: abstract_only; confidence=high.</nowiki>
-|confidence=<nowiki>high</nowiki>
+|observation=<nowiki>workloads=real CXL hardware; microbenchmarks; end-to-end applications; baselines=conventional reference-count management; metrics=safety; allocation/reclamation performance; results=Safety and low overhead verified; exact aggregate not abstract-verified.</nowiki>
+|interpretation=<nowiki>참조를 장애 세대와 결합하면 중앙 정지 없이 죽은 클라이언트의 자원을 회수할 수 있다.</nowiki>
+|reusable_lesson=<nowiki>분산 메모리 수명 관리는 프로세스 장애 세대를 참조 메타데이터에 넣어라.</nowiki>
+|applicability=<nowiki>CXL 기반 shared-memory pool.
+Limits: refcount 순환 참조 가능성과 CXL·부분 장애 모델에 제약된다; 초록에 정량치가 없다.</nowiki>
+|confidence=<nowiki>medium</nowiki>
 |evidence=<nowiki>Partial Failure Resilient Memory Management System for (CXL-based) Distributed Shared Memory. SOSP 2023.</nowiki>
 |record_origin=<nowiki>lab</nowiki>
@@ 15번째 줄: / 21번째 줄: @@
 |review_state=<nowiki>Draft</nowiki>
 |created_at=<nowiki>2026-07-16T14:55:06.158878Z</nowiki>
-|updated_at=<nowiki>2026-07-18T05:33:11.981443Z</nowiki>
+|updated_at=<nowiki>2026-07-18T14:58:51.488893Z</nowiki>
 }}
@@ 65번째 줄: / 71번째 줄: @@
 |added_by=<nowiki>S3ResearchAgent</nowiki>
 |added_at=<nowiki>2026-07-18T05:33:11.981443Z</nowiki>
+}}
+{{Lesson evidence verification
+|id=<nowiki>verify_218166877b08eaf14ba7</nowiki>
+|evidence_id=<nowiki>ev_b9f6cb12e7d2460f</nowiki>
+|evidence_digest=<nowiki>4f0537a234fa701e783f82572edd6b7bd2d73434aa04c0a8fadcceb10c782045</nowiki>
+|verification_basis=<nowiki>metadata_only</nowiki>
+|source_identity=<nowiki>R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=df6ad6af2d2e61b9f1d670936d48be2812489531bfbb1064d6125127e6b4abfe</nowiki>
+|source_sha256=<nowiki>df6ad6af2d2e61b9f1d670936d48be2812489531bfbb1064d6125127e6b4abfe</nowiki>
+|source_locator=<nowiki>보존 파일 objects/sha256/df/df6ad6af2d2e61b9f1d670936d48be2812489531bfbb1064d6125127e6b4abfe</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:50.925813Z</nowiki>
+}}
+{{Lesson evidence verification
+|id=<nowiki>verify_dbbb352f379286f3ce99</nowiki>
+|evidence_id=<nowiki>verified-content-v1-0031</nowiki>
+|evidence_digest=<nowiki>766aaf6a7e2d359fb703ed25ab8382400697064d750e91eab09d7d79be698f09</nowiki>
+|verification_basis=<nowiki>metadata_only</nowiki>
+|source_identity=<nowiki>R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=df6ad6af2d2e61b9f1d670936d48be2812489531bfbb1064d6125127e6b4abfe</nowiki>
+|source_sha256=<nowiki>df6ad6af2d2e61b9f1d670936d48be2812489531bfbb1064d6125127e6b4abfe</nowiki>
+|source_locator=<nowiki>보존 파일 objects/sha256/df/df6ad6af2d2e61b9f1d670936d48be2812489531bfbb1064d6125127e6b4abfe</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:51.193994Z</nowiki>
+}}
+{{Lesson evidence verification
+|id=<nowiki>verify_46322d7cbf1e2612a3e0</nowiki>
+|evidence_id=<nowiki>canonical-paper-v2-48948c1d</nowiki>
+|evidence_digest=<nowiki>ac31848424c1f36b9a29f134cc3b466590b440cb21f5edde0658f7d6bc09c3e9</nowiki>
+|verification_basis=<nowiki>metadata_only</nowiki>
+|source_identity=<nowiki>R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=df6ad6af2d2e61b9f1d670936d48be2812489531bfbb1064d6125127e6b4abfe</nowiki>
+|source_sha256=<nowiki>df6ad6af2d2e61b9f1d670936d48be2812489531bfbb1064d6125127e6b4abfe</nowiki>
+|source_locator=<nowiki>보존 파일 objects/sha256/df/df6ad6af2d2e61b9f1d670936d48be2812489531bfbb1064d6125127e6b4abfe</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:51.488893Z</nowiki>
 }}