发明公开
- 专利标题： PROCÉDÉ D'EXÉCUTION D'UN CODE BINAIRE D'UN PROGRAMME D'ORDINATEUR PAR UN MICROPROCESSEUR
- 专利标题（英）： METHOD FOR EXECUTING A BINARY CODE OF A COMPUTER PROGRAM BY A MICROPROCESSOR
-
申请号： EP22157120.1申请日： 2022-02-16
-
公开(公告)号： EP4057169A1公开(公告)日： 2022-09-14
- 发明人: SAVRY, Olivier , HISCOCK, Thomas
- 申请人： Commissariat à l'énergie atomique et aux énergies alternatives
- 申请人地址： FR 75015 Paris Bâtiment le Ponant 25, rue Leblanc
- 代理机构： INNOV-GROUP
- 优先权： FR2102265 20210309
- 主分类号： G06F21/54
- IPC分类号： G06F21/54
摘要：
Procédé d'exécution d'un code binaire définissant une structure de données comportant un champ particulier à lire à l'aide d'un pointeur, ce procédé comportant les étapes suivantes :
- l'écriture (150, 200), dans la mémoire principale, de la valeur du champ particulier associée à un premier identifiant d'un pointeur qui pointe directement vers ce champ particulier, cet identifiant étant déterminé à partir d'un identifiant du champ particulier différant pour tous les champs de la structure de données voisins du champ particulier, puis
- la construction (174) d'un pointeur qui pointe directement sur ce champ particulier, cette construction comportant la détermination d'un identifiant de ce pointeur construit, puis
- la vérification (186) que l'identifiant construit lors de l'étape b) correspond à l'identifiant associé à ce champ particulier lors de l'étape a), et lorsque ces identifiants de pointeur ne correspondent pas, le déclenchement (182) du signalement d'une faute d'exécution.
- l'écriture (150, 200), dans la mémoire principale, de la valeur du champ particulier associée à un premier identifiant d'un pointeur qui pointe directement vers ce champ particulier, cet identifiant étant déterminé à partir d'un identifiant du champ particulier différant pour tous les champs de la structure de données voisins du champ particulier, puis
- la construction (174) d'un pointeur qui pointe directement sur ce champ particulier, cette construction comportant la détermination d'un identifiant de ce pointeur construit, puis
- la vérification (186) que l'identifiant construit lors de l'étape b) correspond à l'identifiant associé à ce champ particulier lors de l'étape a), et lorsque ces identifiants de pointeur ne correspondent pas, le déclenchement (182) du signalement d'une faute d'exécution.
公开/授权文献
信息查询
