עיצובים של מעבד סופרסקלאר הם עמוד השדרה של מחשוב ביצועים מודרני, המאפשר CPUs לבצע מספר הוראות מחזור שעון באמצעות טכניקות מתקדמות כמו מקבילות ברמת ההוראה (ILP), ביצוע מחוץ להוצאה להורג, וביצוע אופטימיזציה. בעוד תכונות אלה לספק ביצועים בולטים על ידי צוללים עבור כל בשרתי ענן ועד למכשירים ניידים, הם גם מציגים שיעור של פרצות אבטחה כי הם במידה רבה נעדרים אדריכלות פשוטה יותר, כך, כך חיוני עבור כל אחד מהם אסטרטגיות אבטחה חיוניות עבור כל אחד, ולכן הם רק כדי למנוע אבטחה קריטיות אבטחה, ולכן הם רק כדי למנוע אבטחה קריטיות אבטחה, ולכן הם רק כדי למנוע אסטרטגיות אבטחה קריטיות אבטחה, ולכן הם רק כדי להבטיח כי הם רק כדי להבטיח כי הם רק כדי להבטיח כי הם קריטיות אבטחה קריטיות אבטחה קריטיות אבטחה קריטיות אבטחה קריטיות אבטחה, ולכן הם רק כדי למנוע אבטחה קריטיות אבטחה, ולכן הם רק כדי להבטיח אבטחה קריטיות אבטחה, כך קריטיות אבטחה.

מה הם מעבדים סופרקלאר?

כדי להעריך את ההשלכות הביטחוניות, עליך להבין קודם כיצד מעבדי סופרקלאר שונים מעמיתיהם הפשוטים יותר.מעבד מדרגר מבצע את רוב ההוראה אחת לכל מחזור השעון, הוראות עיבוד בסדר נוקשה, הכרחי.בניגוד, מעבד סופרסקלאר מכיל יחידות ביצוע מרובות (למשל, Integer ALUs, יחידות נקודה צף, עומס / יחידות) ונושא מספר פעמים ובעונה אחת, לעתים קרובות יותר יכולת פנימית, אבל זה מגיע עם CPU מודרני, אבל הוא גם עם CPU.

המנגנונים המרכזיים שמאפשרים ביצוע סופרקלאר כוללים:

  • (FLT:0) יחידות פונקציונליות מאלף:FLT:1 מחסומים חומרה ייעודיים שיכולים לפעול במקביל, כגון יחידות נפרדות עבור ⁇ , גישה זיכרון ופתרון סניף.
  • (FLT:0Out-of-order Publishing (OoOEve): FLT:1 המעבד מסדיר הוראות דינמיות כדי לשמור יחידות ביצוע עסוקות, תוך שמירה על האשליה של פרישה הזמנה באמצעות buffer reorder.
  • (ב) ,0) ,register renaming:FLT:1 מבטל את תלות בנתונים כוזבים (Write- After-read, Write-After-Write) על ידי מיפוי רישומים ארכיטקטוניים לתפוצה גדולה יותר של רישומים פיזיים.
  • (ב) ,0) ביצוע מינוף: FLT:1, המעבד צופה את התוצאה של סניפי ולבצע הוראות מראש, ומחק תוצאות אם החיזוי שגוי.
  • (FLT:0) חיזויBranch: FLT:1 תחזיות מתקדמות (למשל, TAGE, צופים עצביים) לנחש את הכיוון וההמטרה של ענפים עם דיוק גבוה, להאכיל את צינור הקידוד.

בעוד תכונות אלה חיוניות לביצועים, הם גם חושפים את המצב המיקרו-אדריכלי של המעבד - כיבים, buffers, שלבים צינורות - תצפית פוטנציאלית ומניפולציה על ידי תוקפים. בניגוד לעיצובים מדרגים שבהם נתיב הביצוע הוא ⁇ סטי וקלות observable, מעבדי סופרסקלאר מכילים מצבים פנימיים מוסתרים שניתן לחקור באמצעות תזמון, כוח, וערוצי צד אלקטרומגנטיים יותר, יכול לעזוב עקבות של נתונים שלא היו נגישים, כמו גם כן, כמו פתחים, כמו גם כן, לא היה צריך להיות נגישים, כמו גם כן, כמו גם כן, כמו גם כן, לא זמין, כמו גם כן, כמו גם כן, לא היה צריך להיות זמין, כמו גם ספקטרום, כמו גם, כדי לפתוח נתונים פתוח, כמו גם, כמו גם, לא זמין, כמו גם, כי לא זמין, כי לא היה צריך להיות נגיש, כי לא זמין, כי לא צריך להיות מסוגל לחקור.

