欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜: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也可以用于实际生产应用的服务器。
支持的系统架构
Solaris支持多种系统架构: SPARC, x86 and x64. x64即AMD64及EMT64处理器。在版本2.5.1的时候,Solaris曾经一度被移植到PowerPC架构, 但是后来又在这一版本正式发布时被删去。与Linux相比,Solaris可以更有效地支持对称多处理器、即SMP架构。Sun同时宣布将在Solaris 10的后续版本中提供Linux运行环境, 允许Linux二进制程序直接在Solaris x86和x64系统上运行。
Solaris传统上与基于Sun SPARC处理器的硬件体系结构结合紧密, 在设计上和市场上经常捆绑在一起,整个软硬件系统的可靠性和性能也因此大大增强。然而SPARC系统的成本和价格通常要高于PC类的产品,这成为 Solaris进一步普及的障碍。可喜的是,Solaris对x86体系结构的支持正得到大大加强,特别是Solaris 10已经能很好地支持x64(AMD64/EMT64)架构。Sun公司已推出自行设计的基于AMD64的工作站和服务器,并随机附带Solaris 10。
相关链接
- Solaris官方主页 http://www.sun.com/software/solaris/
- OpenSolaris项目主页 http://www.opensolaris.org/
- Adminschoice.com - Solaris系统管理文章 http://www.adminschoice.com/
- BigAdmin http://www.sun.com/bigadmin/
- Sunfreeware.com - Solaris下的免费软件 http://www.sunfreeware.com/
- Blastwave.org - Solaris下常用软件集合 http://www.blastwave.org/
- SunHELP - Solaris新闻、资源和讨论 http://www.sunhelp.org/
- Solaris Central - Solaris新闻和讨论 http://www.solariscentral.org/
- Sun Country - 数百个Solaris相关链接 http://alanpae.tripod.com/
- Solaris移动计算(笔记本) http://tuxmobil.org/mobile_solaris.html
- Solaris x86 - Solaris x86门户 http://www.solaris-x86.org/
- Cuddletech - Sun Enterprise和Veritas教程 http://www.cuddletech.com/
- Belenix - OpenSolaris下载 http://www.genunix.org/distributions/belenix_site/belenix_home.html