你的方案里完全没有提。
我要知道,飞机表面被离散成上亿个网格点,这些数据在內存中如何组织?
你考虑过cpu的缓存行对齐来避免偽共享问题了吗?”
“嗡!”
刘毅的脑袋里像是被狠狠敲了一下。
缓存行对齐?
偽共享?
瞬间刺破了他方案华丽架构的外壳!
这是只有最顶尖的高性能计算专家,在进行底层优化时才会去死磕的细节!
对於习惯了应用层开发的程式设计师来说,这几乎是知识盲区!
他引以为傲的微服务、docker,在这些底层硬体效率问题面前,听起来像个笑话。
冷汗瞬间从他的额角渗了出来。
不等他回答,许燃的第二个问题接踵而至。
“第二个问题,多线程模型。
你说用c++,无非就是用標准库里的std::mutex或者std::lock_guard来给共享数据加锁。
但我们的计算场景,是典型的多生產者-单消费者模型。
每次加锁解锁,都意味著用户態到內核態的切换,会带来多大的上下文开销?
为什么不用基於cas原子操作的无锁队列?”
如果说第一个问题只是让他震惊,第二个问题就让他感到了恐惧!
无锁编程!
这在程式设计师的世界里,堪称金字塔尖的屠龙之技!
难度极高,稍有不慎就会导致逻辑崩溃,但一旦成功,带来的性能提升是碾压性的!
这个搞应用数学的,怎么会对计算机並发编程的底层原理,理解到这种妖孽的程度?
会议室里,几位教授的脸色已经变了,他们看著许燃的背影,眼神里充满了骇然。
许燃仿佛没有看到这一切。
他的声音依旧平稳,提出了第三个,也是最致命的一个问题。
“第三个问题,算法。
这是核心。
我看到你的架构图里,『模型计算只是一个黑盒子。
核心的偏微分方程求解器,你准备用传统的有限元法(fem)还是有限差分法(fdm)?
这两种方法,时间复杂度都是o(n3),面对我们上亿的网格,超算来了也得算到天荒地老。”
许燃转过身,目光第一次直视刘毅,眼神平静如水。
“我的论文第十七页,第四节,专门论述了如何引入『快速多极子算法(fmm)对格林函数进行加速。