欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
SlapOS
SlapOS
目录 |
简介
SlapOS 是一个用来管理云架构的网格操作系统。它建立在"一切皆服务"的宗旨上,并且可以自动化构建,开通服务,编配,配置,监测,操作,备份,恢复和为任何平台上的任意服务提供记账功能 (通过ERP5)。这使 SlapOS 成为一个能够简化和自动化因为应用软件的持续开发变得复杂难以进行人工管理的云架构的理想解决方案。
功能
SlapOS 可以全自动化安装在任何设备上(服务器,桌面,智能手机),使用操作系统( Linux, Windows, Android)和虚拟机( VMWare, OpenStack, AWS, Azure, Joyent等)。SlapOS 也包含商务流程(通过 ERP5),允许添加如用户管理或开发票一类的操作扩展。这样,SlapOS 就可以只需要用同等级云供应商需要成本的一小部分来提供分布式 IaaS (架构),PaaS (平台) 和 SaaS (软件) 服务解决方案 — 同时提供一个完整的开源代码库。
指南
项目
用户
SlapOS 开发于 2009, 是一款在边缘计算方面成功地进行了商业部署的开源/自由软件解决方案。以持续地集成配置,DevOps,会计,计费,监测,编译和自动化灾难恢复的超变频编排系统 (Hyperconverged Orchestration System: HyOS) 为基础, SlapOS 可被用于在几天或几周的时间内实施公有云,分布式网格云,大数据云,超融合基础架构, IoT 应用商店或边缘计算。SlapOS 还是一个被 Big Data Value Association 授予欧盟级认证并被应用与多家国际企业大数据平台的核心。空客公司,三菱公司,Aide et Action 组织以及 Capago 等企业的 ERP5 系统都已经成功部署了 SlapOS。