南京大学在上下文敏感技术研究上取得新进展

 
 
南京大学在上下文敏感技能研究上取得新希望  
 

克日，《美国计较机学会编程语言与系统》杂志颁发了南京大学研究团队的最新研究成就，研究人员提出了一项新的选择性上下文敏感技能。该技能将措施中会影响指针阐明精度和速度的要领别离界说为精度要害与速度要害要领，并提供了一套理论框架用于有效识别这些要害要领，最终基于一套可表明法则选择为个中哪些要害要领应用上下文，以得到高效、精准的指针阐明。

措施阐明是保障大局限巨大软件靠得住性、安详性、机能等质量指标的要害技能，而指针阐明是为措施阐明搭建脚手架的基本，险些所有全措施阐明都要依赖于指针阐明的功效，如何使指针阐明运行得更快且精确一直是已往40年来该规模公认的研究重点和难点。上下文敏感技能是晋升指针阐明精度的要害技能，在已往30年来一直是指针阐明偏向的学术热点，然而上下文敏感技能给指针阐明带来精度晋升的同时又带来机能上的很大开销。

大量尝试表白，该技能可大幅度加快指针阐明，平均环境下，在保存通用上下文敏感指针阐明95%精度的同时可加快25.5倍（最快可加快88倍之多）。另外，对付一些巨大措施，该技能可在取得上下文敏感精度的同时，运行速度甚至能逾越非上下文敏感，冲破了已往30年指针阐明只能在二者之间取舍均衡的排场，改变了关于“上下文敏感指针阐明速度无法逾越非上下文敏感技能”的认识，为将来快速精准指针阐明研究提供了新的思路和偏向。

据悉，该研究成就将依托“华为—南大下一代措施设计语言尝试室”相助项目助力华为公司在要害规模自主创新。

相关论文信息：https://doi.org/10.1145/3381915

版权声明：凡本网注明“来历：中国科学报、科学网、科学新闻杂志”的所有作品，网站转载，请在正文上方注明来历和作者，且不得对内容作实质性窜改；微信公家号、头条号等新媒体平台，转载请接洽授权。邮箱：shouquan@stimes.cn。