SETI@home
SETI@home (abréviation de SETI at home, pouvant se traduire par SETI à la maison) est un projet de calcul distribué utilisant des ordinateurs branchés sur Internet. Il est hébergé par le Space Sciences Laboratory de l'université de Californie à Berkeley et est accessible au public depuis le [1],[2],[3].
Développé par | Université de Californie à Berkeley |
---|---|
Première version | |
Dernière version | 7.6.22 (30 декабря 2015) |
Environnement | Multiplateforme |
Langues | Anglais et russe |
Type |
Site web Calcul participatif Projet BOINC |
Licence | Licence publique générale GNU et licence publique générale limitée GNU |
Site web | setiathome.ssl.berkeley.edu |
Recherche scientifique
modifierIl y avait deux objectifs originaux à SETI@home. Le premier était de prouver la fonctionnalité et la viabilité du calcul distribué. Le deuxième était de faire du travail scientifique en supportant une analyse observationnelle cherchant à détecter de la vie intelligente non terrestre.
Le premier but est généralement considéré comme complètement atteint. La plate-forme BOINC, un développement du SETI@home original, supporte plusieurs projets de calcul distribué dans un vaste éventail de disciplines.
Le deuxième but est, jusqu'ici, un échec. Aucune preuve de signal radio extraterrestre n'a été trouvée par SETI@home. Cependant, une absence de preuve n'étant pas une preuve d'absence, le projet se poursuit.
SETI@home effectue la recherche de transmission radio extraterrestre à partir des observations faites par le radiotélescope d'Arecibo, Puerto Rico. Les données sont prises « passivement » pendant que le télescope est utilisé pour d'autres projets scientifiques. Elles sont numérisées, emmagasinées et expédiées aux installations de SETI@home en Californie. Par la suite, elles sont divisées en petites unités de fréquence et temps qui sont analysées à l'aide d'un logiciel afin d'y déceler un signal, c'est-à-dire une variation qui se distingue du bruit cosmique et qui contient de l'information.
Le point crucial de SETI@home est que les millions d'unités produites sont envoyées à des ordinateurs personnels qui utilisent le logiciel et qui, une fois l'analyse terminée, retournent les résultats à la source. Ainsi, une analyse de données nécessitant un temps de calcul faramineux pour un seul ordinateur devient faisable par la « distribution » de la tâche à une grande communauté d'internautes.
Le logiciel recherche quatre types de signaux[4] qui pourraient se distinguer du bruit cosmique :
- Des pics dans la densité spectrale de puissance ;
- Des montées et descentes de forme gaussienne dans la puissance de transmission, qui pourraient représenter le passage du lobe principal du radiotélescope sur une source radio ;
- Des triplets (trois pics de puissance dans un rang) ;
- Un signal pulsé, c'est-à-dire un signal non pas émis en continu mais sous la forme d'une série d'impulsions.
Un signal radio extraterrestre peut être affecté de bien des manières par le milieu interstellaire et par le mouvement de la source par rapport à la Terre. Le signal potentiel est donc traité de plusieurs façons (bien que toutes les méthodes de détection ne soient pas exploitées) afin d'avoir les meilleures chances possibles de le distinguer du bruit cosmique ambiant. Un signal radio extraterrestre intelligent provenant d'une autre planète ayant une vitesse et une accélération différente de la Terre subira une variation de fréquence en fonction du temps. Le logiciel SETI@home recherche également ces variations.
Le logiciel fonctionne un peu comme lorsque l'on tourne le bouton de fréquence d'un poste de radio pour capter différents canaux. Si le signal augmente, cela attire l'attention. De manière plus technique, le logiciel implique quantité d'analyses numériques, principalement via des transformées de Fourier discrètes avec des chirps de périodes et durées différentes.
Résultats
modifierBien que le projet n'ait détecté aucun signal d'une intelligence extraterrestre, il a identifié plusieurs candidats à certains endroits dans le ciel où des pics d'intensité sont difficilement attribuables à du bruit cosmique[5]. Ces positions ont été notées pour analyses ultérieures. À ce jour, le principal candidat nommé SHGb02+14a fut annoncé le , mais le signal, bien qu'énigmatique, n'était pas d'origine extraterrestre.
L'astronome Seth Shostak a affirmé[6], en se fondant sur l'équation de Drake, qu'il s'attend à obtenir un signal concluant entre et . Ceci signifierait que, malgré l'insuccès du projet durant près de dix ans, un effort prolongé pourrait être fructueux.
Bien que le projet n'ait pas atteint le but de trouver une intelligence extraterrestre, il a prouvé à la communauté scientifique que les projets de calcul distribué, utilisant des ordinateurs personnels connectés à l'Internet, sont des outils d'analyse considérables qui peuvent rivaliser avec les plus puissants superordinateurs[7],[8].
Technologie
modifierN'importe qui possédant un ordinateur ayant un accès à l'Internet peut participer à SETI@home en exécutant un programme gratuit qui télécharge et analyse les données d'un radiotélescope.
Les données sont enregistrées sur des bandes magnétiques de 36 Go à l'Observatoire d'Arecibo, Puerto Rico. Chacun des disques possède 15,5 heures d'observations qui sont par la suite envoyées à Berkeley[9]. Arecibo n'ayant pas de connexion Internet à large bande passante, les données doivent être envoyées par la poste.
Une fois à Berkeley, les données sont divisées en unités de temps et de fréquence de 107 secondes[10] (approximativement 0,35 Mo). Ces « unités de travail » (work units) sont alors envoyées partout dans le monde, via l'Internet et à partir du serveur de SETI@home, afin d'être analysées.
Le logiciel d'analyse peut rechercher des signaux ayant le dixième de la force de ceux qui pouvaient être détectés lors d'autres recensements. Ceci s'explique par l'utilisation d'un algorithme informatique puissant nommé coherent integration (que l'on pourrait traduire par intégration cohérente) qui demande une puissance de calcul que nul autre projet SETI n'aurait.
Les unités de travail analysées sont normalement renvoyées automatiquement à Berkeley. Elles y sont stockées dans une banque de données par des ordinateurs dédiés au projet. Les interférences sont éliminées et une panoplie d'algorithmes est utilisée afin de chercher les signaux les plus intéressants.
Logiciel
modifierLe logiciel de calcul distribué SETI@home fonctionne soit sous forme d'écran de veille, soit de manière continue pendant que l'utilisateur travaille, utilisant une certaine puissance du processeur qui ne serait pas utilisée autrement.
La plate-forme initiale supportant le logiciel, nommée désormais « SETI@home classique » (SETI@home classic), fut utilisée du au . Elle ne pouvait faire fonctionner que le projet SETI@home. Elle a été remplacée par la plate-forme BOINC (BOINC, pouvant se traduire par « Infrastructure ouverte de Berkeley pour le calcul distribué ») qui permet aux utilisateurs d'analyser plus de types de signaux et de participer à d'autres projets de calcul distribué en même temps que celui de SETI@home.
L'arrêt du SETI@home classique dit « Classic » a empêché les ordinateurs Macintosh utilisant des systèmes d'exploitation pré-OS X de pouvoir participer au projet.
BOINC se compose du client (BOINC client) qui effectue les calculs et du gestionnaire (BOINC manager) qui est l'interface graphique permettant de paramétrer le comportement du client[11]. Les deux sont habituellement installés en même temps mais cette structure donne la possibilité d'installer un ou plusieurs clients sur des machines dédiées, toutes contrôlées à distance par un seul gestionnaire.
Le , de nouvelles unités de travail pour une nouvelle version de SETI@home, appelée « SETI@home Avancé » (SETI@home Enhanced), ont été distribuées. Ainsi, les ordinateurs fournissent la puissance pour un travail beaucoup plus intensif qu'à l'origine du projet. Cette nouvelle version est deux fois plus sensible aux signaux gaussiens ainsi qu'à certains types de signaux modulés que la version Classic du logiciel. Elle a été optimisée au point qu'elle analyse plus rapidement que les versions précédentes certaines unités de travail. Cependant, d'autres unités de travail (les meilleures, scientifiquement parlant) vont demander un temps d'analyse plus long.
Certaines applications optionnelles de SETI@home, optimisées pour des types particuliers de processeurs, furent accessibles. On y réfère comme étant les « exécutables optimisés » (optimized executables)[12].
SETI@home a également été utilisé comme outil pour effectuer des tests de performance sur des stations de travail. Plus précisément comme test en stress en utilisant le processeur à puissance maximale pendant une période soutenue. Cela est particulièrement utile pour l'overclocking.
Au la version stable du logiciel est la 7.8.3. Il peut être installé sur Android, Linux, Mac OS, Raspberry Pi, Windows et prend en charge les calculs par cartes graphiques Nvidia, Intel et AMD.
Statistiques
modifierStatistiques disponibles au , depuis [13],[14],[15].
Statistiques globales de BOINC
modifier- Nombre de projets : 37 recensés
- Utilisateurs enregistrés : 4 571 391
- Utilisateurs actifs : 171 809 (3,76 %)
- Ordinateurs total : 1 101 777
- Ordinateurs actifs : 847 552 (76,93 %)
- Opérations par seconde : environ 23 217 téraFLOPS
Statistique du projet SETI@home
modifier- Utilisateurs enregistrés : 1 725 858
- Utilisateurs actifs : 100 268 (5,81 %)
- Ordinateurs total : 189 173
- Ordinateurs actifs : 166 480 (88 %)
- Opérations par seconde : environ 894 téraFLOPS
À titre de comparaison, la puissance de calcul développée par SETI@home serait l'équivalent du 229e superordinateur le plus puissant du monde en [16]. Depuis le , le projet a accumulé plus de deux millions d'années de temps d'analyse d'ordinateur (en ).
Évolutions
modifierMises à jour de l'Observatoire d'Arecibo
modifierEn 2007, le radiotélescope fut arrêté durant plusieurs semaines. Le but était de remplacer les anciennes couches de peinture au plomb qui le recouvrait par une nouvelle couche permettant une meilleure protection contre la corrosion et l'humidité[17]. De nouveaux récepteurs beaucoup plus sensibles, générant 500 fois plus de données sont aussi installés, ce qui incite le projet à appeler plus de volontaires pour les traiter[18].
Observatoire de Parkes
modifierDepuis les années 1990, l'Observatoire de Parkes en Australie a été utilisé à plusieurs reprises dans le cadre de projets SETI comme le Projet Phoenix ou le Southern SERENDIP de l'Université occidentale de Sydney[19]. Le centre de la galaxie étant très peu visible depuis l'hémisphère nord ; observer le ciel austral augmente considérablement les chances de trouver un signal.
En 2015, les promoteurs de Breakthrough Initiatives annoncent que le radiotélescope de Parkes sera mis à contribution, ainsi que SETI@home dans le cadre du sous-projet Projet Breakthrough Listen, apportant de ce fait une quantité supplémentaire de données à analyser[20].
Aspect compétitif
modifierLes utilisateurs de SETI@home sont rapidement entrés en compétition les uns contre les autres pour déterminer qui analysera le plus d'unité de travail. Chaque unité de travail analysée est créditée et compilée statistiquement[21] par le projet. Des équipes se sont formées pour combiner les efforts individuels. La compétition s'est poursuivie et s'est étendue avec l'avènement de BOINC.
Des tentatives de tricherie ont été faites pour obtenir le crédit d'analyses qui n'ont pas été effectuées. Pour contrer cela, toutes les unités de travail sont envoyées à plusieurs ordinateurs par SETI@home. On appelle cela la « réplication initiale » (initial replication). Au départ, on envoie les unités à 3 ordinateurs différents. L'unité de travail est créditée au moment où il y a au moins deux réplications qui ont été retournées et qui présentent des résultats cohérents entre eux. On appelle cela « quorum » (« minimum quorum »). Si à la suite d'erreurs de traitement informatique ou à une tricherie par soumission de fausses analyses, les résultats ne sont pas cohérents, des répliques supplémentaires sont envoyées jusqu'à ce que le quorum soit atteint. Le même crédit final est alors accordé à toutes les machines qui ont retourné le résultat correct. Puisque le crédit d'analyse varie parfois légèrement d'un ordinateur à l'autre (à cause de différences mineures entre les processeurs et d'autres facteurs[22]), le crédit final accordé correspond au plus petit crédit réclamé.
Certains utilisateurs ont installé et fait fonctionner SETI@home sur des ordinateurs de leur milieu de travail. Cette action est nommée, en anglais, borging, d'après les Borgs, une race de créatures assimilatrices de l'univers de science-fiction Star Trek. Dans au moins un cas[23], ceci a mené au licenciement d'un employé.
D'autres utilisateurs ont accumulé de grandes quantités d'équipement à la maison pour créer des « fermes SETI » (SETI farms). Elles consistent normalement en une série d'ordinateurs empilés, sans moniteurs, et n'ayant qu'une carte mère, un processeur, de la mémoire vive et une alimentation électrique ainsi que jusqu'à quatre cartes graphiques PCIE par machine.
Accélération matérielle
Les utilisateurs de BOINC ont la possibilité d'accélérer par un facteur 10 à 20 la puissance des calculs SETI de leurs machines grâce à l'utilisation de l'accélération CUDA[24] disponible sur les cartes graphiques de marque NVIDIA. En effet si les processeurs récents contiennent 2, 4 ou 6 cores, les GPU modernes présent sur les cartes graphiques en contiennent plusieurs centaines (336 cores sur une GTX460, 384 cores sur une GTX560 TI) ce qui explique leur puissance inégalée pour des calculs massivement parallèles.
Accélération logicielle
De plus les utilisateurs de BOINC peuvent aussi selon leur configuration hardware machine installer des librairies de calculs SETI très optimisés à la fois pour CPU et GPU permettant encore un gain supplémentaire important[25],[26].
Un autre avantage de ces applications optimisés SETI non officielles est notamment la possibilité de faire tourner SETI sur des 'GPU ATI ce que ne permettait pas jusqu'à présent les applicatifs officiels de Berkeley. Ce type d'installation pour les GPUs ATI nécessite une procédure précise et minutieuse même si elle est relativement rapide à mettre en place. Toutes les explications sont en ligne sur le site des lunatics et un forum d'aide est disponible du côté de la plateforme applicative BOINC. Il est avisé avant d'installer ces applications optimisées de renvoyer toutes les unités déjà calculées vers Berkeley et de sauvegarder celles en attente pour éviter leur perte en cas de fausse manipulation.
Les GPUs GeForce des séries 6, 7, 8, 9, 1xx, 2xx, 3xx, 4xx et 5xx permettent l'utilisation de CUDA 4.0 à condition d'installer la dernière version des pilotes (supérieure à 270.xx) disponible sur le site de NVIDIA[27].
Accélération du calcul (x10 attendu) par tri des blocs
Lorsque les unités de calculs sont calculées à la fois sur GPU et CPU avec BOINC il est possible aussi de les trier afin d'accélérer encore la vitesse des calculs. Ce gain est obtenu en redirigeant toutes les unités de calculs VLAR et VHAR destinées aux GPU vers les CPU. Sur les blocs normaux les GPU vont jusqu'à 20 fois plus vite que sur les CPU. En revanche, pour ce type de bloc de calcul VHAR et surtout VLAR le rendement sur GPU chute dramatiquement, rendant sans intérêt leur exécution sur GPU car les CPU les traitent presque aussi rapidement. Même si la proportion d'unité VHAR/VLAR varie selon les moments et peut être ponctuellement faible, leur exécution sur les GPU est très pénalisante sauf si on procède à ce tri qui peut être automatisé par des logiciels adéquats.
Exemples de gain (CPU à 3 GHz avec 2 cores et GPU à 800 MHz GTX560TI avec 384 cores) :
- temps d'exécution d'une unité de calcul SETI non VHAR/VLAR sur GPU GTX560TI : 5 à 25 minutes ;
- temps d'exécution d'une unité de calcul SETI non VHAR/VLAR sur CPU à 3 GHz : 60 à 300 minutes.
Le temps d'exécution d'une unité de calcul SETI VHAR/VLAR sera sensiblement identique sur un CPU à 3 GHz et sur un GPU GTX560TI de référence. Mais durant le temps ou le calcul du bloc VHAR/VLAR redirigé se fera sur CPU, le GPU pourra traiter plusieurs dizaines de blocs de calculs non VHAR/VLAR d'où une accélération d'au moins x10 attendue.
GPU à architecture non FERMI : (GeForce de la série 6, 7, 8, 9, 1xx, 2xx, 3xx ; exemple GTX260)
Logiciel de tri d'unités de calculs SETI automatisé recommandé : ReSchedule 1.9[28].
Attention ce programme ne fonctionne pas avec les GPU FERMI, et son développement étant actuellement gelé ses éventuels bugs ne seront pas corrigés.
GPU à architecture FERMI : (GeForce de la série 4xx et 5xx ; exemple : GTX460) logiciel de tri d'unités de calculs SETI recommandé : boinc_rescheduler_2_7 utilisation manuelle : arrêt momentané des calculs SETI, puis lancement du tri des blocs[29].
Menaces au projet
modifierComme pour tout projet à long terme, il y a plusieurs facteurs qui pourraient menacer la poursuite de SETI@home. Quelques-uns d'entre eux sont détaillés ci-après.
- Fermeture potentielle de l'observatoire d'Arecibo : En 2011, SETI@home obtient ses données brutes des installations du radiotélescope d'Arecibo qui est exploité par le National Astronomy and Ionosphere Center, administré par l'université Cornell. La baisse du budget d'opération de l'observatoire a créé un manque à gagner qui n'a pas été compensé par d'autres sources telles des donateurs privés, la NASA, d'autres institutions de recherche étrangères ou associations à but non lucratif. Ce manque tourne aux alentours de 2,5 millions de dollars américains. Sans les fonds nécessaires, la National Science Foundation avait clairement fait savoir que l'observatoire fermerait en 2011, ce qui aurait coupé la source des données de SETI@home.
- Projets alternatifs de calcul distribué : lorsque le projet fut lancé, il y avait peu d'autres projets de recherche auxquels il était possible de donner du temps d'ordinateur. Il existe aujourd'hui beaucoup d'autres projets similaires (surtout depuis le lancement de la plate-forme BOINC) avec lesquels SETI@home est en concurrence.
- Politiques plus sévères d'utilisation des ordinateurs des sociétés : en date du , approximativement un tiers de l'analyse des unités de travail sur les versions pré-BOINC du logiciel étaient faites à partir d'ordinateurs situés au travail ou à l'école[30]. Des politiques plus sévères concernant l'utilisation des ordinateurs professionnels (en dehors de la « maison ») pourraient donc nuire au projet. Dans au moins un cas, une personne fut renvoyée à la suite de l'installation et l'utilisation non autorisées de SETI@home sur des ordinateurs utilisés par l'État de l'Ohio[31].
- Fonds : en 2011, il n'y a pas de fonds gouvernementaux consacrés à la recherche SETI. Des dons privés, ainsi que l'aptitude du Berkeley Space Science Lab à fonctionner avec de petits budgets, ont permis à SETI@home de se poursuivre bien au-delà de la durée initiale prévue pour le projet. Il reste cependant en concurrence, pour l'obtention de fonds, avec d'autres projets SETI, ainsi qu'avec des projets de sciences spatiales.
- Piratage et fraudes : certains individus et compagnies ont fait des changements non officiels à la partie distribuée du logiciel pour tenter de produire des analyses plus rapidement. Ceci a compromis l'intégrité de l'ensemble des résultats[32]. En conséquence, le logiciel a dû être mis à jour pour mieux détecter de tels changements. Bien que SETI@home ne soit pas à l'abri des analyses trafiquées, il se protège de ces dernières par l'analyse de la cohérence entre les résultats d'analyses d'une même unité de travail par plusieurs ordinateurs différents[33].
Arrêt du projet
modifierLe et après 21 ans de service, les responsables du projet annoncent la fin de SETI@home. Les deux raisons évoquées sont que le projet « est à un point de rendement décroissant car il a analysé toutes les données qui sont nécessaires pour le moment » et que l'équipe veut prendre du temps pour effectuer l'analyse finale des résultats déjà obtenus afin d'en faire un article dans une revue scientifique[34],[35].
L'annonce précise qu'à partir du , les clients BOINC ne recevront plus aucune unité de travail de SETI@home, ce dernier « entrant en hibernation ». Le site web et le forum de discussion restent ouverts et les ressources de calcul distribué du projet peuvent être utilisées par d'autres projets de recherche scientifique.
Notes et références
modifier- (en) Tony Phillips (Dr), « ET, phone SETI@home! », NASA, 23 mai, 1999 (consulté le )
- (en) Robert Nemiroff et Jerry Bonnell, « Astronomy Picture of the Day », 17 mai, 1999 (consulté le )
- (en) « SETI@home Classic: In Memoriam », 15 décembre, 2005 (consulté le )
- « Les types signaux que Seti@Home recherche », sur boinc-af.org, (consulté le ).
- (en) Page des signaux candidats sur le site Internet du SETI@home classique
- (en) Seth Shostak, « First Contact Within 20 Years: Shostak », Space Daily, (lire en ligne, consulté le ).
- « Comparaison Calcul partagé/Supercalculateurs (Juin 2009) », sur boinc-af.org, (consulté le ).
- (en) « BOINC Combined Statistics », sur netsoft-online.com (consulté le ).
- (en) Eric Korpela, Dan Werthimer, David Anderson, Jeff Cobb et Matt Lebofsky, « SETI@home - Massively Distributed Computing for SETI », Computing in Science & Engineering, , p. 78-83 (lire en ligne)
- (en) SETI@home, « The SETI@home Sky Survey », (consulté le ).
- (en) « BOINC Manager », sur berkeley.edu (consulté le ).
- (en) « Seti@Home optimized science apps and information » (consulté le ).
- (en) « Choosing BOINC projects », sur berkeley.edu, (consulté le ).
- « BOINC global - Statistiques détaillées », sur boincstats.com (consulté le ).
- « SETI@Home - Statistiques détaillées », sur boincstats.com (consulté le ).
- (en) « Top500 List - November 2017 », Liste des 500 ordinateurs les plus puissants du monde, (consulté le ).
- « Progression des travaux de réfection du radiotélescope d'Arecibo », sur boinc-af.org, (consulté le ).
- (en) Robert Sanders, « SETI@home looking for more volunteers », (consulté le ).
- (en) « SETI Australia Science », sur Université occidentale de Sydney, (consulté le ).
- Camille Gévaudan, « «Breakthrough Listen» : Stephen Hawking à l'écoute des extraterrestres », sur Libération (journal), (consulté le ).
- Willy de Zutter, « Home », sur boincstats.com (consulté le ).
- « Comment sont calculés les crédits », sur boinc-af.org, (consulté le ).
- (en) Liz Foreman, « State Employee Fired For Using State Property To Search For Aliens », Associated Press,
- (en) « CUDA Zone », sur NVIDIA Developer, (consulté le ).
- « Downloads », sur kwsn.net via Wikiwix (consulté le ).
- « Mises à jour de l'application d'optimisation pour Séti (mai/juin 2011) », sur boinc-af.org via Wikiwix (consulté le ).
- « Séti@Home : Cuda 4 pour Nvidia », sur boinc-af.org via Internet Archive (consulté le ).
- « lunatics.kwsn.net/index.php?ac… »(Archive.org • Wikiwix • Archive.is • Google • Que faire ?).
- (en) « BoincTasks and TThrottle forum », sur eFMer - BoincTasks and TThrottle forum (consulté le ).
- (en) SETI@home, « SETI@home computer venues », (consulté le )
- (en) Knock Down, Then Kick - O'Reilly Databases
- (en) David Molnar, « The SETI@Home Problem », (consulté le )
- (en) SecurityIssues - BOINC - Trac
- (en) Lawrence Abrams, « SETI@home Search for Alien Life Project Shuts Down After 21 Years », sur bleepingcomputer.com, (consulté le ).
- (en) Martin Brinkmann, « SETI@Home's Search for Extraterrestrial Intelligence comes to an end », sur Ghacks (en), (consulté le ).
Voir aussi
modifierArticles connexes
modifier- SETI
- Calcul distribué
- BOINC
- Liste des projets BOINC
- Einstein@Home
- Folding@home
- PlanetQuest
- Rosetta@home
- Distributed.net
- Grille informatique
Liens externes
modifier- Site officiel
- Dossier SETI sur futura-sciences.com
- http://setiathome.free.fr/ Pour référence, le site n'est plus maintenu depuis 2001.
- BOINC