Πύργοι του Κρεμλίνου στην αγκαλιά της Ύδρας: συνέδριο για την παράλληλη και κατανεμημένη υπολογιστική Ύδρα 2020 στη Μόσχα

Πέρυσι στην Αγία Πετρούπολη υπήρχε πρώτο συνέδριο της Ύδρας, αφιερωμένο σε παράλληλα και κατανεμημένα συστήματα. Οι βραβευθέντες έκαναν παρουσιάσεις Βραβείο Dijkstra и βραβεία Turing (Λέσλι Λάμπορτ, Maurice Herlihy и Μάικλ Σκοτ), δημιουργοί μεταγλωττιστών και γλωσσών προγραμματισμού (C++, Go, Java, Kotlin), προγραμματιστές κατανεμημένων βάσεων δεδομένων (Cassandra, CosmosDB, Yandex Database), καθώς και δημιουργοί και ερευνητές αλγορίθμων και δομών δεδομένων (CRDT, Paxos, περιμένετε -ελεύθερες δομές δεδομένων) . Γενικά, σε αυτό το σημείο μπορείτε ήδη να κάνετε διακοπές, να ελαχιστοποιήσετε το παράθυρο IDE, να ανοίξετε μια λίστα αναπαραγωγής στο YouTube με τις καλύτερες αναφορές Hydra 2019 - και αφήστε τον προγραμματιστή εργασιών να περιμένει λίγο.

Γενικά τέτοιο συνέδριο δεν έγινε ποτέ και τώρα θα ξαναγίνει. Και πάλι με αναφορές στα αγγλικά, γιατί δεν υπάρχει καλύτερη γλώσσα για να μιλήσουμε για παράλληλους και κατανεμημένους υπολογιστές. Και πάλι το καλοκαίρι, 10 και 11 Ιουλίου, γιατί οι ομιλητές έχουν χρόνο να ερευνήσουν και να διδάξουν, για παράδειγμα, στα πανεπιστήμια του Cambridge, του Rochester και της Αγίας Πετρούπολης, και άλλες εποχές του χρόνου δεν είναι για αυτούς.

Ωστόσο, αυτή τη φορά το Hydra θα διεξαχθεί στη Μόσχα, όπου οι περισσότεροι από τους συμμετέχοντες στο συνέδριο ήρθαν πέρυσι για να ακούσουν αναφορές σχετικά με την κατανεμημένη συναίνεση και τη μνήμη συναλλαγών. Η νέα Hydra έχει πιο περίπλοκο πρόγραμμα, νέα ηχεία μαζί με τους ήρωες της περσινής χρονιάς, καθώς και την ήδη γνώριμη αίσθηση του ενθουσιασμού του παράλληλου σκληροπυρηνικού που μοιράζεται στους συμμετέχοντες σε τρεις αίθουσες.

Πύργοι του Κρεμλίνου στην αγκαλιά της Ύδρας: συνέδριο για την παράλληλη και κατανεμημένη υπολογιστική Ύδρα 2020 στη Μόσχα


Ας βάλουμε αμέσως μια τράπουλα στο τραπέζι με τους Βυζαντινούς στρατηγούς στραμμένους προς τα πάνω - θέλουμε το νέο πρόγραμμα της Ύδρας να είναι πιο λεπτομερές και ποικίλο. Την προηγούμενη φορά που ξύσαμε με ένα νύχι, τώρα ας σκάψουμε όλο και πιο βαθιά. Ακολουθούν τα θέματα Hydra 2020 με διαφορά σε σχέση με πέρυσι:

  Parallel systems:
* Algorithms & data structures
* Memory models
* Compilers, runtime
* Memory reclamation
* Testing & verification
* Hardware issues
* Non-volatile memory
* Transactional memory
* Scheduling algorithms & implementations
* Heterogeneous computing: CPU, GPU, FPGA, etc.
* Performance analysis, debugging, & optimization

  Distributed systems:
