Résolution générale : traitement des microprogrammes sans code source dans le noyau Linux

Calendrier

Propositions et amendements Mercredi 30 août 2006 Mercredi 27 septembre 2006
Période de débat Jeudi 28 septembre 2006 Samedi 7 octobre 2006
Période de scrutin Dimanche 8 octobre 2006 00:00:00 UTC Dimanche 15 octobre 2006 00:00:00 UTC

Déposant

Frederik Schueler [[email protected]]

Parrains

  1. Manoj Srivastava [[email protected]]
  2. Steve Langasek [[email protected]]
  3. Frank Küster [[email protected]]
  4. Bill Allombert [[email protected]]
  5. Bastian Blank [[email protected]]
  6. MJ Ray [[email protected]]
  7. Aníbal Monsalve Salazar [[email protected]]
  8. Daniel Ruoso [[email protected]]

Texte

1er choix. Le texte actuel de la résolution est le suivant. Veuillez noter qu'il ne contient pas les préludes, prologues, préambules et conclusions à la résolution, résumés, avant-propos et postfaces, justifications, documents de soutien, sondages d'opinion, arguments pour et contre, ou tout autre document important que vous pouvez trouvez dans les archives de la liste de diffusion. Veuillez lire les archives de la liste de diffusion debian-vote pour de plus amples détails.

Publier Etch malgré les problèmes de microprogramme dans le noyau

  1. Nous affirmons que nos priorités sont nos utilisateurs et la communauté du logiciel libre (Contrat social n° 4).

  2. Nous reconnaissons que beaucoup de progrès ont été fait sur les problèmes de microprogramme dans le noyau ; cependant, ils ne sont pas encore tous résolus.

  3. Nous assurons la communauté qu'il n'y aura pas de régressions dans Etch sur les progrès réalisés pour la liberté dans le noyau distribué par Debian par rapport à Sarge.

  4. Nous donnons la priorité à la publication d'Etch dans les temps sur la résolution de chacun des petits problèmes ; pour cette raison, nous traiterons la suppression des microprogrammes sans code source comme un processus d'amélioration, et nous livrerons les microprogrammes dans des micropaquets s'ils sont nécessaires pour l'installation (comme tous les micropaquets), les microprogrammes incorporés dans le noyau lui-même dans la version Etch de Debian tant que cela est légalement possible, et les microprogrammes distribués en amont sous une licence conforme aux directives Debian pour le logiciel libre.

Déposant de l'amendement A

Josselin Mouette [[email protected]]

Parrains de l'amendement A

  1. Pierre Habouzit [[email protected]]
  2. Julien BLACHE [[email protected]]
  3. Aurelien Jarno [[email protected]]
  4. Julien Danjou [[email protected]]
  5. Clément Stenac [[email protected]]

Texte de l'amendement A

2nd choix. Le texte actuel de la résolution est le suivant. Veuillez noter qu'il ne contient pas les préludes, prologues, préambules et conclusions à la résolution, résumés, avant-propos et postfaces, justifications, documents de soutien, sondages d'opinion, arguments pour et contre, ou tout autre document important que vous pouvez trouvez dans les archives de la liste de diffusion. Veuillez lire les archives de la liste de diffusion debian-vote pour de plus amples détails.

Exception particulière à la deuxième directive Debian pour le logiciel libre pour les microprogrammes tant que cela est nécessaire

Le projet Debian

  1. réaffirme sont engagement à fournir un système libre à 100 % à ses utilisateurs conformément à son contrat social et à ses directives pour le logiciel libre  et

  2. encourage les auteurs de tout travail à rendre ce travail disponible non seulement sous une licence permettant sa modification, mais également sous une forme qui rend aisées de telles modifications ; et

  3. soutient la décision de l'équipe de publication demandant que les travaux tels que les images, les vidéos, et les polices de caractères soient fournies sous une licence compatible avec les directives Debian pour le logiciel libre sans demander le code source de ces travaux comme selon la deuxième directive ; et

  4. décide que, en tant qu'exception particulière à la deuxième directive, le code source des microprogrammes de périphériques contenus dans les paquets du noyau n'est pas nécessaire tant qu'il n'y a pas d'autre moyen technique pour installer et faire fonctionner le système Debian sur ces périphériques.

Discussion minimale

Comme demandé par le responsable du projet Debian, les périodes de débat et de scrutin sont d'une semaine.

Quorum

Avec la liste actuelle des développeurs votants, nous avons :

 Nombre actuel de développeurs              = 1000
 Q ( racine carrée(nb de développeur) / 2 ) = 15,8113883008419
 K min(5, Q )                               = 5
 Quorum  (3 x Q )                           = 47,4341649025257

Quorum

Données et statistiques

Pour cette résolution générale, comme d'habitude, des statistiques sur les bulletins et les accusés de réception sont rassemblées périodiquement durant la période du scrutin. De plus, la liste des votants est disponible publiquement. La feuille d'enregistrement est également disponible après la fin du scrutin. (Veuillez noter que pendant le scrutin, la feuille est vide).

Majorités requises

L'amendement A (choix 2) requiert une majorité qualifiée de 3 contre 1, car il crée une exception particulière à un document fondateur.

Majorité

Résultat

Affichage graphique des résultats

Dans le graphique ci-dessus, les nœuds en rose n'ont pas obtenu la majorité requise, le bleu est le gagnant. L'octogone est utilisé pour les options qui n'ont pas battu l'option par défaut.

Dans le tableau suivant, la correspondance ligne[x] colonne[y] représente le nombre de suffrages où le candidat x est classé devant le candidat y. Une explication plus détaillée de la matrice des gagnants peut vous aider à comprendre ce tableau. Pour comprendre la méthode Condorcet, l'entrée de Wikipedia est assez instructive.

Grille des résultats
 Option
  1 2 3
Option 1   196 271
Option 2 110   199
Option 3 42 111  

En regardant à la ligne 2, colonne 1, Faire une exception particulière à la deuxième directive Debian pour le logiciel libre tant que nécessaire [nécessite une majorité qualifiée de 3 contre 1] est classé devant Publier Etch même avec les problèmes de microprogrammes dans le noyau sur 128 bulletins.

En regardant à la ligne 1, colonne 2, Publier Etch même avec les problèmes de microprogrammes dans le noyau est classé devant Faire une exception particulière à la deuxième directive Debian pour le logiciel libre tant que nécessaire [nécessite une majorité qualifiée de 3 contre 1] sur 177 bulletins.

Couples de défaites

Contenu de l'ensemble de Schwartz

Le gagnant

Debian utilise la méthode Condorcet pour les élections. De façon très simpliste, la méthode Condorcet pure pourrait s'expliquer ainsi :
Considérer tous les couples possibles de candidats. Le gagnant selon Condorcet, s'il existe, est le candidat qui bat chacun des autres candidats en duel singulier. Le problème est que dans des élections complexes, il pourrait y avoir des relations circulaires dans lesquels A bat B, B bat C et C bat A. La plupart des variations de la méthode Condorcet utilisent divers moyens pour résoudre ces cas. Veuillez lire la méthode Schulze pour de plus amples informations. La variante de Debian est expliquée dans la constitution, au paragraphe A.6.


Manoj Srivastava