Mozilla on üle läinud regulaaravaldiste mootori kasutamisele, mis on ühine Chromiumiga

Firefoxi JavaScript-i mootori SpiderMonkey kasutamine on tõlgitud uuendatud regulaaravaldiste rakendamisele, mis põhinevad käesoleval koodil Irregexp JavaScript-i mootori V8 põhjal, mida kasutatakse Chromiumi projekti põhjal loodud brauserites. Uus RegExp rakendus pakutakse välja Firefox 78 väljalaskes, mis on planeeritud 30. juuniks, ning see võimaldab brauseris realiseerida kõik puuduolevad ECMAScripti elemendid, mis on seotud regulaaravaldistega.

Pange tähele, et SpiderMonkey-s on RegExp mootori struktuur eraldi komponendina, mis teeb selle suhteliselt iseseisvaks ja vahetatavateks ilma märkimisväärsete muudatusteta koodibaasis. Moodulsuse tõttu asendati 2014. aastal Firefoxi algselt kasutatud RegExp-mootor YARR V8-mootori Irregexp haruga. Irregexp on seotud V8 API-ga, seondub prügikogumise mehhanismiga, kasutab V8 spetsiifilist stringi ja objekti mudelit. SpiderMonkey sisemiste API-dega kohandamise käigus 2014. aastal kirjutati Irregexp mootori osaliselt ümber, ning tekkivate muudatuste, nagu lipu '\u', edasiviimine. viidi Mozilla toetatavasse haru.

Kahjuks on sünkroonitud haru säilitamine keeruline ülesanne ja selle hoidmine nõuab suuri ressursse. ECMAScript 2018 standardi uute regulaaravaldistega seotud võimaluste tekkimisega mõistsid Mozilla arendajad, kuidas saaks lihtsustada muudatuste edasiviimist Irregexp-ist. Lahenduseks pakuti välja mähise kontseptsioon, mis võimaldab SpiderMonkey's kasutada peaaegu muutumatut Irregexp mootori (muudatused piirduvad vaid automaatse include plokkide asendamisega).

Mähis annab Irregexpile vajalikke V8 spetsiifilisi omadusi, sealhulgas mälu ja koodi genereerimise halduse funktsioone, samuti algstruktuure, mis on rakendatud SpiderMonkey mälu haldamise mehhanismide, koodi genereerimise ja struktuuride põhjal.

RegExp mootori värskendus võimaldab Firefoxis toetada selliseid võimalusi nagu nimetatud grupid (named captures), Unicode-sümbolite klasside eskapeerimine, dotAll lipp ja Lookbehind režiim:

• Nimetatud rühmad kasutavad regulaaravaldistega leitavate stringi osade sidumist teatud nimedega mitte järjestusnumbritega (nt "\/(?\d{4})-(?\d{2})-(?\d{2})\/" asemel saab märkida "\/(?\d{4})-(?\d{2})-(?\d{2})\/" ja pääseda aastale ligi mitte result[1] kaudu, vaid result.groups.year kaudu).
• Rühmade eristamine Unicode-märgid lisavad konstruktsioonid \p{…} ja \P{…}, näiteks \p{Number} määratleb kõik võimalikud numbritega seotud märgid (sealhulgas ① tüüpi märgid), \p{Alphabetic} - tähed (sealhulgas hiina hieroglüfid), \p{Math} - matemaatilised märgid jne.
• Lipp dotAll toob kaasa selle, et mask „.” töötab ka rea murru sümbolite puhul.
• Režiim Lookbehind võimaldab määrata regulaaravaldises, et üks muster eelneb teisele (näiteks dollarites summa võrreldes ilma dollari märki hõivamata).

Projekt viidi ellu V8 arendajate osalusel, kes omakorda töötasid Irregexp sõltuvuse vähendamise kallal V8-st ning suunasid mõned omadused, mida SpiderMonkey baasil ellu viia ei olnud võimalik, välja lülitatavateks blokkideks "#ifdef". Koostöö osutus vastastikku kasulikuks. Mozilla arendajad edastasid Irregexp'ile muudatused, mis kõrvaldavad mõned vasturääkivused JavaScripti standardite nõuetega ja parandavad koodi kvaliteeti. Samuti leiti ja kõrvaldas Firefoxi fuzzing-testimise käigus varasemalt mitteavaldatud vigad, mis viisid Irregexp krahhideni.

Allikas: opennet.ru