笔试题目---02
1、简述一下裸机环境和RTOS环境如何对临界资源进行保护？
笔试中回答：
保证同一时间只有一个任务访问临界资源，使用volatile修饰变量
RTOS：使用互斥锁或临界区后再访问资源
裸机：使用全局变量标志位判断是否允许访问
标准答案：
裸机：__disable_irq()全局关中断（最常用），执行 __disable_irq() 进入临界区，执行 __enable_irq() 退出。
【缺点： 实时性杀手。如果临界区代码执行时间过长，会导致高优先级的紧急中断无法及时响应，甚至丢失。】
RTOS：在RTOS中，除了中断，多任务并发是更大的挑战。如果仅仅使用“关中断”，会严重影响系统的任务调度效率。
互斥量（Mutex）—— 核心机制
这是RTOS中保护临界资源的标准做法。
实现原理： 就像一把“钥匙”。任务A想用资源，先申请锁（Take）；如果锁被任务B占用，任务A会主动阻塞（挂起），让出CPU给其他任务，而不是死等。当任务B释放锁（Give）后，RTOS会唤醒任务A。
优先级继承： 这是一个关键特性。如果低优先级任务拿着锁，而高优先级任务在等锁，RTOS会临时提升低优先级任务的优先级，防止中等优先级的任务插队导致高优先级任务长时间等待（即解决“优先级翻转”问题）。
任务调度器挂起（vTaskSuspendAll）
适用场景： 当临界区只涉及任务间的共享数据，而不涉及中断服务程序时，可以暂时挂起RTOS的任务调度器。
效果： 此时中断依然可以响应，但任务不会发生切换。这比完全关中断要灵活，比互斥量开销小。
临界区宏（portENTER_CRITICAL）
RTOS底层依然会使用关中断（如操作BASEPRI）来保护其内核数据结构。但这通常由RTOS内部自动处理，或者仅用于极短的内核级操作，不建议应用层开发者长时间使用。
如果你在做裸机开发，对于简单的变量修改，优先使用 volatile 关键字配合原子操作或短暂的关中断；对于复杂的Flash擦写或外设配置，务必使用关中断保护，但要严格控制时间。如果你在使用RTOS，请尽量使用互斥量（Mutex）来保护耗时较长的资源访问，避免直接关中断。
2、编写中断处理程序应遵循什么原则？
笔试中回答：
标准答案：
编写中断处理程序的核心原则是 “快进快出”，确保其执行时间尽可能短，以最小化对系统其他任务的影响。
禁止延时：绝对不能调用任何形式的延时函数（如delay_ms()、vTaskDelay()）；
禁止使用可能阻塞的同步原语：不能调用可能使当前上下文挂起的函数，例如xSemaphoreTake()（如果信号量不可用）；
避免调用不可重入或耗时函数：像printf、malloc这类函数通常不是为中断上下文设计的，它们可能内部会阻塞、修改全局状态或执行时间不确定，应避免在中断中使用。
3、RTOS常见的任务间通信方式有哪些？如何进行任务间同步？
笔试中回答：
标准答案：
队列 (Queue)
工作原理：遵循先进先出（FIFO）的原则。一个或多个任务（生产者）可以向队列中发送消息，一个或多个任务（消费者）可以从队列中接收消息。
特点：
数据传输：可以传递任意类型和大小的数据（如整数、结构体等）。
解耦：发送方和接收方不需要同时运行，队列会暂存数据。
阻塞机制：当队列满时，发送任务可以阻塞等待；当队列空时，接收任务可以阻塞等待，从而高效利用CPU。
变体：消息邮箱 (Mailbox)
消息邮箱本质上是长度为1的队列。它通常用于传递最新的、单一的状态信息，新的消息可能会覆盖旧的消息。
任务通知 (Task Notification)
工作原理：一个任务可以直接向另一个指定的任务发送通知（可以附带一个数值）。接收任务的TCB（任务控制块）中内置了接收通知的机制。
特点：
高效：无需创建队列、信号量等内核对象，速度更快，占用内存更少。
定向：通知是直接发送给特定任务的，适合“一对一”或“多对一”的通信场景。
4、裸机开发中一般用什么方式开发？如何避免任务长时间阻塞？
笔试中回答：
标准答案：
1. 前后台系统 (Foreground-Background System)
这是最基础也是最经典的裸机架构，也称为“超级循环+中断”模型。
前台 (Foreground)：由中断服务程序 (ISR) 构成，负责处理所有实时性要求高、执行时间短的紧急事件，如接收一个串口字符、响应一个按键。
后台 (Background)：由一个无限循环 while(1) 构成，负责处理耗时较长、实时性要求不高的主要业务逻辑。
协作方式：ISR 通常只负责设置一个 volatile 类型的全局标志位或向缓冲区写入数据，然后迅速退出。主循环则不断轮询这些标志位，一旦发现某个标志被置位，就执行相应的处理函数。
2. 时间片轮询 (Time-slicing Polling)
这是对前后台系统的升级，旨在让后台的多个任务能够按照预定的周期有序执行，避免某个任务独占CPU。
核心思想：利用一个硬件定时器（如SysTick）产生固定周期（例如1ms）的中断，并在中断中递增一个全局的 sys_tick 计数器。
实现方式：在主循环中，每个任务都通过检查“当前时间 - 上次执行时间”是否达到其预设周期，来决定是否执行。
3. 状态机 (State Machine)
状态机是解决复杂任务逻辑和避免阻塞的核心设计模式。它将一个可能耗时的任务分解成一系列小的、可以快速执行的步骤（状态）。
工作原理：任务不再是线性的 执行 -> 等待 -> 再执行，而是 检查状态 -> 执行一小步 -> 切换到下一个状态 -> 退出。下次主循环调用时，再从当前状态继续执行下一步。
优势：通过这种“分而治之”的方法，即使是一个复杂的通信协议解析或一个需要延时的操作，也可以被拆解成多个不会阻塞主循环的小片段。
5、简述一下编译过程？
笔试中回答：
标准答案：
1.预处理 (Preprocessing)
这是编译的第一步，由预处理器（Preprocessor）完成。它主要处理源代码中以 # 开头的指令，进行纯文本层面的替换和整理，生成一个 .i 文件。
展开宏定义 (#define)：将代码中所有的宏替换成其定义的实际内容。
处理头文件包含 (#include)：将 #include 指令指定的头文件内容，原封不动地插入到当前位置。
处理条件编译 (#ifdef, #if 等)：根据条件判断，决定保留或删除哪些代码块。
删除注释和多余空白：移除所有注释，使代码更紧凑。
输入：main.c
输出：main.i (预处理后的文件)
编译 (Compilation)
这个阶段是整个过程的核心，由编译器（Compiler）负责。它将预处理后的文件进行深度分析和转换，最终生成汇编代码（.s 文件）。这个过程又细分为以下几个关键步骤：
词法分析 (Lexical Analysis)：将源代码的字符流分解成一个个有意义的“记号”（Token），如关键字（if, int）、标识符（变量名）、运算符（+, =）等。
语法分析 (Syntax Analysis)：根据语言的语法规则，将记号序列组织成一棵“抽象语法树”（AST），检查代码结构是否正确（如括号是否匹配、是否缺少分号）。
语义分析 (Semantic Analysis)：在语法正确的基础上，进行类型检查、变量作用域分析等，确保代码在逻辑上是合理的（如检查是否对不兼容的类型进行操作）。
代码优化 (Code Optimization)：对中间代码进行优化，以提高程序的运行效率或减小代码体积，例如常量折叠、死代码消除等。
代码生成 (Code Generation)：将优化后的中间代码转换成目标平台的汇编代码。
输入：main.i
输出：main.s (汇编代码文件)
汇编 (Assembly)
汇编器（Assembler）接手编译阶段生成的汇编代码（.s 文件），将其翻译成计算机可以直接识别的二进制指令，生成一个“目标文件”（Object File）。
在 Windows 系统上，目标文件通常是 .obj 格式。
在 Linux/Unix 系统上，目标文件通常是 .o 格式。
这个文件包含了机器码，但其中的函数和变量地址还是临时的，无法直接运行。
输入：main.s
输出：main.o (目标文件)
链接 (Linking)
这是最后一步，由链接器（Linker）完成。
一个程序通常由多个源文件编译而成，并且会调用标准库或第三方库中的函数。链接器的任务就是将这些分散的目标文件和库文件“拼装”在一起，生成最终的可执行文件。
符号解析 (Symbol Resolution)：找到所有函数和变量的定义，解决它们之间的相互引用。例如，main.o 中调用了 printf，链接器会在标准库中找到 printf 的定义。
重定位 (Relocation)：为所有符号分配最终的内存地址，修正目标文件中的临时地址。
链接完成后，就生成了我们熟悉的 .exe (Windows) 或无后缀 (Linux) 的可执行文件。
输入：main.o, add.o, libc.a (库文件) 等
输出：main.exe (可执行文件)
6、简述一下Cortex-M启动流程？
笔试中回答：
标准答案：
Cortex-M 的启动流程是一个由硬件和软件紧密配合、精确定义的序列。它的核心目标是：在硬件复位后，为 C 语言程序（main 函数）准备好一个稳定、可预测的运行环境。
整个过程可以清晰地划分为三个主要阶段：硬件复位、汇编级初始化 和 C 运行时初始化。
第一阶段：硬件复位 (Hardware Reset)
1.初始化堆栈指针 (MSP)
2.跳转至复位处理函数
第二阶段：汇编级初始化 (Assembly Initialization)
1.系统硬件初始化 (SystemInit)
Reset_Handler 首先会调用一个名为 SystemInit 的 C 函数。这个函数负责配置最基础的硬件环境，特别是时钟系统（如配置 PLL、选择时钟源）和 Flash 等待周期，确保 CPU 能在正确的频率下稳定运行。
2.跳转到 C 运行时入口 (__main)
完成基本的硬件初始化后，Reset_Handler 会跳转到 C 库的入口函数，通常是 __main（在 Keil MDK 中）或类似名称的函数。请注意，__main 并不是你编写的 main 函数，而是编译器提供的、用于搭建 C 运行环境的函数。
第三阶段：C 运行时初始化 (C Runtime Initialization)
1.复制 .data 段
将所有已初始化的全局变量和静态变量（存储在 .data 段）从 Flash 复制到 RAM 中。因为这些变量在程序运行中可能会被修改，所以必须在 RAM 中有一份副本。
2.清零 .bss 段
将所有未初始化的全局变量和静态变量（存储在 .bss 段）在 RAM 中的空间全部清零。这符合 C 语言标准中“未初始化全局变量默认为0”的规定。
3.调用用户 main 函数
当 .data 段复制完毕、.bss 段清零后，C 运行环境已完全搭建好。__main 函数最后会调用你编写的 main 函数，将控制权正式移交给你的应用程序。从此，你的代码开始主导一切。
硬件复位 → 读取向量表 → 执行 Reset_Handler → 调用 SystemInit → 调用 __main → 进入 main
7、裸机中如何修改栈空间大小？栈溢出会导致什么后果？
笔试中回答：
标准答案：
1. 修改启动文件（最常见于嵌入式 ARM Cortex-M）
在大多数嵌入式项目（如 STM32）中，栈的大小通常在启动汇编文件（如 startup_xxx.s）中定义。
操作：打开 .s 文件，找到类似 Stack_Size 的标签或宏定义。
; 在 startup_stm32f10x_hd.s 中
Stack_Size EQU 0x00000400 ; 这里定义了 1024 字节 (0x400)
AREA STACK, NOINIT, READWRITE, ALIGN=3
你可以直接修改 0x00000400 这个十六进制数值来调整栈大小。
2.修改链接脚本（Linker Script / .ld 文件）
如果你使用 GCC 或 IAR 等工具链，栈的大小通常在链接脚本中定义。
操作：找到 .ld 文件，查找 MIN_STACK_SIZE 或 _Min_Stack_Size 等符号。
示例：
/* 在 .ld 文件中 */
_Min_Stack_Size = 0x400; /* 定义最小栈大小 */
3. 修改 IDE 工程配置（如 Keil MDK 或 IAR）
很多集成开发环境提供了图形化界面来配置内存布局，不需要直接修改代码。
Keil MDK：点击魔术棒图标 -> Target 选项卡 -> I/R/O 按钮 -> 在弹出的对话框中修改 Stack 的大小。
IAR EWARM：在工程选项 -> Linker -> Config 中，通常可以编辑 .icf 文件或直接在配置界面修改 Stack size。
栈溢出会导致什么后果？
栈溢出（Stack Overflow）是指程序向栈中写入的数据超过了为其分配的内存空间。由于栈通常是从高地址向低地址增长的，一旦溢出，它会覆盖相邻的低地址内存区域。
在裸机系统中，后果通常非常严重且难以调试：
1. 破坏全局变量（最常见）
栈的下方通常紧邻着全局变量和静态变量存储区（.data 和 .bss 段）。
后果：栈溢出会直接改写全局变量的值。例如，你的一个全局标志位 system_status 突然莫名其妙地变了，或者一个配置参数被清零，导致程序逻辑彻底混乱。
2. 破坏代码段或中断向量表
如果栈非常大，或者内存布局紧凑，溢出可能会进一步覆盖代码段（.text）或中断向量表。
后果：程序跑飞。CPU 可能会执行非法的指令，或者在发生中断时跳转到错误的地址，导致系统立即崩溃或进入无法恢复的状态。
3. 破坏堆空间（Heap）
在某些内存布局中，栈和堆是相邻的（或者堆在栈的下方）。
后果：栈溢出会破坏堆的管理结构。当你后续尝试调用 malloc 或 free 时，程序会因为堆结构损坏而死机。
【4. 产生 HardFault（硬件错误异常）】
这是“最好”的情况。如果溢出导致栈指针（SP）指向了不存在的内存区域（例如超出了 SRAM 的物理边界），CPU 会触发 HardFault 异常。
后果：系统进入死循环或复位。虽然这看起来是崩溃，但相比于“静默的数据损坏”，HardFault 至少能让你知道系统出错了，可以通过调试器定位到错误发生的位置。
8、是否了解PID原理，如何实现一个简单的PID控制？
笔试中回答：
标准答案：
PID（比例-积分-微分）控制是工业控制领域应用最广泛的算法之一。它的核心思想是通过计算目标值与实际值之间的误差，并利用这个误差来调整控制量，使系统输出稳定在目标值附近。
如何实现一个简单的PID控制？
在计算机或单片机中，我们通常使用位置式PID的离散化公式来实现。下面是一个用C语言编写的简单PID结构体和计算函数。
- 定义PID结构体
这个结构体用于保存PID控制器的所有状态和参数。
typedef struct {
// PID参数
float Kp; // 比例系数
float Ki; // 积分系数
float Kd; // 微分系数
// 内部状态变量
float integral; // 积分累加值
float prev_error; // 上一次的误差
} PID_TypeDef;
- 编写PID计算函数
这个函数在每个控制周期被调用，根据当前的反馈值计算出控制输出。
/**
* @brief 计算PID输出
* @param pid: PID结构体指针
* @param setpoint: 目标值
* @param feedback: 实际反馈值
* @return float: 计算出的控制量
*/
float PID_Calculate(PID_TypeDef *pid, float setpoint, float feedback) {
// 1. 计算当前误差
float error = setpoint - feedback;
// 2. 计算积分项 (累加误差)
pid->integral += error;
// 【重要】积分限幅，防止积分饱和
// 假设积分项最大不超过1000
if (pid->integral > 1000.0f) {
pid->integral = 1000.0f;
} else if (pid->integral < -1000.0f) {
pid->integral = -1000.0f;
}
// 3. 计算微分项 (误差的变化率)
float derivative = error - pid->prev_error;
// 4. 计算总输出 = P + I + D
float output = pid->Kp * error + pid->Ki * pid->integral + pid->Kd * derivative;
// 5. 更新历史误差，为下一次计算做准备
pid->prev_error = error;
// 【可选】输出限幅，确保输出在硬件可接受范围内
// 例如，PWM占空比限制在0-1000之间
if (output > 1000.0f) {
output = 1000.0f;
} else if (output < 0.0f) {
output = 0.0f;
}
return output;
}
3.如何使用与参数整定？
使用流程
初始化：创建一个PID_TypeDef变量，并设置好Kp、Ki、Kd的初始值（可以先设为0）。
循环调用：在一个固定周期的定时器中断或主循环中，调用PID_Calculate函数。
应用输出：将函数返回的output值作用于你的执行器（如电机PWM、加热丝功率等）。
参数整定（调参）口诀
调参是PID应用中最关键也最需要经验的一步。一个经典的工程方法是“先P，后I，再D”。
(1)调比例 (P)：
先将Ki和Kd设为0。
逐渐增大Kp，直到系统输出出现轻微的、等幅的震荡。
然后将Kp减小到临界值的50%-60%左右。
(2)调积分 (I)：
在P的基础上，从一个较小的值开始逐渐增大Ki。
目标是消除稳态误差，同时观察系统响应，避免产生过大的超调或震荡。
(3)调微分 (D)：
最后，如果需要更快的响应和更小的超调，可以逐渐增大Kd。
微分项能有效抑制震荡，让系统曲线更平滑，但它对噪声敏感，不宜过大。
浙公网安备 33010602011771号