近日,ARM发布 2023全面计算解决方案(TCS23),并于北京举行了技术分享日活动,来自快手的技术专家分享了在大型项目中通过使用MTE来提升内存安全的最新实践。
ARM在 2023全面计算解决方案中,重点强调了内存标签扩展 (Memory Tagging Extension, MTE) 特性。据了解,MTE可以帮助开发者在部署之前和之后检测到内存安全问题,保证App内存稳定性提升用户体验,并减少安全漏洞降低受到攻击的可能性。
作为领先的短视频和直播平台,2023年一季度,快手应用的DAU同比增长8.3%达 3.74亿,短视频及直播内容的总观看次数同比增长超10%,累计互关用户对数超过296亿对。为了给用户提供极致体验,快手非常重视App稳定性和保护用户的隐私安全。
来自快手的技术专家李锐介绍,通过与ARM、Google、VIVO、荣耀等公司合作,快手在大型Android工程项目中使用 Arm MTE 提高内存安全,90% 的内存安全问题可以在 App 正式发布之前就在线下被检测拦截,全面保障线上用户的基础体验。
在追求高性能和跨平台的基础软件领域,快手使用C/C++/Assembly作为主要编程语言,这些语言提供了对内存的直接灵活控制,程序员需要手动管理内存,包括分配、释放和直接使用地址读写内存,通常被称为内存不安全的语言。
在快手这样量级的App里,由于多线程并发和对象生命周期的管理复杂,外加海量用户、高使用时长、碎片化设备等因素,很容易出现内存破坏的问题,导致了大量偶发崩溃。并且根据Google Android的报道,75%的漏洞都和内存非法使用有关。
过去,快手主要基于LLVM ASan工具进行内存破坏检测,由于传统内存检测工具的性能开销较高,且需要重新编译所有源代码,所以几乎无法在快手这样量级的大型项目日常开发实践中使用这些工具。
而快手MTE 自定义方案解决了这些问题,打破了传统内存检测工具的不可能三角。基于用户真实场景,在高内存负载下开启MTE,依然可以十分流畅的运行快手app。包括视频观看、主页刷feed流、生产拍摄、直播推拉流、电商等高频使用内存的业务场景。累计检出内存破坏bug数十个,包括自研库、三方库和系统GPU驱动库等,在保证内存安全方面发挥了重要作用。
快手稳定性团队是国内率先在Android应用侧把MTE技术完整落地用于大型App内存安全检测的,也早于Facebook和Unity在大型工程中实践,取得了不错的收益。并且ARM也在2023MWC世界移动通信大会上,将快手的实践作为Case Study展示。
李锐表示,通过与ARM等合作伙伴的共同努力,快手技术团队将持续提升系统稳定性和隐私安全,为用户提供更好的体验。
好文章,需要你的鼓励
这项研究利用大语言模型解决科学新颖性检测难题,南洋理工大学团队创新性地构建了闭合领域数据集并提出知识蒸馏框架,训练轻量级检索器捕捉想法层面相似性而非表面文本相似性。实验表明,该方法在市场营销和NLP领域显著优于现有技术,为加速科学创新提供了有力工具。
un?CLIP是一项创新研究,通过巧妙反转unCLIP生成模型来增强CLIP的视觉细节捕捉能力。中国科学院研究团队发现,虽然CLIP在全局图像理解方面表现出色,但在捕捉细节时存在不足。他们的方法利用unCLIP生成模型的视觉细节表示能力,同时保持与CLIP原始文本编码器的语义对齐。实验结果表明,un?CLIP在MMVP-VLM基准、开放词汇语义分割和视觉中心的多模态任务上显著优于原始CLIP和现有改进方法,为视觉-语言模型的发展提供了新思路。
这项研究介绍了RPEval,一个专为评估大语言模型角色扮演能力而设计的新基准。研究团队从法国里尔大学开发的这一工具专注于四个关键维度:情感理解、决策制定、道德对齐和角色一致性,通过单轮交互实现全自动评估。研究结果显示Gemini-1.5-Pro在总体表现上领先,而GPT-4o虽在决策方面表现出色,但在角色一致性上存在明显不足。这一基准为研究人员提供了一个可靠、可重复的方法来评估和改进大语言模型的角色扮演能力。
这篇论文介绍了LegalSearchLM,一种创新的法律案例检索方法,将检索任务重新定义为法律要素生成。研究团队构建了LEGAR BENCH数据集,涵盖411种犯罪类型和120万案例,并开发了能直接生成关键法律要素的检索模型。实验表明,该模型在准确率上超越传统方法6-20%,且在未见犯罪类型上展现出强大泛化能力。这一突破为法律专业人士提供了更高效、精准的案例检索工具。