一种面向细粒度读写锁的软件自动重构方法及装置

发明专利有效专利

申请号：
CN201910565950.1
IPC分类号：G06F9/52
申请日期：
2019-06-27
申请人：
河北科技大学

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种面向细粒度读写锁的软件自动重构方法及装置
申请号	CN201910565950.1	申请日期	2019-06-27
法律状态	实质审查	申报国家	中国
公开/公告日	2019-10-18	公开/公告号	CN110347516A
优先权	暂无	优先权号	暂无
主分类号	G06F9/52 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F9/00 程序控制设计，例如，控制单元（用于外部设备的程序控制入G06F13/10）〔1，4，2006.01，2018.01〕 G06F9/06 使用存储的程序，即使用处理设备的内部存储来接收程序或者保留程序〔1，2006.01〕 G06F9/46 多道程序装置〔3〕 G06F9/52 程序同步、互斥，例如，通过信号量〔7，2006.01〕	IPC分类号	G;0;6;F;9;/;5;2查看分类表>
申请人	河北科技大学	申请人地址	河北省石家庄市裕华区裕华东路70号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	河北科技大学	当前权利人	河北科技大学
发明人	张杨
代理机构	石家庄新世纪专利商标事务所有限公司	代理人	张一

摘要

本发明公开一种面向细粒度读写锁的软件自动重构方法，特别涉及升级锁、降级锁、写锁、读锁、优化读锁的自动重构方法，其包括：采用别名分析、访问者模式分析和可重入分析等程序分析技术对重构前置条件进行检验；采用负面效应分析对代码块中的读写操作进行分析，形成读写操作序列串；定义用于识别读写操作序列串的有限自动机，并对代码块使用哪一种锁进行推断；在源代码抽象语法树上完成锁的重构，通过一致性检验确保重构前后程序行为的一致性；本发明实现了从粗粒度同步锁向细粒度读写锁的转换，达到节省程序开发者的工作量、加快程序转换效率的目的，进而帮助开发者了解程序使用哪一种锁的性能较好，本发明主要用于并发程序的同步管理中。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供