Loading AI tools
De Wikipédia, l'encyclopédie libre
Pour les articles homonymes, voir SETI (homonymie).
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 |
Calcul participatif Projet BOINC Calcul distribué Organisation à but non lucratif |
| Licence | Licence publique générale GNU et licence publique générale limitée GNU |
| Site web | setiathome.ssl.berkeley.edu |
Il 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 :
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.
Bien 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].
N'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.
Le 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.
.png)
Statistiques disponibles au , depuis [13],[14],[15].
À 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 ).
En 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].
Depuis 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].
Les 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) :
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].
Comme 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.
Le 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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
