C语言嵌入式系统编程修炼之道——软件架构篇

简介:


C语言嵌入式系统编程修炼之道——软件架构篇

作者:宋宝华  e-mail:[email]21cnbao@21cn.com[/email]

1.模块划分

模块划分的“划”是规划的意思,意指怎样合理的将一个很大的软件划分为一系列功能独立的部分合作完成系统的需求。 C 语言作为一种结构化的程序设计语言,在模块的划分上主要依据功能(依功能进行划分在面向对象设计中成为一个错误,牛顿定律遇到了相对论), C 语言模块化程序设计需理解如下概念:
(1)     模块即是一个 .c 文件和一个 .h 文件的结合,头文件 (.h) 中是对于该模块接口的声明;
(2)     某模块提供给其它模块调用的外部函数及数据需在 .h 中文件中冠以 extern 关键字声明;
(3)     模块内的函数和全局变量需在 .c 文件开头冠以 static 关键字声明;
(4)     永远不要在 .h 文件中定义变量!定义变量和声明变量的区别在于定义会产生内存分配的操作,是汇编阶段的概念;而声明则只是告诉包含该声明的模块在连接阶段从其它模块寻找外部函数和变量。如:
/*module1.h*/
int a = 5;               /*  在模块 1 .h 文件中定义 int a  */
 
 
/*module1 .c*/
#include “module1.h”     /*  在模块 1 中包含模块 1 .h 文件  */
 
 
/*module2 .c*/
#include “module1.h”     /*  在模块 2 中包含模块 1 .h 文件  */
 
 
/*module3 .c*/
#include “module1.h”     /*  在模块 3 中包含模块 1 .h 文件  */
以上程序的结果是在模块 1 2 3 中都定义了整型变量 a a 在不同的模块中对应不同的地址单元,这个世界上从来不需要这样的程序。正确的做法是:
/*module1.h*/
extern int a;               /*  在模块 1 .h 文件中 声明 int a  */
 
 
/*module1 .c*/
#include “module1.h”        /*  在模块 1 中包含模块 1 .h 文件  */
int a = 5;                 /*  在模块 1 .c 文件中定义 int a  */
 
 
/*module2 .c*/
#include “module1.h”        /*  在模块 2 中包含模块 1 .h 文件  */
 
 
/*module3 .c*/
#include “module1.h”     /*  在模块 3 中包含模块 1 .h 文件  */
这样如果模块 1 2 3 操作 a 的话,对应的是同一片内存单元。
一个嵌入式系统通常包括两类模块:
1 )硬件驱动模块,一种特定硬件对应一个模块;
2 )软件功能模块,其模块的划分应满足低偶合、高内聚的要求。

2.多任务还是单任务

所谓“单任务系统”是指该系统不能支持多任务并发操作,宏观串行地执行一个任务。而多任务系统则可以宏观并行(微观上可能串行)地“同时”执行多个任务。
多任务的并发执行通常依赖于一个多任务操作系统( OS ),多任务 OS 的核心是系统调度器,它使用任务控制块( TCB )来管理任务调度功能。 TCB 包括任务的当前状态、优先级、要等待的事件或资源、任务程序码的起始地址、初始堆栈指针等信息。调度器在任务被激活时,要用到这些信息。此外, TCB 还被用来存放任务的“上下文”( context) 。任务的上下文就是当一个执行中的任务被停止时,所要保存的所有信息。通常,上下文就是计算机当前的状态,也即各个寄存器的内容。当发生任务切换时,当前运行的任务的上下文被存入 TCB ,并将要被执行的任务的上下文从它的 TCB 中取出,放入各个寄存器中。
嵌入式多任务 OS 的典型例子有 Vxworks ucLinux 等。嵌入式 OS 并非遥不可及的神坛之物,我们可以用不到 1000 行代码实现一个针对 80186 处理器的功能最简单的 OS 内核,作者正准备进行此项工作,希望能将心得贡献给大家。
究竟选择多任务还是单任务方式,依赖于软件的体系是否庞大。例如,绝大多数手机程序都是多任务的,但也有一些小灵通的协议栈是单任务的,没有操作系统,它们的主程序轮流调用各个软件模块的处理程序,模拟多任务环境。

