如何启动SimGrid并行模式？配置后触发段错误求助

问题场景 #

在多核心主机上运行多Actor仿真时，仅单核心被占用导致耗时过长，尝试启用并行运行后触发段错误。

尝试操作与错误信息 #

1. 首次添加多线程配置：

   simgrid::s4u::Engine::set_config("contexts/nthreads:2");
   

   触发错误：

   Segmentation fault.
   Segmentation fault (core dumped)
   

2. 补充主机模型配置后：

   simgrid::s4u::Engine::set_config("host/model:ptask_L07");
   

   调用e.run()仍触发段错误，回溯信息如下：

   #0  0x00007ffff76c6b05 in std::_Rb_tree_rebalance_for_erase(std::_Rb_tree_node_base*, std::_Rb_tree_node_base&) () from /lib/x86_64-linux-gnu/libstdc++.so.6
   #1  0x00007ffff7b148b9 in simgrid::kernel::activity::ExecImpl::post() ()
      from /lib/x86_64-linux-gnu/libsimgrid.so.3.30
   #2  0x00007ffff7b73c36 in simgrid::kernel::EngineImpl::wake_all_waiting_actors() const ()
      from /lib/x86_64-linux-gnu/libsimgrid.so.3.30
   #3  0x00007ffff7b7b325 in simgrid::kernel::EngineImpl::run(double) ()
      from /lib/x86_64-linux-gnu/libsimgrid.so.3.30
   #4  0x000055555555b834 in main (argc=2, argv=0x7fffffffdf58)
       at /home/zinnia/project/SimgridTest/src/SimgridTest.cpp:115
   

排查与解决步骤 #

1. 确认配置设置顺序 #

必须在Engine实例化前完成所有配置项设置，否则会导致内部状态不一致。正确代码顺序：

int main(int argc, char** argv) {
    // 先设置所有配置参数
    simgrid::s4u::Engine::set_config("contexts/nthreads:2");
    simgrid::s4u::Engine::set_config("host/model:ptask_L07");
    
    // 再初始化Engine
    simgrid::s4u::Engine e(&argc, argv);
    
    // 后续加载平台、创建Actor等操作
    e.load_platform("platform.xml");
    // ...
    e.run();
    return 0;
}

2. 检查共享数据的线程安全 #

多线程模式下，不同Actor访问全局/共享变量时，必须使用SimGrid同步原语（如Mutex）保护：

// 全局或共享作用域创建互斥锁
simgrid::s4u::MutexPtr shared_mutex = simgrid::s4u::Mutex::create();

// Actor内访问共享数据时加锁
shared_mutex->lock();
// 读取/修改共享数据逻辑
shared_mutex->unlock();

未加锁的并发访问会破坏内核数据结构（如回溯中的红黑树），直接触发段错误。

3. 验证模型与版本兼容性 #

• ptask_L07是并行任务专用模型，若你的仿真未使用并行任务，改用默认模型host/model:default更稳定。
• 你使用的SimGrid 3.30存在部分多线程已知bug，建议升级至最新稳定版（3.32+）。

4. 启用调试工具定位问题 #

添加调试配置启用AddressSanitizer，精准定位内存错误点：

simgrid::s4u::Engine::set_config("debug/sanitize:1");

编译时需添加ASan编译选项（-fsanitize=address），运行后会输出具体的内存违规位置。

内容的提问来源于stack exchange，提问作者zinnia