* Distributed computing
* Distributed machine learning/deep learning
* State machine replication & consensus
* Fault tolerance & resilience
* Testing & verification
* Hardware issues
* Blockchain & Byzantine fault tolerance
* Distributed databases, NewSQL
* Distributed stream processing
* Scheduling algorithms & implementations
* Cluster management systems
* Security
* Performance analysis, debugging, & optimization
* Peer-to-peer, gossip protocols
* Internet of things

Πώς να μιλήσουμε για όλα αυτά στο πρόγραμμα ενός συνεδρίου; Σίγουρα δεν είναι απλούστερο από τον έλεγχο της γραμμικοποίησης των λειτουργιών σε ένα λαμπερό νέο κατανεμημένο κατάστημα χρησιμοποιώντας Jepsen, αλλά θα προσπαθήσουμε.

Δείτε ποιοι είναι ήδη στο πρόγραμμα:

Πύργοι του Κρεμλίνου στην αγκαλιά της Ύδρας: συνέδριο για την παράλληλη και κατανεμημένη υπολογιστική Ύδρα 2020 στη ΜόσχαCindy Sridharan (Cindy Sridharan) - προγραμματιστής κατανεμημένων συστημάτων από το Σαν Φρανσίσκο, συγγραφέας ενός σύντομου βιβλίου Παρατηρησιμότητα Κατανεμημένων Συστημάτων (παίρνω δωρεάν ηλεκτρονικό αντίγραφο) και δημοφιλής blog post, όπου υπάρχει μόνο ένα άρθρο "Τα καλύτερα του 2019 στο Tech Talks«Μπορεί να σε σώσει από μερικές μέρες άδειας, αλλά να σε αφήσει ευτυχισμένο. Στην Hydra 2020, η Cindy θα σας πει πώς δοκιμή κατανεμημένων συστημάτων, ακόμα κι αν αποθηκεύουν κατάσταση.


Πύργοι του Κρεμλίνου στην αγκαλιά της Ύδρας: συνέδριο για την παράλληλη και κατανεμημένη υπολογιστική Ύδρα 2020 στη ΜόσχαΜάικλ Σκοτ (Michael Scott) - ερευνητής από Πανεπιστήμιο του Ρότσεστερ, γνωστός σε όλους τους προγραμματιστές Java ως δημιουργός αλγόριθμοι μη αποκλεισμού και σύγχρονες ουρές από την Java Standard Library. Φυσικά, με το βραβείο Dijkstra για το «Αλγόριθμοι για κλιμακωτό συγχρονισμό σε πολυεπεξεργαστές κοινής μνήμης«και δική Σελίδα Wikipedia. Πέρυσι, ο Μιχαήλ έδωσε την καλύτερη (σύμφωνα με εσάς) αναφορά για την Ύδρα διπλές δομές δεδομένων, και τώρα θα μιλήσει για έργο Hodor и ασφαλής εργασία με κοινόχρηστη μνήμη, διαθέσιμο σε παράλληλες διεργασίες.


Πύργοι του Κρεμλίνου στην αγκαλιά της Ύδρας: συνέδριο για την παράλληλη και κατανεμημένη υπολογιστική Ύδρα 2020 στη ΜόσχαΧάιντι Χάουαρντ (Χάιντι Χάουαρντ) - ερευνητής του Πανεπιστήμιο του Καίμπριτζ, γνωστό για τη δημιουργία ενός κατανεμημένου αλγόριθμου συναίνεσης Ευέλικτοι Παξοί, καθώς και εργασίες για τη γενίκευση των Ευέλικτων Παξών και Γρήγοροι Παξοί. Πέρυσι, η Heidi είπε πώς λειτουργεί και λειτουργεί Οικογένεια αλγορίθμων Παξών (μία από τις καλύτερες αναφορές), και τώρα θα προσπαθήσω να περπατήσω σε λεπτό πάγο ανάμεσα Λάτρεις των Παξών και υποστηρικτές του Raft — και να μοιραστεί τη γνώμη του για το ποιος αλγόριθμος είναι καλύτερος.


