w2c2

w2c2

WebAssembly 모듈을 이식 가능한 C로 변환합니다. wabt의 wasm2c에서 영감을 받았습니다.

파악하기 어려운 범용 바이너리인 WebAssembly를 향한 작업:

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

특징

• WebAssembly 핵심 사양 1.0 구현
• 여러 확장을 구현합니다.
  • 스레드와 원자성
  • 대량 메모리 작업
  • 조건부 데이터 세그먼트 초기화
  • 부호 확장 연산자
  • 비트래핑 float-to-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 Thread Sanitizer를 활성화합니다.
• address Address Sanitizer를 활성화합니다.

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는 CMake가 자동으로 감지할 수 있는 pkg-config 파일과 함께 제공됩니다.

  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