- 在汽车电子、工业控制和医疗设备等对安全要求严苛的领域，软件失效的代价往往是巨大的。嵌入式软件的可靠性不仅关乎逻辑正确性，更涉及与硬件深度耦合下的鲁棒性、抗干扰能力以及全生命周期的质量管理。要构建一个真正可靠的嵌入式系统，开发者需要将视野从“实现功能”拓展至“确保系统在任何预期及非预期条件下均安全运行”，这涉及到从编译器选择到系统架构设计的多个维度。一、编译器：被忽视的可靠性“变量”许多工程师... 在汽车电子、工业控制和医疗设备等对安全要求严苛的领域，软件失效的代价往往是巨大的。嵌入式软件的可靠性不仅关乎逻辑正确性，更涉及与硬件深度耦合下的鲁棒性、抗干扰能力以及全生命周期的质量管理。要构建一个真正可靠的嵌入式系统，开发者需要将视野从“实现功能”拓展至“确保系统在任何预期及非预期条件下均安全运行”，这涉及到从编译器选择到系统架构设计的多个维度。一、编译器：被忽视的可靠性“变量”许多工程师...
- 无 无
- 1 简介本文简介context 的正确用法，循序渐进 + 可运行的例子给你讲清楚：如何用 ctx 管理任务是否完成 / 是否取消。 2 理清概念ctx 只做一件事：广播“该停了”这个信号任务是否完成 → 由任务自己决定ctx 只负责：取消 / 超时 / 上游结束 3 场景 1：最基础 —— 用 ctx 控制任务退出任务函数 func worker(ctx context.Contex... 1 简介本文简介context 的正确用法，循序渐进 + 可运行的例子给你讲清楚：如何用 ctx 管理任务是否完成 / 是否取消。 2 理清概念ctx 只做一件事：广播“该停了”这个信号任务是否完成 → 由任务自己决定ctx 只负责：取消 / 超时 / 上游结束 3 场景 1：最基础 —— 用 ctx 控制任务退出任务函数 func worker(ctx context.Contex...
- 1 简介一次一密（OTP）的安全本质OTP 的信息论安全性来自三点：密钥是真随机的密钥长度 ≥ 明文长度每个密钥只使用一次加密方式： C=P⊕K只要满足以上条件，密文不泄露任何关于明文的信息（Shannon 证明）。OTP 的致命缺点 ：密钥太长难以分发和管理现实中几乎不可用 2 ChaCha20 / Salsa20 的核心思想现代伪随机流加密算法（如ChaCha20、Salsa20）... 1 简介一次一密（OTP）的安全本质OTP 的信息论安全性来自三点：密钥是真随机的密钥长度 ≥ 明文长度每个密钥只使用一次加密方式： C=P⊕K只要满足以上条件，密文不泄露任何关于明文的信息（Shannon 证明）。OTP 的致命缺点 ：密钥太长难以分发和管理现实中几乎不可用 2 ChaCha20 / Salsa20 的核心思想现代伪随机流加密算法（如ChaCha20、Salsa20）...
- 一、引言在自动驾驶、工业控制、航空航天、通信等关键领域，确定性编程（Deterministic Programming）已成为系统设计的核心要求之一。所谓“确定性”，是指系统的每一步操作和响应都可以被精准预测：给定相同的输入、状态和时间，系统的行为必然一致。这种确定性是实现时间可预测性、严格的中断延迟控制、受控的内存访问仲裁与**实时GC（垃圾回收）**等机制的基础。本文将从理论到工程实践... 一、引言在自动驾驶、工业控制、航空航天、通信等关键领域，确定性编程（Deterministic Programming）已成为系统设计的核心要求之一。所谓“确定性”，是指系统的每一步操作和响应都可以被精准预测：给定相同的输入、状态和时间，系统的行为必然一致。这种确定性是实现时间可预测性、严格的中断延迟控制、受控的内存访问仲裁与**实时GC（垃圾回收）**等机制的基础。本文将从理论到工程实践...
- 一、引言在实时系统中，确定性编程和可预测性是核心要求。无论是工业控制、自动驾驶还是医疗设备，系统必须在严格的时间约束内完成任务，以确保安全性和可靠性。然而，现代系统的复杂性（如多线程、动态内存分配和中断处理）使得实现时间可预测性变得极具挑战性。本文将深入探讨确定性编程的核心概念，分析时间可预测性的实现方法，探讨内存访问仲裁和中断延迟控制的优化策略，并介绍实时垃圾回收（GC）算法在实时系统... 一、引言在实时系统中，确定性编程和可预测性是核心要求。无论是工业控制、自动驾驶还是医疗设备，系统必须在严格的时间约束内完成任务，以确保安全性和可靠性。然而，现代系统的复杂性（如多线程、动态内存分配和中断处理）使得实现时间可预测性变得极具挑战性。本文将深入探讨确定性编程的核心概念，分析时间可预测性的实现方法，探讨内存访问仲裁和中断延迟控制的优化策略，并介绍实时垃圾回收（GC）算法在实时系统...
- 一、引言操作系统调度是现代计算机系统性能、响应和资源利用的基石。尤其在嵌入式、工业控制、自动驾驶等对时效性和稳定性要求极高的领域，调度策略、实时任务优先级、中断处理机制、上下文切换优化及硬件中断亲和性等技术的选择和实现，直接决定了系统的可靠性和效率。本文将系统性梳理上述关键技术，结合实际内核实现和性能优化经验，为操作系统开发与调优提供一套理论与实践并重的参考。 二、操作系统调度基础与主流策... 一、引言操作系统调度是现代计算机系统性能、响应和资源利用的基石。尤其在嵌入式、工业控制、自动驾驶等对时效性和稳定性要求极高的领域，调度策略、实时任务优先级、中断处理机制、上下文切换优化及硬件中断亲和性等技术的选择和实现，直接决定了系统的可靠性和效率。本文将系统性梳理上述关键技术，结合实际内核实现和性能优化经验，为操作系统开发与调优提供一套理论与实践并重的参考。 二、操作系统调度基础与主流策...
- 1 简介Trivium / Grain 这类基于 LFSR 的硬件流密码，本质上是在“工程上无限逼近一次一密（OTP）的统计与使用条件”，而不是在信息论意义上真正实现 OTP。本文分层讲清楚 “它们是如何接近一次一密的工程需求”，以及具体在硬件中怎么落地。 2 一次一密真正“要求什么”真正的信息论安全 OTP 需要同时满足：密钥是真随机的密钥长度 ≥ 明文长度密钥只使用一次密钥绝不泄露第... 1 简介Trivium / Grain 这类基于 LFSR 的硬件流密码，本质上是在“工程上无限逼近一次一密（OTP）的统计与使用条件”，而不是在信息论意义上真正实现 OTP。本文分层讲清楚 “它们是如何接近一次一密的工程需求”，以及具体在硬件中怎么落地。 2 一次一密真正“要求什么”真正的信息论安全 OTP 需要同时满足：密钥是真随机的密钥长度 ≥ 明文长度密钥只使用一次密钥绝不泄露第...
- 1 简介如何评价这种 heartbeat 方式（优缺点）这个实现里潜在的问题与改进点。并发场景下如何“正确”扩展（重点）推荐的工程级模式（可直接用） 2 heartbeat 机制优缺点优点（为什么常用）与 context 解耦职责 context → 控制 是否该退出 heartbeat → 监控 是否还在健康运行这是 Go 里非常标准的分层设计。可检测“卡死/阻塞” gorou... 1 简介如何评价这种 heartbeat 方式（优缺点）这个实现里潜在的问题与改进点。并发场景下如何“正确”扩展（重点）推荐的工程级模式（可直接用） 2 heartbeat 机制优缺点优点（为什么常用）与 context 解耦职责 context → 控制 是否该退出 heartbeat → 监控 是否还在健康运行这是 Go 里非常标准的分层设计。可检测“卡死/阻塞” gorou...
- 1 简介在golang语言如何判断协程是否正常运行”？正确思路是你必须自己埋“探针”。 2 常见方式常见手段有 4 类（从简单到专业）最基础：done channel（是否结束） func DOtask(ctx context.Context, client *Client, done chan<- error) { defer func() { if r :... 1 简介在golang语言如何判断协程是否正常运行”？正确思路是你必须自己埋“探针”。 2 常见方式常见手段有 4 类（从简单到专业）最基础：done channel（是否结束） func DOtask(ctx context.Context, client *Client, done chan<- error) { defer func() { if r :...
- 1 背景 浮点数的计算和表示计算机的浮点数表示和计算难以精确，主要是因为计算机用有限二进制位表示无限连续的实数。离散有限 的二进制表示 vs. 连续无限 的实数。有限的存储位数、二进制的表示特性、运算中的舍入规则，三者共同导致浮点数计算难以完全精确。这是计算机体系结构的基本特征，不是 bug，而是设计上的 trade-off（用有限资源获得足够精度与较大动态范围）。这是因为计算机内部表示小... 1 背景 浮点数的计算和表示计算机的浮点数表示和计算难以精确，主要是因为计算机用有限二进制位表示无限连续的实数。离散有限 的二进制表示 vs. 连续无限 的实数。有限的存储位数、二进制的表示特性、运算中的舍入规则，三者共同导致浮点数计算难以完全精确。这是计算机体系结构的基本特征，不是 bug，而是设计上的 trade-off（用有限资源获得足够精度与较大动态范围）。这是因为计算机内部表示小...
- 1 简介一次一密流加密（Stream Cipher）中，“一次一密”（One-Time Pad / One-Time Key Stream）是一个工程与安全的理想目标。它的重要性和难以实现性，正好体现了理论安全与工程现实之间的差距。 2 一次一密 为何重要？1 安全性的上限：达到信息论安全“一次一密”指的是：密钥流只使用一次，且不被重复在这种情况下，流加密可以达到与**一次性密码本（On... 1 简介一次一密流加密（Stream Cipher）中，“一次一密”（One-Time Pad / One-Time Key Stream）是一个工程与安全的理想目标。它的重要性和难以实现性，正好体现了理论安全与工程现实之间的差距。 2 一次一密 为何重要？1 安全性的上限：达到信息论安全“一次一密”指的是：密钥流只使用一次，且不被重复在这种情况下，流加密可以达到与**一次性密码本（On...
- 1 简介本文从模式/结构类型、国际标准与代表算法、以及最基本的设计原理与思想三个层面，系统性地分析流加密（Stream Cipher）。 2 流加密的主要模式（结构类型）流加密并不是像分组密码那样有“ECB / CBC / CTR”等工作模式，而是根据密钥流（Keystream）的生成结构来分类。1 同步流加密（Synchronous Stream Cipher）特点密钥流只依赖于 密钥 ... 1 简介本文从模式/结构类型、国际标准与代表算法、以及最基本的设计原理与思想三个层面，系统性地分析流加密（Stream Cipher）。 2 流加密的主要模式（结构类型）流加密并不是像分组密码那样有“ECB / CBC / CTR”等工作模式，而是根据密钥流（Keystream）的生成结构来分类。1 同步流加密（Synchronous Stream Cipher）特点密钥流只依赖于 密钥 ...
- 1 简介流加密（Stream Cipher）流加密的基本设计原理和思想流加密（Stream Cipher）是一种对称密钥加密算法，其核心思想是模拟一次性密码本（One-Time Pad, OTP）的安全性，但通过伪随机生成器来产生密钥流，从而避免OTP需要无限长密钥的实际问题。 2 设计原理流加密的设计基于以下最基本原理：密钥流生成：使用一个伪随机密钥流生成器（Keystream Gene... 1 简介流加密（Stream Cipher）流加密的基本设计原理和思想流加密（Stream Cipher）是一种对称密钥加密算法，其核心思想是模拟一次性密码本（One-Time Pad, OTP）的安全性，但通过伪随机生成器来产生密钥流，从而避免OTP需要无限长密钥的实际问题。 2 设计原理流加密的设计基于以下最基本原理：密钥流生成：使用一个伪随机密钥流生成器（Keystream Gene...
- 1 简介背景什么是分组加密（Block Cipher）分组加密是一种对称加密算法，其核心特征是：将明文按**固定长度的分组（block）**进行加密，每一组在同一密钥控制下，通过可逆变换生成等长密文。常见分组长度：64 bit（已逐步淘汰）128 bit（现代标准） 2 分组加密的核心特点1 固定长度分组明文被切分成固定长度块（如 AES 的 128 bit）最后一块不足时需要填充（Pad... 1 简介背景什么是分组加密（Block Cipher）分组加密是一种对称加密算法，其核心特征是：将明文按**固定长度的分组（block）**进行加密，每一组在同一密钥控制下，通过可逆变换生成等长密文。常见分组长度：64 bit（已逐步淘汰）128 bit（现代标准） 2 分组加密的核心特点1 固定长度分组明文被切分成固定长度块（如 AES 的 128 bit）最后一块不足时需要填充（Pad...
上滑加载中
推荐直播
-
华为云码道-AI时代应用开发利器2026/03/18 周三 19:00-20:00
童得力，华为云开发者生态运营总监/姚圣伟，华为云HCDE开发者专家
本次直播由华为专家带你实战应用开发，看华为云码道(CodeArts)代码智能体如何在AI时代让你的创意应用快速落地。更有华为云HCDE开发者专家带你用码道玩转JiuwenClaw，让小艺成为你的AI助理。
回顾中 -
Skill 构建 × 智能创作：基于华为云码道的 AI 内容生产提效方案2026/03/25 周三 19:00-20:00
余伟，华为云软件研发工程师/万邵业（万少），华为云HCDE开发者专家
本次直播带来两大实战：华为云码道 Skill-Creator 手把手搭建专属知识库 Skill；如何用码道提效 OpenClaw 小说文本，打造从大纲到成稿的 AI 原创小说全链路。技术干货 + OPC创作思路，一次讲透！
回顾中 -
码道新技能，AI 新生产力——从自动视频生成到开源项目解析2026/04/08 周三 19:00-21:00
童得力-华为云开发者生态运营总监/何文强-道通无人机企业AI提效负责人
本次华为云码道 Skill 实战活动，聚焦两大 AI 开发场景：通过实战教学，带你打造 AI 编程自动生成视频 Skill，并实现对 GitHub 热门开源项目的智能知识抽取，手把手掌握 Skill 开发全流程，用 AI 提升研发效率与内容生产力。
即将直播
热门标签