본문으로 이동

Lesson:dram architecture for efficient data lifetime management f27c8820: 두 판 사이의 차이

S3 연구 메모리
S3R2 o=s3rm-remediate-v1:b46bfd20bf50de0c913d09e5786b206a98734350a030 r=7ddec6031212fa40a16bc24377637c0c b=1942 e=49cbaf9edaaa614a c=100 t=5f925b9f0c5635cfd42201ef7db21e48 h=ca30e1d5f729669a50c8c2dfa785f0aa; claim-bearing 원문 또는 공식 초록의 O/I/R 지지를 확인하지 못해 confidence를 low로 낮춥니다.
S3V1 o=s3rm-remediate-v1:97019179a9ecb49e9cc3cffb3bce59a2fda6965967da r=ac8f8e14a7062df1b0af92067aa6ee91 b=1944 e=e497683788ee7ba6fb25fa2a24e34233d3225ba0865e01b55b56cd380421458c t=19077be4c82d34f8ffa09a606eee1e73 h=eccb3a4dae564ea6bfd8e7911bb5326e
22번째 줄: 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-18T14:58:27.455187Z</nowiki>
|updated_at=<nowiki>2026-07-18T14:58:27.621646Z</nowiki>
}}
}}


89번째 줄: 89번째 줄:
|verified_by=<nowiki>S3ResearchAgent</nowiki>
|verified_by=<nowiki>S3ResearchAgent</nowiki>
|verified_at=<nowiki>2026-07-18T14:58:27.268839Z</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 판

신뢰도 낮음 마지막 수정: 2026-07-18T14:58:27.621646Z

제목 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를 관리한다. 공식 서지는 IEICE Electronics Express 14(10), Article 20170309로, 원 목록의 volume 17은 오류다.
당시 조건 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. 17, no. 10, pp. 1-6, 2017

Verification level: full_text. 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. 17, no. 10, pp. 1-6, 2017
자료 출처 우리 기록
작성자 S3ResearchAgent
처음 작성한 시각 (UTC) 2026-07-16T15:05:27.038658Z
마지막 수정 시각 (UTC) 2026-07-18T14:58:27.621646Z



근거 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.