为当前和即将推出的高性能计算机设计算法的正确理论模型是什么

这个问题类似于一个更普遍的问题，即什么计算机在其中设计算法和数据结构的正确理论模型是正确的。
在这里，我专门询问当前的高性能计算机（例如列为前500强的计算机），甚至是关于即将到来的超级计算机。

鉴于这些计算机通常都在巨大的数据集上工作（似乎有些人使用这样的计算机，主要是因为它们具有庞大的组合主内存），其I / O模型（由Aggarwal和Vitter于1988年提出）及其并行版本，PEM（2008年Arge，Goodrich，Nelson和Sitchinava）应出席。另一方面，应该有一些关于通信的东西，特别是惩罚所有其他计算节点的超小型包装。

正如您可能想像的那样，在创建新模型时，我不担心会耗尽想法，但是我有点担心自己可能会忽略以前的尝试，特别是因为我印象中，1980年代大约在1995年，许多此类建模尝试（例如BSP或桥接模型）似乎并未得到广泛使用。

我应该仔细研究哪些型号？

在2009年PODC上，Bruce Hendrickson对这些问题进行了现象邀请。（他的幻灯片似乎并不在线，但是您可能想问他是否可以看到它们。）我认为还没有一个“正确的”模型-给您带来的好处！-但我建议您看一下他的论文，尤其是“ 图形和体系结构”页面上的论文，他在那里试图找出如何在大型多线程计算机上处​​理具有很少结构（即“现代”数据集）的巨大图形。

一个尚不清楚的问题是缓存将如何发展。Nikos Hardavellas在2009年的论文从系统角度考虑了这些问题，包括对可伸缩内存系统的物理限制的考虑。本文没有提出这样的模型，但可能会给您一些线索。

$\lceil \log x\rceil$