公开(公告)号：CN104484266A

公开(公告)日：2015-04-01

申请号：CN201410624469.2

申请日：2014-11-07

Applicant: 上海交通大学

Inventor： 王煜 ,  戚正伟 ,  薛墨池 ,  项程程 ,  管海兵

IPC: G06F11/36

Abstract: 一种锁使用模式自动化静态分析系统，运行在LLVM分析框架，包含中间代码编译器、支撑引擎以及锁分析器，所述中间代码编译器用于将目标程序的源代码编译链接成单文件的LLVM中间代码；所述支撑引擎用于根据LLVM中间代码为锁分析器提供支撑服务；所述锁分析器根据支撑引擎提供的支撑服务对目标程序中的每个函数单独进行分析，收集锁相关的程序语言特性数据，识别锁敏感函数内所使用的每个锁模式，并且根据常见锁模式的特征对识别的模式进行分类，并同时统计各种常见的锁模式出现的次数。本发明能够在低分析开销条件下识别不同的锁变量、不同的锁模式，进而通过这些数据发现锁使用的一般性规律，为分析工具的改进和程序员编写并发程序提供建议。

公开(公告)号：CN104618466A

公开(公告)日：2015-05-13

申请号：CN201510026617.5

申请日：2015-01-20

Applicant: 上海交通大学

Inventor： 袁理 ,  戚正伟 ,  管海兵 ,  王煜 ,  李烁

IPC: H04L29/08 ,  H04L12/803 ,  H04W28/08

CPC classification number: H04L67/1002 ,  H04L47/125 ,  H04W28/08

Abstract: 本发明公开一种基于消息传递的负载均衡和过负荷控制系统，包括客户端模块、路由模块、消息传递模块、资源信息收集模块、业务服务端模块和性能监控模块；及其控制方法。本发明增强了系统的可靠性，系统中任何一个节点失效，都不会影响业务的正常运行，避免了负载过大而造成的事务处理延迟过高的情况。