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