Θεωρία είναι όταν ξέρεις τα πάντα αλλά τίποτα δεν λειτουργεί.
Η πρακτική είναι όταν όλα λειτουργούν αλλά κανείς δεν ξέρει γιατί.
Σε κατανεμημένα συστήματα, θεωρία και πράξη συνδυάζονται:
τίποτα δεν λειτουργεί και κανείς δεν ξέρει γιατί.
Για να αποδείξουμε ότι το αστείο στην επιγραφή είναι απόλυτη βλακεία, διοργανώνουμε για τρίτη φορά SPTDC (σχολή πρακτικής και θεωρίας κατανεμημένων υπολογιστών). Έχουμε ήδη συζητήσει την ιστορία του σχολείου, τους συνιδρυτές του Pyotr Kuznetsov και Vitaly Aksyonov, καθώς και τη συμμετοχή του Ομίλου JUG Ru στη διοργάνωση του SPTDC είπα στο Habré. Επομένως, σήμερα μιλάμε για το σχολείο το 2020, για διαλέξεις και διδάσκοντες, καθώς και για τις διαφορές μεταξύ σχολείου και συνεδρίου.
Το σχολείο SPTDC θα πραγματοποιηθεί από τις 6 Ιουλίου έως τις 9 Ιουλίου 2020 στη Μόσχα.
Όλες οι διαλέξεις θα είναι στα αγγλικά. Τα κύρια θέματα των διαλέξεων: επίμονος ταυτόχρονος υπολογισμός, κρυπτογραφικά εργαλεία για κατανεμημένα συστήματα, επίσημες μέθοδοι επαλήθευσης πρωτοκόλλων συναίνεσης, συνέπεια σε συστήματα μεγάλης κλίμακας, κατανεμημένη μηχανική μάθηση.
Μαντέψατε αμέσως τι στρατιωτικό βαθμό είναι οι χαρακτήρες της εικόνας; Σε λατρεύω.
Λέκτορες και διαλέξεις
Νιρ Σαβίτ (Nir Shavit) - καθηγητής στο MIT και στο Πανεπιστήμιο του Τελ Αβίβ, συν-συγγραφέας ενός σπουδαίου βιβλίου Η τέχνη του προγραμματισμού πολλαπλών επεξεργαστών, ιδιοκτήτης Βραβείο Dijkstra για ανάπτυξη και υλοποίηση συναλλακτική μνήμη λογισμικού (STM) και Βραβείο Γκέντελ για την εργασία του σχετικά με την εφαρμογή της αλγεβρικής τοπολογίας στη μοντελοποίηση υπολογιστών κοινής μνήμης, συνιδρυτής της εταιρείας Νευρική Μαγεία, το οποίο δημιουργεί γρήγορους αλγόριθμους μηχανικής εκμάθησης για συνηθισμένες CPU και, φυσικά, έχει τους δικούς του Σελίδες Wikipedia με μια τολμηρή και αποπνικτική φωτογραφία. Ο Nir συμμετείχε ήδη στο σχολείο μας το 2017, όπου έδωσε μια ολοκληρωμένη επισκόπηση των τεχνικών αποκλεισμού (Μέρος 1, Μέρος 2). Δεν γνωρίζουμε ακόμη τι θα μιλήσει ο Nir φέτος, αλλά ελπίζουμε σε νέα από το προσκήνιο της επιστήμης.
Μάικλ Σκοτ (Michael Scott) - ερευνητής στο Πανεπιστήμιο του Ρότσεστερ, γνωστός σε όλους τους προγραμματιστές Java ως δημιουργός αλγόριθμοι μη αποκλεισμού και σύγχρονες ουρές από την Java Standard Library. Φυσικά, με το βραβείο ανάπτυξης Dijkstra αλγόριθμοι συγχρονισμού για υπολογιστές κοινής μνήμης και δική Σελίδα Wikipedia. Πέρυσι, ο Michael έδωσε μια διάλεξη στο σχολείο μας σχετικά με τις μη αποκλειστικές δομές δεδομένων (Μέρος 1, Μέρος 2). Φέτος αυτός θα πει σχετικά με τον προγραμματισμό με χρήση μη-πτητική μνήμη (NVM), το οποίο μειώνει την πολυπλοκότητα του προγράμματος και την επιβάρυνση της μνήμης σε σύγκριση με την «κανονική» μνήμη τυχαίας πρόσβασης (DRAM).
Πάει Keidar (Idit Keidar) - καθηγητής στο Τεχνείο και ιδιοκτήτης Δείκτης Hirsch περίπου 40 (που είναι πολύ, πολύ σημαντικό) για διακόσια επιστημονικά άρθρα στον τομέα των κατανεμημένων υπολογιστών, του multithreading και της ανοχής σφαλμάτων. Η Idit συμμετέχει για πρώτη φορά στο σχολείο μας, όπου θα δώσει διάλεξη σχετικά με τις βασικές πτυχές της λειτουργίας της κατανεμημένης αποθήκευσης δεδομένων: εξομοίωση κατανεμημένης μνήμης, ανάπτυξη συναίνεσης και αλλαγές διαμόρφωσης.
Ροντρίγκο Ροντρίγκεζ (Rodrigo Rodrigues) - καθηγητής στο Técnico, μέλος του εργαστηρίου Αναγνωριστικό INESC και συγγραφέας ερευνητικό έργο στον τομέα των κατανεμημένων συστημάτων. Φέτος στο σχολείο μας Rodrigo θα πει σχετικά με τη συνέπεια και την απομόνωση σε κατανεμημένες αποθήκες δεδομένων, και επίσης θα αναλύσει χρησιμοποιώντας Θεωρήματα ΚΑΠ σκοπιμότητα στην πράξη πολλών μοντέλων συνέπειας και απομόνωσης.
Τσεν Τζινγκ (Jing Chen) - Καθηγητής στο State University of New York at Stony Brook, συγγραφέας ερευνητικό έργο στον τομέα του blockchain και κορυφαίος επιστήμονας στο Αλγκόραντ - μια εταιρεία και μια πλατφόρμα blockchain που χρησιμοποιεί έναν αλγόριθμο συναίνεσης που βασίζεται εξ ολοκλήρου σε Απόδειξη του πονταρίσματος. Φέτος στο σχολείο μας, ο Chen θα μιλήσει για το blockchain Algorand και τρόπους για να επιτύχει τις ενδιαφέρουσες ιδιότητές του: χαμηλές απαιτήσεις σε υπολογιστικούς πόρους δικτύου, αδυναμία διαχωρισμού του ιστορικού συναλλαγών και εγγύηση της ολοκλήρωσης της επεξεργασίας συναλλαγών μετά την προσθήκη του στο blockchain.
Κρίστιαν Κάσιν (Christian Cachin) είναι καθηγητής στο Πανεπιστήμιο της Βέρνης, επικεφαλής μιας ερευνητικής ομάδας στον τομέα της προστασίας δεδομένων, συν-συγγραφέας του βιβλίου "Εισαγωγή στον Αξιόπιστο και Ασφαλή Κατανεμημένο Προγραμματισμό", προγραμματιστής πλατφόρμας blockchain Υφάσματα Hyperledger (μέχρι και μια κουβέντα γι' αυτήν ανάρτηση στο Habré) και συγγραφέας ερευνητικό έργο στον τομέα της κρυπτογραφίας και της ασφάλειας σε κατανεμημένα συστήματα. Φέτος στο σχολείο μας Χριστιανός θα δώσει διάλεξη μια σειρά τεσσάρων μερών για κρυπτογραφικά εργαλεία για κατανεμημένους υπολογιστές: συμμετρική και ασύμμετρη κρυπτογραφία, καθώς και κρυπτογραφία κοινόχρηστου κλειδιού, ψευδοτυχαίοι αριθμοί και επαληθεύσιμη παραγωγή τυχαίων αριθμών.
Μάρκο Βούκολιτς (Marko Vukolic) - ερευνητής στην IBM Research, συγγραφέας της εργασίας στο blockchain και προγραμματιστής της Hyperledger Fabric. Δεν ξέρουμε ακόμα τι θα μιλήσει ο Μάρκο στο σχολείο μας φέτος, αλλά ελπίζουμε ότι θα μάθουμε για τις νεότερες εξελίξεις του στον τομέα του blockchain: έρευνα υποβάθμιση της απόδοσης διένειμε πρωτόκολλα συναίνεσης σε ομάδες έως 100 μηχανών, μετάδοση Πρωτόκολλο Mir με παγκόσμια τάξη και Βυζαντινή ανοχή σφαλμάτων ή blockchain χωρίς μπλοκ StreamChain, ελαχιστοποιώντας το χρόνο διεκπεραίωσης των συναλλαγών.
Prasad Jayanti (Prasad Jayanti) είναι καθηγητής στο Dartmouth College, μια από τις ελίτ Ivy League, και ο συγγραφέας ερευνητικό έργο στον τομέα των αλγορίθμων πολλαπλών νημάτων. Φέτος στο σχολείο μας Prasad θα δώσει διάλεξη σχετικά με το συγχρονισμό νημάτων και τους αλγόριθμους για την υλοποίηση διαφόρων επιλογών mutex: Με λειτουργίες διακοπής ή επαναφοράς σε μοντέλα μη πτητικής μνήμης, καθώς και ξεχωριστές λειτουργίες ανάγνωσης και εγγραφής.
Alexey Gotsman (Alexey Gotsman) - καθηγητής στο IMDEA και συγγραφέας ερευνητικό έργο στον τομέα της επαλήθευσης λογισμικού αλγορίθμων. Δεν γνωρίζουμε ακόμη τι θα κάνει ο Alexey στο σχολείο μας φέτος, αλλά υπολογίζουμε σε ένα θέμα στο σημείο που θα διασταυρωθεί η επαλήθευση λογισμικού και τα κατανεμημένα συστήματα.
Γιατί αυτό είναι σχολείο και όχι συνέδριο;
Πρώτον, οι διδάσκοντες μιλούν σε ακαδημαϊκή μορφή και κάθε μεγάλη διάλεξη δίνεται από δύο ζευγάρια: «Μιάμιση ώρα - διάλειμμα - άλλη μιάμιση ώρα». Πολλά χρόνια μετά το πανεπιστήμιο, με τη συνήθεια των ωριαίων παρουσιάσεων σε συνέδρια και των 10 λεπτών βίντεο στο YouTube, αυτό μπορεί να είναι δύσκολο. Ένας καλός λέκτορας θα κάνει όλο το τρίωρο ενδιαφέρον, αλλά ο καθένας είναι υπεύθυνος για την πλαστικότητα του εγκεφάλου του.
Χρήσιμες συμβουλές: εξασκηθείτε στις βιντεοσκοπήσεις σχολικών διαλέξεων 2017 έτος και 2019 έτος. Αντίο δουλειά - γεια Βυζαντινοί στρατηγοί.
Δεύτερον, οι διδάσκοντες επικεντρώνονται στην επιστημονική έρευνα και μιλούν για θεμελιώδεις αρχές κατανεμημένα συστήματα και παράλληλοι υπολογιστές, καθώς και νέα από την αιχμή της επιστήμης. Εάν ο στόχος σας είναι να προγραμματίσετε γρήγορα κάτι και να το αναπτύξετε στην παραγωγή την επόμενη μέρα μετά το σχολείο, αυτό μπορεί επίσης να είναι δύσκολο.
Χρήσιμη συμβουλή: αναζητήστε ερευνητικές εργασίες από καθηγητές σχολείων για Google Scholar и arXiv.org. Αν σας αρέσει να διαβάζετε επιστημονικές εργασίες, θα σας αρέσει και το σχολείο.
Τρίτον, το SPTDC 2020 δεν είναι μια διάσκεψη, επειδή μια διάσκεψη για τα κατανεμημένα συστήματα και τους παράλληλους υπολογιστές είναι Ύδρα 2020. Πρόσφατα υπήρξε μια ανάρτηση στο Habré with μια επισκόπηση του προγράμματός της. Πέρυσι, το SPTDC και η Ύδρα έγιναν ταυτόχρονα και στον ίδιο χώρο. Φέτος δεν αλληλεπικαλύπτονται στα ραντεβού, άρα δεν ανταγωνίζονται μεταξύ τους για τον χρόνο και την προσοχή σας.
Χρήσιμη συμβουλή: Δείτε το πρόγραμμα του συνεδρίου Hydra και εξετάστε το ενδεχόμενο να παρακολουθήσετε ένα άλλο συνέδριο μετά το σχολείο. Θα είναι μια καλή εβδομάδα.
Πώς να πάω στο σχολείο;
- Σημειώστε τις ημερομηνίες από 6 Ιουλίου έως 9 Ιουλίου 2020 στο ημερολόγιό σας (ή καλύτερα, 11 Ιουλίου, ώστε να μπορείτε να πάτε στο συνέδριο της Ύδρας μετά το σχολείο).
- Πάρε καρδιά, ετοιμάσου.
- Επιλέξτε εισιτήρια και πήγαινε στο σχολείο.
Πηγή: www.habr.com