Lazy FP state restore

Lazy FPU state leak (CVE-2018-3665), also referred to as Lazy FP State Restore[1] or LazyFP,[2][3] is a security vulnerability affecting Intel Core CPUs.[1][4] The vulnerability is caused by a combination of flaws in the speculative execution technology present within the affected CPUs[1] and how certain operating systems handle context switching on the floating point unit (FPU).[2] By exploiting this vulnerability, a local process can leak the content of the FPU registers that belong to another process. This vulnerability is related to the Spectre and Meltdown vulnerabilities that were publicly disclosed in January 2018.

It was announced by Intel on 13 June 2018, after being discovered by employees at Amazon, Cyberus Technology and SYSGO.[1][a]

Besides being used for floating point arithmetic, the FPU registers are also used for other purposes, including for storing cryptographic data when using the AES instruction set, present in many Intel CPUs.[3] This means that this vulnerability may allow for key material to be compromised.[3]

Mechanism

The floating point and SIMD registers are large, and not used by every task (or thread) in the system. To make context switching faster, most common microprocessors support lazy state switching. Rather than storing the full state during a context switch, the operating system can simply mark the FPU "not available" in the hopes that the switched-to task will not need it. If the operating system has guessed correctly, time is saved. If the guess is wrong, the first FPU or SIMD instruction will cause a trap to the operating system, which can then save the state to the previous task and load the correct state for the current task.

In out-of-order CPUs, the "FPU not available" condition is not detected immediately. (In fact, it almost cannot be detected immediately, as there may be multiple fault-causing instructions executing simultaneously and the processor must take the first fault encountered to preserve the illusion of in-order execution. The information about which is first is not available until the in-order retire stage.) The processor speculatively executes the instruction using the previous task's register contents, and some following instructions, and only later detects the FPU not available condition. Although all architectural state is reverted to the beginning of the faulting instruction, it is possible to use part of the FPU state as the address in a memory load, triggering a load into the processor's cache. Exploitation then follows the same pattern as all Spectre-family vulnerabilities: as the cache state is not architectural state (the cache only affect speed, not correctness), the cache load is not undone and the address, including part of the previous task's register state, can later be detected by measuring the time taken to access different memory addresses.

It is possible to exploit this bug without actually triggering any operating system traps. By placing the FPU access in the shadow of a forced branch misprediction (e.g. using a retpoline) the processor will still speculatively execute the code, but will rewind to the mispredicted branch and never actually execute the operating system trap. This allows the attack to be rapidly repeated, quickly reading out the entire FPU and SIMD register state.

Mitigation

It is possible to mitigate the vulnerability at the operating system and hypervisor levels by always restoring the FPU state when switching process contexts.[6] With such a fix, no firmware upgrade is required. Some operating systems already did not lazily restore the FPU registers by default, protecting those operating systems on affected hardware platforms, even if the underlying hardware issue existed.[6] On Linux operating system using kernel 3.7 or higher, it is possible to force the kernel to eagerly restore the FPU registers by using the eagerfpu=on kernel parameter.[3] Also, many system software vendors and projects, including Linux distributions,[7] OpenBSD,[8] and Xen[4] have released patches to address the vulnerability.

Notes

  1. ^ The OpenBSD project claims to have discovered the vulnerability independently.[5]

See also

References

  1. ^ a b c d "Lazy FP state restore". Intel. 2018-06-13. Retrieved 2018-06-18.
  2. ^ a b Stecklina, Julian; Prescher, Thomas (2018-06-19). "LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels". arXiv:1806.07480 [cs.OS].
  3. ^ a b c d Prescher, Thomas; Stecklina, Julian; Galowicz, Jacek. "Intel LazyFP vulnerability: Exploiting lazy FPU state switching". Cyberus Technology. Retrieved 2018-06-18.
  4. ^ a b "Xen Security Advisory CVE-2018-3665 / XSA-267, version 3". 2018-06-13. Retrieved 2018-06-18.
  5. ^ de Raadt, Theo (2018-06-14). "Inflamation by Bryan Cantrill". openbsd-tech (Mailing list). Retrieved 2018-06-18 – via marc.info.
  6. ^ a b "Lazy FPU Save/Restore (CVE-2018-3665)". RedHat. 2018-06-14. Retrieved 2018-06-18.
  7. ^ "CVE-2018-3665". Debian. Retrieved 2018-06-17.
  8. ^ "OpenBSD 6.3 Errata". OpenBSD. Retrieved 2018-06-18.


Read other articles:

I Hate You But I Love YouSingel oleh Russian Reddari album FuerteventuraDirilis22 Maret 2011 (2011-03-22)FormatDigital downloadDirekam2012GenreIndie, FolkDurasi3:01LabelSony Music I Hate You But I Love You adalah singel pertama dari album, Fuerteventura, milik penyanyi asal Spanyol, Russian Red. Singel ini dirilis pada tanggal 22 Maret 2012 lewat label rekaman, Sony Music. Untuk mempromosikan singel dan album Fuerteventura, maka dirilislah sebuah musik video untuk singel ini yang diungga...

 

