Το Λέσλι Λάμπορτ είναι ο συγγραφέας θεμελιωδών εργασιών στον κατανεμημένο υπολογισμό και ίσως τον γνωρίζετε και με τα γράμματα La στη λέξη LaTeX - "Lamport TeX". Ήταν αυτός που πρώτος, το 1979, εισήγαγε την έννοια , και το άρθρο του έλαβε το βραβείο Dijkstra (ακριβέστερα, το 2000 το βραβείο ονομαζόταν με τον παλιό του τρόπο: «PODC Influential Paper Award»). Υπάρχει για αυτόν , όπου μπορείτε να βρείτε μερικούς πιο ενδιαφέροντες συνδέσμους. Εάν είστε ενθουσιασμένοι για την επίλυση προβλημάτων στο να συμβεί-πριν ή (BFT), τότε πρέπει να καταλάβετε ότι η Lamport βρίσκεται πίσω από όλα αυτά.
Επίσης σύντομα θα έρθει στο νέο μας συνέδριο για τους κατανεμημένους υπολογιστές - Hydra, το οποίο θα πραγματοποιηθεί στις 11-12 Ιουλίου στην Αγία Πετρούπολη. Ας δούμε τι είδους ζώο είναι αυτό.
Ύδρα 2019
Θέματα όπως το multithreading είναι από τα πιο δημοφιλή στα συνέδριά μας, πάντα ήταν. Μόλις τώρα αυτό το δωμάτιο ήταν έρημο, αλλά μετά εμφανίζεται ένα άτομο στη σκηνή που μιλά για το μοντέλο μνήμης, συμβαίνει-πριν ή πολλαπλών νημάτων συλλογή σκουπιδιών και - μπουμ! — ήδη περίπου χίλια άτομα καταλαμβάνουν όλο τον διαθέσιμο χώρο για να καθίσουν και να ακούσουν προσεκτικά. Ποια είναι η ουσία αυτής της επιτυχίας; Ίσως είναι επειδή όλοι έχουμε κάποιο είδος υλικού στη διάθεσή μας που μπορεί να οργανώσει κατανεμημένους υπολογιστές; Ή μήπως καταλαβαίνουμε υποσυνείδητα την αδυναμία μας να το φορτώσουμε όπως του αξίζει; Υπάρχει μια πραγματική ιστορία ενός ποσού της Αγίας Πετρούπολης (δηλαδή ενός χρηματοοικονομικού ποσοτικού αναλυτή και προγραμματιστή), ο οποίος βρέθηκε να έχει στην κατοχή του ένα υπολογιστικό σύμπλεγμα, την πλήρη ισχύ του οποίου μόνο αυτός θα μπορούσε να χρησιμοποιήσει. Τι θα κάνατε αν είχατε τη δυνατότητα να εκτελέσετε τις εργασίες σας που ήταν πολλές φορές μεγαλύτερη από ό,τι είναι τώρα;
Λόγω αυτής της δημοτικότητας, το θέμα της παραγωγικότητας και του αποδοτικού υπολογισμού τείνει να εξαπλωθεί σε όλη την ατζέντα του συνεδρίου. Πόσες από τις δύο ημέρες αναφορών μπορούν να γίνουν σχετικά με την απόδοση - ένα τρίτο, δύο τρίτα; Σε ορισμένα μέρη υπάρχουν τεχνητοί περιορισμοί που περιορίζουν αυτήν την ανάπτυξη: εκτός από την απόδοση, πρέπει να υπάρχει ακόμα χώρος για νέα πλαίσια web, για κάποιο είδος devops ή αρχιτεκτονική αστροναυτική. Όχι, απόδοση, δεν θα μας φας όλους ολόκληρους!
Ή μπορείτε να πάτε αντίθετα, να τα παρατήσετε και να κάνετε ειλικρινά μια διάσκεψη που θα αφορά αποκλειστικά τους κατανεμημένους υπολογιστές και μόνο για αυτούς. Και εδώ είναι, Ύδρα.
Ας παραδεχτούμε ειλικρινά ότι σήμερα όλοι οι υπολογισμοί κατανέμονται με τον ένα ή τον άλλο τρόπο. Είτε πρόκειται για μηχανή πολλαπλών πυρήνων, για υπολογιστικό σύμπλεγμα ή για μεγάλης κλίμακας κατανεμημένη υπηρεσία, υπάρχουν παντού πολλές διεργασίες που εκτελούν ανεξάρτητους υπολογισμούς παράλληλα, συγχρονίζοντας μεταξύ τους. Η Hydra θα αφιερωθεί στο πώς λειτουργεί αυτό στη θεωρία και πώς λειτουργεί στην πράξη.
Πρόγραμμα συνεδρίου
Το πρόγραμμα αυτή τη στιγμή βρίσκεται στο στάδιο διαμόρφωσης του. Θα πρέπει να περιλαμβάνει αναφορές από τους ιδρυτές των θεωριών των κατανεμημένων συστημάτων και μηχανικούς που εργάζονται μαζί τους στην παραγωγή.
Για παράδειγμα, η συμμετοχή της Leslie Lamport από τη Microsoft Research και του Maurice Herlihy από το Brown University είναι ήδη γνωστή.
Maurice Herlihy - ένας πολύ διάσημος και σεβαστός καθηγητής Πληροφορικής, υπάρχουν και πληροφορίες για αυτόν , όπου μπορείτε να περιηγηθείτε σε συνδέσμους και έργα. Εκεί μπορείτε να παρατηρήσετε δύο βραβεία Dijkstra, το πρώτο για δουλειά και το δεύτερο, πιο πρόσφατο - . Παρεμπιπτόντως, οι σύνδεσμοι δεν οδηγούν καν στο SciHub, αλλά στο Brown University και το Virginia Tech University, μπορείτε να ανοίξετε και να διαβάσετε.
Ο Maurice πρόκειται να πραγματοποιήσει μια κεντρική ομιλία με τίτλο «Blockchains από μια προοπτική κατανεμημένων υπολογιστών». Εάν ενδιαφέρεστε, μπορείτε να ρίξετε μια ματιά στην ηχογράφηση της αναφοράς του Maurice από την JUG της Αγίας Πετρούπολης. Αξιολογήστε πόσο καθαρά και κατανοητά μεταφέρει το θέμα.
Θα διαβάσει η δεύτερη κεντρική ομιλία που ονομάζεται «Δομές δεδομένων διπλής». Μάικλ Σκοτ από το Πανεπιστήμιο του Ρότσεστερ. Και μαντέψτε - έχει και αυτός το δικό του . Στο σπίτι του στο Ουισκόνσιν, είναι γνωστός για τη δουλειά του ως κοσμήτορας στο Πανεπιστήμιο του Ουισκόνσιν-Μάντισον και στον κόσμο είναι ο άνθρωπος που, μαζί με τον Νταγκ Λία, ανέπτυξαν τους αλγόριθμους μη αποκλεισμού και τις σύγχρονες ουρές στις οποίες οι βιβλιοθήκες Java δουλειά. Έλαβε το βραβείο Dijkstra τρία χρόνια μετά το Herlihy, για το έργο του «Algorithms for scalable synchronization on shared-memory multiprocessors» (όπως αναμενόταν, στην ηλεκτρονική βιβλιοθήκη του Πανεπιστημίου του Ρότσεστερ).
Υπάρχει ακόμη πολύς χρόνος μέχρι τα μέσα Ιουλίου. Θα σας πούμε για τους υπόλοιπους ομιλητές και τα θέματά τους καθώς τελειοποιούμε το πρόγραμμα και πλησιάζουμε τον Ιούλιο.
Γενικά, τίθεται το ερώτημα - γιατί κάνουμε Ύδρα το καλοκαίρι; Άλλωστε αυτή είναι η χαμηλή περίοδος, οι διακοπές. Το πρόβλημα είναι ότι ανάμεσα στους ομιλητές υπάρχουν καθηγητές πανεπιστημίου, και κάθε άλλη στιγμή είναι απασχολημένη για αυτούς. Απλώς δεν μπορούσαμε να επιλέξουμε άλλες ημερομηνίες.
Τομείς συζήτησης
Σε άλλα συνέδρια, τυχαίνει ο ομιλητής να διαβάζει αυτό που χρειαζόταν και να αποχωρήσει αμέσως. Οι συμμετέχοντες δεν έχουν καν χρόνο να το ψάξουν - τελικά, η επόμενη αναφορά ξεκινά σχεδόν χωρίς μεσοδιάστημα. Αυτό είναι πολύ οδυνηρό, ειδικά αν είναι παρόντες σημαντικοί άνθρωποι όπως ο Lamport, ο Herlihy και ο Scott, και στην πραγματικότητα πηγαίνετε στο συνέδριο απλώς για να τους συναντήσετε και να συζητήσετε κάτι.
Έχουμε λύσει αυτό το πρόβλημα. Αμέσως μετά την αναφορά του, ο ομιλητής πηγαίνει σε έναν ειδικό χώρο συζήτησης, εξοπλισμένο με τουλάχιστον έναν πίνακα με μαρκαδόρο, και έχετε πολύ χρόνο. Επίσημα, ο ομιλητής υπόσχεται να είναι εκεί τουλάχιστον σε όλο το διάλειμμα μεταξύ των παρουσιάσεων. Στην πραγματικότητα, αυτοί οι τομείς συζήτησης μπορώ τέντωμα για ώρες στο τέλος (ανάλογα με την επιθυμία και την αντοχή του ομιλητή).
Όσο για τον Λάμπορτ, αν κατάλαβα καλά, θέλει να πείσει όσο το δυνατόν περισσότερους - Αυτό είναι ένα καλό πράγμα. (). Ίσως αυτή να είναι μια καλή ευκαιρία για τους μηχανικούς να μάθουν κάτι νέο και χρήσιμο. Ο Leslie προσφέρει αυτήν την επιλογή - όσοι ενδιαφέρονται μπορούν να παρακολουθήσουν τις προηγούμενες διαλέξεις του και να έρθουν με ερωτήσεις. Δηλαδή, αντί για κεντρική ομιλία, θα μπορούσε να υπάρξει μια εξειδικευμένη συνεδρία Q&A, και στη συνέχεια επίσης μια ζώνη συζήτησης. Έκανα λίγο γκουγκλάρισμα και βρήκα ένα υπέροχο. (επίσημη μεταγλώττιση ) και μια ωριαία διάλεξη από το Microsoft Faculty Summit.
Εάν αντιλαμβάνεστε όλους αυτούς τους ανθρώπους ως ονόματα από γρανίτη από τη Wikipedia και εξώφυλλα βιβλίων, ήρθε η ώρα να τους γνωρίσετε από κοντά! Συνομιλήστε και κάντε ερωτήσεις που οι σελίδες των επιστημονικών άρθρων δεν θα απαντήσουν, αλλά οι συγγραφείς τους θα χαρούν να επικοινωνήσουν.
Πρόσκληση για Υποβολή Εισηγήσεων
Δεν είναι μυστικό ότι πολλοί από αυτούς που διαβάζουν τώρα το άρθρο δεν είναι αντίθετοι να μας πουν κάτι αρκετά ενδιαφέρον. Από άποψη μηχανικής, από επιστημονική άποψη - από οποιαδήποτε άποψη. Η κατανεμημένη πληροφορική είναι ένα πολύ ευρύ και βαθύ θέμα όπου υπάρχει χώρος για όλους.
Αν θέλετε να αγωνιστείτε δίπλα στη Lamport, είναι απολύτως εφικτό. Για να γίνεις ομιλητής χρειάζεσαι , διαβάστε τα πάντα εκεί προσεκτικά και κάντε σύμφωνα με τις οδηγίες.
Να είστε σίγουροι, μόλις μπείτε στη διαδικασία, θα σας βοηθήσουν. Η Επιτροπή Προγράμματος έχει επαρκείς δυνατότητες για να βοηθήσει με την ίδια την έκθεση, την ουσία και το σχεδιασμό της. Ο συντονιστής θα σας βοηθήσει να λύσετε οργανωτικά ζητήματα και ούτω καθεξής.
Δώστε ιδιαίτερη προσοχή στην εικόνα με τις ημερομηνίες. Ο Ιούλιος είναι μια μάλλον μακρινή ημερομηνία για τον συμμετέχοντα, αλλά ο ομιλητής πρέπει να αρχίσει να ενεργεί τώρα.
Σχολή SPTDC
Το συνέδριο θα πραγματοποιηθεί στον ίδιο χώρο με το σχολείο SPTDC, επομένως για όλους όσους αγοράζουν εισιτήριο για το σχολείο, εισιτήρια για το συνέδριο θα είναι με έκπτωση 20%.
είναι ένα σχολείο που παρέχει ένα ευρύ φάσμα μαθημάτων σχετικά με τις πρακτικές και θεωρητικές πτυχές των κατανεμημένων συστημάτων, που διδάσκονται από αναγνωρισμένους ειδικούς στο σχετικό πεδίο.
Το σχολείο θα διεξαχθεί στα αγγλικά, επομένως η λίστα με τα θέματα που καλύπτονται είναι η εξής:
- Ταυτόχρονες δομές δεδομένων: ορθότητα και αποτελεσματικότητα.
- Αλγόριθμοι για μη πτητική μνήμη.
- Κατανεμημένη υπολογισιμότητα;
- Κατανεμημένη μηχανική μάθηση.
- Αντιγραφή κράτους-μηχανής και Παξοί.
- Βυζαντινή ανοχή σφαλμάτων;
- Αλγοριθμικά βασικά των blockchains.
Θα μιλήσουν οι παρακάτω ομιλητές:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Πανεπιστήμιο Brown);
- Michael Scott (Πανεπιστήμιο του Ρότσεστερ);
- Dan Alistarh (IST Αυστρία);
- Trevor Brown (Πανεπιστήμιο του Βατερλώ);
- Eli Gafni (UCLA);
- Danny Hendler (Πανεπιστήμιο Ben Gurion);
- Achour Mostefaoui (Πανεπιστήμιο της Νάντης).
Μπορείτε να παρακολουθήσετε ελεύθερα τις αναφορές του προηγούμενου σχολείου στο YouTube:
Επόμενα βήματα
Το πρόγραμμα του συνεδρίου είναι ακόμη υπό διαμόρφωση. Ακολουθήστε τις ειδήσεις στο Habré ή στα κοινωνικά δίκτυα (, , ).
Εάν πιστεύετε πραγματικά στο συνέδριο (ή θέλετε να επωφεληθείτε από την ειδική τιμή εισόδου, που ονομάζεται "Early Bird"), μπορείτε να μεταβείτε στον ιστότοπο και .
Τα λέμε στην Ύδρα!
Πηγή: www.habr.com