Πύργοι του Κρεμλίνου στην αγκαλιά της Ύδρας: συνέδριο για την παράλληλη και κατανεμημένη υπολογιστική Ύδρα 2020 στη ΜόσχαΜάρτιν Κλέπμαν (Martin Kleppmann) είναι ίσως ένας ακόμη πιο διάσημος ερευνητής από το Πανεπιστήμιο του Κέιμπριτζ και πρώην προγραμματιστής συστημάτων μεγάλων δεδομένων, ο οποίος έγραψε ένα εκπληκτικά σαφές και επομένως μοναδικό βιβλίο για τα κατανεμημένα συστήματα "Σχεδιασμός Εφαρμογών Έντασης Δεδομένων" Πέρυσι ο Μάρτιν μοιράστηκε τα αποτελέσματα της έρευνάς τους CRDT, και τι θα σας πούμε τώρα θα ανακοινώσουμε αργότερα.


Πύργοι του Κρεμλίνου στην αγκαλιά της Ύδρας: συνέδριο για την παράλληλη και κατανεμημένη υπολογιστική Ύδρα 2020 στη ΜόσχαΝικήτα Κοβάλ (Nikita Koval) είναι προγραμματιστής κορουτίνας στην ομάδα Kotlin, δάσκαλος ενός μαθήματος προγραμματισμού πολλαπλών νημάτων στο ITMO και μέλος της επιτροπής προγράμματος του συνεδρίου Hydra (ναι, ακριβώς αυτό για το οποίο αναφέρεται αυτό το άρθρο). Πέρυσι ο Nikita μίλησε για τη δοκιμή δομών δεδομένων πολλαπλών νημάτων στην πλατφόρμα JVM χρησιμοποιώντας Lin-Check, και στην Ύδρα 2020 αυτός θα πει σχετικά με το SegmentQueueSynchronizer - επαληθεύτηκε με χρήση Πλαίσιο ίριδας για prover Coq αφαίρεση για τον προγραμματισμό πρωτόγονων συγχρονισμού.


Ακολουθήστε τις ασύγχρονες ανακοινώσεις μας: συνολικά θα υπάρξουν περίπου τρεις δωδεκάδες αναφορές στο συνέδριο, για τα υπόλοιπα θα σας πούμε σύντομα. Επίσης, φυσικά, στο συνέδριο θα υπάρχουν ζώνες συζήτησης όπου είναι απαραίτητο να δοκιμαστούν οι ομιλητές με ερωτήσεις σε ένα ή περισσότερα threads μέχρι να επιτευχθεί γενική συναίνεση.

Πύργοι του Κρεμλίνου στην αγκαλιά της Ύδρας: συνέδριο για την παράλληλη και κατανεμημένη υπολογιστική Ύδρα 2020 στη Μόσχα
Και αν είστε τυχεροί, ο Μάρτιν Κλέπμαν θα υπογράψει το βιβλίο σας.

Ναι, πριν από το συνέδριο Hydra 2020, δηλαδή 6-9 Ιουλίου, θα γίνει SPTDC 2020 — το τρίτο θερινό σχολείο για τη θεωρία και την πρακτική των κατανεμημένων υπολογιστών. Θα σας δώσει αισθήσεις που είναι δύσκολο να αποκτήσετε σε ένα συνέδριο, οπότε θα μιλήσουμε για τη Σχολή σε ξεχωριστή ανάρτηση.

Τώρα τι? Αρχικά, ακολουθήστε τις ειδήσεις στο Habré και στα κοινωνικά δίκτυα (Facebook, Vkontakte, Twitter).

Δεύτερον, εάν αισθάνεστε ήδη μια ακαταμάχητη επιθυμία να παρακολουθήσετε το συνέδριο, εξερευνήστε τον ιστότοπο, μπορείτε ήδη αγορά εισιτηρίων.

Τρίτον, μην χάσετε την ευκαιρία να συνομιλήσετε με την επιτροπή προγράμματος του συνεδρίου Hydra 2020 στα σχόλια. Τα μέλη του υπολογιστή θα χαρούν να μιλήσουν μαζί σας για μελλοντικά θέματα συνεδρίων.

Τα λέμε στην Ύδρα!

Πηγή: www.habr.com

Προσθέστε ένα σχόλιο