蚂蚁集团与香港科技大学合作论文获ACM SIGPLAN Distinguished Paper Award

2023/01/04 18:00
阅读数 296

近日,面向对象技术领域的计算机编程语言领域顶级会议OOPSLA公布论文接收结果,蚂蚁集团与香港科技大学合作的一篇编程语言相关论文荣获ACM SIGPLAN Distinguished Paper Award,成为OOPSLA 2022唯一获此荣誉的中国论文。

面向对象程序设计语言大会OOPSLA(ACM international conference on Object oriented programming systems languages and applications)是计算机协会ACM 的重要年度性会议,大会主题为程序语言的设计(如语言设计和拓展,类型系统,程序语义与逻辑)、支持环境(如编译器,运行时技术)及其应用(如程序分析,程序验证,程序合成)。

此次蚂蚁集团获ACM SIGPLAN Distinguished Paper Award的论文为《Complexity-guided container replacement synthesis》,论文基于蚂蚁集团的真实业务场景展开研究,其研究成果旨在提升程序运行效率,节约计算资源。

容器使用不当的场景在java中十分常见(比如用linkedlist进行随机访问),此时程序的功能正确性虽然没有问题,但依然带来了不必要的复杂性,浪费了计算资源。因此,为提升程序运行效率,节省算力降低能耗,该论文提出了一种基于程序综合用以替换容器类型来提高程序运行时性能的方法-- Cres方法,用以规避列表和映射等容器类型选择不当所可能导致的严重性能问题。

Cres利用静态分析技术识别容器在程序中的使用方式,并尝试为每个容器方法调用选择时间复杂度更低的方法,从而保持程序原有行为并减少执行时间。在 12 个真实世界的 Java 项目上对其进行评估的结果表明,经Cres进行容器类型替换后生成的程序可以实现平均 8.1% 的运行时性能提升。值得一提的是,Cres可以在 14 分钟内完成对规模为 384.2 KLoC 的项目的分析。论文基于蚂蚁代码分析实验平台Pinpoint完成了 Cres 的算法实现, 目前已实现相关代码合入公司Pinpoint项目当中,产生实际应用价值。

合成算法Cres流程图

据不完全统计,此前在计算机编程语言领域的各大国际顶会中,获得ACM SIGPLAN Distinguished Paper Award的中国论文总计不超过10篇,此次蚂蚁集团的论文获奖,显示出国内企业在该领域的技术进步。

据公开数据,蚂蚁集团2018-2021年科研经费投入规模年均增长率超过39%,2021年科研投入超过188亿元,并成立了蚂蚁技术研究院,加大对前沿科学技术的探索与研究。

本文分享自微信公众号 - 支付宝技术(Ant-Techfin)。
如有侵权,请联系 support@oschina.cn 删除。
本文参与“OSC源创计划”,欢迎正在阅读的你也加入,一起分享。

展开阅读全文
加载中
点击引领话题📣 发布并加入讨论🔥
0 评论
0 收藏
0
分享
返回顶部
顶部