Guillaume Knispel a écrit 2474 commentaires

Ca n’empêche que si ya un asservissement mal placé / configuré dans le calcul de l'injection, le calculateur peut très bien décider d'injecter un peu d'essence avec pour résultat un maintient du même régime.

Qu'on mette de l'informatique la plus limité possible, pour gérer les calculs pour le moteur alors, pas pour tout et n'importe quoi y compris des millions de lignes de codes privatrices et buggées dans l'habitacle. J'ai déjà vu une console multiusage dont GPS et afficheur radio et téléphone planter suite à un dialogue avec téléphone bluetooth. Et impossible de la faire redémarrer sans attendre très longtemps (ou peut-être qu'un débranchage de la batterie aurait fait l'affaire).

Bon il y a différent types de systèmes critiques, mais ceux auxquels je pensais en disant "vraiment critique" sont des systèmes dans lesquels une défaillance peut avoir un impact sur la vie des personnes, ou engendrer des catastrophes économiques ou écologiques majeures, ce genre de chose. Je ne sais pas s'il y a des Linux dans des trucs importants de sondes spatiales, mais si c'est le cas c'est qu'ils estiment que la perte de ce système ou sous-système aura un coût acceptable et que ce risque est justifié par les bénéfices que ça apporte pour le développement, pas qu'ils pensent que Linux est robuste a toute épreuve.

Il n'y a pas de Linux dans les systèmes "vraiment critiques" car on préfère des logiciels développés de manière paranoïaque à toutes les étapes du développement, vu qu'on a pas envie qu'un avion de ligne s'écrase à cause d'un kernel panic, par exemple.

Je crois qu'il y a aussi des clusters civils au même endroit (mais je suis pas sûr, si quelqu'un pouvait confirmer/infirmer ?)

Les stagiaires à ce niveau sont sous-payés et font généralement un travail productif, je crois en toute illégalité d'ailleurs en france mais tout le monde s'en fiche. Bref. Tu veux qu'en plus ils acceptent tous des contextes pas pratiques pour prouver à quel point ils sont motivés ?

D'où l'intérêt de ne pas ajouter d'optimisations buggués dans un compilateur, surtout lorsqu'elles sont d'une utilité discutables. (Il y a déjà const et pure, et la sémantique de leaf est particulièrement mal définie; la description des conditions nécessaires et suffisantes dans le manuel est incomplète à un point inimaginable -- ce qui est la cause racine du bug.)

Les sources sont la lecture de la spécification et de tianocore. Peux être que si j'ai du temps et que je m'ennuie beaucoup je pointerais vers des pages, des paragraphes précis dans la spec, ainsi que des fichiers et fonctions précise dans tianocore, et que j'en ferais une analyse détaillée pour expliquer pourquoi c'est du caca.

Les sources sont la lecture de la spécification et de tianocore. Peux être que si j'ai du temps et que je m'ennuie beaucoup je pointerais vers des pages, des paragraphes précis dans la spec, ainsi que des fichiers et fonctions précise dans tianocore, et que j'en ferais une analyse détaillée pour expliquer pourquoi c'est du caca.

http://www.ctyme.com/intr/int-13.htm <-- c'est quoi l'appel pour avoir des infos sur les partitions ? En outre même s'il en existait un, who cares ? ça n'empêche pas d'utiliser du GPT sur un PC avec un BIOS, ou même un truc plus exotique -- il suffit de ne pas s'en servir. Bref cet argument pour tenter de justifier EFI n'a pas de sens. De plus il suffirait de changer la manière dont un BIOS standard interprète la table de partition pour lui faire faire du GPT ou de créer une nouvelle fonction pour régler ce "problème" (éventuelle mettre du option pour choisir GPT / MSDOS si ya vraiment des bios qui se servent de la table de partition, mais sans référence concrète je continue à penser que ça n'existe pas ou au pire c'est extrêmement marginal)

Le pire c'est que cette désinformation transformée en argument pour dire qu'on a besoin d'EFI est propagée à l'origine par les promoteurs corpo d'EFI. Bref des gens qui recourent au FUD, comme à leur habitude.

Il y a une regrettable inversion qui c'est glissée dans mon commentaire précédent, trouvez l'erreur :)

C'est un moyen de dissuasion efficace. On attaque pas un pays dans lequel les débiles profonds disposent de fusils d'assaut.

On en crée de nouvelles qui sémantiquement contiennent bien souvent des patchs informels rédigés en langue naturelle. Légifrance consolide d'ailleurs le résultat, appliquant le patch (je ne suis pas sûr de qui est en fait chargé d'appliquer les patches législatifs, mais je le plains, sauf si il a réussit a imposer un contrôle qualité suffisant sur les blabla du patch pour pouvoir l'appliquer avec 10 lignes de perl et qu'il est maintenant 365j à la plage).

Mangez la spécification, c'est du bon.

