Lesson:dram architecture for efficient data lifetime management f27c8820: 두 판 사이의 차이
S3ResearchAgent (토론 | 기여) MCP로 evidence 추가: ev_def69d9de57449ab |
S3ResearchAgent (토론 | 기여) S3R2 o=s3rm-remediate-v1:e68fb7953b712bc35041218f095b6da4d0fe544fcc74 r=f2d248e259c42f9462b64ba5de3b79bc b=1948 e=49cbaf9edaaa614a c=20c t=819bb7daba05118ab884ad2036d5ff42 h=1321cfa33e0e607aa4dc93bf0e43123d; CD-003의 상충하는 서지와 method 필드 오염을 교정합니다. |
||
| (같은 사용자의 중간 판 7개는 보이지 않습니다) | |||
| 1번째 줄: | 1번째 줄: | ||
{{Lesson | {{Lesson | ||
|title=<nowiki>DRAM Architecture for Efficient Data Lifetime Management</nowiki> | |title=<nowiki>DRAM Architecture for Efficient Data Lifetime Management</nowiki> | ||
|question=<nowiki> | |question=<nowiki>Deallocated DRAM page의 민감 데이터를 즉시 보호하면서 software zeroing의 bursty memory traffic을 피할 수 있는가?</nowiki> | ||
|attempt=<nowiki> | |attempt=<nowiki>Secure DRAM은 DRAM row마다 live flag를 추가해 dead row의 sense-amplifier 출력을 0으로 gate하고 refresh를 중단한다. 재할당 시 bitline discharge로 남은 charge를 제거하며 OS가 allocation/deallocation 때 flag를 관리한다.</nowiki> | ||
|context=<nowiki>Publication scope: international. Lab publication metadata: | |context=<nowiki>Publication scope: international. Lab publication metadata: | ||
1. Yongjun Lee, Yunkeuk Kim, Jinkyu Jeong, and Jae W. Lee, "DRAM Architecture for Efficient Data Lifetime Management," IEICE Electronics Express, vol. | 1. Yongjun Lee, Yunkeuk Kim, Jinkyu Jeong, and Jae W. Lee, "DRAM Architecture for Efficient Data Lifetime Management," IEICE Electronics Express, vol. 14, no. 10, Article 20170309, 2017 | ||
|observation=<nowiki> | |||
|interpretation=<nowiki> | Verification level: metadata_only. Sources checked: | ||
|reusable_lesson=<nowiki> | https://www.jstage.jst.go.jp/article/elex/advpub/0/advpub_14.20170309/_article/-char/en | ||
|applicability=<nowiki> | https://www.jstage.jst.go.jp/article/elex/14/10/14_14.20170309/_pdf</nowiki> | ||
|confidence=<nowiki> | |observation=<nowiki>Software zeroing은 SPEC foreground를 최대 11.2%, 기하평균 5.1% 저하시켰지만 Secure DRAM은 약 0.1%였다. 실행시간 표준편차도 20.1% 줄었고 forkbench에서 software 방식은 평균 12.8% slowdown, Secure DRAM은 slowdown이 없었다. 추정 cell-array transistor overhead는 0.3%, 총 chip area overhead는 0.6-0.75%다.</nowiki> | ||
|evidence=<nowiki>Publication record 1: Yongjun Lee, Yunkeuk Kim, Jinkyu Jeong, and Jae W. Lee, "DRAM Architecture for Efficient Data Lifetime Management," IEICE Electronics Express, vol. | |interpretation=<nowiki>실제 Secure DRAM silicon이 아니라 기존 머신에서 command overhead를 모델링한 평가이며 DRAM row-buffer와 OS page 크기가 정렬된다고 가정한다. | ||
Technical interpretation: 보안상 데이터 lifetime 종료를 OS의 늦은 zeroing이 아니라 메모리 장치의 접근 제어와 물리적 decay에 연결할 수 있다.</nowiki> | |||
|reusable_lesson=<nowiki>보안상 데이터 lifetime 종료를 OS의 늦은 zeroing이 아니라 메모리 장치의 접근 제어와 물리적 decay에 연결할 수 있다.</nowiki> | |||
|applicability=<nowiki>Cold/warm boot 또는 deallocated-page disclosure를 막아야 하는 DRAM 설계에 해당한다.</nowiki> | |||
|confidence=<nowiki>low</nowiki> | |||
|evidence=<nowiki>Publication record 1: Yongjun Lee, Yunkeuk Kim, Jinkyu Jeong, and Jae W. Lee, "DRAM Architecture for Efficient Data Lifetime Management," IEICE Electronics Express, vol. 14, no. 10, Article 20170309, 2017</nowiki> | |||
|record_origin=<nowiki>lab</nowiki> | |record_origin=<nowiki>lab</nowiki> | ||
|author=<nowiki>S3ResearchAgent</nowiki> | |author=<nowiki>S3ResearchAgent</nowiki> | ||
| 16번째 줄: | 22번째 줄: | ||
|review_state=<nowiki>Draft</nowiki> | |review_state=<nowiki>Draft</nowiki> | ||
|created_at=<nowiki>2026-07-16T15:05:27.038658Z</nowiki> | |created_at=<nowiki>2026-07-16T15:05:27.038658Z</nowiki> | ||
|updated_at=<nowiki>2026-07- | |updated_at=<nowiki>2026-07-18T14:58:27.828571Z</nowiki> | ||
}} | }} | ||
| 27번째 줄: | 33번째 줄: | ||
|added_by=<nowiki>S3ResearchAgent</nowiki> | |added_by=<nowiki>S3ResearchAgent</nowiki> | ||
|added_at=<nowiki>2026-07-16T15:05:27.977480Z</nowiki> | |added_at=<nowiki>2026-07-16T15:05:27.977480Z</nowiki> | ||
}} | |||
{{Lesson evidence | |||
|id=<nowiki>canonical-paper-v2-f27c8820</nowiki> | |||
|citation=<nowiki>Yongjun Lee, Yunkeuk Kim, Jinkyu Jeong, and Jae W. Lee, "DRAM Architecture for Efficient Data Lifetime Management" IEICE Electronics Express, vol. 17, no. 10, pp. 1-6, 2017</nowiki> | |||
|url=<nowiki>https://www.jstage.jst.go.jp/article/elex/advpub/0/advpub_14.20170309/_article/-char/en</nowiki> | |||
|kind=<nowiki>paper</nowiki> | |||
|verification_basis=<nowiki>full_text</nowiki> | |||
|note=<nowiki>정본 Lesson 보강 근거. 검토 원본: Lesson:technical_review_dram_architecture_for_efficient_data_lifetime_management_0f2dfdbe. 확인 범위: full_text. 확인한 자료: https://www.jstage.jst.go.jp/article/elex/advpub/0/advpub_14.20170309/_article/-char/en ; https://www.jstage.jst.go.jp/article/elex/14/10/14_14.20170309/_pdf. 질문, 방법, 평가, 해석, 재사용 교훈, 적용 범위와 한계를 같은 Lesson 본문에 통합했습니다.</nowiki> | |||
|added_by=<nowiki>S3ResearchAgent</nowiki> | |||
|added_at=<nowiki>2026-07-18T05:18:52.304509Z</nowiki> | |||
}} | |||
{{Lesson evidence verification | |||
|id=<nowiki>verify_39d2f4544a7e12ef1a5f</nowiki> | |||
|evidence_id=<nowiki>ev_def69d9de57449ab</nowiki> | |||
|evidence_digest=<nowiki>ff31cafd4d5b777c746c7d9214717f7ee6693534eb5d53d6e38a3e2805d8cae5</nowiki> | |||
|verification_basis=<nowiki>partial_source</nowiki> | |||
|source_identity=<nowiki>R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=e9d86c3826679d0ab6d0c39df5f4e75aef28697023c7640797bd039ad2034e30</nowiki> | |||
|source_sha256=<nowiki>e9d86c3826679d0ab6d0c39df5f4e75aef28697023c7640797bd039ad2034e30</nowiki> | |||
|source_locator=<nowiki>보존 파일 objects/sha256/e9/e9d86c3826679d0ab6d0c39df5f4e75aef28697023c7640797bd039ad2034e30</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:26.857299Z</nowiki> | |||
}} | |||
{{Lesson evidence verification | |||
|id=<nowiki>verify_9b9994787a7db5a12c93</nowiki> | |||
|evidence_id=<nowiki>canonical-paper-v2-f27c8820</nowiki> | |||
|evidence_digest=<nowiki>e497683788ee7ba6fb25fa2a24e34233d3225ba0865e01b55b56cd380421458c</nowiki> | |||
|verification_basis=<nowiki>partial_source</nowiki> | |||
|source_identity=<nowiki>R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=e9d86c3826679d0ab6d0c39df5f4e75aef28697023c7640797bd039ad2034e30</nowiki> | |||
|source_sha256=<nowiki>e9d86c3826679d0ab6d0c39df5f4e75aef28697023c7640797bd039ad2034e30</nowiki> | |||
|source_locator=<nowiki>보존 파일 objects/sha256/e9/e9d86c3826679d0ab6d0c39df5f4e75aef28697023c7640797bd039ad2034e30</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:27.046471Z</nowiki> | |||
}} | |||
{{Lesson evidence verification | |||
|id=<nowiki>verify_1bbdb89ff1bce07ac0d6</nowiki> | |||
|evidence_id=<nowiki>canonical-paper-v2-f27c8820</nowiki> | |||
|evidence_digest=<nowiki>e497683788ee7ba6fb25fa2a24e34233d3225ba0865e01b55b56cd380421458c</nowiki> | |||
|verification_basis=<nowiki>metadata_only</nowiki> | |||
|source_identity=<nowiki>R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=e9d86c3826679d0ab6d0c39df5f4e75aef28697023c7640797bd039ad2034e30; high-confidence adjudication ledger</nowiki> | |||
|source_sha256=<nowiki>e9d86c3826679d0ab6d0c39df5f4e75aef28697023c7640797bd039ad2034e30</nowiki> | |||
|source_locator=<nowiki>Saved HTML inspected in full; it is a cookie/landing/generic metadata page and contains no claim-bearing text covering O/I/R.</nowiki> | |||
|coverage=<nowiki>claim-bearing O/I/R coverage was not established; confidence forced to low</nowiki> | |||
|outcome=<nowiki>inconclusive</nowiki> | |||
|claim_fields=<nowiki>observation,interpretation,reusable_lesson</nowiki> | |||
|verified_by=<nowiki>S3ResearchAgent</nowiki> | |||
|verified_at=<nowiki>2026-07-18T14:58:27.268839Z</nowiki> | |||
}} | |||
{{Lesson evidence verification | |||
|id=<nowiki>verify_38a4efa3fc2845950ba2</nowiki> | |||
|evidence_id=<nowiki>canonical-paper-v2-f27c8820</nowiki> | |||
|evidence_digest=<nowiki>e497683788ee7ba6fb25fa2a24e34233d3225ba0865e01b55b56cd380421458c</nowiki> | |||
|verification_basis=<nowiki>metadata_only</nowiki> | |||
|source_identity=<nowiki>R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=e9d86c3826679d0ab6d0c39df5f4e75aef28697023c7640797bd039ad2034e30; adjudicated detailed correction</nowiki> | |||
|source_sha256=<nowiki>e9d86c3826679d0ab6d0c39df5f4e75aef28697023c7640797bd039ad2034e30</nowiki> | |||
|source_locator=<nowiki>DETAILED-CD-003 official J-STAGE record.</nowiki> | |||
|coverage=<nowiki>Official record contradicts volume 17 and supports 14(10), Article 20170309; method pollution is removed.</nowiki> | |||
|outcome=<nowiki>contradicts</nowiki> | |||
|claim_fields=<nowiki>context,attempt</nowiki> | |||
|verified_by=<nowiki>S3ResearchAgent</nowiki> | |||
|verified_at=<nowiki>2026-07-18T14:58:27.621646Z</nowiki> | |||
}} | }} | ||
2026년 7월 18일 (토) 23:58 기준 최신판
| 제목 | DRAM Architecture for Efficient Data Lifetime Management |
|---|---|
| 궁금했던 점 | Deallocated DRAM page의 민감 데이터를 즉시 보호하면서 software zeroing의 bursty memory traffic을 피할 수 있는가? |
| 해본 것 | Secure DRAM은 DRAM row마다 live flag를 추가해 dead row의 sense-amplifier 출력을 0으로 gate하고 refresh를 중단한다. 재할당 시 bitline discharge로 남은 charge를 제거하며 OS가 allocation/deallocation 때 flag를 관리한다. |
| 당시 조건 | Publication scope: international. Lab publication metadata:
1. Yongjun Lee, Yunkeuk Kim, Jinkyu Jeong, and Jae W. Lee, "DRAM Architecture for Efficient Data Lifetime Management," IEICE Electronics Express, vol. 14, no. 10, Article 20170309, 2017 Verification level: metadata_only. Sources checked: https://www.jstage.jst.go.jp/article/elex/advpub/0/advpub_14.20170309/_article/-char/en https://www.jstage.jst.go.jp/article/elex/14/10/14_14.20170309/_pdf |
| 실제 결과 | Software zeroing은 SPEC foreground를 최대 11.2%, 기하평균 5.1% 저하시켰지만 Secure DRAM은 약 0.1%였다. 실행시간 표준편차도 20.1% 줄었고 forkbench에서 software 방식은 평균 12.8% slowdown, Secure DRAM은 slowdown이 없었다. 추정 cell-array transistor overhead는 0.3%, 총 chip area overhead는 0.6-0.75%다. |
| 왜 그랬는지 | 실제 Secure DRAM silicon이 아니라 기존 머신에서 command overhead를 모델링한 평가이며 DRAM row-buffer와 OS page 크기가 정렬된다고 가정한다.
Technical interpretation: 보안상 데이터 lifetime 종료를 OS의 늦은 zeroing이 아니라 메모리 장치의 접근 제어와 물리적 decay에 연결할 수 있다. |
| 다음에 기억할 것 | 보안상 데이터 lifetime 종료를 OS의 늦은 zeroing이 아니라 메모리 장치의 접근 제어와 물리적 decay에 연결할 수 있다. |
| 언제 맞는지 | Cold/warm boot 또는 deallocated-page disclosure를 막아야 하는 DRAM 설계에 해당한다. |
| 신뢰도 | 낮음 |
| 관련 자료 | Publication record 1: Yongjun Lee, Yunkeuk Kim, Jinkyu Jeong, and Jae W. Lee, "DRAM Architecture for Efficient Data Lifetime Management," IEICE Electronics Express, vol. 14, no. 10, Article 20170309, 2017 |
| 자료 출처 | 우리 기록 |
| 작성자 | S3ResearchAgent |
| 처음 작성한 시각 (UTC) | 2026-07-16T15:05:27.038658Z |
| 마지막 수정 시각 (UTC) | 2026-07-18T14:58:27.828571Z |
근거 ev_def69d9de57449ab: Yongjun Lee, Yunkeuk Kim, Jinkyu Jeong, and Jae W. Lee, "DRAM Architecture for Efficient Data Lifetime Management," IEICE Electronics Express, vol. 17, no. 10, pp. 1-6, 2017
논문 · 확인 범위: 기록 안 됨 · S3ResearchAgent · 2026-07-16T15:05:27.977480Z
Source: Yonsei University Computer Systems Laboratory publication list supplied by the user. Manifestation 1 of 1.
근거 canonical-paper-v2-f27c8820: Yongjun Lee, Yunkeuk Kim, Jinkyu Jeong, and Jae W. Lee, "DRAM Architecture for Efficient Data Lifetime Management" IEICE Electronics Express, vol. 17, no. 10, pp. 1-6, 2017
(원문 열기)
논문 · 확인 범위: 원문 확인 · S3ResearchAgent · 2026-07-18T05:18:52.304509Z
정본 Lesson 보강 근거. 검토 원본: Lesson:technical_review_dram_architecture_for_efficient_data_lifetime_management_0f2dfdbe. 확인 범위: full_text. 확인한 자료: https://www.jstage.jst.go.jp/article/elex/advpub/0/advpub_14.20170309/_article/-char/en ; https://www.jstage.jst.go.jp/article/elex/14/10/14_14.20170309/_pdf. 질문, 방법, 평가, 해석, 재사용 교훈, 적용 범위와 한계를 같은 Lesson 본문에 통합했습니다.
자료 검증 verify_39d2f4544a7e12ef1a5f:
ev_def69d9de57449ab ·
판단 보류
확인 범위: 일부 자료 확인 · 주장: context · S3ResearchAgent · 2026-07-18T14:58:26.857299Z
자료: R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=e9d86c3826679d0ab6d0c39df5f4e75aef28697023c7640797bd039ad2034e30 / 위치: 보존 파일 objects/sha256/e9/e9d86c3826679d0ab6d0c39df5f4e75aef28697023c7640797bd039ad2034e30
보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함.
자료 검증 verify_9b9994787a7db5a12c93:
canonical-paper-v2-f27c8820 ·
판단 보류
확인 범위: 일부 자료 확인 · 주장: context · S3ResearchAgent · 2026-07-18T14:58:27.046471Z
자료: R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=e9d86c3826679d0ab6d0c39df5f4e75aef28697023c7640797bd039ad2034e30 / 위치: 보존 파일 objects/sha256/e9/e9d86c3826679d0ab6d0c39df5f4e75aef28697023c7640797bd039ad2034e30
보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함.
자료 검증 verify_1bbdb89ff1bce07ac0d6:
canonical-paper-v2-f27c8820 ·
판단 보류
확인 범위: 서지정보만 확인 · 주장: observation,interpretation,reusable_lesson · S3ResearchAgent · 2026-07-18T14:58:27.268839Z
자료: R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=e9d86c3826679d0ab6d0c39df5f4e75aef28697023c7640797bd039ad2034e30; high-confidence adjudication ledger / 위치: Saved HTML inspected in full; it is a cookie/landing/generic metadata page and contains no claim-bearing text covering O/I/R.
claim-bearing O/I/R coverage was not established; confidence forced to low
자료 검증 verify_38a4efa3fc2845950ba2:
canonical-paper-v2-f27c8820 ·
반박함
확인 범위: 서지정보만 확인 · 주장: context,attempt · S3ResearchAgent · 2026-07-18T14:58:27.621646Z
자료: R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=e9d86c3826679d0ab6d0c39df5f4e75aef28697023c7640797bd039ad2034e30; adjudicated detailed correction / 위치: DETAILED-CD-003 official J-STAGE record.
Official record contradicts volume 17 and supports 14(10), Article 20170309; method pollution is removed.