内容简介:AdaCore 近日宣布其成为 RISC-V 基金会的成员。 RISC-V 基金会是一个非盈利组织,旨在标准化和推广免费和开放的 RISC-V 指令集架构(ISA)及其硬件和软件生态系统,当前由 200 多名成员组成。 RISC-V 是一个开放式...
AdaCore 近日宣布其成为 RISC-V 基金会的成员。
RISC-V 基金会是一个非盈利组织,旨在标准化和推广免费和开放的 RISC-V 指令集架构(ISA)及其硬件和软件生态系统,当前由 200 多名成员组成。
RISC-V 是一个开放式指令集,最初由加州大学伯克利分校 EECS 系计算机科学部开发,近两年其发展势头不小,因其简单、开放等特性,相继吸引来 IBM、NXP、西部数据、英伟达、高通、三星、谷歌、华为与特斯拉等 100 多家科技公司加入其阵营,行业也不断在围绕它构建生态系统,对 ARM 等竞争对手造成了巨大的冲击。
AdaCore 成立于 1994 年,为关键任务与安全关键型系统提供软件开发和验证工具。知名编程语言 Ada 与 SPARK 即出自其手。
加入 RISC-V 基金会,AdaCore 将其 Ada 与 SPARK 编程语言引入 RISC-V 开发生态,为该生态带来了一股新力量。
以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持 码农网
猜你喜欢:- Node.js 基金会与 JS 基金会合并为 OpenJS 基金会
- Linux 基金会成立持续交付基金会
- GraphQL 基金会成立,将交由 Linux 基金会管理
- Ceph 基金会正式成立!接受 Linux 基金会的管理
- Linux基金会陈泽辉:Linux基金会的开源指南
- Kodi 基金会加入 Linux 基金会,帮助发展开源运动
本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们。
构建高可用Linux服务器
余洪春 / 机械工业出版社华章公司 / 2011-11-1 / 79.00元
资深Linux/Unix系统管理专家兼架构师多年一线工作经验结晶,51CTO和ChinaUnix等知名社区联袂推荐。结合实际生产环境,从Linux虚拟化、集群、服务器故障诊断与排除、系统安全性等多角度阐述构建高可用Linux服务器的最佳实践。本书实践性非常强,包含大量企业级的应用案例及相应的解决方案,读者可以直接用这些方案解决在实际工作中遇到的问题。 全书一共10章。第1章以作者的项目实践为......一起来看看 《构建高可用Linux服务器》 这本书的介绍吧!