李燚
- 作品数：3 被引量：35H指数：3
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 发文基金：安徽省自然科学基金高等学校学科创新引智计划更多>>
- 相关领域：自动化与计算机技术更多>>
- Redis集群可靠性的研究与优化被引量：26
- 2018年
- 当Redis集群发生单点故障时,恢复过程不稳定且耗时较长。为此,在不增加网络传输代价的前提下,使用通信负载均衡的方法,对Redis集群容错机制的通信过程进行优化,从而达到提升集群可靠性的目的。实验结果表明,优化后的Redis集群的宕机恢复效率明显提升,在保证吞吐率和不提高传输代价的情况下,可提升集群处理故障状态的可靠性。
- 李燚顾乃杰黄增士任开新
- 关键词：单点故障容错机制可靠性
- Redis集群可靠性的研究与优化
- 近年来内存数据库发展迅速，其中最有代表性的就是Redis数据库。Redis是一种基于key-value键值对存储的内存数据库，具有冗余和复制备份的特性，并且提供了多种编程语言支持以增加兼容性。Redis通常以高容错、高可...
- 李燚
- 关键词：数据库可靠性容错机制
- 文献传递
- 面向Python程序的静态死锁检测方法的研究被引量：5
- 2017年
- 随着Python语言越来越广泛的应用,其死锁问题一直困扰着人们.现有的静态死锁检测方法为了兼容可扩展性而缺乏精确的路径敏感分析,从而产生很多不可达路径,导致高误报率.基于此,针对Python程序,提出一种基于函数内联和函数摘要的路径敏感的静态死锁检测方法.该方法首先获取Python程序的语法树,然后利用函数内联和函数摘要的分析方法构建每个函数的摘要并由此得到Python程序可达的并发路径.基于这些路径,该方法利用Petri网建模并找出其中的死锁.实验结果表明,本文提出的方法可以有效地检测Python程序中的死锁,而且误报率为14.3%.此外,该方法的可扩展性好,在分析大型开源程序时,每一万行代码所需的时间开销在2.5分钟以内.
- 曹华雄顾乃杰李燚
- 关键词：PETRI网
