Достъпен е Emscripten 4.0, компилатор от C/C++ в WebAssembly

Публикувано издание на инструментария Emscripten 4.0, който позволява компилирането на код на C/C++ и други езици, за които съществуват фронтендове на база LLVM, в универсален низкоуровнев междинен код WebAssembly. Полученият резултат може да се използва за интеграция с JavaScript проекти, стартиране в уеб браузър, работа в Node.js или създаване на самостоятелни мултиплатформени приложения, които се изпълняват с помощта на wasm runtime. Кодът на проекта се разпространява под MIT лиценз. В компилатора са използвани разработки от проекта LLVM, а за генериране на WebAssembly и оптимизация е ангажирана библиотеката Binaryen.

Основната цел на Emscripten е да създаде инструмент, който позволява изпълнението на код в уеб независимо от езика за програмиране, на който първоначално е написан. В компилираните приложения могат да се използват стандартни библиотечни извиквания на C и C++ (libc, libcxx), разширения на C++, многопоточност на базата на pthreads, API POSIX и много мултимедийни библиотеки. Отделно се предоставят API за интеграция с Web API и код на JavaScript.

Emscripten поддържа транслация на изхода на библиотеката SDL2 през Canvas, а също така реализира поддръжка на OpenGL и EGL чрез API WebGL, което позволява преобразуването на графични приложения и игри в WebAssembly (примерно, наличен е порт на тулкита Qt, поддържат се игровите енджини Unreal Engine и Unity, както и енджинът за симулация на физични процеси Bullet).

В допълнение към компилацията на код на C/C++, отделно се развиват проекти за стартиране на интерпретатори в браузъри за виртуални машини езиците Lua, C#, Python, Ruby и Perl. Освен това, е възможно прилагането на фронт ендове за LLVM, различни от Clang, като например фронт ендове за езици като Swift, Rust, D и Fortran.

Присвояването на версия 4.0 е свързано с изменения, нарушаващи съвместимостта на ниво ABI (при повторно компилиране на проекта в Emscripten 4.0 ще е необходимо повторно компилиране на обектните файлове и библиотеките, създадени с предишни версии на Emscripten). Основните изменения в Emscripten 4.0:

• Добавена е опция «-sWASM_LEAGCY_EXCEPTIONS» за избор между старите и новите механизми за обработка на изключения. По подразбиране продължава да се използва старият механизъм, тъй като не всички браузъри са реализирали възможностите на WebAssembly за работа с новите обработчици на изключения.
• Компонентите compiler-rt, libcxx, libcxxabi и libunwind са актуализирани до клона LLVM 19.
• Минималната поддържана версия на браузъра Safari (настройката MIN_SAFARI_VERSION) е увеличена от 14.1 на 15.0, което позволи по подразбиране да се активират няколко разширени възможности на WebAssembly:
  • Включено е използването на нови инструкции за преобразуване на тип float в int (nontrapping-fptoint), които вместо да генерират изключение при преливане на резултата, връщат минималното или максималното възможно значение (необходимо за SIMD).
  • Включена е опцията WASM_BIGINT, при която за обмен на 64-битови цели числа между WebAssembly и JavaScript код се използва типът BigInt.
  • Включена е опцията BULK_MEMORY, при която за реализация на Си-функции memcpy и memset се използват WebAssembly инструкции memory.copy и memory.fill.
• Във функцията PATH.basename() е деактивирана нормализацията на пътищата (PATH.normalize()), т.е. извикването на ‘PATH.basename(«a/.»)’ сега ще върне «.» вместо «a», а ‘PATH.basename(«a/b/..»)’ ще върне «..» вместо «a».
• При използване на опцията «-sMODULARIZE» фабричните функции, които създават и връщат инстанции на WebAssembly модули и обекти за JavaScript, вече са обозначени с маркера «async» при компилирането в режим WASM_ASYNC_COMPILATION, приложен по подразбиране.
• Добавена е възможността за указване на JavaScript-библиотеки, използвайки опцията «-lfoo.js». В отличие от опцията «—js-library», търсенето на библиотеката се извършва във всички пътища, указани чрез опцията «-L».
• При компонация в режим на отладка (-O0 или -sASSERTIONS) по подразбиране е активиран отладъчният вариант на функцията malloc с включени проверки, които откриват грешки като двойно извикване на функцията free().

Източник: opennet.ru