3.单任务程序典型架构

1 )从 CPU 复位时的指定地址开始执行;
2 )跳转至汇编代码 startup 处执行;
3 )跳转至用户主程序 main 执行,在 main 中完成:
a. 初试化各硬件设备;  
b. 初始化各软件模块;
c. 进入死循环(无限循环),调用各模块的处理函数
     用户主程序和各模块的处理函数都以 C 语言完成。用户主程序最后都进入了一个死循环,其首选方案是:
while(1)
{
}
有的程序员这样写:
for(;;)
{
}
这个语法没有确切表达代码的含义,我们从 for(;;) 看不出什么,只有弄明白 for(;;) C 语言中意味着无条件循环才明白其意。
下面是几个“著名”的死循环:
1 )操作系统是死循环;
2 WIN32 程序是死循环;
3 )嵌入式系统软件是死循环;
4 )多线程程序的线程处理函数是死循环。
你可能会辩驳,大声说:“凡事都不是绝对的, 2 3 4 都可以不是死循环”。 Yes you are right ,但是你得不到鲜花和掌声。实际上,这是一个没有太大意义的牛角尖,因为这个世界从来不需要一个处理完几个消息就喊着要 OS 杀死它的 WIN32 程序,不需要一个刚开始 RUN 就自行了断的嵌入式系统,不需要莫名其妙启动一个做一点事就干掉自己的线程。有时候,过于严谨制造的不是便利而是麻烦。君不见,五层的 TCP/IP 协议栈超越严谨的 ISO/OSI 七层协议栈大行其道成为事实上的标准?
经常有网友讨论:
printf(“%d,%d”,++i,i++);    /*  输出是什么? */
c = a+++b ;               /* c=? */
等类似问题。面对这些问题,我们只能发出由衷的感慨:世界上还有很多有意义的事情等着我们去消化摄入的食物。
实际上,嵌入式系统要运行到世界末日。

4.中断服务程序

中断是嵌入式系统中重要的组成部分,但是在标准 C 中不包含中断。许多编译开发商在标准 C 上增加了对中断的支持,提供新的关键字用于标示中断服务程序 (ISR) ,类似于 __interrupt #program interrupt 等。当一个函数被定义为 ISR 的时候,编译器会自动为该函数增加中断服务程序所需要的中断现场入栈和出栈代码。
中断服务程序需要满足如下要求:
(1) 不能返回值;
(2) 不能向 ISR 传递参数;
(3) ISR 应该尽可能的短小精悍;
(4) printf(char * lpFormatString,…) 函数会带来重入和性能问题,不能在 ISR 中采用。
在某项目的开发中,我们设计了一个队列,在中断服务程序中,只是将中断类型添加入该队列中,在主程序的死循环中不断扫描中断队列是否有中断,有则取出队列中的第一个中断类型,进行相应处理。
/*  存放中断的队列  */
typedef struct tagIntQueue
{
int intType;                /*  中断类型  */
struct tagIntQueue *next;
}IntQueue;
 
 
IntQueue lpIntQueueHead;
 
 
__interrupt ISRexample ()
{
  int  intType;
  intType = GetSystemType();
QueueAddTail(lpIntQueueHead, intType) /*  在队列尾加入新的中断  */
 }
在主程序循环中判断是否有中断:
While(1)
{
If( !IsIntQueueEmpty() )
   {
    intType = GetFirstInt();
    switch(intType)      /*   是不是很象 WIN32 程序的消息解析函数 ?  */
     {                /*   对,我们的中断类型解析很类似于消息驱动  */
     case xxx:          /*  我们称其为“中断驱动”吧?  */
      
     break;
     case xxx:
      
     break;
     
     }
}
    }