אפשרויות ל- Superscalar Architectures

המורכבות של עיצובים סופר-קלזאריים עולה לפגיעות שאינן קיימות במעבדים פשוטים יותר, חד-תכליתיים.חולשות אלה נופלות בדרך כלל לשתי קטגוריות רחבות: התקפות של ערוצים צדיים שדלפות מידע באמצעות תצפיות פיזיות או תזמון, והתקפות להורג סיבולת שמנצלות את המדינה המיקרו-אדריכלית לעקוף גבולות המופעלים על ידי תוכנות.

1 הצד-Channel Attacks

מעבדי Superscalar כוללים צינורות עמוקים, יחידות הוצאה להורג במקביל המציגות וריאציות מדידה בצריכת חשמל, קרינה אלקטרומגנטית וזמן ביצוע בהתאם לנתונים מעובדים.תוקפים יכולים להשתמש בערוצי צד אלה כדי להפר מידע רגיש, כגון מפתחות קריפטוגרפיים או נתונים פרטיים של משתמשים.

  • (FLT:0Cache-based הערוצים:FLT:1 ; קטגוריה מלומדת ביותר. Superscalar CPUs מסתמכת על היררכיה של caches ברמה גבוהה כדי לגשר על פער המהירות בין הליבה לזיכרון העיקרי. כי זמני גישה מטמון שונים באופן דרמטי מקבצי זיכרון לא מכווצים (על ידי פקודות גודל), תוקף יכול לפקח על אילו קווי cachere או מוגבל על ידי תהליך של זיכרון, כולל זיכרון פתוח, כולל זיכרון פתוח, כולל מחסומים עם זיכרון פתוח, כולל מחסומים עם זיכרון פתוח, כולל מחסומים).
  • (FLT:0) Power Analysis: ElementFLT:1 , מעבדי Superscalar שואבים כמויות שונות של כוח בהתאם לתערובת של הוראות שבוצעו, ערכי הנתונים, ואת היחידות התפקודיות הפעילות.פשוט ניתוח כוח (SPA) וניתוח כוח שונה (DPA) יכול לחלץ מפתחות קריפטוגרפיים מכרטיסים חכמים או מכשירים משובצים, אם כי התקפות כאלה קשה יותר לעלות מרחק על מעבדי שולחן עבודה מרובים.
  • (FLT:0) התקפות מקדימות: 1) זמן ההוצאה להורג משתנה עם ערכים אופרות (למשל, ריבוי, חלוקה) ועם זמינות יחידות ביצוע. התוקף יכול למדוד זמני תגובה של שירות מרחוק כדי להסיק סודות - פגיעה קלאסית מנוצלת בהתקפות על יישום SSL / TLS.
  • (FLT:0) מזהמים חשמליים (EM): ⁇ 1 (המעבר המהיר של טרנזיסטורים בצנרת סופרקלאר מייצרת קרינת EM שניתן לכופף עם בדיקות מיוחדות. תוקפים סורפיסטים יכולים להרוס את האותות האלה כדי לשחזר רצף הוראה או ערכי נתונים.

ערוצי צד אלה מוגדלים בעיצובים סופרקלאר כי המקבילה המוגברת פירושה מעברים בו זמנית יותר, צריכת חשמל גבוהה יותר, ואינטראקציות מורכבות יותר בין שלבים צינור.טכניקות בידוד שעובדות על מעבדים פשוטים יותר (למשל, פיזור קליפים, תכנות קבוע) הופכות קשה יותר לאכוף ללא הקרבת הביצועים מאוד הישגים כי ארכיטקטורות סופרקלריות מבטיחות.

2. Spectre ו- Meltdown Variants

Spectre ומלטה, שפורסם בתחילת 2018 זעזעו את קהילת ארכיטקטורת המחשב על ידי ההדגמה כי ביצוע קידוד - אבן הפינה של ביצועים סופרקלאר - יכול להיות מיוצר נשק כדי להדליף נתונים שרירותיים על פני גבולות הביטחון. בעוד פרצות אלה אינן בלעדיות למעבדים סופרקלאר (הם גם משפיעים על כמה מעבדים מסדרים עם גישה לזיכרון), את האגרסיביות של סדר והוצאה להורג בצורות העל המודרניות.

  • (FLT:0) Meltdown (CVE-2017-5754): ההרחבה של 1 (ההוצאה להורג של הזמנה על אינטל וכמה מעבדי ARM כדי לקרוא זיכרון גרעין מהחלל של המשתמש.כאשר הוראה של המשתמש מנסה לגשת לכתובת גרעין מוגנת, המעבד מעלה יוצא דופן.
  • (FLT:0)Spectre Variant 1 (CVE-2017-5753) - Bounds Check Bypass:FLT:1 טריקו הענף צופה בביצוע הוראות באופן רציונאלי מעבר לבדיקה של מערך, הדליפה נתונים באמצעות תזמון מטמון.ההתקפה זו עובדת כי צינורות סופרקלאר מודרניים מבצעים את הנתיב הצפוי לפני שהכתובת בפועל תונחה.
  • (FLT:0) ספקטר משתנה 2 (CVE-2017-5715) – הזרקת עופרת: MPEGFLT:1 הרעלת היעד של buffer (BTB) של תהליך הקורבן כדי לגרום לו לבצע באופן סלקטיבי את הקוד בכתובת תוקף-chosen, אפילו על פני תחומים פריבילגיים.
  • (FLT:0) ספקטר משתנה 3a, 4, ומעבר: FLT:1 מחקר סובך חשף גרסאות ניצול ערימת החזרה (RSB), חנות-ל-לעומס זריקת ערך (LVI) כל אלה תופעות הלוואי המיקרו-אסטיים המנצלים של ביצוע בעיצובים סופרקלאר.

התקפות אלה הן מסוכנות ייחודית כי הן שוברות את ערבויות בידוד בסיסיות של מערכות הפעלה ויפר-בידור מבלי לדרוש פגיעות תוכנה.הם יכולים להדלף מפתחות הצפנה, סיסמאות ואפילו תוכן זיכרון של מכונות וירטואליות אחרות על מארח ענן משותף.הכי שכיחות של מעבדים סופרקלאר בכל פלח מחשוב - מסמארטפונים ועד בחוות השרתים - כלומר פני השטח היא עצומה.

3.תזמון שינויים במשאבים משותפים

בנוסף למעבדים סופרקלאר חולקים משאבים מיקרו-אטוריים רבים אחרים בין חוטים ליבות: החיזוי של הענף, ה-TLB (מבולפי תצפית), מאגר החנות, וצו הזיכרון buffer (Dowphion) על ידי שימוש ב- Creditfid 2, יוצר הבדלים תזמון שניתן למדוד על ידי חוט זדוני לפעילות מפרה או נתונים של קורבן משותף: Fvid 2, לדוגמה, 000:

אתגרים ב- Superscalar Processors

חישוב מעבדים סופר-קליאר הוא קשה ביסודו מאשר אבטחת ארכיטקטורות קשקשים פשוטות יותר.כמה גורמים תורמים לקשיים אלה:

  • (FLT:0) המורכבות של אימות: FLT:1 מרחב העיצוב של ליבה סופרקלאר מודרני כולל מיליארדי מדינות אפשריות בשל מקבילות, ספקולציות, ותיקון. אימות פורמאלי של תכונות אבטחה (למשל, זרימת מידע, אי-התערבות) הוא בעל יכולת חישובית אפילו עם בדיקות מודל מתקדמות.
  • (FLT:0) Performance-security trade-offs:cioFLT:1 , רבים מההתמריצים להתקפות ביצוע קידוד - כגון Flush-on-context-switch, הוראות פיזור צינורות, או פירוק SMT - נניח עונשים משמעותיים בביצועים. A 2018 העריכו כי סטיות/Meltdown יכולות לעלות עד 30% על כמה מעצבי עבודה.
  • (FLT:0)Hardware כתיב מגבלות: FLT:1 בניגוד לפגיעות תוכנה, פגמים מיקרו-אסטיים לעתים קרובות לא ניתן לתקן באופן מלא באמצעות עדכוני מיקרוקוד.גרסאות ספציפיות דורשות תיקון מערכת הפעלה, שינויים מדגמים, או עיצוב חומרה.אפילו כתמים מיקרוקוד, תוך שימושיים, יכולים להפחית ביצועים ולא לכסות את כל התוקפים.
  • (FLT:0) נוף האיום הכולל: 1FLT:1 גרסאות חדשות ממשיכות להופיע שנים לאחר הגילויים הראשוניים.כל התקפה חדשה עשויה לדרוש הפחתה ייעודית, והשילוב של מספר נטיות יכול ליצור אינטראקציות בלתי צפויות או ערוצי צד חדשים.לדוגמה, כמה תיקונים מוקדמים של ספקטר הציגו תזמון באמצעות נתיבים חדשים.
  • (FLT:0)Lack של נראות המשתמש: FLT:1 רוב משתמשי הקצה ואפילו מנהלי מערכת רבים יש מעט הבנה של התכונות המיקרו-אאדריכליות של ה- CPU שלהם.זה הופך את זה קשה להעריך סיכון או ליישם נטיות מתאימות.ספקי ענן חייבים לשמור על רשימה שחורה נרחבת של מודלים CPU פגיעים ולעדכן את הקושחה שלהם באופן רציף ואת ההיפודורטורים שלהם.

אתגרים אלה משמעים שאין כדור כסף לאבטחת מעבדי סופרקלאר.במקום, נדרשת גישה שכבתית המשלבת חומרה, קושחה, תוכנה ובקרות תפעוליות.

אסטרטגיות ל- Mitigating Vulnerabilities

למרות הקשיים, התעשייה התקדמה משמעותית בצמצום פרצות האבטחה הייחודיות של ארכיטקטורות סופרקלאר.האסטרטגיות היעילות ביותר משלבות שיפורים בחומרה, עדכוני מיקרוקוד, חתומי תוכנה ושיטות אדריכליות הטובות ביותר.

פתרונות מבוססי חומרה

ספקים הסיליקון הציגו תכונות חומרה רבות כדי להפחית את פני השטח של ההתקפה:

  • (FLT:0) הגדרות שלחול וסביבות הוצאה לאור מהימן:FreaLT:1 Technologies כמו Intel SGX, AMD SEV ו- ARM TrustZone מספקים ⁇ מבודדים מוגנים אפילו נגד מערכת הפעלה שנפגעה.עם זאת, ⁇ עצמם היו פגיעים להתקפות ערוץ וקידוד (למשל, SGAxe, SmashEx).
  • (FLT:0Cache Partitioning and Coloring:FearLT:1) Intel Cache Allocation Technology (CAT) מאפשר למערכת ההפעלה להקצות דרכים לשקוות או תהליכים ספציפיים, למנוע התקפות בצד השני באמצעות פינוי מטמון.
  • (ב) [17] , מנגנוני בקרה: ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇
  • (FLT:0) ניטור חומרה: FLT:1 כמה אבטיפוסי מחקר מציעים זיהוי בזמן אמת של פעילות ערוץ צד על ידי ניטור שיעורי החמיצות cache או להפריע לטיות.
  • (FLT:0) יחידות ביצוע במשרה חלקית:FreaLT:1 , עיצוב יחידות קריפטוגרפיות שיש להן תזמון תלוי בנתונים (למשל, שימוש ב- Multiplication in חומרה) מקטין את ערוצי צד התזמון. חלק מהמעבדים כוללים מנועי הצפנה ייעודיים (למשל, ARMv8.4-AES הוראות) אשר נועדו במיוחד להיות קבועים.

Microcode ו-Fware Updates

עדכונים מיקרוקוד רגילים של ספקי CPU הם קריטיים לסגת פרצות חדשות:

  • (FLT:0)Spectre v2 microcode mitigations:BuildFLT 1 אינטל ו- AMD שחררו עדכונים מיקרוקוד ליישום חיזוי הזרוע עקיף (IBPB) ו- Single Messenger Indirect Branch Predictors (STIBP) כדי למנוע זריקת יעד מעבר להקשרים.
  • (FLT:0) הפחתה של סטיות: FLT:1 Kernel Page Table Isolation (KPTI) יושמה במערכות הפעלה, אך הוא מסתמך על עדכוני מיקרוקוד על יעילות מלאה על כמה מעבדים מבוגרים יותר.
  • (FLT:0) שפם מבוסס-הסום: ההרחבה: 1 Somekka עדכונים מוסיפים מטמון אוטומטי על מתגי הקשר או מפריעים לצמצום החלון להתקפות מבוססות-כאב.

עם זאת, עדכוני מיקרוקוד יש מגבלות.הם לא יכולים לעצב מחדש את הצינור, והם לעתים קרובות מציגים את התקיפות ביצועים.יתר על כן, כמה מעבדים מבוגרים יותר עשויים לא לקבל עדכונים, מה שמשאיר אותם באופן קבוע פגיעים.מנהלי המערכת צריכים לשמור על מלאי של מודלים CPU וליישם את המיקרוקוד האחרון מהמוכר או באמצעות מנגנון עדכון הקושחה של מערכת ההפעלה (למשל, חבילת עדכון ה-FLT:6).

תוכנה ו- OS-Level Mitigations

מערכות הפעלה, היפרביטור ו-Matr Toolchains ממלאות תפקיד מכריע:

  • Kernel Page Table Isolation (KPTIOVA): 1 זה מערכת ההפעלה מפריד בין שולחנות המשתמש והדף של הקרנל-מרחב כדי למנוע קריאה דמוית מלטה לאחור.הוא מופעל על ידי ברירת מחדל על לינוקס (KISER כתמים) ו- Windows לאחר גילוי המלטה לאחור.
  • (FLT:0) Retpoline: 1FLT: A Software Building, אשר מחליף סניפים עקפים עם רצף סידורי כדי למנוע זריקת יעד של סניף. Compilers כמו GCC ו- LLVM תומכים בדור קוד פתוח עבור x86-64.
  • (ב) ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇
  • (FLT:0Cache) שטף על מתגי ההקשר: kernels OS 1 (מערכת ההפעלה) יכול לסתום או לחיק מחפירת מחפירת מידע בין תהליכים.טכניקות כמו Flush+Reload Detection זיהוי והפחתה נבנות כעת להפצת לינוקס ממוקדת אבטחה.
  • (FLT:0) דיפוללינג SMT / היפרטלינג: FLT 1:1 מדריכי אבטחה רבים ממליצים להשבית את כפליים מפוצצים (SMT) על מערכות מרובות-מולטות לא-מחלוקת, כי Hyperthreads חולקים משאבים לביצוע והם פגיעים להתקפות בצד השני קורא (למשל, PortSmash, TLBle).
  • (FLT:0) בדיקות במשרה קשה ועידוד: FLT:1 כלים כמו FLT:11 (לינוקס) ותסריטים ספציפיים הספק יכול לאמת אילו סטיות הן פעילות.

עקרונות עיצוב אבטחה-Aware Design

במבט קדימה, הגישה היעילה ביותר היא לשלב את האבטחה בתהליך עיצוב המעבד מההתחלה:

  • (ב) [ה]הוציאה]: [ה] [ה] [ה]] [ה]] [ה]] [ה]][ה]]]][ה]]]][ה]]]]] [ההההה'] [ה'[ה']'[ה']'[ה']']'[ה']']'[ה'[ה']']']'[ה']']'[ה'[ה']']'[ה'[ה'[ה'[ה'[ה'[ה']']'[ה'[ה'[ה'[ה'[ה']']']'[ה']']'[ה'[ה'[ה']']']']']']'[ה'[ה']']'[ה'[ה']'[ה']']'[ה'[ה']'[ה'[ה'[ה'[ה']'[ה']']']'[ה'[ה'[ה'[ה'[
  • (FLT:0) בידוד פיסיקלי של משאבים קריטיים: קיד 1 (FLT:1) חלוקת המדינה הצפויה של הענף לכל תהליך או לרמה של זכויות יתר (למשל, זיהוי הזרוע) מקטין את הדלפה בין-דומיין.
  • (FLT:0) אדריכלות מבוססת על יציבות: פרויקטים מחקר כגון CHERI (Capability Hardware Enhanced RISC הוראות) מספקים הגנה על זיכרון מבוזר שיכולה להפחית את כל המעמדות של פרצות תוכנה, כולל אלה שניתן לנצל באמצעות ספקולציות.
  • (FLT:0) אימות של תכונות אבטחה: FLT:1 בעוד אימות מלא של הליבה סופרקלאר עדיין מחוץ להישג, החל שיטות רשמיות לרכיבים מיקרו-אכיסטיים קריטיים (כגון ההיגיון המזמין זיכרון או הספידקטור של הענף) יכול לעזור לתפוס באגים עדינים לפני הקלטת.

בפועל, שילוב של שיפורים חומרה, עדכוני מיקרוקוד, ועידוד תוכנה הוא חיוני.אין שכבת יחיד מספקת הגנה מלאה, אבל הגנה שכבתית הופכת אותו קשה יותר באופן משמעותי עבור התוקף כדי לנצל בהצלחה פרצות סופרקלאר.

מסקנה

עיצובים מעבדים סופרסקלאר מספקים את הביצועים כי תחת מחשוב מודרני, אבל הם גם מציגים קבוצה ייחודית של פרצות אבטחה כי הם נעדרים אדריכלות פשוטה יותר.אותן תכונות המאפשרות ביצוע רב - הוצאה להורג, עיבוד מחוץ לסידור, הוצאה להורג, וספקי מיקרו-א אדריכלי משותף - ליצור דרכים להתקפות ערוץ צדדי וניצולי ביצועים שיכולים לשבור בידוד בין תהליכים, משתמשים, ומכשירים וירטואליים, כמו CTM, ו- CTM, ו-R.

מיישם פרצות אלה הוא מאתגר בגלל המורכבות הטבוע של עיצובים סופרקלאר ועלות הביצועים של הרבה אמצעי נגד.עם זאת, שילוב של תכונות בידוד חומרה (חלוקה, ספקולציות), עדכונים מיקרוקוד רגילים, מהירויות תוכנה קבועות (KPTI, retpoline, retpoline, קבוע coding), ועקרונות עיצוב אבטחה-aware מציע נתיב בר קיימא קדימה, כמו התקדמות מחקר, מקווה כי הוא מסוגל לשלב טמפרטורות גבוהות יותר טמפרטורות גבוהות יותר טמפרטורות גבוהות יותר טמפרטורות גבוהות יותר , כי הוא מסוגלות נגד ביצועים מתקדמים, מקווה כי הוא מסוגל לשלב טמפרטורות גבוהות יותר טמפרטורות גבוהות יותר טמפרטורות גבוהות יותר טמפרטורות גבוהות יותר טמפרטורות גבוהות יותר חוצות יותר , כי הוא מסוגלות נגד , כי הוא מסוגלות טמפרטורות גבוהות יותר טמפרטורות גבוהות יותר טמפרטורות גבוהות יותר טמפרטורות גבוהות יותר , כיעדפיכות על פני השטח , 000 , ללא טמפרטורות גבוהות יותר , , 000 , חוצות, 000 גורמות הגנה על פני השטח חוצות, 000 חוצות, 000 מקיפים יותר .

(בהמשך קריאה על פרצות וסטיות ספציפיות, ייעוץ במסמכים המקוריים של ספקטרום ומלטה (ראה:0) ספקטר Attack.comFLT:1), אתר האינטרנט המקורי:2 meltdown WEB (Meltdown SiteOVAFLT 3:0, ויועצים לביטחון של אינטל (FLT:4Intel Monument SecurityFLT5:) עבור מסמך רחב יותר, "סקר מקיף של מיקרו-Rahrcencors" (FRP)