Certains contenus de cette application ne sont pas disponibles pour le moment.
Si cette situation persiste, veuillez nous contacter àObservations et contact
1. (WO2018063559) MODIFICATION D'APPLICATIONS POUR POINTS DE CONTRÔLE INCRÉMENTAUX
Dernières données bibliographiques dont dispose le Bureau international    Formuler une observation

N° de publication : WO/2018/063559 N° de la demande internationale : PCT/US2017/047287
Date de publication : 05.04.2018 Date de dépôt international : 17.08.2017
CIB :
G06F 9/45 (2006.01)
G PHYSIQUE
06
CALCUL; COMPTAGE
F
TRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
9
Dispositions pour la commande par programme, p.ex. unité de commande
06
utilisant un programme emmagasiné, c. à. d. utilisant une unité de stockage interne de l'équipement de traitement de données pour recevoir et conserver le programme
44
Dispositions pour exécuter des programmes spécifiques
45
Compilation ou interprétation de langages de programmation évolués
Déposants :
INTEL CORPORATION [US/US]; 2200 Mission College Blvd. Santa Clara, California 95054, US
Inventeurs :
BAGHSORKHI, Sara S.; US
MARGIOLAS, Christos; US
Mandataire :
THREADGILL, Greg Michael; US
BLOUNT, Barry; US
Données relatives à la priorité :
15/278,09128.09.2016US
Titre (EN) MODIFYING APPLICATIONS FOR INCREMENTAL CHECKPOINTS
(FR) MODIFICATION D'APPLICATIONS POUR POINTS DE CONTRÔLE INCRÉMENTAUX
Abrégé :
(EN) In one example, a system for modifying applications to support incremental checkpoints can include logic to generate a dominator tree based on a control flow graph for source code, wherein the control flow graph and the dominator tree comprise a plurality of nodes corresponding to basic blocks of the source code. The processor can select a region based on a leaf node of the dominator tree, the region based on an instruction threshold, and insert a first set of commit instructions into the source code based on entry points into the region and insert a second set of commit instructions into the source code based on exit points from the region. The processor can update the dominator tree to exclude the selected region and compile the source code into an executable application, wherein the first set of commit instructions and the second set of commit instructions enable incremental checkpoints.
(FR) Dans un exemple, un système de modification d'applications destiné à prendre en charge des points de contrôle incrémentaux peut comprendre une logique servant à générer un arbre dominant d'après un graphe de flux de commande relatif à du code source, le graphe de flux de commande et l'arbre dominant comportant une pluralité de nœuds correspondant à des blocs élémentaires du code source. Le processeur peut sélectionner une région d'après un nœud feuille de l'arbre dominant, la région étant basée sur un seuil d'instructions, et insérer un premier ensemble d'instructions de validation dans le code source d'après des points d'entrée dans la région et insérer un deuxième ensemble d'instructions de validation dans le code source d'après des points de sortie de la région. Le processeur peut mettre à jour l'arbre dominant pour exclure la région sélectionnée et compiler le code source pour donner une application exécutable, le premier ensemble d'instructions de validation et le deuxième ensemble d'instructions de validation activant des points de contrôle incrémentaux.
front page image
États désignés : 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, DJ, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JO, JP, KE, KG, KH, KN, KP, KR, KW, KZ, LA, LC, LK, LR, LS, 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
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
Office européen des brevets (OEB (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)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Langue de publication : anglais (EN)
Langue de dépôt : anglais (EN)