Introduction to Lucet

https://gyazo.com/2a6d1b75e1059c850d6f9628a1d0ef82

Lucetとは？

1. コンパイラ

clangやrustcのような言語コンパイラを使う

特定のラインタイムに縛られない

2. 実行環境（ランタイム）

パフォーマンス上クリティカルなコードを実行する

asm.jsというサブセットが合った

パフォーマンス上のボトルネックとなっていた

コミュニティはこれを解消するためにWebAssemblyを開発

ブラウザで安全に実行することができる

C, C++, Rust, TypeScript,

Go, Swiftもある

wasmがcontruct満せばサーバ、クライアントどちらでも動く

複数のブラウザで実行できる

WebAssembly → Lucet → x86-64 にコンパイル

parse → verifier → translator → codegen → artifat生成

craneliftが重要

AheadTimeだけでなくRuntimeコンパイラでもある

IR

veritier => preopt => legalizer => postopt => register allocator => branch relaxer

pre-optimizeで分岐のシンプル化など

legalizerでネイティブマシンコードが生成

post-optimizeで特定のアーキテクチャ向けの最適化、複数のwasmロードなど

パフォーマンスのためにはlucetc(コンパイラ)とランタイムの密接な連携が大事。Artifactの中には実行コード以外にもメタデータが含まれる

インスタンス

metadata

globals

liner memory

guest stack

signal stack

安全性と速度を兼ねたプロダクトを目指している

Lucet runtime は先にメモリ確保しておいてコンテキストの切り替えだけアセンブリでやるので早い（50ms）

LLVM IRはwasmのユースケース(ゲームとか)であったファイルサイズを小さくするという目的にあってなかった

エッジコンピューティングランタイムを安全かつ高速に提供したいと考えている