MIT工程师开发一种用于高性能计算机的新编程语言
越来越多的任务需要高性能计算——例如图像处理或神经网络上的各种深度学习应用程序——在这些任务中，人们必须处理大量数据，并且速度相当快。人们普遍认为，在执行此类操作时，在速度和可靠性之间存在不可避免的权衡问题。根据这种观点，如果速度是重中之重，那么可靠性可能会受到影响，反之亦然。
麻省理工学院的一组研究人员对这一概念提出了质疑，声称事实上，你可以同时用于两者。研究人员专门为高性能计算编写的新编程语言。最近开发的“张量语言”（ATL）的潜力巨大。
ATL 项目结合了 Ragan-Kelley 和 Chlipala 的两个主要研究兴趣。Ragan-Kelley 长期以来一直关注高性能计算背景下的算法优化。与此同时，Chlipala 更关注算法优化的形式化（如基于数学的）验证。
这是迄今为止唯一一个具有正式验证优化的张量语言。ATL 仍然只是一个原型——尽管它是一个很有前途的原型——目前已经在许多小程序上进行了测试。
展望未来，研究人员的主要目标之一是提高 ATL 的可扩展性。获取更多前沿科技 研究进展 访问：https://byteclicks.com
版权声明：除特殊说明外，本站所有文章均为 字节点击 原创内容，采用 BY-NC-SA 知识共享协议。原文链接：https://byteclicks.com/34392.html 转载时请以链接形式标明本文地址。转载本站内容不得用于任何商业目的。本站转载内容版权归原作者所有，文章内容仅代表作者独立观点，不代表字节点击立场。报道中出现的商标、图像版权及专利和其他版权所有的信息属于其合法持有人，只供传递信息之用，非商务用途。如有侵权，请联系 gavin@byteclicks.com。我们将协调给予处理。
