Pat Hickey

I don't follow the C code example. Is faerie not capable of emitting those relocations? How is the difference related to the symbol table? I don't think I understand the...

Thanks, I missed the distinction between referencing a symbol and a section. I agree that this is something we should correct.

The `instance_mut` method on Vmctx is extremely `unsafe` - it is not intended to be exposed to users of Lucet. The instance run methods need the instance's stack to be...

Yes. In the future, we will merge them into a single project, so that AOT and high concurrency are available for wasmtime. In the meantime, it is a better choice...

WebAssembly instances are specified to be single-threaded, so you can't make simultaneous calls to an instance regardless of VM. You'll have to use a mutex or equivelant to ensure that...

Yes

This PR was closed as a byproduct of deleting the branch named `master`. If this is still an active PR, re-open as a new PR against `main`.

As part of forming the Bytecode Alliance, we've announced that Lucet will be merging into the [Wasmtime codebase](https://github.com/bytecodealliance/wasmtime) - all of the unique capabilities of Lucet (AOT compilation, pre-allocated instance...

Seems like a reasonable thing to support, and it shouldn't be much trouble. lucetc determines the [target triple](https://github.com/bytecodealliance/lucet/blob/master/lucetc/src/compiler/cpu_features.rs#L195) of the host machine, which will in turn determine whether the object...

The signal handler is how Lucet handles traps in wasm code, so its very important to the safety story. Cranelift translates many faults (some bounds checks, icall type mismatch, many...