Esta pregunta es similar a una pregunta más general sobre cuál es el modelo teórico correcto de una computadora para diseñar algoritmos y estructuras de datos.
Aquí, pregunto específicamente sobre las computadoras actuales de alto rendimiento (como las que figuran como las 500 principales ) o incluso sobre próximas supercomputadoras.
Dado que estas computadoras generalmente están trabajando en grandes conjuntos de datos (parece que algunas personas usan tales máquinas principalmente porque tienen una enorme memoria principal combinada) aspectos del modelo de E / S (introducido por Aggarwal y Vitter en 1988 ) y su versión paralela , el PEM ( Arge, Goodrich, Nelson y Sitchinava en 2008 ) debería estar presente. Por otro lado, debería haber algo sobre la comunicación, en particular castigar los paquetes ultra pequeños a todos los demás nodos informáticos.
Como se puede imaginar, no temo que me estoy quedando sin ideas al crear un nuevo modelo, pero estoy un poco preocupado de que pueda pasar por alto los intentos anteriores al hacerlo, en particular porque tengo la impresión de que los años 1980- En 1995, más o menos, se observaron muchos de estos intentos de modelado (como BSP o modelos puente) que parecen no haber sido ampliamente utilizados.
¿Qué modelos debería analizar más de cerca?