我的闪存中的MCU分节(通常)。
链接器将.struct_init,.struct_init_const,.struct_not_init部分放在属于闪存部分20的地址中。它在链接程序脚本中进行了硬编码。
考虑以下测试代码:
测试
typedef struct
{
int val1;
int val2;
} mystruct_t;
测试文件
#include "test.h"
// each variable is placed in dedicated section
// sections are placed in flash section20
// linker exports symbols with address of eaach section
__attribute__((section(".struct_init")))
mystruct_t struct_init = {
.val1 = 1,.val2 = 2};
__attribute__((section(".struct_init_const")))
extern const mystruct_t struct_init_const = {
.val1 = 1, .val2 = 2};
__attribute__((section(".struct_not_init")))
mystruct_t struct_not_init;
main.cpp
#include <stdint.h>
// This symbols exported by linker
// contains addresses of corresponding sections
extern uintptr_t LNK_STRUCT_INIT_ADDR;
extern uintptr_t LNK_STRUCT_INIT_CONST_ADDR;
extern uintptr_t LNK_STRUCT_NOT_INIT_ADDR;
// Pointers for indirect access to data
mystruct_t* struct_init_ptr = (mystruct_t*)LNK_STRUCT_INIT_ADDR;
const mystruct_t* struct_init_const_ptr = (const mystruct_t*)LNK_STRUCT_INIT_CONST_ADDR;
mystruct_t* struct_not_init_ptr = (mystruct_t*)LNK_STRUCT_NOT_INIT_ADDR;
// Extern variables declarations for DIRECT access data
extern mystruct_t struct_init;
extern const mystruct_t struct_init_const;
extern mystruct_t struct_not_init;
// This is some variables representing config values
// They can be more complex objects(classes) with internal state and logic..
int param1_direct;
int param1_init_const_direct;
int param1_not_init_direct;
int param1_indirect;
int param2_init_const_indirect;
int param1_not_init_indirect;
int main(void)
{
// local variables init with direct access
int param1_direct_local = struct_init.val1;
int param1_init_const_direct_local = struct_init_const.val1;
int param1_not_init_direct_local = struct_not_init.val1;
// local variables init with indirect access
int param1_indirect_local = struct_init_ptr->val1;
int param2_init_const_indirect_local = struct_init_const_ptr->val1;
int param1_not_init_indirect_local = struct_not_init_ptr->val1;
//global variables init direct
param1_direct = struct_init.val1;
param1_init_const_direct = struct_init_const.val1;
param1_not_init_direct = struct_not_init.val1;
//global variables init indirect
param1_indirect = struct_init_ptr->val1;
param2_init_const_indirect = struct_init_const_ptr->val1;
param1_not_init_indirect = struct_not_init_ptr->val1;
while(1){
// use all variables we init above
// usage of variables may also occure in some functions or methods
// directly or indirectly called from this loop
}
}
我想确定param1_变量的初始化将导致从闪存中获取数据。因为可以使用引导加载程序(在主固件未运行时)更改Flash section20中的数据。
问题是:LTO(和其他优化方法)是否可以丢弃从闪存中获取的数据,而仅替换已知值,因为由于初始化,它们在链接时是已知的。
哪种方法更好?
如果LTO可以替代值-那么应该避免初始化吗?
我知道volatile可以提供帮助,但是在这种情况下真的需要吗?
代码示例显示了访问和初始化数据的不同方法。
not_init版本似乎是最好的,因为编译器不能替代任何东西。但是拥有一些默认参数将是一个好主意,因此如果可以使用它,我更喜欢使用init版本。
应该选择哪种方法?
目前,我正在使用GCC 4.9.3,但这是有关任何C / C++编译器的普遍问题。
最佳答案
C和C++都具有extern
变量,可让您定义常量而无需立即给出其值:
// .h
extern int const param1;
extern char const* const param2;
// ...
通常,您将在(单个)源文件中定义它们,这会将它们隐藏在远离此源文件的任何地方。当然,这不是LTO的 flex ,但是,如果您可以禁用LTO,这是一个很简单的策略。
如果不能禁用LTO,则另一种解决方案是不定义它们,让LTO生成二进制文件,然后使用脚本将定义拼接到生成的二进制文件的右侧部分(可以刷新)。
由于该值在LTO时不可用,因此可以保证不会替代该值。
至于您介绍的解决方案,虽然
volatile
确实是一种符合标准的解决方案,但它暗示该值不是恒定的,从而阻止了在运行时对其进行缓存。您是否知道这是否可以接受,只是要知道它可能会对性能产生影响,我猜想在您使用LTO时要避免这种情况。关于c++ - LTO优化负面影响并找到最佳解决方案,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/31348093/