目录
- 关键词
- 平台说明
- 一、 task stack
- 1.1 Task stack 的共享
- 1.2 task stack 的实际使用大小
- 二、ISR stack
- 2.1 ISR stack 的共享
- 三、Single-stack（单一栈）和multi-stack （多栈）策略
- 3.1 Single-stack
- 3.2 multi-stack
- 四、Stack Check Strategy
- 4.1Software Stack Check
- 4.1.1 使用限制
- 4.1.2配置
- 4.1.3 检查的调用
- 4.2 Stack supervision by memory protection unit (MPU)
- 4.2.1 使用限制
- 4.2.2 检查的调用
- 五、Stack Usage Measurement
- 5.1 配置
- 5.2 API
关键词
嵌入式、C语言、autosar、OS、BSW
平台说明
| 项目 | Value |
|---|---|
| OS | autosar OS |
| autosar厂商 | vector ，ETAS |
| 芯片厂商 | TI |
| 编程语言 | C，C++ |
| 编译器 | HighTec (GCC) |
>>>>>回到总目录<<<<<<
一、 task stack
1.1 Task stack 的共享
为了节约RAM 的使用，TASK间可以共享使用stack，但是要满足以下条件：
1.task 类型必须为basic task。
2.task 的优先级必须相同。
3.task必须配置为非抢占式的且勾选上OsTaskStackSharing
4.task不能调用OS service Schedule()。
5.共享stack 的task必须在同一个核内。
1.2 task stack 的实际使用大小
vector 工具链中，一般每个task单独使用一个stack。在task 从run进入ready或者waiting的时候，任务的等待事件栈上下文，包括操作系统上下文，本地数据，函数调用的堆栈帧等，被保存到内部操作系统缓冲区中，他们的总大小就是task stack 的实际使用大小。
二、ISR stack
2.1 ISR stack 的共享
为了节约RAM 的使用，ISR间可以共享使用stack，但是要满足以下条件：
1.ISR必须为2类中断
2.ISR必须在同一个核内。
3.OsIsrEnableNesting必须配置为FALSE。
4.ISR必须为同一优先级。
三、Single-stack（单一栈）和multi-stack （多栈）策略
此策略出现在ETAS 的实现方式中，Vector没有此策略。
3.1 Single-stack
所谓的单一栈指的是所有的TASK都使用了同一个栈,当task被抢占的时候栈是被叠加的，栈的实际大小会被一直增加。所以在配置stack大小的时候需要考虑到低优先级被抢占的情况避免栈的上溢，OS会以最糟糕的抢占情况下去计算stack。下图为抢占式的task。
而非抢占式的task的栈大小仅为当前task’的栈大小。如下图所示。
3.2 multi-stack
多栈模式指的是每一个task有单独的stack。即使使用多个物理堆栈，RTA-OS仍然提供单堆栈体系结构的好处——当任务和/或isr共享一个优先级时，每个物理堆栈上所需的堆栈空间可以被覆盖。但是，要使堆栈分配正常工作，您需要指定每个堆栈上所需的空间。如果您配置的目标需要此信息，RTA-OS将要求您提供多个堆栈值。如下图所示：
四、Stack Check Strategy
不管是何种OS，都应该检测和保护stack避免其溢出。在MICROSAR OS中提供了如下策略：
| Scalability Class | Stack check strategy |
|---|---|
| SC1 / SC2 | Software stack check |
| SC3 / SC4 | Stack supervision by memory protection unit (MPU) |
什么是Scalability Class 见 [AutoSar]BSW_OS 01 Autosar OS入门第四节。
4.1Software Stack Check
初始化的时候在每一个stack 的最后填充0xAAAAAAAA（以32位单片机为例），当stack切换的时候检测最后这个elment是否被改变来判定stack的溢出。
4.1.1 使用限制
1.适用于SC1 SC2，如果禁用了MPU，SC3和SC4也能用Software Stack Check。
2.无法检测到所有的 栈溢出，因为有的时候相邻的stack已经被覆写了，但是刚好上一个stack 的最后一个element
没被改变。
3.如果内存已经被破坏，Software Stack Check 无法检测stack 溢出。
4.1.2配置
在SC1 SC2 scalability模式下 OsStackMonitoring = true。
4.1.3 检查的调用
如4.1.2所述，一旦激活了该检查机制，OS会自动的检查每个stack，一旦发现溢出则会转入shutdown，如果用户配置了ShutdownHook，在系统关闭前会调用此hook。
4.2 Stack supervision by memory protection unit (MPU)
在OS运行的整个过程中，活动的stack都会交由MPU监控，因此OS会保留一个专用的MPU区域用于在OS切换的时候进行覆写。由于MPU的机制stack不会越界访问，所以stack溢出的情况不会发生，但是内存冲突的情况是可能发生的，一旦检测到内存冲突，会立即调用ProtectionHook()，用户可以在ProtectionHook()中决定如何进行下一步处理。
4.2.1 使用限制
仅仅适用于SC3 SC4.
4.2.2 检查的调用
OS会自动初始化一个MPU专有区域来监督stack。如何配置额外的MPU区域和区段链接将在 MPU章节详细讲解。
五、Stack Usage Measurement
我们可以在OS启动后的任一地方调用API来获取当前stack的占用大小。
5.1 配置
OsStackUsageMeasurement = true
5.2 API
>>>>>回到总目录<<<<<<