Artikel ini membutuhkan rujukan tambahan agar kualitasnya dapat dipastikan. Mohon bantu kami mengembangkan artikel ini dengan cara menambahkan rujukan ke sumber tepercaya. Pernyataan tak bersumber bisa saja dipertentangkan dan dihapus.Cari sumber: Natalia penyanyi – berita · surat kabar · buku · cendekiawan · JSTOR NataliaLahirNatalia28 Desember 1996 (umur 27)JakartaKebangsaanIndonesiaNama lainNatAlmamaterUniversitas TarumanagaraPekerjaa...

 

29°58′54″N 95°14′52″W / 29.9817°N 95.2477°W / 29.9817; -95.2477 School in Humble, Texas, United StatesHumble High SchoolHumble High campusAddress1700 Wilson RoadHumble, Texas 77338United StatesInformationFunding typePublicOpened1965School districtHumble Independent School DistrictSuperintendentElizabeth Celania-FagenPrincipalDairus CosbyFaculty182.07 FTE (2022–23)[1]Grades9–12Enrollment2,867 (2022–23)[1]Student to teacher ratio15.75 (...

Partai Buruh Sosialis Spanyol Partido Socialista Obrero EspañolSingkatanPSOEPresidenCristina NarbonaSekretaris JenderalPedro SánchezWakil Sekretaris JenderalAdriana LastraKetua Fraksi di KongresAdriana LastraKetua Fraksi di SenatAnder GilPendiriPablo Iglesias PosseDibentuk2 Mei 1879 (1879-05-02)Kantor pusatC/ Ferraz, 7028008, MadridSurat kabarEl SocialistaSayap pelajarCampus JovenSayap pemudaPemuda Sosialis SpanyolSerikat pekerjaSerikat Pekerja UmumKeanggotaan (2019) 178.651[1]...

 

مسجد السلطان الناصر حسن ومدرسته إحداثيات 30°01′55″N 31°15′24″E / 30.0319°N 31.2567°E / 30.0319; 31.2567 معلومات عامة القرية أو المدينة ميدان صلاح الدين (ميدان الرميلة)، حي الخليفة، القاهرة الدولة  مصر سنة التأسيس 1363  تاريخ بدء البناء 757هـ/1356م - 764هـ/1363م المواصفات المساحة 7906 مت�...

 

Salim Alaydrus Informasi pribadiNama lengkap Salim AlaydrusTanggal lahir 17 Februari 1977 (umur 47)Tempat lahir Purwakarta, IndonesiaTinggi 174 cm (5 ft 9 in)Posisi bermain GelandangInformasi klubKlub saat ini Persija JakartaKarier junior Persika KarawangKarier senior*Tahun Tim Tampil (Gol) 1988-199119911991-19982004-20052005-20062006-20092009 Persipo PurwakartaPersib BandungPersika KarawangPelita JayaPersikota TangerangPersib BandungPersija Jakarta ? (?)? (?)? (?)27 (2)2...

† Человек прямоходящий Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:Синапсиды�...

 

Scottish footballer Tommy Reid Personal informationFull name Thomas Joseph ReidDate of birth (1905-08-15)15 August 1905Place of birth Motherwell, Lanarkshire, ScotlandDate of death 1972 (aged 66–67)Position(s) Centre-forwardSenior career*Years Team Apps (Gls)1923–1925 Blantyre Victoria 1925–1926 Clydebank 30 (17)1926–1929 Liverpool 51 (30)1929–1933 Manchester United 96 (63)1933–1935 Oldham Athletic 67 (34)1935–1936 Barrow 31 (17)1936–1938 Prescot Cables 1938–1939 Rh...

 

Academic journalFrench Historical StudiesDisciplineHistoryLanguageEnglish, FrenchEdited byChristine Haynes, Jennifer Ngaire HeuerPublication detailsHistory1958–presentPublisherDuke University Press (United States)FrequencyQuarterlyImpact factor0.50[1] (2016)Standard abbreviationsISO 4 (alt) · Bluebook (alt1 · alt2)NLM (alt) · MathSciNet (alt )ISO 4Fr. Hist. Stud.IndexingCODEN (alt · alt2) · JSTOR (alt)&#...

Not to be confused with Xiangyang, Xianyang, Xingyang, or Xinjiang. Prefecture-level city in Henan, People's Republic of ChinaXinyang 信阳市SinyangPrefecture-level cityView of Xinyang, 2014Location of Xinyang City jurisdiction in HenanXinyangLocation on the North China PlainShow map of Northern ChinaXinyangXinyang (China)Show map of ChinaCoordinates (Xinyang municipal government): 32°08′56″N 114°05′28″E / 32.149°N 114.091°E / 32.149; 114.091CountryPe...

 

English actress (born 2002) Emilia JonesJones at the Santa Barbara International Film Festival in March 2022BornEmilia Annis I. Jones[1] (2002-02-23) 23 February 2002 (age 22)Westminster, London, EnglandOccupation(s)Actress, singerYears active2010–presentParentAled Jones (father) Emilia Annis I. Jones[1] (born 23 February 2002) is a British actress. She is best known for her lead role as Ruby Rossi in the Academy Award-winning film CODA (2021) for which she receive...

 

Сельское поселение России (МО 2-го уровня)Новотитаровское сельское поселение Флаг[d] Герб 45°14′09″ с. ш. 38°58′16″ в. д.HGЯO Страна  Россия Субъект РФ Краснодарский край Район Динской Включает 4 населённых пункта Адм. центр Новотитаровская Глава сельского пос�...

Mountain Combat Boots (MCB) are durable, hiking-style combat boot used by the likes of Mountain troops. The boot is designed for rugged terrain and has the ankle stability, support and mobility required in a mountainous environment. Users Argentina Argentine soldiers have worn Alta Montaña type mountain combat boots during the Falklands war made by El Resero. France French soldier The Chasseurs Alpins wear mountain combat boots on parade. Germany A BW (German) Soldier The Gebirgsjäger wear ...

 

La conquête normande de l'Italie du Sud se fait progressivement au XIe siècle et, pour ce qui est de la prise de Naples, au XIIe siècle. Elle est l'œuvre d'aventuriers et mercenaires normands, initialement au service des Lombards ou des Byzantins, qui obtiennent au fil des batailles divers territoires et fiefs pour leur propre compte, et acquièrent leur autonomie et indépendance politique dans les cinquante années qui suivent leur arrivée, mettant fin aux dernières possessi...

 

هذه المقالة تحتاج للمزيد من الوصلات للمقالات الأخرى للمساعدة في ترابط مقالات الموسوعة. فضلًا ساعد في تحسين هذه المقالة بإضافة وصلات إلى المقالات المتعلقة بها الموجودة في النص الحالي. (يونيو 2021) الدوري الأيرلندي لكرة القدم للسيدات 2019 تفاصيل الموسم الدوري الأيرلندي لكرة ال�...

All-interval tetrachords (Playⓘ). An all-interval tetrachord is a tetrachord, a collection of four pitch classes, containing all six interval classes.[1] There are only two possible all-interval tetrachords (to within inversion), when expressed in prime form. In set theory notation, these are [0,1,4,6] (4-Z15)[2] and [0,1,3,7] (4-Z29).[3] Their inversions are [0,2,5,6] (4-Z15b) and [0,4,6,7] (4-Z29b).[4] The interval vector for all all-interval tetrachords is...

 

Ku Tunggu JandamuSutradaraFindo Purwono HWProduserYoen K Ody Mulya HidayatDitulis olehAlim SudioPemeranDewi Persik Andy Soraya Chintyara Alona Yana Zein Fara Diana Edi Brokoli Lionil Hendrik Hardi Fadhillah Adi IrwandiPenata musikJoseph S. DjafarSinematograferBoy FerdinalPenyuntingAzis NatandraDistributorMaxima PicturesFalcon PicturesTanggal rilis26 September 2008Durasi140 menitNegaraIndonesiaBahasaIndonesia Ku Tunggu Jandamu merupakan film Indonesia yang dirilis pada 26 September 2008 ...

 

Questa voce sull'argomento calciatori svedesi è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Adam JohanssonNazionalità Svezia Altezza182 cm Peso75 kg Calcio RuoloDifensore Termine carriera2017 CarrieraGiovanili Slottsskogen/GodhemAzalea/Kungsladugård Squadre di club1 2002-2004 Västra Frölunda66 (1)2005-2011 IFK Göteborg129 (1)2012-2013 Seattle Sounders25 (0)2013-2016 IFK ...

Questa voce sull'argomento calciatori scozzesi è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Adam FrizzellNazionalità Scozia Altezza176 cm Peso67 kg Calcio RuoloCentrocampista Squadra Airdrie Utd CarrieraSquadre di club1 2015-2018 Kilmarnock40 (3)2018→  Livingston5 (0)2018→  Queen of the South11 (0)2019–2021 Dumbarton27 (4)2021- Airdrie Utd104 (10) Nazionale ...

 

Questa voce sull'argomento coleotteri è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. La coleopterologia è la branca della zoologia che studia e si occupa d'insetti dell'ordine dei coleotteri. Questa scienza studia l'anatomia e l'aspetto fisico dei coleotteri. Il Titanus Giganteus è uno tra i più grandi coleotteri del mondo ed è uno tra i tanti cerambicidi che affascinano i coleopterologi. V · D · MZoologia (Animalia)Branche ...