WIPO logo
Mobile | Deutsch | Español | Français | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Search International and National Patent Collections
World Intellectual Property Organization
Search
 
Browse
 
Translate
 
Options
 
News
 
Login
 
Help
 
Machine translation
1. (WO2014206216) PARALLEL ANALYSIS METHOD AND APPARATUS
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2014/206216    International Application No.:    PCT/CN2014/080051
Publication Date: 31.12.2014 International Filing Date: 17.06.2014
IPC:
G06F 9/44 (2006.01)
Applicants: HUAWEI TECHNOLOGIES CO., LTD. [CN/CN]; Huawei Administration Building, Bantian, Longgang Shenzhen, Guangdong 518129 (CN)
Inventors: CHEN, Congming; (CN).
HUO, Wei; (CN).
LI, Feng; (CN).
FENG, Xiaobing; (CN)
Priority Data:
201310262639.2 27.06.2013 CN
Title (EN) PARALLEL ANALYSIS METHOD AND APPARATUS
(FR) PROCÉDÉ ET APPAREIL D'ANALYSE PARALLÈLE
(ZH) 一种并发分析的方法及装置
Abstract: front page image
(EN)Disclosed in the present invention are a parallel analysis method and apparatus, relating to the technical field of program analysis and can simplify the processing procedures and improve the efficiency in parallel analysis in the process of parallel analysis among different nodes on PEG. The specific embodiment of the present invention comprises: obtaining a root node in the PEG, pushing the root node as well as 0-indegree nodes in the PEG onto a preset stack, obtaining nodes on the top of the preset stack to form a to-be-processed sequence and then determining the position of a current processing node in the to-be-processed sequence, and searching for nodes included in a working set behind the position in the to-be-processed sequence, so as to reduce the iterations in parallel analysis. The embodiment of the present invention is mainly applied to a parallel analysis procedure.
(FR)La présente invention porte sur un procédé et un appareil d'analyse parallèle, concernant le domaine technique de l'analyse de programmes, et peut simplifier les procédures de traitement et améliorer l'efficacité en analyse parallèle dans le processus d'analyse parallèle parmi différents nœuds sur PEG. Le mode de réalisation spécifique de la présente invention consiste à: obtenir un nœud racine dans le PEG, pousser le nœud racine ainsi que des nœuds de degré d'entrée 0 dans le PEG vers une pile prédéfinie, obtenir des nœuds en haut de la pile prédéfinie pour former une séquence à traiter et déterminer ensuite la position d'un nœud de traitement courant dans la séquence à traiter, et rechercher des nœuds inclus dans un ensemble de travail derrière la position dans la séquence à traiter, de manière à réduire les itérations en analyse parallèle. Le mode de réalisation de la présente invention est principalement appliqué à une procédure d'analyse parallèle.
(ZH)本发明公开了一种并发分析的方法及装置,涉及程序分析技术领域,在对PEG上不同节点间的并发分析过程中,简化了处理流程,提高了并发分析的效率。本发明的具体实施例包括:获取PEG中的根节点,将该根节点以及PEG中入度为0 的节点压入预设栈,并获取该预设栈的栈顶节点组成待处理序列,进而确定当前处理节点在该待处理序列中的位置,并在待处理序列的该位置之后查找包含于工作集中的节点,从而减少并发分析中的迭代次数。本发明实施例主要应用于并发分析流程中。
Designated States: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JP, KE, KG, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
African Regional Intellectual Property Organization (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Organization (AM, AZ, BY, KG, KZ, RU, TJ, TM)
European Patent Office (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG).
Publication Language: Chinese (ZH)
Filing Language: Chinese (ZH)