欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Solaris
来自开放百科 - 灰狐
Solaris是Sun公司开发和发布的企业级操作环境,有运行于Intel平台的Solaris x86系统,也有运行于SPARC CPU结构的系统。它起源于BSD Unix,但逐渐转移到了System Ⅴ标准。在服务器市场上,Sun的硬件平台具有高可用性和高可靠性,Solaris是当今市场上处于支配地位的Unix类操作系统。目前比较流行的运行于x86架构的计算机上的Solaris有Solaris 8 x86和Solaris 9 x86两个版本。当然Solaris x86也可以用于实际生产应用的服务器。
分享您的观点