Introduction to WebAssembly for the Uno Platform (Part 1)

WebAssembly, or Wasm for short, is a hot topic these days and for good reasons. It has lots of promise, and for the Uno Platform, it promises to open up the Web to other languages and frameworks. What is WebAssembly ? is a low-level bytecode for the web, meant to be used as a compilation target for any language, much like ARM or x86. It has been built over the past few years by a W3C group, composed of various people from mostly browser, framework and hardware vendors. They have the simple concrete goal of being able to . WebAssembly securely run arbitrary binary code with near-native performance It’s currently supported by all major browsers, making it a viable target today. WebAssembly is agnostic in its definition. Even though its name contains “Web”, it is designed as a generic bytecode. That’s what allows for projects like , , or to run without any browser in sight. As , WebAssembly is neither Web nor Assembly and can be adapted to many scenarios. It has the potential to ultimately be a true universal binary format, for any kind of programming. Ethereum Life Nebulet WebAssembly for .NET Jay Phelps often mentions Other good resources can be found in curated list. Matteo Basso’s Awesome Wasm What does WebAssembly look like? WebAssembly being a binary format, it’s not human readable, but it has a textual representation that makes it easier to reason with. is a good way have a peek inside the generated WebAssembly, where building this C code : WebAssembly Studio becomes this WebAssembly literal code: It’s not particularly easy to read, as would any similar assembler code, but it gives an idea of how a stack-based virtual machine language works. WebAssembly is a target that most developers will never have to interact with directly, in the same way, that most developers never have to interact with x86_64 or ARM64 directly. It will mostly remain a build target, an element in a drop-down list next to x86 and ARM64. Consuming a WebAssembly module is generally composed of a file and a JS file, as can be found in the default sample of . The JS file is present to use the method to load WebAssembly code. .wasm glue main.js WebAssembly Studio WebAssembly.instantiate Why WebAssembly ? WebAssembly is mainly trying to solve the issues that make it difficult to optimize performance for large applications, provide access to binary-producing languages and improve the security of running the resulting code. WebAssembly modules are defined as self-contained units of bytecode. It’s possible to use to concurrently process the bytecode as it is being downloaded, unlike Javascript where the source file needs to be fully parsed to make sense. streaming compilation It also provides a way for any language to have a compilation back-end (such as LLVM and ) to target the Web. That opens a path for C, C++, Rust, , Java, Go, and many other languages to finally reach the web. It provides choices for developers targeting the Web, whether they need full type safety or not, to reuse that complex C++ library that is proving very difficult to port to Javascript. Such portability also enables runtimes and frameworks to follow, such as , and Mono and a very large part of the .NET ecosystem. Emscripten .NET based languages via Mono QT-Wasm Security-wise, WebAssembly is very different from previous attempts to run arbitrary binary code in the browser, such as Flash, Java applets, VBA, Silverlight, ActiveX, … which all had (and continue to have) security and portability issues. For instance, security features include the inability to execute arbitrary memory locations. While this makes optionally JIT’ed languages (such as .NET based languages) a difficult target, it promises a execution environment than its similar add-in based predecessors. higher security WebAssembly and .NET Microsoft has been working on a WebAssembly , and steady since the beginning of 2018. The runtime is looking as stable as it is on iOS and Android using the as a point of reference, which is quite the achievement. port of the Mono runtime for a while now progress has been Uno Platform There’s also the .NET Core Runtime (CoreRT) team who are working , and significant progress is being made there as well. on a WebAssembly port of the .NET Native engine The security aspect of WebAssembly, with the , makes for a difficult time running IL code. Commonly, Just-In-Time (JIT) compilation is used to emit code using the underlying platform’s instructions in data memory segments, then the CPU executes that data as code. The security constraint in WebAssembly is similar to the constraints found in iOS and watchOS, which do not allow such a compilation technique. The Mono team already worked under those constraints, and WebAssembly support requires the same kind of treatment to get around this limitation. inability to execute data segments of memory The obvious answer to this is the use of (AOT), employing the same technique used for iOS and watchOS. such as the integration of and its implementation over Javascript, AOT is not yet available. While by Microsoft, the current path for running .NET code in a WebAssembly environment is through the revived Mono interpreter. Ahead-of-Time Compilation Due to technical considerations Emscripten libc AOT integration is currently being worked on The Mono interpreter is similar to a piece of code that to one that has been around for a long while ( ), used in the early days of Mono when the JIT engine (mini) wasn’t yet available. Its role is to take IL instructions one-by-one and execute them on top of a natively compiled runtime. It allows for IL code to instantly run in the proper environment, at the expense of execution performance. mint While this makes for a good kick start solution, such an implementation contains a for each and every available opcode in the IL specification. This is to browsers when going through this hot execution path. It is also not really playing nice with CPU data caches, such as devices with i5 CPU or below with limited L2 cache size. giant switch giving a hard time This situation is fortunately only temporary. When Mono’s AOT will be available, the code will instantly be a lot faster, even though by how much remains to be seen. The size aspect of the generated WASM binary is also an unknown variable, and it can also be difficult to extrapolate from other similar looking AOT target CPU architectures. The interpreter mode will stay in Mono as a mixed execution mode. This will allow for to be viable in a non-JIT friendly environment, and enable pieces of the BCL such as to be functional. scenarios of dynamic code generation using Roslyn Expression compilation Bootstrapping the mono-wasm SDK The current challenge when using the mono-wasm SDK is its barrier to entry. There are still lots of things to fiddle around with and it’s not integrated in any way to Visual Studio or VS Code. Based on the work from , we built , a simple NuGet package with no ties to any framework (not even the Uno Platform), other than mono-wasm. This allows the user to take a simple .NET Standard 2.0 library, and run it in the browser, using to write text to the browser's debugging console. Anything else more advanced that interacts with the browser needs to go through the Javascript evaluation API. Frank A. Krueger on OOui Uno.Wasm.Bootstrap Console.WriteLine We expect this package to change significantly in the near future. This includes the addition of new Mono features (such as the AOT and debugger support), Nuget integration, VS integration, etc… Head over to the to create your own app and experiment with C# in the browser in minutes. See those two using Json.NET and Roslyn. Uno.Wasm.Bootstrap readme examples for additional scenarios Up next… In the second part of this article, we’ll touch on more advanced topics about the integration of Mono in WebAssembly and upcoming features.