yoogx a écrit 10 commentaires

Oui, Ada permet une telle vérification, cf le pragma Normalize_Scalars qui fait partie des pragma spécifiques d'une implémentation. GNAT, le front-end Ada présent dans GCC, le supporte,

Ce pragma permet de vérifier que les variables sont bien initialisées, mais seulement celles de type scalaire. L'idée semble-t-il est d'initialiser par défaut avec une valeur telle qu'une exception est levée lorsque l'on accède à une valeur non initialisée.

De plus, par défaut les types accès (en gros les pointeurs de Ada) sont initialisés à une valeur nulle, cela évite de pointer sur n'importe quoi ..

A noter par ailleurs que les mécanismes de protection de Ada font qu'une bonne partie des bugs que Valgrind permet de détecter peuvent l'être directement lors de l'exécution d'un programme Ada en se basant sur les exceptions levées par la runtime.

Si cela ne suffit pas, certains packages permettent la redéfinition de l'allocation et désallocation de la mémoire et ainsi de tracer ce qui se passe. Ainsi GNAT.Debug_Pools ajoute un certain nombre de vérifications lors d'accès mémoire et permet de vérifier les accès mémoires au prix (il est vrai) d'une recompilation.

Ben ecoute, apres discussion avec le gars qui developpe les drivers pour la carte (et qui se trouve a 10m de mon bureau); je peux te confirmer que la carte est faite maison.

Compare les photos des deux cartes, tu verras qu'elles different, notamment les LEDs, transistors de puissance ...

bref, c'est interessant de voir que ces cartes existent, mais ca ne doit pas etre donné ces joujours la ...

Ca reste un prototype developpe par l'ENST, la carte est en fait composee de deux elements, cf le paragraphe sur le site de Spif :

* La carte 'mere' sur laquelle se trouve le proc et la RAM, cf le site de Denx dans le liens au dessus, ref TQM860L;

*La carte support qui contient toutes les I/O qui est elle developpee en interne a l'ENST, donc loin d'etre 'vendable' en l etat.

A mon avis 'low cost' doit etre compris dans le sens ou le developpement est a faible cout (assemblage de composants existants, donc plus simple que developper ces propres controleurs etc ...) que peu cher; ce n'est pas une OpenBrick non plus ...
Le MPC860 concentre de tres nombreux controleurs en interne, ce qui aura facilité le developpement; mais le cout de la seule 'carte mere' doit etre non negligeable ...

> Et donc sans ton gestionnaire kivabien on peut plus accéder à un document individuel.

et alors ? sans tout un tas de programmes kivonbien tes fichiers ne te servent a rien ...

> Pourquoi réinventer la roue en la faisant carrée?

La roue n'est pas la solution universelle. L'abstraction des systemes de fichiers est une des plus anciennes qui soit en informatique, mais personne n'a prouvé que ce soit la meilleure pour la gestion de documents ... surtout a large echelle.

Vu la façon dont les fichiers sont gérés par des utilisateurs 'de base' (ie pas des informaticiens) dans certains services financiers, je pense même que ce serait une bonne idée

Je ne compte plus les histoires de fichiers qui s'échangent par e-mail ou disquettes, où à chaque mise a jour de changements parfois critiques sont perdus ... pour qu'ensuite les erreurs fatales apparaissent lors de présentations importantes ...

si seulement ils avaient un gestionnaire de version pour leurs fichiers ...

Ben peut être pas 'tout pareil au meme endroit'; mais tout pareil dans un même dépôt auquel tu peux
accéder de façon plus pertinente que par un nom aussi explicite que '~grosbill/truckitue_v2.tex'. Par exemple à l'aide de requêtes sur un ensemble de fichiers XML dont le stockage est à la discrétion d'un gestionnaire de dépôt kivabien.

De nombreux projets commencent à emmerger pour le stockage de données avancé sous forme XML.

cf http://www.xmldb.org/(...)

t as autorpm pour ce genre d'upgrade (dispo ici http://www.kaybee.org/~kirk/html/linux.html) je l ai deja utilise pour passer d'un RH 6.2 a 7.0 puis 7.1 sans probleme, faut juste faire attention au choix des packages a ne pas upgrader (le kernel notamment ...)

oui, je suis en train de le faire ;)

il est relativement interessant, mais assez oriente theorique pendant la partie tronc commun, ie on ne touche pas un clavier, c'est a peine si tu entrevoies un bout de code ... faut aimer

y a de tout : BD, reseau, systeme ...

cela devient ensuite plus interessant dans la mesure ou tu peux te specialiser sur certains aspects de la repartition, au choix

quant a savoir si c est difficile d'y rentrer,
je ne peux pas trop repondre, je suis en // en
ecole d'inge, ca fausse le jugement

plus d'infos ici : http://dea-sir.lip6.fr/DEA-SIR/(...)

--
Yoogx

c est pas 'f*ck' qui avait valu au kernel d etre
censure en Australie ?

Tenez, un chti memo sur la copie privé ...

http://www.u-paris2.fr/dess-dmi/articles/articles_pla/Copie_priv%E9(...)

ca resume (au tant que possible) les lois actuelles et surtout ce qui nous attend ...