w2c2

w2c2

Traduit les modules WebAssembly en C portable. Inspiré par wasm2c de wabt.

Travailler vers WebAssembly en tant que binaire universel insaisissable :

                                          ↗ different
  source code     →  WebAssembly  →  C89  → OSes,
(C++, Rust, ...)                          ↘ CPUs

Caractéristiques

• Implémente la spécification WebAssembly Core 1.0
• Implémente plusieurs extensions :
  • Fils et atomes
  • Opérations de mémoire de masse
  • Initialisation conditionnelle du segment de données
  • Opérateurs d'extension de signe
  • Conversions float en int sans piégeage
• Réussit 99,9 % de la suite de tests sémantiques de base WebAssembly
• Écrit (principalement) en C89 et génère (principalement) C89 (certaines extensions courantes sont utilisées et toutes les limites ne sont pas respectées, voir par exemple #98)
• Prise en charge de nombreux systèmes d'exploitation (par exemple Mac OS X, Mac OS 9, Haiku, Rhapsody, OPENSTEP, NeXTSTEP, DOS, Windows XP, etc.)
• Prise en charge de nombreuses architectures (par exemple x86, ARM, PowerPC, SPARC, PA-RISC, etc.)
• Prise en charge des systèmes big-endian (par exemple PowerPC, SPARC, PA-RISC, etc.)
• Prise en charge de divers compilateurs (par exemple anciens GCC, MSVC, CodeWarrior, etc.)
• Compilation en streaming/en un seul passage, faible utilisation de la mémoire
• Compilation séparée en plusieurs fichiers
• Compilation parallèle
• Aide à la compilation incrémentielle : séparez les fonctions statiques et dynamiques en les comparant avec un autre module
• Prise en charge de plusieurs modules et instances
• Prise en charge de la génération d'informations de débogage :
  • Noms de fonction, si les noms de fonction sont fournis dans la section personnalisée names
  • Mappage de ligne source, si les informations sur la ligne DWARF sont fournies dans la section personnalisée .debug_line . Nécessite l'installation de libdwarf. Voir les instructions ci-dessous.
• Implémentation WASI
  • Capable d'exécuter Clang et Python
  • Prise en charge de nombreux systèmes d'exploitation et architectures, prise en charge des systèmes big-endian
  • Implémente la proposition de threads

Performance

• Coremark 1.0 : ~7 % plus lent que le natif

Compilation

Si votre système est pris en charge par au moins CMake 2.8.12, préférez utiliser CMake pour détecter les fonctionnalités. Sur les systèmes sans CMake, vous pouvez également utiliser Make.

w2c2

 cd w2c2
cmake -B build
cmake --build build

Wasi

 cd wasi
cmake -B build
cmake --build build

Usage

Par exemple, pour compiler module.wasm en module.c (et module.h ) :

./w2c2 module.wasm module.c

Compilation séparée

w2c2 est capable de compiler un module dans des fichiers C séparés. Ceci est recommandé lors de la compilation de modules volumineux et sur des hôtes aux ressources limitées.

Par exemple, pour compiler module.wasm (et module.h ), en plusieurs fichiers contenant chacun 100 fonctions :

./w2c2 -f 100 module.wasm module.c

Compilation parallèle

Lorsque w2c2 a été construit avec le support des threads, il est capable de compiler un module en parallèle. Par défaut, w2c2 génère autant de threads de travail que de cœurs de processeur disponibles.

Pour spécifier manuellement le nombre de threads de travail, transmettez le numéro à l'aide de l'indicateur -t .

Par exemple, pour compiler en utilisant 2 threads :

./w2c2 -t 2 module.wasm module.c

Exemples

Marque principale :

 cd examples/coremark
make
./coremark

Essai

Nécessite Python 3 et wabt (pour wast2json ).

 cd tests
make gen
make run-tests

Statut WASI

• args_get
• args_sizes_get
• clock_res_get
• clock_time_get
• environ_get
• environ_sizes_get
• fd_advise
• fd_allocate
• fd_close
• fd_datasync
• fd_fdstat_get
• fd_fdstat_set_flags
• fd_fdstat_set_rights
• fd_filestat_get
• fd_filestat_set_size
• fd_filestat_set_times
• fd_pread
• fd_prestat_get
• fd_prestat_dir_name
• fd_pwrite
• fd_read
• fd_readdir
• fd_renumber
• fd_seek
• fd_sync
• fd_tell
• fd_write
• path_create_directory
• path_filestat_get
• path_filestat_set_times
• path_link
• path_open
• path_readlink
• path_remove_directory
• path_rename
• path_symlink
• path_unlink_file
• poll_oneoff
• proc_exit
• random_get
• sched_yield
• sock_recv
• sock_send
• sock_shutdown
• thread-spawn (à partir de la proposition de threads)

Développement

Pour créer une version de débogage, transmettez BUILD=debug à make .

Pour activer les désinfectants, répertoriez-les dans la variable SANITIZERS passée à make , par exemple make BUILD=debug SANITIZERS="base clang address thread" .

• base active le désinfectant à comportement non défini
• clang active les désinfectants spécifiques à Clang
• thread active le Thread Sanitizer
• address active l'Address Sanitizer

Installation de libdwarf (obligatoire pour le mappage de ligne source)

• Sous Linux, essayez d'installer un package nommé comme libdwarf-dev

• Sur macOS, vous pouvez utiliser Homebrew et installer libdwarf (pas dwarf !)

• w2c2 utilise actuellement par défaut l'API libdwarf de >=v0.4.2. La version 0.6.0 a également été testée pour fonctionner avec succès.

• Si vous utilisez une version <0.4.2, essayez de passer -DDWARF_OLD=1 à CMake. La version 20200114 est connue pour fonctionner.

• Depuis la version 0.1.1, libdwarf est livré avec un fichier pkg-config, que CMake devrait être capable de détecter automatiquement.

  Si libdwarf ne peut pas être trouvé automatiquement par CMake, vous obtenez le message suivant :

   -- Checking for module 'libdwarf'
  --   No package 'libdwarf' found
  

  Dans ce cas, vous pouvez toujours fournir les informations nécessaires manuellement en passant une variante des options suivantes :

   -DDWARF_FOUND=1 -DDWARF_LIBRARIES=-ldwarf -DDWARF_LIBRARY_DIRS=/usr/lib -DDWARF_INCLUDE_DIRS=/usr/include/libdwarf