[WIP] WASIp2 based WasmSystem implementation + updated some WasmComponentModel APIs #48

tanishiking · 2025-05-21T07:01:40Z

@ComponentImport/Export(function-name, module-name)

object WallClock {
  // (import "wasi:clocks/wall-clock@0.2.0" "now" ...)
  @ComponentImport("now", "wasi:clocks/wall-clock@0.2.0")
  def now(): Datetime = cm.native
}

object Foo {
  // (export "component:testing/tests#roundtrip-string" ...)
  @ComponentExport("roundtrip-string", "component:testing/tests")
  def roundtripString(a: String): String = a
}

@ComponentResourceImport

@ComponentResourceImport("output-stream", "wasi:io/streams@0.2.0")
trait OutputStream {
  // (import "wasi:io/streams@0.2.0", "[method]output-stream.blocking-write-and-flush" ...)
  @ComponentResourceMethod("blocking-write-and-flush")
  def blockingWriteAndFlush(contents: Array[UByte]): cm.Result[Unit, StreamError] = cm.native

  // (import "wasi:io/streams@0.2.0", "[resource-drop]output-stream" ...)
  @ComponentResourceDrop
  def close(): Unit = cm.native
}

object OutputStream {
  // (import "wasi:io/streams@0.2.0", "[static]output-stream".static-function" ...)  
  @ComponentResourceStaticMethod("static-function")
  def staticFunction(): ...
   
  // (import "wasi:io/streams@0.2.0", "[constructor]output-stream" ... )
  @ComponentResourceConstructor
  def apply(): OutputStream = cm.native
}

def print(s: String): Unit = {
  cli.Stdout.getStdout().blockingWriteAndFlush(s.getBytes())
}
// ok

def print(s: String): Unit = {
  val stdout = cli.Stdout.getStdout()
  stdout.blockingWriteAndFlush(s.getBytes())
}
// checkClassDef fail
// file:/xxx/javalib/src/main/scala/java/lang/WasmSystem.scala(13:5:VarRef): Cannot find variable stdout in scope
// The IR somehow translated to
// Block(
//  ComponentFunctionApply(..., getStdO
8000
ut, ...) <- should be VarDef(stdout, ..., ComponentFunctionApply(...))
//  ComponentFunctionApply(..., blockingWriteAndFlush

Like in an explicit `toString()` call dispatch, we must handle hijacked values in string concatenation with something that is an ancestor of hijacked classes.

Namely: `print`, `nanoTime`, `currentTimeMillis` and `random`. TODO: This won't work in the component model, as it requires four dedicated imports. Needs fixing before it can be merged.

sjrd and others added 5 commits April 30, 2025 17:44

Fix string concat with Any that happens to be a hijacked value.

359746e

Like in an explicit `toString()` call dispatch, we must handle hijacked values in string concatenation with something that is an ancestor of hijacked classes.

Add support for some "essential" external features in targetPureWasm.

11257ed

Namely: `print`, `nanoTime`, `currentTimeMillis` and `random`. TODO: This won't work in the component model, as it requires four dedicated imports. Needs fixing before it can be merged.

Refactor Wasm Component Model API

c40fa9e

WASI based WasmSystem implementation

b5b5e67

fix optimizer to track the variable use in ComponentFunctionApply

17a954e

tanishiking closed this May 23, 2025

tanishiking deleted the refactor-wasm-component-model-api branch May 23, 2025 07:20

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

[WIP] WASIp2 based WasmSystem implementation + updated some WasmComponentModel APIs #48

[WIP] WASIp2 based WasmSystem implementation + updated some WasmComponentModel APIs #48

Uh oh!

Uh oh!

Uh oh!

[WIP] WASIp2 based WasmSystem implementation + updated some WasmComponentModel APIs #48

[WIP] WASIp2 based WasmSystem implementation + updated some WasmComponentModel APIs #48

Uh oh!

Conversation

Uh oh!

Uh oh!

Uh oh!