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

Recherche dans les collections de brevets nationales et internationales
World Intellectual Property Organization
Recherche
 
Options de navigation
 
Traduction
 
Options
 
Quoi de neuf
 
Connexion
 
Aide
 
Traduction automatique
1. (WO2008091457) DÉTECTION RAPIDE ET PRÉCISE DE 'DATA RACE' STATIQUE POUR PROGRAMMES CONCURRENTS
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication :    WO/2008/091457    N° de la demande internationale :    PCT/US2007/087705
Date de publication : 31.07.2008 Date de dépôt international : 17.12.2007
CIB :
G06F 11/36 (2006.01), G06F 11/30 (2006.01)
Déposants : NEC LABORATORIES AMERICA, INC. [US/US]; 4 Independence Way, Suite 200, Princeton, New Jersey 08540 (US) (Tous Sauf US)
Inventeurs : KAHLON, Vineet; (US).
YANG, Yu; (US).
SANKARANARAYANAN, Sriram; (US).
GUPTA, Aarti; (US)
Mandataire : KOLODKA, Joseph; 4 Independence Way, Suite 200, Princeton, New Jersey 08540 (US)
Données relatives à la priorité :
60/886,304 24.01.2007 US
11/954,869 12.12.2007 US
Titre (EN) FAST AND ACCURATE STATIC DATA-RACE DETECTION FOR CONCURRENT PROGRAMS
(FR) DÉTECTION RAPIDE ET PRÉCISE DE 'DATA RACE' STATIQUE POUR PROGRAMMES CONCURRENTS
Abrégé : front page image
(EN)A system and method for race warning generation for computer program verification includes determining shared variables and determining context-sensitive points-to sets for lock pointers by focusing on pointers that may affect aliases of lock pointers, and by leveraging function summarization. Locksets are determined at locations where shared variables are accessed using the points-to sets for lock pointers. Warnings are based on disjointness of locksets.
(FR)L'invention concerne un système et un procédé de génération d'avertissements de conditions critiques, destinés à la vérification d'un programme informatique, qui consistent à déterminer les variables partagées et déterminer des ensembles de points de destination pour pointeurs de verrouillage par la focalisation sur les pointeurs pouvant affecter les alias des pointeurs de verrouillage et par l'optimisation du résumage de fonctions. Les ensembles de verrouillage sont déterminés à des endroits auxquels les variables partagées sont accédées au moyen d'ensembles de points de destination pour pointeurs de verrouillage. Les avertissements sont basés sur la présence d'ensembles de verrouillage disjoints.
États désignés : AE, AG, AL, AM, AT, AU, AZ, BA, BB, BG, BH, BR, BW, BY, BZ, CA, CH, 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, IS, JP, KE, KG, KM, 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, PG, PH, PL, PT, RO, RS, RU, SC, SD, SE, SG, SK, SL, SM, SV, SY, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
Office européen des brevets (OEB) (AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HU, IE, IS, IT, LT, LU, LV, MC, MT, NL, PL, PT, RO, SE, SI, SK, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Langue de publication : anglais (EN)
Langue de dépôt : anglais (EN)