Technische Samenvatting: Geladen dobbelstenen: Oplossen van het niet-selectieprobleem voor schaalbare probabilistische RowHammer-verdediging

1. Probleemstelling

De RowHammer-kwetsbaarheid, waarbij herhaalde activatie van DRAM-rijen bitflippen induceert in aangrenzende slachtofferrijen, is steeds ernstiger geworden naarmate de DRAM-technologie schaalt. Het minimumaantal activaties dat nodig is om een flip te induceren (de RowHammer-drempel, $T_{RH}$) is aanzienlijk gedaald, met name voor aanvalsen met twee kanten ($T_{RH-D}$).

Bestaande mitigeringsstrategieën staan voor een afweging tussen beveiliging, prestaties en oppervlakte-overhead:

• Per Rij Activatie Telling (PRAC): Gestandaardiseerd voor DDR5, gebruikt PRAC per-rij tellers om activaties nauwkeurig bij te houden. Het bijwerken van deze tellers bij elke activatie via read-modify-write-bewerkingen verhoogt echter aanzienlijk de DRAM-timingparameters (bijv. $t_{RP}$ en $t_{RC}$), wat leidt tot aanzienlijke prestatiedegradatie (bijv. ~14% gemiddelde vertraging) en opmerkelijke oppervlakte-overhead door tellercellen.
• Probabilistische Mitigaties (bijv. MINT): Deze schema's vermijden per-rij tellers door willekeurig rijen te selecteren voor mitigatie binnen periodieke vensters. Hoewel ze effectief zijn bij hoge drempels ($T_{RH-D} \ge 1000$), lijden ze onder het niet-selectieprobleem bij lagere drempels. Om ervoor te zorgen dat een zwaar gehamerde rij niet herhaaldelijk wordt overgeslagen door willekeurige steekproeven, moeten deze schema's hun mitigeringsrate statisch verhogen (het vaker uitgeven van Refresh Management-commando's, RFMs). Deze schaling met een vaste rate vermindert de effectieve geheugenbandbreedte en veroorzaakt aanzienlijke vertragingen (bijv. 17,5% bij $T_{RH-D}=250$), zelfs wanneer er geen aanval aanwezig is.

De kernuitdaging is om een mitigatie te ontwerpen die schaalt naar lage $T_{RH-D}$ zonder uniform de mitigeringsfrequentie te verhogen, waardoor prestaties voor onschadelijke werklasten behouden blijven terwijl de beveiliging wordt gehandhaafd.

2. Methodologie: PrISM

De auteurs stellen PrISM (Probabilistic Intersection-based Sampling Mitigation) voor, een schaalbare in-DRAM-verdediging die gekarteerde rijadressen over mitigeringsvensters correleert om het niet-selectieprobleem aan te pakken.

Kernmechanisme

PrISM werkt met vaste mitigeringsvensters, maar gebruikt een Sampled History Queue (SHQ) om rijactiviteit in de tijd bij te houden.

1. Steekproefneming: In elk venster steekproeft PrISM willekeurig $R$ activatieslots uit $W$ totale slots.
2. Intersectie-detectie: Wanneer een rij wordt gestreept, controleert PrISM of deze overeenkomt met een invoer in de SHQ, die gestreepte maar nog niet gemitigeerde rijen uit de vorige $L$ vensters opslaat (het lookback-venster).
3. Mitigatieverzoek:
   • Standaard Mitigatie: Eén niet-snijdende gestreepte rij wordt geselecteerd als de standaardmitigatiekandidaat voor het venster.
   • Aanvullende Mitigatie: Als een gestreepte rij overeenkomt met een invoer in de SHQ (een "intersectie"), duidt dit op aanhoudende activiteit. PrISM plaatst deze rij in een Pending Mitigation Queue (PMQ) en verzoekt om een aanvullende mitigatie via het bestaande JEDEC Alert Back-Off (ABO)-protocol.
4. Service: De PMQ buffert rijen die wachten op service. Rijen worden gemitigeerd tijdens standaardkansen (Target Row Refresh of proactieve RFMs). Als de PMQ vol raakt of als het activiteitenaantal van een rij een traagheidsdrempel ($T_{PMQ}$) overschrijdt, asserteert PrISM een Alert om een onmiddellijke RFM te triggeren.

Belangrijke Ontwerpeigenschappen

• Geen Per-Rij Tellers: PrISM vermijdt de oppervlakte- en timing-overhead van PRAC door geen tellers voor elke rij bij te houden.
• Dynamische Mitigatie Rate: In tegenstelling tot MINT, dat de mitigeringsrate globaal verhoogt naarmate $T_{RH-D}$ daalt, houdt PrISM de standaardmitigatie rate laag. Het verhoogt de mitigeringsfrequentie alleen wanneer aanhoudende activiteit (intersecties) wordt gedetecteerd.
• JEDEC-Compatibiliteit: PrISM hergebruikt het bestaande ABO-protocol en vereist geen wijzigingen in het DRAM-Array of de interface.
• Adresmapping: Voor ultra-lage drempels ($T_{RH-D} \le 250$) past PrISM gerandomiseerde adresmapping toe om onschadelijke werklasten met hoge ruimtelijke localiteit te voorkomen dat ze valse intersecties triggeren.

3. Belangrijkste Bijdragen

• Identificatie van het Niet-Selectieprobleem: Het paper identificeert de statistische barrière waarbinnen probabilistische verdedigingen met een vaste rate falen bij lage drempels, wat een nieuwe aanpak vereist die niet afhankelijk is van uniforme rateschaling.
• PrISM-ontwerp: Een innovatieve intersectie-gebaseerde mitigatie die een SHQ gebruikt om gestreepte rijen over vensters te correleren, waardoor gerichte aanvullende mitigaties alleen mogelijk zijn voor aanhoudende agressoren.
• Beveiligingsanalyse: De auteurs modelleren een "Circular-X-Rows"-aanval in het ergste geval om de minimum ondersteunde $T_{RH-D}$ te bepalen voor verschillende configuraties van venstergrootte ($W$), gestreepte slots ($R$) en lookback-venster ($L$).
• Uitgebreide Evaluatie: Het paper evalueert PrISM tegenover PRAC (specifiek QPRAC) en MINT over 57 werklasten, variërend in $T_{RH-D}$, geheugendichtheid en systeemconfiguraties.

4. Resultaten

De evaluatie, uitgevoerd met de Ramulator2 DRAM-simulator met een 8-kern OoO-processor en DDR5-8000B, toont het volgende aan:

• Prestatie-overhead:
  • Bij $T_{RH-D} = 500$ veroorzaakt PrISM een verwaarloosbare 0,2% gemiddelde vertraging, vergeleken met 14% voor PRAC en 7,1% voor MINT.
  • Bij de ultra-lage drempel van $T_{RH-D} = 250$ bereikt PrISM een 1,5% gemiddelde vertraging. Daarentegen lijdt MINT aan een 10,7% vertraging, en blijft PRAC op ~14%.
  • Op geheugenintensieve werklasten vermindert PrISM de vertraging van 17,5% (MINT bij $T_{RH-D}=250$) tot 2,5%.
• Opslag-overhead:
  • PrISM vereist slechts 625B aan SRAM per bank bij $T_{RH-D}=500$.
  • Dit is 20× kleiner dan Mithril en 170× kleiner dan ProTRR bij dezelfde drempel. Zelfs bij $T_{RH-D}=250$ is de opslag van PrISM één tot twee ordes van grootte lager dan beveiligde teller-gebaseerde verdedigingen.
• Stroomverbruik-overhead:
  • De stroomverbruik-overhead is minimaal, geschat op ongeveer 0,6% tot 1,0% van het totale DRAM-chipverbruik, voornamelijk door de SRAM-structuren en een kleine TRNG.
• Beveiliging:
  • PrISM ondersteunt $T_{RH-D}$ tot 250 met een doel-Mean-Time-to-Failure (MTTF) van 10.000 jaar per bank.
  • Het systeem is robuust tegen Denial-of-Service (DoS)-aanvallen; hoewel een aanvaller worst-case vertragingen kan forceren (tot 2,31× bij $T_{RH-D}=250$), is dit vergelijkbaar met bestaande geheugenprestatie-aanvallen.

5. Betekenis en Claims

Het paper beweert dat PrISM een aanzienlijke vooruitgang in RowHammer-verdediging vertegenwoordigt door de schaalbaarheidsbeperkingen van probabilistische schema's op te lossen zonder de hoge kosten van deterministische teller-gebaseerde benaderingen te incasseren.

• Schaalbaarheid: PrISM schaalt succesvol naar lage $T_{RH-D}$ (tot 250) door de mitigatie dynamisch alleen te verhogen wanneer nodig, waardoor de "vaste-rate schaling"-straf van eerdere probabilistische methoden wordt vermeden.
• Praktijktoepasbaarheid: Door het bestaande ABO-protocol te hergebruiken en geen wijzigingen in het DRAM-Array te vereisen, wordt PrISM gepresenteerd als een praktische oplossing voor nabije-toekomstige DDR5-systemen, waar de adoptie van PRAC onzeker is vanwege de hoge overhead.
• Efficiëntie: De combinatie van verwaarloosbare prestatievertraging, minimale opslageisen en laag stroomverbruik positioneert PrISM als een superieur alternatief voor zowel PRAC als bestaande probabilistische verdedigingen zoals MINT, met name voor hoogpresterende, geheugenintensieve werklasten.

De auteurs concluderen dat PrISM veilige RowHammer-bescherming biedt met prestatie- en oppervlaktekenmerken die het levensvatbaar maken voor commerciële implementatie in huidige en toekomstige DRAM-technologieën.