Joel Dice

Results 51 issues of Joel Dice

We're using 32-bit integers (signed in some cases) all over heap.cpp to represent sizes, so we overflow when we get close to 2^31. We should replace these fields and variables...

enhancement

This causes ci.sh to fail randomly for unrelated pull requests, maybe 1% of the time. One way to try reproducing it is with e.g. ``` while make mode=debug bootimage=true input=Trace...

bug

There seems to be some kind of race condition on VM teardown such that tests sometimes fail on exit.

java/lang/RuntimeException: java.lang.NullPointerException at ZipOutputStreamTest.createZip (line 129) at ZipOutputStreamTest.main (line 49) caused by: java/lang/NullPointerException at java/util/zip/ZipOutputStream.writeCEN (line 457) at java/util/zip/ZipOutputStream.finish (line 348) at java/util/zip/DeflaterOutputStream.close (line 238) at java/util/zip/ZipOutputStream.close (line 360) at...

bug

Per https://github.com/bytecodealliance/wasmtime/pull/4442#discussion_r928991943 and https://github.com/bytecodealliance/wasmtime/pull/4442#discussion_r928993328, we need to define what it means for two component types to be equal to each other (or more generally, what it means for one to...

wasm-proposal:component-model

Per #615, you get inscrutable errors when using a version of Spin that's incompatible with the SDK used to build the app (e.g. due to a breaking `wit-bindgen` upgrade like...

help wanted
sdk

Per #78, we now have an example of writing a spin-http component in C++, but as of this writing it uses the `wit-bindgen`-generated C API, which does not lend itself...

enhancement
help wanted
sdk

When using the WebAssembly target, I've found that using resource metadata (e.g. Unicode tables) causes the subsequent GC to fail. Specifically, `GC.sweep` either loops infinitely or makes an out-of-bounds memory...

In `GC.resizeHeapConsistent`, the code for the "shrink" case (i.e. when the heap is made smaller) either shrinks the last chunk or removes it entirely, depending on how much the heap...

This is a first pass at implementing support for [WASI](https://wasi.dev/). It adds a new `TeaVMTargetType` of `WASI`, which is mostly the same as `WEBASSEMBLY` except it generates a module suitable...