Belajar WebAssembly - Wasm 3.0 & Fitur Modern

#Pendahuluan

Setelah di episode 7 dan 8 kalian menguasai kedua toolchain utama — Rust/wasm-pack dan C++/Emscripten — pada episode ini kita berhenti sejenak dan melihat arah spesifikasi Wasm ke depan. Wasm bukan teknologi beku: sejak Wasm 1.0 menjadi W3C Recommendation pada 2019, puluhan proposal terus diadopsi, dan kini kita berada di era Wasm 3.0.

Mengapa memahami versi penting? Karena setiap fitur baru mengubah cara kalian menulis dan mengoptimalkan kode. WasmGC membuka pintu bagi bahasa yang punya garbage collector. Exception handling membuat error handling lintas bahasa menjadi mungkin. Dan ketika kalian memilih runtime atau target toolchain, mengetahui fitur yang didukung akan mencegah kejutan di production.

#Dari Wasm 1.0 ke Wasm 3.0

Garis besar evolusi spesifikasi:

Wasm 2.0 bisa dianggap sebagai baseline modern — fitur-fitur yang sudah didukung secara luas oleh semua engine. Wasm 3.0 menambahkan proposal besar yang sedang dalam proses adopsi bertahap.

#Wasm 2.0: Baseline

Tiga fitur baseline yang kalian bisa andalkan hari ini:

#SIMD

SIMD (Single Instruction, Multiple Data) memungkinkan satu instruksi mengolah beberapa nilai sekaligus — misalnya menjumlahkan 4 float dalam satu operasi v128. Di Rust, ini diakses lewat std::simd; di C/C++, compiler otomatis menghasilkan instruksi SIMD dari loop yang bisa divektorisasi.

wasm-tools validate --features simd modul.wasm

Untuk workload image processing, audio, atau kriptografi, SIMD bisa memberikan percepatan 2-4x — topik yang kita optimalkan di episode 13 dan 15.

#Reference Types

Reference types memungkinkan nilai seperti externref (referensi ke objek host) dan funcref (referensi fungsi) dipakai dalam tanda tangan fungsi, tables, dan locals. Ini memungkinkan passing objek JS langsung tanpa serialisasi — fondasi interop yang lebih efisien.

#Bulk Memory

Bulk memory menambah instruksi seperti memory.copy, memory.fill, dan table.init — operasi blok yang jauh lebih cepat daripada loop load/store per elemen.

#Wasm 3.0: Proposal Besar

#WasmGC (Garbage-Collecting Types)

WasmGC menambahkan tipe baru seperti (struct), (array), dan referensi yang bisa dikoleksi garbage collector host. Dampaknya besar: bahasa dengan GC — C# (.NET), Kotlin, Java, Python — bisa dikompilasi langsung ke Wasm tanpa menyertakan runtime GC sendiri.

(module
  (type $point (struct (field $x i32) (field $y i32)))
  (func $buat (result (ref $point))
    (struct.new $point (i32.const 3) (i32.const 4))
  )
  (export "buat" (func $buat))
)

Konsekuensi praktisnya: kalian bisa menjalankan Kotlin/Wasm atau .NET 10 langsung di browser tanpa JIT runtime raksasa. Kita bedah lebih dalam di episode 21.

#Exception Handling (exnref)

Wasm murni tidak punya mekanisme exception — bahasa seperti C++ dan Rust (panic) harus mengelola error secara manual. Proposal ini menambahkan try/catch/throw dengan exception reference (exnref):

(module
  (tag $e (param i32))
  (func $coba (result i32)
    (try (result i32)
      (do
        i32.const 42
      )
      (catch $e
        i32.const 0
      )
    )
  )
  (export "coba" (func $coba))
)

Dampaknya: bahasa compile-to-wasm bisa melemparkan error yang menyeberang batas modul dan ditangkap oleh bahasa lain atau oleh JS — kohesi yang selama ini mustahil.

#Tail-Call

Optimasi tail-call memungkinkan rekursi ekor dikompilasi menjadi loop tanpa menumbuhkan call stack. Ini penting untuk pemrograman fungsional dan untuk mempertahankan stack Wasm yang dangkal.

#Multi-Memory

Proposal ini mengizinkan modul memiliki lebih dari satu linear memory. Manfaatnya: pisahkan memory untuk data user dan memory internal (misal untuk state VM) — meningkatkan isolasi dan mengurangi kesalahan offset.

#Relaxed SIMD dan Flexible Vectors

• Relaxed SIMD — menyerahkan keputusan presisi kepada hardware, memungkinkan kompilasi SIMD yang lebih agresif dengan hasil yang "cukup dekat".
• Flexible vectors — menyatukan dan memperluas model vektor agar instruksi SIMD lebih fleksibel lintas engine.

#Implikasi Praktis untuk Kalian

Kapan fitur-fitur ini kalian pakai? Aturan praktisnya:

• Sekarang (baseline): pakai SIMD dan bulk memory untuk workload performa tinggi — didukung semua browser modern dan runtime utama.
• WasmGC: mulai percobaan untuk bahasa GC; runtime seperti Wasmtime dan browser terbaru sudah mendukung dalam mode proposal-enabled.
• Exception handling & tail-call: aktifkan fitur saat membangun toolchain baru; flag seperti -O2 di emcc/rustc sudah memanfaatkan beberapa di antaranya.

#Penutup

Pada episode 9 ini, kalian telah memahami peta spesifikasi Wasm dari 1.0 sampai 3.0 beserta proposal-proposal besarnya.

Inti yang harus dibawa pulang:

• Wasm 2.0 adalah baseline modern: SIMD, reference types, bulk memory, multi-value.
• Wasm 3.0 menambahkan WasmGC, exception handling, tail-call, multi-memory, relaxed SIMD, flexible vectors.
• WasmGC membuka kompilasi langsung bahasa ber-GC (C#, Kotlin, Java) tanpa runtime sendiri.
• Selalu validasi dukungan fitur runtime sebelum mengandalkan proposal yang belum default.

Di episode 10 selanjutnya kita akan membahas WASI 0.2/0.3 dan Component Model — system interface di luar browser (files, clocks, HTTP, random), komposisi antar bahasa via WIT interfaces, dan model async native WASI 0.3 dengan async func, stream, dan future. Sampai jumpa di episode 10!