w2c2

w2c2

WebAssembly モジュールをポータブル C に変換します。wabt の wasm2c からインスピレーションを受けています。

とらえどころのないユニバーサル バイナリとしての WebAssembly に向けた取り組み:

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

特徴

• WebAssembly コア仕様 1.0 を実装
• いくつかの拡張機能を実装します。
  • スレッドとアトミック
  • 一括メモリ操作
  • 条件付きデータセグメントの初期化
  • 符号拡張演算子
  • 非トラップの float から int への変換
• WebAssembly コア セマンティクス テスト スイートの 99.9% に合格
• (主に) C89 で書かれ、(主に) C89 を生成します (いくつかの一般的な拡張が使用されており、すべての制限が遵守されているわけではありません。例: #98 を参照)
• 多くのオペレーティング システムのサポート (Mac OS X、Mac OS 9、Haiku、Rhapsody、OPENSTEP、NeXTSTEP、DOS、Windows XP など)
• 多くのアーキテクチャのサポート (x86、ARM、PowerPC、SPARC、PA-RISC など)
• ビッグエンディアン システムのサポート (PowerPC、SPARC、PA-RISC など)
• さまざまなコンパイラのサポート (古い GCC、MSVC、CodeWarrior など)
• ストリーミング/シングルパスコンパイル、低メモリ使用量
• コンパイルを複数のファイルに分割する
• 並列コンパイル
• インクリメンタルコンパイルを支援: 別のモジュールと比較して静的関数と動的関数を分離します。
• 複数のモジュールとインスタンスのサポート
• デバッグ情報の生成のサポート:
  • 関数名 (関数名がnamesカスタム セクションで指定されている場合)
  • ソース行マッピング (DWARF 行情報が.debug_lineカスタム セクションで提供されている場合)。 libdwarf をインストールする必要があります。以下の手順を参照してください。
• WASIの実装
  • Clang と Python を実行できる
  • 多くのオペレーティング システムとアーキテクチャのサポート、ビッグエンディアン システムのサポート
  • スレッド提案を実装します

パフォーマンス

• 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スレッドサニタイザーを有効にします
• 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