La théorie, c'est quand on sait tout mais que rien ne fonctionne.
La pratique, c'est quand tout fonctionne mais personne ne sait pourquoi.
Dans les systèmes distribués, théorie et pratique se conjuguent :
rien ne marche et personne ne sait pourquoi.
Pour prouver que la blague dans l'épigraphe est une bêtise absolue, nous organisons pour la troisième fois le SPTDC (école sur la pratique et la théorie de l'informatique distribuée). Nous avons déjà évoqué l'histoire de l'école, ses co-fondateurs Pyotr Kuznetsov et Vitaly Aksenov, ainsi que la participation du groupe JUG Ru à l'organisation du SPTDC. dit sur Habré. C'est pourquoi nous parlons aujourd'hui de l'école en 2020, des conférences et des conférenciers, ainsi que des différences entre l'école et la conférence.
L'école SPTDC se tiendra du 6 au 9 juillet 2020 à Moscou.
Toutes les conférences seront en anglais. Les principaux thèmes des cours : calcul concurrent persistant, outils cryptographiques pour systèmes distribués, méthodes formelles de vérification des protocoles de consensus, cohérence dans les systèmes à grande échelle, apprentissage automatique distribué.
Avez-vous immédiatement deviné quel est le grade militaire des personnages sur la photo ? Je t'adore.
Conférenciers et conférences
Nir Shavit (Nir Shavit) - professeur au MIT et à l'Université de Tel Aviv, co-auteur d'un grand livre L'art de la programmation multiprocesseur, propriétaire Prix Dijkstra pour le développement et la mise en œuvre mémoire transactionnelle logicielle (STM) et Prix Gödel pour ses travaux sur l'application de la topologie algébrique à la modélisation du calcul à mémoire partagée, co-fondateur de la société Magie neurale, qui crée des algorithmes d'apprentissage automatique rapides pour les processeurs ordinaires et, bien sûr, possède son propre Pages Wikipédia avec une photographie fringante et sensuelle. Nir a déjà participé à notre école en 2017, où il a donné un aperçu complet des techniques de blocage (Partie 1, Partie 2). Nous ne savons pas encore de quoi Nir parlera cette année, mais nous espérons des nouvelles de la pointe de la science.
Michel Scott (Michael Scott) - chercheur en Université de Rochester, connu de tous les développeurs Java comme le créateur algorithmes non bloquants et files d'attente synchrones à partir de la bibliothèque standard Java. Bien sûr, avec le Prix Dijkstra pour le développement algorithmes de synchronisation pour le calcul à mémoire partagée et posséder Page Wikipédia. L'année dernière, Michael a donné une conférence dans notre école sur les structures de données non bloquantes (Partie 1, Partie 2). Cette année, il dira à propos de la programmation en utilisant une mémoire non volatile (NVM), qui réduit la complexité des programmes et la surcharge de mémoire par rapport à la mémoire vive (DRAM) « normale ».
Va Keidar (Idit Keidar) - professeur au Technion et propriétaire Indice de Hirsch environ 40 (ce qui est très, très considérable) pour deux cents articles scientifiques dans le domaine de l'informatique distribuée, du multithreading et de la tolérance aux pannes. Idit participe pour la première fois à notre école, où elle donnera une conférence sur les aspects fondamentaux du fonctionnement du stockage de données distribué : émulation de mémoire distribuée, développement de consensus et changements de configuration.
Rodrigo Rodríguez (Rodrigo Rodrigues) - professeur à Técnico, membre du laboratoire ID INESC et auteur travail de recherche dans le domaine des systèmes distribués. Cette année dans notre école Rodrigo dira sur la cohérence et l'isolation dans les magasins de données distribués, et analysera également à l'aide Théorèmes du CAP faisabilité pratique de plusieurs modèles de cohérence et d’isolement.
Chen Jing (Jing Chen) - Professeur à l'Université d'État de New York à Stony Brook, auteur travail de recherche dans le domaine de la blockchain et un scientifique de premier plan dans Algorand - une plateforme d'entreprise et de blockchain qui utilise un algorithme de consensus entièrement basé sur Preuve de participation. Cette année, dans notre école, Chen parlera de la blockchain Algorand et des moyens d'obtenir ses propriétés intéressantes : faibles exigences en ressources informatiques du réseau, impossibilité de diviser l'historique des transactions et de garantir l'achèvement du traitement de la transaction après son ajout à la blockchain.
Christian Cashin (Christian Cachin) est professeur à l'Université de Berne, dirigeant un groupe de recherche dans le domaine de la protection des données, co-auteur du livre «Introduction à la programmation distribuée fiable et sécurisée", développeur de plateforme blockchain Hyperledger Fabric (on a même parlé d'elle poster sur Habré) et auteur travail de recherche dans le domaine de la cryptographie et de la sécurité des systèmes distribués. Cette année dans notre école Christian donnera une conférence une série en quatre parties sur les outils cryptographiques pour l'informatique distribuée : cryptographie symétrique et asymétrique, ainsi que cryptographie à clé partagée, nombres pseudo-aléatoires et génération de nombres aléatoires vérifiables.
Marko Vukolic (Marko Vukolic) - chercheur chez IBM Research, auteur de travail dans la blockchain et développeur d'Hyperledger Fabric. Nous ne savons pas encore de quoi Marco parlera dans notre école cette année, mais nous espérons que nous en apprendrons davantage sur ses derniers développements dans le domaine de la blockchain : la recherche dégradation de la performance protocoles de consensus distribués sur des clusters allant jusqu'à 100 machines, diffusion Protocole Mir avec un ordre mondial et Tolérance aux pannes byzantine ou blockchain sans bloc Chaîne de flux, minimisant le temps de traitement des transactions.
Prasad Jayanti (Prasad Jayanti) est professeur au Dartmouth College, l'un des meilleurs Ivy Ligue, et l'auteur travail de recherche dans le domaine des algorithmes multithread. Cette année dans notre école Prasad donnera une conférence sur la synchronisation des threads et les algorithmes pour implémenter diverses options mutex: Avec fonctions d'interruption ou de restauration dans les modèles à mémoire non volatile, ainsi que des opérations de lecture et d'écriture séparées.
Alexeï Gotsman (Alexey Gotsman) - professeur à l'IMDEA et auteur travail de recherche dans le domaine de la vérification logicielle des algorithmes. Nous ne savons pas encore sur quoi Alexey donnera des conférences dans notre école cette année, mais nous comptons sur un sujet à l'intersection de la vérification logicielle et des systèmes distribués.
Pourquoi est-ce une école et non une conférence ?
Tout d’abord, les conférenciers s’expriment selon un format académique et chaque grand cours est donné par deux binômes : "une heure et demie - pause - encore une heure et demie." De nombreuses années après l'université, avec l'habitude des présentations de conférences d'une heure et des vidéos YouTube de 10 minutes, cela peut être difficile. Un bon conférencier rendra les trois heures entières intéressantes, mais chacun est responsable de la plasticité de son propre cerveau.
Conseil utile : entraînez-vous sur des enregistrements vidéo de cours scolaires en 2017 année et 2019 année. Adieu le travail - bonjour les généraux byzantins.
Deuxièmement, les conférenciers se concentrent sur la recherche scientifique et parlent des principes fondamentaux les systèmes distribués et le calcul parallèle, ainsi que les actualités de pointe de la science. Si votre objectif est de programmer rapidement quelque chose et de le déployer en production le lendemain de l'école, cela peut également être difficile.
Conseil utile : recherchez les documents de recherche rédigés par des professeurs d'école sur Google Scholar и arXiv.org. Si vous aimez lire des articles scientifiques, vous aimerez aussi l’école.
Troisièmement, le SPTDC 2020 n'est pas une conférence, car une conférence sur les systèmes distribués et le calcul parallèle est Hydra 2020. Récemment, il y a eu un article sur Habré avec un aperçu de son programme. L'année dernière, le SPTDC et Hydra ont eu lieu simultanément et au même endroit. Cette année, les dates ne se chevauchent pas, elles ne se font donc pas concurrence pour votre temps et votre attention.
Conseil utile : consultez le programme de la conférence Hydra et envisagez d'assister à une autre conférence après l'école. Ça va être une bonne semaine.
Comment se rendre à l'école ?
- Notez les dates du 6 au 9 juillet 2020 sur votre calendrier (ou mieux encore, le 11 juillet, pour pouvoir vous rendre à la conférence Hydra après l'école).
- Rassemblez votre courage, préparez-vous.
- Choisissez des billets et aller à l'école.
Source: habr.com