F´ —— 飞行软件和嵌入式系统框架-低调大师

F´ —— 飞行软件和嵌入式系统框架

2021-02-22 636

F´(F Prime) 是一个组件驱动的框架，可以快速开发和部署太空飞行及其他嵌入式软件应用程序。

F´ 最初由 NASA 喷气推进实验室开发，现已成功部署在多种太空应用中。它是量身定制的，被用于但又不限于小规模的航天系统，例如立方卫星，小卫星和其他仪器。

F´ 主要特性

具有明确定义的接口的组件架构
C++ 框架提供诸如队列、线程和操作系统抽象之类的核心功能
用于设计系统并从系统设计中自动生成代码的工具
适用于飞行的组件的标准库
用于单元和系统级测试的测试工具

微信关注我们

原文链接：https://www.oschina.net/p/fprime

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

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

Linux 5.12 的 I/O 相关改动

正在开发中的 Linux 5.12 合并了块子系统和相关存储更改的代码，其中值得注意的包括io_uring 、块和驱动的改动。 io_uring 改动的重点是请求回收和 task_work 优化，这些改动可以在大部分是内联的工作中提高 10-20％的速度。最初完成这项工作是为了将 io_uring 置于 memcg 下，这增加了相当大的开销，但这是值得的。另一个亮点是 VFS 中的 LOOKUP_CACHED 更改，并为其添加io_uring 支持，这大大加快了文件打开的快速路径。而在块的改动中，删除的代码多于添加的代码（主要由于Christoph 坚持不懈地追求技术债务的清理），这些改动包括 BFQ 优化、blk-mq 调度器优化、分区写入粒度支持、将 bdev 指针存储在 bio 而不是 gendisk 和 partno 中、 bvec 分配优化等。在块驱动程序的改动中，大部分是 NVMe 驱动程序的改动，包括避免 nvme-hwmon 中的 devm 分配不能很好地交互、修复no-data命令的nvme-tcp 崩溃、切换 nvmet-fc、assoc_list 以使用...

2021-02-22

558

一、Java 线程的内存工作模型在当前的Java内存模型下（JVM 1.2之后），线程可以把变量保存在本地内存（比如机器的寄存器）中，而不是直接在主存中进行读写。如图： 1.1我们来看一下例子当 signal 为false时， run 方法会终止。上诉代码能否实现我们想要的效果。我们来看执行结果: 分析：从横向去看看，线程A和线程B就好像通过共享变量在进行隐式通信。如果线程A更新后数据并没有及时通知线程B，而此时线程B读到的是过期的数据。也就是发生了缓解数据不一致的情况。如何解决？可以通过同步机制（控制不同线程间操作发生的相对顺序）来解决或者通过volatile关键字使得每次volatile变量都能够强制刷新到主存，从而对每个线程都是可见的。volatile相较与同步机制会更轻量，性能更好。修改代码: 可以得出我们想要的结果：二、volatile底层原理 volatile从内存语义上来看：当写一个volatile变量时，JMM会把该线程对应的本地内存中的共享变量刷新到主内存当读一个volatile变量时，线程接下来将从主内存中读取共享变量...

2021-02-22

545

资源下载

更多资源

优质分享App

近一个月的开发和优化，本站点的第一个app全新上线。该app采用极致压缩，本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Nacos

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

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

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