按上述方法设计的中断服务程序很小,实际的工作都交由主程序执行了。

5.硬件驱动模块

一个硬件驱动模块通常应包括如下函数:
1 )中断服务程序 ISR
2 )硬件初始化
a. 修改寄存器,设置硬件参数(如 UART 应设置其波特率, AD/DA 设备应设置其采样速率等);
b. 将中断服务程序入口地址写入中断向量表:
/*  设置中断向量表  */
  m_myPtr = make_far_pointer(0l); /*   返回 void far 型指针 void far *  */    
  m_myPtr += ITYPE_UART;  /*  ITYPE_UART  uart 中断服务程序  */
/*   相对于中断向量表首地址的偏移  */
  *m_myPtr = &UART _Isr;   /* UART _Isr UART 的中断服务程序  */
3 )设置 CPU 针对该硬件的控制线
a. 如果控制线可作 PIO (可编程 I/O )和控制信号用,则设置 CPU 内部对应寄存器使其作为控制信号;
b. 设置 CPU 内部的针对该设备的中断屏蔽位,设置中断方式(电平触发还是边缘触发)。
4 )提供一系列针对该设备的操作接口函数。例如,对于 LCD ,其驱动模块应提供绘制像素、画线、绘制矩阵、显示字符点阵等函数;而对于实时钟,其驱动模块则需提供获取时间、设置时间等函数。

6.C的面向对象化

在面向对象的语言里面,出现了类的概念。类是对特定数据的特定操作的集合体。类包含了两个范畴:数据和操作。而 C 语言中的 struct 仅仅是数据的集合,我们可以利用函数指针将 struct 模拟为一个包含数据和操作的“类”。下面的 C 程序模拟了一个最简单的“类”:
#ifndef  C_Class
       #define C_Class struct
#endif
C_Class A
{
       C_Class A *A_this;             /* this 指针  */
       void (*Foo)(C_Class A *A_this);  /*  行为:函数指针  */
       int a;                        /*  数据  */
       int b;
};
我们可以利用 C 语言模拟出面向对象的三个特性:封装、继承和多态,但是更多的时候,我们只是需要将数据与行为封装以解决软件结构混乱的问题。 C 模拟面向对象思想的目的不在于模拟行为本身,而在于解决某些情况下使用 C 语言编程时程序整体框架结构分散、数据和函数脱节的问题。我们在后续章节会看到这样的例子。

总结

本篇介绍了嵌入式系统编程软件架构方面的知识,主要包括模块划分、多任务还是单任务选取、单任务程序典型架构、中断服务程序、硬件驱动模块设计等,从宏观上给出了一个嵌入式系统软件所包含的主要元素。
请记住:软件结构是软件的灵魂!结构混乱的程序面目可憎,调试、测试、维护、升级都极度困难。

一个高尚的程序员应该是写出如艺术作品般程序的程序员。




 本文转自 21cnbao 51CTO博客,原文链接:http://blog.51cto.com/21cnbao/120790,如需转载请自行联系原作者



