Project Icon

wasmtime

WebAssembly高性能独立运行时环境

Wasmtime是WebAssembly的独立运行时,基于Cranelift代码生成器构建。它注重性能、安全和可配置性,支持WASI接口和多种编程语言。Wasmtime通过严格的开发流程和持续模糊测试确保稳定性,并积极参与WebAssembly标准制定。该项目为开发者提供了灵活高效的WebAssembly执行环境。

wasmtime

一个独立的 WebAssembly运行时

一个字节码联盟项目

构建状态 zulip聊天 支持的rustc稳定版本 文档状态

指南 | 贡献 | 网站 | 聊天

安装

Wasmtime CLI可以通过一个简单的安装脚本在Linux和macOS上(本地)安装:

curl https://wasmtime.dev/install.sh -sSf | bash

Windows用户或其他感兴趣的用户可以直接从GitHub发布页面下载安装程序和二进制文件。

示例

如果您已经安装了Rust编译器,那么您可以使用一些Rust源代码:

fn main() {
    println!("Hello, world!");
}

并使用以下命令编译/运行它:

$ rustup target add wasm32-wasip1
$ rustc hello.rs --target wasm32-wasip1
$ wasmtime hello.wasm
Hello, world!

(注意:请确保您使用官方说明中的rustup方法安装了Rust,并且系统中没有以其他方式(例如系统包管理器)安装的Rust工具链副本。否则,rustup target add...命令可能不会为正确的Rust副本安装目标。)

特性

  • 快速。Wasmtime基于优化的Cranelift代码生成器构建,可以在运行时或预先快速生成高质量的机器代码。Wasmtime针对高效实例化、嵌入器和wasm之间的低开销调用以及并发实例的可扩展性进行了优化。

  • 安全。Wasmtime的开发强烈关注正确性和安全性。在Rust的运行时安全保证的基础上,每个Wasmtime功能都要经过通过RFC流程的仔细审查和考虑。功能实现后,它们会接受由Google的OSS Fuzz捐赠的24/7模糊测试。随着功能的稳定,它们成为发布的一部分,当出现问题时,我们有一个明确定义的安全政策来快速缓解和修复任何问题。我们遵循纵深防御的最佳实践,并集成了针对Spectre等问题的保护和缓解措施。最后,我们正在与学术研究人员合作,通过正式验证Wasmtime和Cranelift的关键部分来推动最先进的技术。

  • 可配置。Wasmtime使用合理的默认值,但也可以进行配置,以提供对CPU和内存消耗等方面更精细的控制。无论您想在小型环境中运行Wasmtime,还是在具有多个并发实例的大型服务器上运行,我们都能满足您的需求。

  • WASI。Wasmtime支持一套丰富的API,通过WASI标准与主机环境进行交互。

  • 符合标准。Wasmtime通过了官方WebAssembly测试套件,实现了官方wasm的C API,并实现了WebAssembly的未来提案。Wasmtime开发人员也深入参与WebAssembly标准化过程。

语言支持

您可以通过实现的嵌入来从各种不同的语言使用Wasmtime。

字节码联盟支持的语言:

社区支持的语言:

文档

📚 在这里阅读Wasmtime指南!📚

wasmtime指南是了解Wasmtime可以为您做什么或帮助回答您关于Wasmtime问题的最佳起点。如果您对贡献Wasmtime感兴趣,它也可以帮助您做到这一点


这就是Wasmtime。

项目侧边栏1项目侧边栏2
推荐项目
Project Cover

豆包MarsCode

豆包 MarsCode 是一款革命性的编程助手,通过AI技术提供代码补全、单测生成、代码解释和智能问答等功能,支持100+编程语言,与主流编辑器无缝集成,显著提升开发效率和代码质量。

Project Cover

AI写歌

Suno AI是一个革命性的AI音乐创作平台,能在短短30秒内帮助用户创作出一首完整的歌曲。无论是寻找创作灵感还是需要快速制作音乐,Suno AI都是音乐爱好者和专业人士的理想选择。

Project Cover

有言AI

有言平台提供一站式AIGC视频创作解决方案,通过智能技术简化视频制作流程。无论是企业宣传还是个人分享,有言都能帮助用户快速、轻松地制作出专业级别的视频内容。

Project Cover

Kimi

Kimi AI助手提供多语言对话支持,能够阅读和理解用户上传的文件内容,解析网页信息,并结合搜索结果为用户提供详尽的答案。无论是日常咨询还是专业问题,Kimi都能以友好、专业的方式提供帮助。

Project Cover

阿里绘蛙

绘蛙是阿里巴巴集团推出的革命性AI电商营销平台。利用尖端人工智能技术,为商家提供一键生成商品图和营销文案的服务,显著提升内容创作效率和营销效果。适用于淘宝、天猫等电商平台,让商品第一时间被种草。

Project Cover

吐司

探索Tensor.Art平台的独特AI模型,免费访问各种图像生成与AI训练工具,从Stable Diffusion等基础模型开始,轻松实现创新图像生成。体验前沿的AI技术,推动个人和企业的创新发展。

Project Cover

SubCat字幕猫

SubCat字幕猫APP是一款创新的视频播放器,它将改变您观看视频的方式!SubCat结合了先进的人工智能技术,为您提供即时视频字幕翻译,无论是本地视频还是网络流媒体,让您轻松享受各种语言的内容。

Project Cover

美间AI

美间AI创意设计平台,利用前沿AI技术,为设计师和营销人员提供一站式设计解决方案。从智能海报到3D效果图,再到文案生成,美间让创意设计更简单、更高效。

Project Cover

AIWritePaper论文写作

AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。

投诉举报邮箱: service@vectorlightyear.com
@2024 懂AI·鲁ICP备2024100362号-6·鲁公网安备37021002001498号