Bonsoir,

(je ne connais pas Python, mais bien Linux)

Dans le projet RefPerSys (voir refpersys.org et le code sur github en github.com/RefPerSys/refpersys-in-c/ ....) c'est un logiciel libre d'intelligence artificielle symbolique (licence GPLv3+, pour Linux/x86-64) où on ambitionne de genérer du code C (idéalement tout le code C de RefPerSys) à partir de formalismes de haut niveau et déclaratifs, nous avons des objets persistents (stockés dans des fichiers au format JSON).

Chaque objet a un identifiant unique constant et persistent sur 128 bits, représenté par une chaine de caractères (dite oid) telle que _1EBVGSfW2m200z18rx

La transformation d'un oid en deux entiers (non nuls, formant une paire globalement unique) de 64 bits est réputée correcte.

Je voudrais faire le script Python 3 pour que GDB (version 11) affiche chaque objet (de type C: RpsObject_t*, c'est un pointeur vers une zone mémoire gérée par un ramasse-miettes) par son oid.

Comment faire?

Un document en anglais décrivant les idées de RefPerSys est disponible en refpersys-design.pdf

Les idées de RefPerSys sont inspirées par Jacques Pitrat (qui présida mon jury de thèse, soutenue en 1990). Voir Journée en hommage à Jacques Pitrat

----

Basile STARYNKEVITCH

Membre de l'APRIL « promouvoir et défendre le logiciel libre » - adhérez vous aussi à l'APRIL!

Projet logiciel libre: RefPerSys

Poste le Friday 4 February 2022 21:37:22