Firefoxi zlib-rs-ile migreerimisel kohtasid arendajad Inteli protsessorites viga.

Trifecta Tech Foundation, selliste projektide nagu ntpd-rs, sudo-rs, zlib-rs ja bzip2-rs arendaja, teatas Firefoxi üleminekust zlib-rs teeki kasutama gzip-i tihendamiseks ja lahtipakkimiseks. Lisaks mäluvigade eest kaitsmisele tõi zlib-ilt zlib-rs-ile üleminek kaasa märkimisväärse jõudluse kasvu – testides oli kiirendus üksikute dekodeerimisoperatsioonide puhul 3.3–32.5 korda ja pideva voo dekodeerimise puhul 2.7–10.86 korda.

Zlib-rs teek oli kaasatud Firefoxi versioonis 151, kuid pärast selle integreerimist kohtasid mõned kasutajad probleemi, mis põhjustas programmi krahhi piiridest väljaspool toimuva täitmise tõttu. Märgiti, et Rusti koodis põhjustas probleem krahhi, samas kui C-koodis oleks sarnane olukord toonud kaasa vaikse andmete rikkumise ilma programmi peatamata. Lahendusena võeti versioonis 151.0.1 uuesti kasutusele vanem zlib teek.

Probleemi esimest ilmingut märgati varajaste versioonide testimise ajal üle aasta tagasi, kuid arendajate süsteemides seda taasesitada ei õnnestunud. Lõpuks, pärast aastast testimist beetakasutajatega, otsustati Firefox 151-s lubada zlib-rs. Pärast uut probleemiaruannete seeriat ja mustri uurimist avastati, et krahhi põhjustas mikrokoodi viga Inteli protsessorites, mis põhinevad 13. ja 14. põlvkonna Raptor Lake'i mikroarhitektuuril, mis oli seotud vale registri kasutamisega.

Probleem tekkis seetõttu, et LLVM koodigeneraator kasutas Huffmani kodeeringu tulemuste mällu kirjutamisel käsku "mov byte ptr [rsi + rdi + 1], ch". Selle käsu täitmisel Raptor Lake'i protsessoril kirjutati mällu RCX registrist 8-15 biti asemel, mis vastavad käsus määratud CH registrile, bitid 0-7, mis vastavad CL registrile. Firefox 152 ettevalmistamiseks rakendati ajutine lahendus ja parandus portiti zlib-rs peamisse väljalaskesse. Probleemse käsu genereerimist täheldati LLVM 22-s (seda ei genereerita LLVM 23 arendusharus).

Allikas: opennet.ru