w2c2

w2c2

Traduce módulos WebAssembly a C portátil. Inspirado en wasm2c de wabt.

Trabajando hacia WebAssembly como el binario universal esquivo:

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

Características

• Implementa la especificación principal de WebAssembly 1.0
• Implementa varias extensiones:
  • Hilos y atomicos
  • Operaciones de memoria masiva
  • Inicialización de segmento de datos condicional
  • Operadores de extensión de señales
  • Conversiones de flotador a int sin captura
• Pasa el 99,9% del conjunto de pruebas de semántica central de WebAssembly
• Escrito en (principalmente) C89 y genera (principalmente) C89 (se utilizan algunas extensiones comunes y no se siguen todos los límites, consulte, por ejemplo, #98)
• Soporte para muchos sistemas operativos (por ejemplo, Mac OS X, Mac OS 9, Haiku, Rhapsody, OPENSTEP, NeXTSTEP, DOS, Windows XP, etc.)
• Soporte para muchas arquitecturas (por ejemplo, x86, ARM, PowerPC, SPARC, PA-RISC, etc.)
• Soporte para sistemas big-endian (por ejemplo, PowerPC, SPARC, PA-RISC, etc.)
• Soporte para varios compiladores (por ejemplo, GCC antiguo, MSVC, CodeWarrior, etc.)
• Streaming/compilación de un solo paso, bajo uso de memoria
• Compilación separada en varios archivos
• compilación paralela
• Ayude con la compilación incremental: separe las funciones estáticas y dinámicas comparándolas con otro módulo
• Soporte para múltiples módulos e instancias.
• Soporte para generar información de depuración:
  • Nombres de funciones, si los nombres de funciones se proporcionan en la sección personalizada names
  • Mapeo de línea de origen, si la información de línea DWARF se proporciona en la sección personalizada .debug_line . Requiere la instalación de libdwarf. Vea las instrucciones a continuación.
• Implementación WASI
  • Capaz de ejecutar clang y Python
  • Soporte para muchos sistemas operativos y arquitecturas, soporte para sistemas big-endian
  • Implementa la propuesta de hilos.

Actuación

• Coremark 1.0: ~7% más lento que el nativo

Compilación

Si su sistema es compatible con al menos CMake 2.8.12, prefiera usar CMake para detectar funciones. En sistemas sin CMake también puedes usar Make.

w2c2

 cd w2c2
cmake -B build
cmake --build build

wasi

 cd wasi
cmake -B build
cmake --build build

Uso

Por ejemplo, para compilar module.wasm en module.c (y module.h ):

./w2c2 module.wasm module.c

Compilación separada

w2c2 puede compilar un módulo en archivos C separados. Esto se recomienda al compilar módulos grandes y en hosts con recursos limitados.

Por ejemplo, para compilar module.wasm (y module.h ), en varios archivos con 100 funciones cada uno:

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

Compilación paralela

Cuando w2c2 se creó con soporte de subprocesos, puede compilar un módulo en paralelo. De forma predeterminada, w2c2 genera tantos subprocesos de trabajo como núcleos de CPU estén disponibles.

Para especificar manualmente el número de subprocesos de trabajo, pase el número utilizando el indicador -t .

Por ejemplo, para compilar usando 2 subprocesos:

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

Ejemplos

Marca principal:

 cd examples/coremark
make
./coremark

Pruebas

Requiere Python 3 y wabt (para wast2json ).

 cd tests
make gen
make run-tests

Estado 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 (de la propuesta de hilos)

Desarrollo

Para crear una versión de depuración, pase BUILD=debug para make .

Para habilitar los desinfectantes, enumerelos en la variable SANITIZERS pasada a make , por ejemplo, make BUILD=debug SANITIZERS="base clang address thread" .

• base habilita el desinfectante de comportamiento indefinido.
• clang habilita desinfectantes específicos de Clang
• thread habilita el desinfectante de hilo
• address habilita el desinfectante de direcciones.

Instalación de libdwarf (requerido para el mapeo de la línea fuente)

• En Linux, intente instalar un paquete llamado libdwarf-dev

• En macOS, puedes usar Homebrew e instalar libdwarf (¡no dwarf !)

• Actualmente, w2c2 utiliza de forma predeterminada la API libdwarf de >=v0.4.2. También se ha probado que v0.6.0 funciona correctamente.

• Si usa una versión <0.4.2, intente pasar -DDWARF_OLD=1 a CMake. Se sabe que la versión 20200114 funciona.

• Desde la versión 0.1.1, libdwarf viene con un archivo pkg-config, que CMake debería poder detectar automáticamente.

  Si CMake no puede encontrar libdwarf automáticamente, recibirá el siguiente mensaje:

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

  En ese caso, aún puedes proporcionar la información necesaria manualmente pasando una variación de las siguientes opciones:

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