首页 文章 精选 留言 我的
优秀的个人博客,低调大师

微信关注我们

原文链接:https://www.oschina.net/news/240342/ourphone-open-source

转载内容版权归作者及来源网站所有!

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

NuRaft —— 基于 Raft 算法的 C++ 实现

NuRaft 是一个基于 Raft 算法的 C++ 实现,旨在提供一种高度可靠、高效且易于使用的分布式一致性算法,以解决分布式系统中的数据一致性问题。 Raft 算法是一种常见的分布式一致性算法,在分布式系统中被广泛应用,比如 Etcd、Consul 等知名的分布式系统组件。 NuRaft 在 Raft 算法的基础上进行了优化和改进,具有更高的性能和可靠性,同时还具有以下特点: 支持跨平台,并提供了丰富的 API 和文档,方便用户使用。 内部实现了复制状态机(Replicated State Machine),避免了单点故障问题。 支持动态成员变更,可以根据需要添加或删除集群节点。 使用 C++17 标准编写,代码质量高,可扩展性强。

seL4 微内核获得 2022 ACM 软件系统奖

美国计算机协会 (ACM) 宣布将 2022 年ACM 软件系统奖项授予 seL4 微内核团队,以表彰他们开发了第一个具有工业强度的高性能操作系统;该系统目前已通过完整的、机械检查的全功能正确性证明。 “2009 年,软件系统获奖者展示了 seL4 微内核,它成为有史以来第一个具有工业强度的通用操作系统,并正式证明了实现的正确性。在随后的几年中,该团队进一步补充证明了 seL4 强制执行完整性和机密性的核心安全属性,将证明扩展到内核的二进制代码,并对一个 protected mode OS 进行了首次健全和完整的最坏情况下的执行时间分析。 seL4 高可靠微内核从根本上改变了研究界对形式化方法所能完成的认识:它表明不仅可以为工业级操作系统完成正确性和安全性的形式化证明,而且可以在不影响性能或通用性的情况下完成。seL4 上持续维护和增长的证明帮助产生了证明工程的新学科 —— 证明过程建模、工作量估算和大规模证明的系统处理的艺术。” 团队成员包括 Gernot Heiser(新南威尔士大学)、Gerwin Klein(Proofcraft)、Harvey Tuch(谷歌)、Kevin E...

相关文章

发表评论

资源下载

更多资源
腾讯云软件源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题,腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构,目前腾讯云软件源站支持公网访问和内网访问。

Nacos

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称,一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集,帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Rocky Linux

Rocky Linux

Rocky Linux(中文名:洛基)是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版,作为CentOS稳定版停止维护后与RHEL(Red Hat Enterprise Linux)完全兼容的开源替代方案,由社区拥有并管理,支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性,采用模块化包装和SELinux安全架构,默认包含GNOME桌面环境及XFS文件系统,支持十年生命周期更新。

Sublime Text

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能,例如代码缩略图,Python的插件,代码段等。还可自定义键绑定,菜单和工具栏。Sublime Text 的主要功能包括:拼写检查,书签,完整的 Python API , Goto 功能,即时项目切换,多选择,多窗口等等。Sublime Text 是一个跨平台的编辑器,同时支持Windows、Linux、Mac OS X等操作系统。

用户登录
用户注册