w2c2

w2c2

将 WebAssembly 模块转换为可移植的 C。受到 wabt 的 wasm2c 的启发。

致力于将 WebAssembly 打造为难以捉摸的通用二进制文件：

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

特征

• 实现 WebAssembly 核心规范 1.0
• 实现了几个扩展：
  • 线程和原子
  • 大容量内存操作
  • 有条件数据段初始化
  • 符号扩展运算符
  • 非捕获浮点到整数的转换
• 通过了 99.9% 的 WebAssembly 核心语义测试套件
• 用（大部分）C89 编写并生成（大部分）C89（使用了一些常见的扩展，但并未遵循所有限制，请参见 #98）
• 支持多种操作系统（例如 Mac OS X、Mac OS 9、Haiku、Rhapsody、OPENSTEP、NeXTSTEP、DOS、Windows XP 等）
• 支持多种架构（例如x86、ARM、PowerPC、SPARC、PA-RISC等）
• 支持big-endian系统（例如PowerPC、SPARC、PA-RISC等）
• 支持各种编译器（例如旧的GCC、MSVC、CodeWarrior等）
• 流式/单遍编译，内存占用低
• 单独编译成多个文件
• 并行编译
• 协助增量编译：通过与另一个模块比较来分离静态和动态函数
• 支持多个模块和实例
• 支持生成调试信息：
  • 函数名称，如果names自定义部分中提供了函数名称
  • 源行映射，如果.debug_line自定义部分中提供了 DWARF 行信息。需要安装 libdwarf。请参阅下面的说明。
• WASI实施
  • 能够运行 clang 和 Python
  • 支持多种操作系统和架构，支持big-endian系统
  • 实施线程提案

表现

• Coremark 1.0：比原生慢约 7%

汇编

如果您的系统至少受 CMake 2.8.12 支持，请优先使用 CMake 来检测功能。在没有 CMake 的系统上，您也可以使用 Make。

w2c2

 cd w2c2
cmake -B build
cmake --build build

瓦西

 cd wasi
cmake -B build
cmake --build build

用法

例如，要将module.wasm编译为module.c （和module.h ）：

./w2c2 module.wasm module.c

单独编译

w2c2 能够将模块编译成单独的 C 文件。当编译大型模块以及在资源有限的主机上时，建议这样做。

例如，要将module.wasm （和module.h ）编译为多个文件，每个文件包含 100 个函数：

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

并行编译

当 w2c2 构建为支持线程时，它能够并行编译模块。默认情况下，w2c2 会生成与可用 CPU 核心一样多的工作线程。

要手动指定工作线程的数量，请使用-t标志传递该数量。

例如，使用 2 个线程进行编译：

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

示例

核心标志：

 cd examples/coremark
make
./coremark

测试

需要 Python 3 和 wabt （用于wast2json ）。

 cd tests
make gen
make run-tests

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 （来自线程提案）

发展

要构建调试版本，请将BUILD=debug传递给make 。

要启用消毒剂，请将它们列在传递给make SANITIZERS变量中，例如make BUILD=debug SANITIZERS="base clang address thread" 。

• base启用未定义行为消毒剂
• clang启用 Clang 特定的消毒剂
• thread启用 Thread Sanitizer
• address启用地址消毒器

安装 libdwarf（源行映射所需）

• 在 Linux 上，尝试安装名为libdwarf-dev软件包

• 在 macOS 上，您可以使用 Homebrew 并安装libdwarf （不是dwarf ！）

• w2c2 目前默认使用 >=v0.4.2 的 libdwarf API。 v0.6.0 也经过测试可以成功运行。

• 如果使用 <0.4.2 的版本，请尝试将-DDWARF_OLD=1传递给 CMake。已知版本 20200114 可以工作。

• 从 0.1.1 版本开始，libdwarf 附带了一个 pkg-config 文件，CMake 应该能够自动检测到该文件。

  如果 CMake 无法自动找到 libdwarf，您会收到以下消息：

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

  在这种情况下，您仍然可以通过传递以下选项的变体来手动提供必要的信息：

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