欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
SmartOS
来自开放百科 - 灰狐
|
您可以在Wikipedia上了解到此条目的英文信息 SmartOS Thanks, Wikipedia. |
SmartOS
目录 |
简介
SmartOS：云计算公司 Joyent 以 OpenSolaris 为基础架构的开源操作系统，其核心包含：Zones、ZFS、DTrace 和 KVM。
功能
指南
项目
- Project FiFo is an open-source Cloud Management and Orchestration system for SmartOS.
- Manta a scalable, distributed object store
- Triton DataCenter
图集
链接
分享您的观点