相关文章
|
2月前
|
SQL 前端开发 关系型数据库
如何开发一套研发项目管理系统?(附架构图+流程图+代码参考)
研发项目管理系统助力企业实现需求、缺陷与变更的全流程管理,支持看板可视化、数据化决策与成本优化。系统以MVP模式快速上线,核心功能包括需求看板、缺陷闭环、自动日报及关键指标分析,助力中小企业提升交付效率与协作质量。
|
23天前
|
数据采集 机器学习/深度学习 运维
量化合约系统开发架构入门
量化合约系统核心在于数据、策略、风控与执行四大模块的协同,构建从数据到决策再到执行的闭环工作流。强调可追溯、可复现与可观测性,避免常见误区如重回测轻验证、忽视数据质量或滞后风控。初学者应以MVP为起点,结合回测框架与实时风控实践,逐步迭代。详见相关入门与实战资料。
|
1月前
|
前端开发 JavaScript BI
如何开发车辆管理系统中的车务管理板块(附架构图+流程图+代码参考)
本文介绍了中小企业如何通过车务管理模块提升车辆管理效率。许多企业在管理车辆时仍依赖人工流程,导致违章处理延误、年检过期、维修费用虚高等问题频发。将这些流程数字化,可显著降低合规风险、提升维修追溯性、优化调度与资产利用率。文章详细介绍了车务管理模块的功能清单、数据模型、系统架构、API与前端设计、开发技巧与落地建议,以及实现效果与验收标准。同时提供了数据库建表SQL、后端Node.js/TypeScript代码示例与前端React表单设计参考,帮助企业快速搭建并上线系统,实现合规与成本控制的双重优化。
|
2月前
|
人工智能 监控 测试技术
告别只会写提示词:构建生产级LLM系统的完整架构图​
本文系统梳理了从提示词到生产级LLM产品的八大核心能力:提示词工程、上下文工程、微调、RAG、智能体开发、部署、优化与可观测性,助你构建可落地、可迭代的AI产品体系。
440 51
|
1月前
|
机器学习/深度学习 人工智能 缓存
面向边缘通用智能的多大语言模型系统:架构、信任与编排——论文阅读
本文提出面向边缘通用智能的多大语言模型(Multi-LLM)系统,通过协同架构、信任机制与动态编排,突破传统边缘AI的局限。融合合作、竞争与集成三种范式,结合模型压缩、分布式推理与上下文优化技术,实现高效、可靠、低延迟的边缘智能,推动复杂场景下的泛化与自主决策能力。
185 3
面向边缘通用智能的多大语言模型系统:架构、信任与编排——论文阅读
|
1月前
|
人工智能 自然语言处理 安全
AI助教系统:基于大模型与智能体架构的新一代教育技术引擎
AI助教系统融合大语言模型、教育知识图谱、多模态交互与智能体架构,实现精准学情诊断、个性化辅导与主动教学。支持图文语音输入,本地化部署保障隐私,重构“教、学、评、辅”全链路,推动因材施教落地,助力教育数字化转型。(238字)
|
2月前
|
消息中间件 数据采集 NoSQL
秒级行情推送系统实战:从触发、采集到入库的端到端架构
本文设计了一套秒级实时行情推送系统,涵盖触发、采集、缓冲、入库与推送五层架构,结合动态代理IP、Kafka/Redis缓冲及WebSocket推送,实现金融数据低延迟、高并发处理,适用于股票、数字货币等实时行情场景。
240 3
秒级行情推送系统实战:从触发、采集到入库的端到端架构
|
1月前
|
监控 数据可视化 数据库
低代码的系统化演进:从工具逻辑到平台架构的技术解读
低代码正从开发工具演变为支撑企业架构的智能平台,融合可视化开发、AI引擎与开放生态,实现高效构建、自动化运维与跨场景协同,推动数字化转型迈向智能化、系统化新阶段。
|
1月前
|
存储 人工智能 搜索推荐
拔俗AI助教系统:基于大模型与智能体架构的新一代教育技术引擎
AI助教融合大语言模型、教育知识图谱、多模态感知与智能体技术,重构“教、学、评、辅”全链路。通过微调LLM、精准诊断错因、多模态交互与自主任务规划,实现个性化教学。轻量化部署与隐私保护设计保障落地安全,未来将向情感感知与教育深度协同演进。(238字)
|
1月前
|
机器学习/深度学习 人工智能 搜索推荐
拔俗AI学伴智能体系统:基于大模型与智能体架构的下一代个性化学习引擎
AI学伴智能体系统融合大模型、多模态理解与自主决策,打造具备思考能力的个性化学习伙伴。通过动态推理、长期记忆、任务规划与教学逻辑优化,实现千人千面的自适应教育,助力因材施教落地,推动教育公平与效率双提升。(238字)