Применяемый в Firefox JavaScript-движок SpiderMonkey на использование обновлённой реализации регулярных выражений, основанной на актуальном коде из JavaScript-движка V8, применяемого в браузерах на основе проекта Сhromium. Новая реализация RegExp будет предложена в выпуске Firefox 78, намеченном на 30 июня, и позволит реализовать в браузере все недостающие элементы ECMAScript, связанные с регулярными выражениями.
Отмечается, что движок RegExp в SpiderMonkey оформлен в виде отдельного компонента, что делает его относительно независимым и пригодным для замены без необходимости внесения значительных изменений в кодовую базу. Модульность позволила в 2014 году заменить изначально применяемый в Firefox RegExp-движок YARR на форк движка Irregexp из V8. Irregexp завязан на API V8, привязан к сборщику мусора, использует специфичные для V8 представление строк и объектную модель. В процессе адаптации к внутреннему API SpiderMonkey в 2014 году движок Irregexp частично переписали, а появляющиеся изменения, такие как флаг ‘\u’, по возможности в ответвление, поддерживаемое Mozilla.
К сожалению, поддержание синхронизированного форка является трудной задачей и его сопровождение требует больших ресурсов. С появлением в стандарте ECMAScript 2018 новых возможностей, связанных с регулярными выражениями, разработчики Mozilla задумались как можно упростить перенос изменений из Irregexp. В качестве выхода была предложена концепция обвязки, позволяющая использовать в SpiderMonkey почти неизменённый движок Irregexp (изменения сводятся только к автоматической замене блоков «#include»).
Обвязка предоставляет для Irregexp необходимые специфичные возможности V8, включая функции управления памятью и генерацией кода, а также исходные структуры данных, которые реализованы на основе механизмов управления памятью, генераторов кода и структур SpiderMonkey.
Обновление RegExp-движка позволит обеспечить в Firefox поддержку таких возможностей, как именованные группы (named captures), экранирование классов Unicode-символов, флаг dotAll и режим Lookbehind:
- σας επιτρέπει να συσχετίσετε μέρη μιας συμβολοσειράς που ταιριάζουν με μια κανονική έκφραση με συγκεκριμένα ονόματα αντί για σειριακούς αριθμούς αντιστοιχίσεων (για παράδειγμα, αντί για "/(\d{4})-(\d{2})-(\d{ 2})/" μπορείτε να καθορίσετε "/( ? \d{4})-(? \d{2})-(? \d{2})/" και αποκτήστε πρόσβαση στο έτος όχι μέσω του αποτελέσματος[1], αλλά μέσω του result.groups.year).
- Οι χαρακτήρες Unicode προσθέτουν κατασκευές \p{...} και \P{...}, για παράδειγμα, το \p{Number} ορίζει όλους τους πιθανούς χαρακτήρες που απεικονίζουν αριθμούς (συμπεριλαμβανομένων συμβόλων όπως ①), \p{Αλφαβητικό} - γράμματα (συμπεριλαμβανομένων ιερογλυφικά ), \p{Math} — μαθηματικά σύμβολα κ.λπ.
- Σημαία προκαλεί την πυροδότηση της μάσκας. συμπεριλαμβανομένων των χαρακτήρων ροής γραμμής.
- καθεστώς σας επιτρέπει να προσδιορίσετε σε μια κανονική έκφραση ότι ένα μοτίβο προηγείται ενός άλλου (για παράδειγμα, αντιστοίχιση ενός ποσού σε δολάρια χωρίς να συλλάβετε το σύμβολο του δολαρίου).
Проект был осуществлён при участии разработчиков V8, которые со своей стороны провели работу по сокращению зависимости Irregexp от V8, и вынесли некоторые особенности, которые невозможно реализовать на базе SpiderMonkey, в отключаемые блоки «#ifdef». Сотрудничество оказалось взаимовыгодным. Со своей стороны разработчики Mozilla передали в Irregexp изменения, устраняющие некоторые с требованиями стандарта JavaScript и качество кода. Также в ходе fuzzing-тестирования Firefox были выявлены и устранены ранее не замеченные ошибки в коде Irregexp, приводящие к крахам.
Πηγή: opennet.ru