Non. C'est indigeste. Si vous mangez cette spécification vous allez vomir en while(true) jusqu'à vous déshydrater complètement pour finalement mourir. La spécification est remplie d'idées complètement crétines au delà de tout ce qui est imaginable (des headers PE qui ne servent à rien, un link dynamique ad-hoc codé naïvement C et qui utilise des GUID -- bref on sent la patte de MS à toutes les pages, et pas des meilleurs de chez MS...) et les implémentations sont encore pire que la spécification, les différents modules employant 42 méthodes différentes pour faire la même chose au grès de l'humeur du développeur (vive le bloat :/ ), et les vendeurs n'hésitant pas à patcher tianocore comme des gorets pour rajouter leur propre merde hookée n'importe comment à l'intérieur (qui fait d'ailleurs AUSSI exactement la même chose que les 42 merdes standardisés par la spécification). Pour vous donner un ordre d'idée de l'ampleur des dégats, je pensais fortement aux accès à l'espace de configuration PCI, qui nativement prennent deux instructions, et en passant pas les trucs standardisés d'EFI sont de mémoire 4× à 10× plus gros rien que l'appel de fonction qui bien sûr est un appel via GUID, et souvent à travers plusieurs couches de GUIDs. Bref, c'est du CACA. Évidemment la signature de ces fameuses fonctions sont stupides à souhait (c'est d'ailleurs en partie pour ça que ça prend autant de place dans le texte de l'appel).

Je n'en dirais pas plus pcq j'ai appris toussa en faisant des trucs pro vaguement borderline, mais si dans votre vie vous avez le choix entre éviter EFI et vous confronter à EFI, la dernière solution vous rendra heureux à jamais tandis que le choix 1. n'aboutira que sur de la tristesse et une raison supplémentaire de haïr un pan entier de l'espèce humaine.

En repensant à la patte de MS, je ne serais pas étonné si dans 5 à 10 ans cette boîte sympathique ne sorte pas des brevets idiots de son chapeau et extorque des paiements secrets à des "utilisateurs" de leur merveilleuse technologie, comme à son habitude. Encore une raison de fuir cette daube indigeste et nauséabonde comme la peste.

Récemment toutefois, nous avons atteint une limite très difficile à surmonter : la table des partitions gérée par le BIOS ne permet pas d'exploiter des disques de plus de 2 To.

FOUTAISES.
Le bios n'a que faire de la table des partitions. Il ne connaît même pas son format.

Le BIOS n'est pas le seul élément a être à l'origine du succès des PC. Déjà il n'y avait absolument pas besoin de le reverse car le code source commenté était disponible dans un manuel technique à $60. Ensuite ce manuel contenait aussi carrément les schématiques du PC. L'ouverture du hard et du soft a permit les clones (par la bonne compatibilité des implémentations concurrentes, il ne s'agissait pas de logiciel libre), une facilité de conception + bonne compatibilité des extensions, mais aussi des applications vu la précision des documentations (et à l'époque (presque?) toutes les applications attaquaient directement le bios et/ou le hard à un endroit ou à un autre).

Souvent on a l'impression à écouter les chrétiens que tout est paix et amour dans le nouveau testament alors que les trucs juifs et musulmans sont peuplés d'appels à faire des tueries et autres joyeuseté (et c'est ce que tu redis toi-même ci-dessus).

Alors que franchement y a des passages où Jesus est complètement vénère et il veut buter les mécréants ou je sais pas quoi, et leur ENFANTS (Apocalypses, 2.23)

Après je ne suis pas du tout un spécialiste de la bible ni de la thora ni du coran, mais en tout cas au jeu de "ma religion est plus gentille que la tienne" aucune ne semble pouvoir se targuer d'avoir des écritures 100% conviviales.

Pour empêcher l'invasion en règle du territoire il suffit d'un seul sous-marin porteur de la bombe. Voire d'un seul pour toute l'Europe.

Ça fait quelques décennies que l'Europe est alliée et tu te crois déjà au pays des bisounours pour l'éternité ?

L'exécution sommaire me semble appropriée.

Il n'y a pas de Linux dans les systèmes vraiment critiques. (Ça serait d'une stupidité abyssale...)

Et, de surcroît, dans l'étude citée par ce journal, on comprend que la majorité des utilisateurs ont, soit volontairement activé l'autorun, soit passé outre un message d'avertissement concernant un binaire non signé.

Si tu utilises un Windows plus de 10 minutes, tu passeras probablement outre plusieurs fois un message d'avertissement concernant un binaire non signé. Peut-être bien pour installer des logiciels libres, d'ailleurs. Dans ce cas c'est l'écosystème qui est prouvé inefficace, pas l'utilisateur inconscient, car l'avertissement de non signature a tellement de faux positifs au sens de la sécurité qu'il n'a plus aucune valeur prédictive dans ce domaine.

Maintenant les boulets qui DL un .exe sur un site de cul et qui le lancent sur leur ordi, je ne peux rien pour eux (j'aimerais bien pouvoir mettre un terme à leur souffrance, mais je ne suis pas sûr que la loi m'y autorise).

1h de temps pour des milliers de personnes, c'est des milliers d'heures de perdues.

Un journal qui dénonce grave, c'est implicitement dénoncer ces pertes et les pertes d'opportunité de milliers de contributions.

Pour vérifier un point précis la norme est plus adaptée.
Reste que ce bouquin est surpuissant pour apprendre le C.

Tu es encore un softeux qui croit que le hardware est magique ? :)

Aie ça me fait un peu mal là, étant donné que je fais ce genre de choses : http://blog.xivo.fr/index.php?post/2011/10/04/PCB-prototypes-and-flash-SPI-testing

Il ne faut de plus pas oublier que Weboob permet d'entretenir ta femme.

Tu peux probablement utiliser un lecteur de cassette normal, une entrée ligne, et un démodulateur soft. La modulation doit sûrement être triviale genre du FSK, donc coder en tel démodulateur est à la porté de n'importe quel étudiant et je ne serais pas étonné qu'il en existe déjà un libre voire plusieurs.