Πιο πρόσφατα, από τις 8 έως τις 12 Ιουλίου, δύο σημαντικά γεγονότα πραγματοποιήθηκαν ταυτόχρονα - το συνέδριο και το σχολείο . Σε αυτήν την ανάρτηση θα ήθελα να επισημάνω αρκετά χαρακτηριστικά που παρατηρήσαμε κατά τη διάρκεια του συνεδρίου.
Το μεγαλύτερο καμάρι της Ύδρας και του Σχολείου είναι τα ηχεία.
- Τρεις βραβευθέντες : Leslie Lamport, Maurice Herlihy και Michael Scott. Επιπλέον, ο Maurice το έλαβε δύο φορές. Η Leslie Lamport επίσης έλαβε — το πιο διάσημο βραβείο ACM στην επιστήμη των υπολογιστών.
- Ο δημιουργός του μεταγλωττιστή Java JIT είναι ο Cliff Click.
- Προγραμματιστές Corutin - Roman Elizarov () και ο Nikita Koval () για τον Kotlin και τον Dmitry Vyukov για το Go.
- Συνεισφέροντες στα Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda και Vladislav Kuznetsov)·
- Και πολλοί άλλοι διάσημοι: Martin Kleppmann (CRDT), Heidi Howard (Παξοί), Ori Lahav (μοντέλο μνήμης C++), Pedro Ramalhete (δομές δεδομένων χωρίς αναμονή), Alexey Zinoviev (ML), Dmitry Bugaichenko (ανάλυση γραφήματος).
Και αυτό είναι ήδη Σχολείο:
- Πανεπιστήμιο Brown (Maurice Herlihy),
- Πανεπιστήμιο του Ρότσεστερ (Μάικλ Σκοτ),
- Πανεπιστήμιο του Βατερλό (Trevor Brown),
- Πανεπιστήμιο της Νάντης (Achour Mostefaoui),
- David Ben-Gurion University of the Negev (Danny Hendler),
- Πανεπιστήμιο της Καλιφόρνια στο Λος Άντζελες (Eli Gafni),
- Ινστιτούτο Πολυτεχνικής του Παρισιού (Petr Kuznetsov),
- Microsoft Research (Leslie Lamport),
- VMware Research (Ittai Abraham).
Θεωρία και πράξη, επιστήμη και παραγωγή
Επιτρέψτε μου να σας υπενθυμίσω ότι το SPTDC School είναι μια μικρή εκδήλωση για 1,5 άτομα παγκόσμιας κλάσης, που συγκεντρώνονται εκεί και μιλούν για σύγχρονα ζητήματα στον τομέα των κατανεμημένων υπολογιστών. Το Hydra είναι ένα διήμερο συνέδριο κατανεμημένων υπολογιστών που πραγματοποιείται παράλληλα. Η Ύδρα έχει περισσότερο προσανατολισμό στη μηχανική, ενώ η Σχολή πιο επιστημονική.
Ένας από τους στόχους του συνεδρίου της Ύδρας είναι ο συνδυασμός επιστημονικών και μηχανικών αρχών. Από τη μία, αυτό επιτυγχάνεται με την επιλογή των αναφορών στο πρόγραμμα: μαζί με τους Lamport, Herlihy και Scott, υπάρχουν πολύ πιο εφαρμοσμένες αναφορές του Alex Petrov, που συνεισφέρει στην Cassandra, ή του Roman Elizarov από το JetBrains. Υπάρχει ο Martin Kleppman, ο οποίος έφτιαχνε και πουλούσε startups και τώρα σπουδάζει CRDT στο Πανεπιστήμιο του Cambridge. Αλλά το ωραίο είναι ότι η Hydra και η SPTDC βρίσκονται δίπλα-δίπλα - έχουν διαφορετικές αναφορές, αλλά ένα κοινό μέρος για επικοινωνία.
Βύθιση
Οι πέντε συνεχόμενες μέρες του Σχολείου είναι ένα πολύ μεγάλο γεγονός και πολύ φόρτο εργασίας, τόσο για τους συμμετέχοντες όσο και για τους διοργανωτές. Δεν έφτασαν όλοι στις τελευταίες μέρες. Υπήρχαν εκείνοι που πήγαν ταυτόχρονα στην Ύδρα και στο Σχολείο και γι' αυτούς οι τελευταίες μέρες ήταν οι πιο γεμάτες εκδηλώσεις. Όλη αυτή η φασαρία αντισταθμίζεται από μια απίστευτα βαθιά βύθιση. Αυτό οφείλεται όχι μόνο στον όγκο, αλλά και στην ποιότητα του υλικού. Όλες οι εκθέσεις και οι διαλέξεις και στις δύο εκδηλώσεις δεν είχαν προγραμματιστεί να είναι εισαγωγικές, οπότε όπου κι αν πάτε, βουτάτε αμέσως μακριά και βαθιά και δεν σας αφήνουν να φύγετε μέχρι το τέλος.
Φυσικά, πολλά εξαρτώνται από την αρχική προετοιμασία του συμμετέχοντος. Υπήρξε μια αστεία στιγμή όταν δύο ομάδες ανθρώπων στο διάδρομο συζήτησαν ανεξάρτητα την αναφορά της Heidi Howard: σε κάποιους φαινόταν εντελώς συνηθισμένο, ενώ σε άλλους, αντίθετα, σκέφτονταν βαθιά τη ζωή. Είναι ενδιαφέρον ότι, σύμφωνα με τους συμμετέχοντες των επιτροπών του προγράμματος (που θέλησαν να διατηρήσουν την ανωνυμία τους), οι εκθέσεις της Ύδρας και οι διαλέξεις της Σχολής στις εκδηλώσεις τους θα μπορούσαν να υπερισχύουν. Για παράδειγμα, αν ένας νεαρός PHP ήρθε σε ένα συνέδριο PHP για να μάθει τη ζωή, θα ήταν λίγο βιαστικό να υποθέσει ότι έχει βαθιά γνώση για τα εσωτερικά του Zend Engine. Εδώ, οι ομιλητές δεν τάιζαν με το κουτάλι τους juniors, αλλά αμέσως υπονοούσαν ένα ορισμένο επίπεδο γνώσης και κατανόησης. Λοιπόν, πράγματι, το επίπεδο των συμμετεχόντων που χειρίζονται κατανεμημένα συστήματα και γράφουν πυρήνες χρόνου εκτέλεσης είναι πολύ υψηλό, αυτό είναι λογικό. Κρίνοντας από την αντίδραση των συμμετεχόντων, ήταν αρκετά εύκολο να επιλέξω μια αναφορά με βάση το επίπεδο και το θέμα.
Αν μιλάμε για συγκεκριμένα ρεπορτάζ, όλα ήταν καλά με τον τρόπο τους. Κρίνοντας από το τι λέει ο κόσμος και τι μπορεί να φανεί από τη φόρμα σχολίων, μια από τις πιο cool αναφορές στο Σχολείο ήταν Μάικλ Σκοτ, μόλις τους χώρισε όλους, έχει μια αφύσικη βαθμολογία γύρω στο 4.9.
Μεταδιάσκεψη
Πολύ πριν την έναρξη της Ύδρας και του Σχολείου, ο Ρουσλάν υπέθεσε ότι θα υπήρχε κάποιο είδος «μετα-διάσκεψης» - ένα συνέδριο συνεδρίων, όπου όλοι οι κορυφαίοι συμμετέχοντες σε άλλα γεγονότα θα ρουφούνταν αυτόματα σε αυτό, σαν σε μια μαύρη τρύπα. Και έτσι έγινε! Για παράδειγμα, μεταξύ των μαθητών της Σχολής έγινε αντιληπτό από την DeutscheBank, γνωστή ειδικό στο multithreading.
Και των Υδραίων παρατηρήθηκαν () Και () από την εταιρεία Odnoklassniki. (Ταυτόχρονα, ο Vadim μας βοήθησε επίσης να κάνουμε δύο εξαιρετικές συνεντεύξεις με τον Martin Kleppman - , και το άλλο για τους θεατές της διαδικτυακής μετάδοσης). Υπήρχαν μέλη , διάσημοι ομιλητές Anatoly Kulakov και Igor Labutin. Από τους Ιαβιστές υπήρχαν и . Συνήθως βλέπετε αυτούς τους ανθρώπους σε τελείως διαφορετικά μέρη - dotnetists στο DotNext, javaists στο Joker και ούτω καθεξής. Και έτσι κάθονται δίπλα-δίπλα στα ρεπορτάζ της Hydra και συζητούν μαζί προβλήματα για τους λάτρεις. Όταν αυτός ο ελαφρώς τεχνητός διαχωρισμός με τις γλώσσες προγραμματισμού και τις τεχνολογίες εξαφανίζεται, εμφανίζονται τα χαρακτηριστικά της θεματικής περιοχής: οι ειδικοί σε δυναμικό χρόνο εκτέλεσης επικοινωνούν με άλλα runtimers, οι ερευνητές της θεωρίας κατανεμημένων υπολογιστών διαφωνούν έντονα με άλλους ερευνητές, οι μηχανικοί μηχανών βάσεων δεδομένων συνωστίζονται στον πίνακα κ.λπ. .
Στην έκθεση οι προγραμματιστές του OpenJDK κάθονταν στην πρώτη σειρά (τουλάχιστον εγώ τους ξέρω εξ όψεως, αλλά όχι οι Pythonists, ίσως ήταν και οι Pythonists). Στην πραγματικότητα, υπάρχει κάτι τόσο Shipilevsky σε αυτή την αναφορά... Ο Ori δεν λέει ακριβώς το ίδιο πράγμα, αλλά μια προσεκτική ματιά μπορεί να εντοπίσει παραλληλισμούς. Ακόμη και μετά από όλα όσα συνέβησαν στα πιο πρόσφατα πρότυπα C++, προβλήματα όπως οι τιμές εξωφρενικού αέρα δεν επιλύθηκαν και έτσι θα μπορούσατε να πάτε σε μια τέτοια αναφορά και να ακούσετε πώς είναι οι άνθρωποι «από την άλλη πλευρά του οδοφράγματος». προσπαθώντας να διορθώσετε αυτά τα προβλήματα, Όπως υποστηρίζουν, θα μπορούσε κανείς να εντυπωσιαστεί από τις προσεγγίσεις για τη λύση που βρέθηκε (το Ori έχει μία από τις επιλογές επισκευής).
Υπήρχαν πολλοί συμμετέχοντες σε επιτροπές προγράμματος και κινητήρες της κοινότητας. Όλοι έλυσαν τα διαθρησκειακά τους προβλήματα, έχτισαν γέφυρες και απέκτησαν συνδέσεις. Το χρησιμοποίησα όπου μπορούσα, και, για παράδειγμα, συμφωνήσαμε με τον Alexander Borgardt από γράψτε μαζί ένα άρθρο πλήρους κλίμακας σχετικά με τους ηθοποιούς και τον ασυγχρονισμό στη C++.
Στη φωτογραφία: Leonid Talalaev (, αριστερά) και Oleg Anastasyev (, δεξιά), κορυφαίοι προγραμματιστές στην Odnoklassniki
Ζώνες συζήτησης και λάτρεις της φωτιάς
Στα συνέδρια υπάρχουν πάντα συμμετέχοντες που γνωρίζουν το θέμα όσο και οι ομιλητές (και μερικές φορές ακόμη καλύτερα από τους ομιλητές - για παράδειγμα, όταν ένας προγραμματιστής του πυρήνα κάποιας τεχνολογίας είναι μεταξύ των συμμετεχόντων). Υπήρχαν πολλοί τόσο έμπειροι συμμετέχοντες στην Ύδρα. Για παράδειγμα, κάποια στιγμή γύρω από τον Alex Petrov που λέει , σχηματίστηκε τόσος κόσμος που δεν μπορούσε να απαντήσει σε όλους. Κάποια στιγμή, ο Άλεξ σπρώχτηκε ομαλά στο πλάι και άρχισε να σκίζεται με ερωτήσεις, αλλά η σημαία που έπεφτε σήκωσε ένας γνωστός προγραμματιστής της Rust στους κύκλους και εξισορρόπησε τέλεια το φορτίο. Όταν ζήτησα βοήθεια από τον Τάιλερ για τη διαδικτυακή συνέντευξη, το μόνο που ρώτησε ήταν: «Πότε ξεκινάμε;»
Κατά καιρούς, το πνεύμα της συζήτησης εισχωρούσε ακόμη και στις εκθέσεις: ο Nikita Koval οργάνωσε μια ξαφνική συνεδρία Q&A, χωρίζοντας την έκθεση σε πολλές ενότητες.
Και αντίστροφα, στο BOF για πολλαπλές νήματα θυμήθηκαν τη μη πτητική μνήμη, προσελκύθηκαν σε αυτό το bof ως επικεφαλής ειδικός, και εξήγησε τα πάντα σε όλους (με λίγα λόγια, η μη ασταθής μνήμη δεν αποτελεί απειλή για εμάς στο εγγύς μέλλον). Ένας από τους οικοδεσπότες αυτού του bof, παρεμπιπτόντως, ήταν , που υπηρετεί στις επιτροπές προγράμματος κάποιων τρελού αριθμού συνεδρίων... φαίνεται σαν πέντε τη φορά αυτή τη στιγμή. Στον επόμενο ενθουσιασμό για το "Modern CS in real world" συζήτησαν επίσης το NVM και κατέληξαν σε αυτό εντελώς μόνοι τους.
Μπορώ να μοιραστώ μια σούπερ διορατικότητα που ακόμη και όσοι εμπλέκονται άμεσα στην ιστορία μπορεί να μην έχουν προσέξει. Ο Έλι Γκάφνι έπαιξε το βράδυ της πρώτης μέρας του Σχολείου και την επόμενη μέρα έμεινε και άρχισε να τρολάρει τον Λάμπορτ και απ' έξω φαινόταν ότι αυτό ήταν παιχνίδι και ο Έλι ήταν ανεπαρκής. Ότι αυτό είναι ένα είδος τρολ που ξεκίνησε να βγάλει τον εγκέφαλο της Λέσλι. Στην πραγματικότητα, το γεγονός είναι ότι είναι σχεδόν καλύτεροι φίλοι, είναι φίλοι πολλά χρόνια, και αυτό είναι ακριβώς ένα τέτοιο φιλικό αστείο. Δηλαδή, το αστείο λειτούργησε - όλοι οι άνθρωποι γύρω το έπεσαν, το πήραν στην ονομαστική τους αξία.
Ξεχωριστά, θα ήθελα να σημειώσω πόση αγάπη και προσπάθεια κατέβαλαν οι ομιλητές σε αυτό. Κάποιος στάθηκε στο χώρο της συζήτησης μέχρι την τελευταία στιγμή, σχεδόν για ώρες. Το διάλειμμα τελείωσε πριν από πολύ καιρό, η αναφορά άρχισε, τελείωσε, το επόμενο διάλειμμα άρχισε - και συνέχισε να απαντά σε ερωτήσεις. Μου συνέβη επίσης μια ενδιαφέρουσα ιστορία - έχοντας ξαφνιάσει το Cliff Click, έλαβα όχι μόνο μια σαφή και λογική εξήγηση αυτής της προκλητικής συζήτησης σχετικά με την έλλειψη τεστ , αλλά έλαβε και πλήρη κριτική του . Ποτέ δεν το ζήτησα αυτό: απλώς ρώτησα τι μπορείτε να διαβάσετε για το AA (αποδείχθηκε ότι μπορείτε να ακούσετε ), και αντί αυτού ο Κλιφ πέρασε μισή ώρα μιλώντας για τη γλώσσα και ελέγχοντας ότι αυτά που έλεγε ήταν κατανοητά σωστά. Θαυμάσιος. Πρέπει να γράψουμε ένα habrapost για την ΑΑ. Μια άλλη ασυνήθιστη εμπειρία ήταν η παρακολούθηση της διαδικασίας αναθεώρησης του αιτήματος έλξης στο Κότλιν. Είναι πραγματικά ένα μαγικό συναίσθημα όταν μπαίνεις σε διαφορετικές ομάδες συζήτησης, διαφορετικούς ομιλητές και βυθίζεσαι σε έναν εντελώς νέο κόσμο. Αυτό είναι κάτι στο επίπεδο .
Αγγλική γλώσσα
Το Hydra 2019 είναι το πρώτο μας συνέδριο όπου η κύρια γλώσσα είναι τα αγγλικά. Αυτό φέρνει τόσο τα πλεονεκτήματά του όσο και τις προκλήσεις του. Ένα προφανές πλεονέκτημα είναι ότι οι άνθρωποι δεν έρχονται στο συνέδριο μόνο από τη Ρωσία, έτσι μεταξύ των συμμετεχόντων μπορείτε να συναντήσετε μηχανικούς από την Ευρώπη και επιστήμονες από την Αγγλία. Οι ομιλητές φέρνουν τους μαθητές τους. Γενικά, σημαντικοί ομιλητές έχουν πολύ περισσότερα κίνητρα για να πάνε σε ένα τέτοιο συνέδριο. Φανταστείτε ότι είστε ομιλητής σε ένα συνέδριο εντελώς ρωσικής γλώσσας: έχετε δώσει την έκθεσή σας, υπερασπιστήκατε την περιοχή συζήτησης και μετά τι; Ταξιδέψτε στην πόλη και δείτε τουριστικά σημεία; Στην πραγματικότητα, οι πολύ δημοφιλείς ομιλητές έχουν ήδη δει αρκετά από τα πάντα στον κόσμο, δεν θέλουν να πάνε να δουν λιοντάρια και κινητή γέφυρες, βαριούνται. Εάν όλες οι εκθέσεις είναι στα αγγλικά, μπορούν να συμμετάσχουν στο συνέδριο σε γενική βάση, να διασκεδάσουν, να συμμετάσχουν σε περιοχές συζήτησης κ.λπ. Η ατμόσφαιρα είναι αρκετά φιλική προς τους ομιλητές.
Το προφανές μειονέκτημα είναι ότι δεν αισθάνονται όλοι άνετα να επικοινωνούν στα αγγλικά. Πολλοί καταλαβαίνουν καλά, αλλά μιλούν άσχημα. Γενικά, συνηθισμένα πράγματα που λύθηκαν με διαφορετικούς τρόπους. Για παράδειγμα, ορισμένες περιοχές συζήτησης ξεκίνησαν στα ρωσικά, αλλά αμέσως άλλαξαν στα αγγλικά όταν εμφανίστηκε ο πρώτος αγγλόφωνος συμμετέχων.
Έπρεπε ο ίδιος να κάνω την έναρξη και το κλείσιμο της διαδικτυακής μετάδοσης αποκλειστικά στα αγγλικά και να συμμετάσχω σε μερικές συνεντεύξεις σε ηχογράφηση με ειδικούς. Και αυτή ήταν μια πραγματική πρόκληση για μένα που δεν θα ξεχαστεί σύντομα. Κάποια στιγμή Oleg Anastasyev () απλώς μου είπε να μείνω καθισμένος μαζί τους κατά τη διάρκεια της συνέντευξης και άργησα πολύ να καταλάβω τι σήμαινε αυτό.
Από την άλλη πλευρά, ήταν πολύ ευχάριστο που ο κόσμος έκανε ερωτήσεις στα ρεπορτάζ με θόρυβο. Όχι μόνο φυσικοί ομιλητές, αλλά σε όλους γενικά, λειτούργησε καλά. Σε άλλα συνέδρια, παρατηρείται συχνά ότι οι άνθρωποι ντρέπονται να κάνουν ερωτήσεις από το κοινό σε σπασμένα αγγλικά και μπορούν μόνο να στριμώξουν κάτι έξω στην περιοχή συζήτησης. Εδώ ήταν τελείως διαφορετικό. Σχετικά μιλώντας, κάποιος Cliff Click ολοκλήρωσε τις αναφορές του λίγο νωρίτερα, και μετά από αυτό οι ερωτήσεις ακολούθησαν σε συνεχή σειρά, η συζήτηση μεταφέρθηκε στη ζώνη συζήτησης - χωρίς άβολες παύσεις ή διακοπές. Το ίδιο ισχύει και για τη συνεδρία Q&A της Leslie Lamport, ο παρουσιαστής ουσιαστικά δεν χρειάστηκε να κάνει τις ερωτήσεις του, οι συμμετέχοντες σκέφτηκαν τα πάντα.
Υπήρχαν κάθε λογής μικροπράγματα που λίγοι άνθρωποι παρατηρούν, αλλά υπάρχουν. Λόγω του γεγονότος ότι το συνέδριο είναι στα αγγλικά, ο σχεδιασμός ειδών όπως φυλλάδια και χάρτες είναι πιο ελαφρύς και συνοπτικός. Δεν χρειάζεται να αντιγράψετε γλώσσες και να ακαταστήσετε το σχέδιο.
Χορηγοί και έκθεση
Οι χορηγοί μας μας βοήθησαν πολύ στη δημιουργία του συνεδρίου. Χάρη σε αυτούς, υπήρχε πάντα κάτι να κάνουμε στα διαλείμματα.
Στο περίπτερο θα μπορούσατε να συνομιλήσετε με μηχανικούς συστημάτων πολλαπλών νημάτων, να λύσετε τα προβλήματά τους από το μυαλό σας, να κερδίσετε αξιομνημόνευτα βραβεία και απλώς να περάσετε καλά.
Στο περίπτερο Θα μπορούσαμε να μιλήσουμε για τα δικά τους συστήματα, τόσο ανοιχτού όσο και ανοιχτού κώδικα: μια κατανεμημένη βάση δεδομένων στη μνήμη, ένα κατανεμημένο δυαδικό αρχείο καταγραφής, ένα σύστημα ενορχήστρωσης μικροϋπηρεσιών, μια καθολική μεταφορά για την τηλεμετρία, και ούτω καθεξής. Και φυσικά, παζλ και διαγωνισμοί, αυτοκόλλητα με μια δυαδική γάτα και τον Μεσαίωνα που υποφέρει, δώρα όπως το βιβλίο του Martin Kleppmann και φιγούρες LEGO.
Σημειώστε ότι η ανάλυση των προβλημάτων Kontur είναι ήδη . Καλή ανάλυση, αξίζει μια ματιά.
Όσοι ήθελαν μπορούσαν να αγοράσουν κάθε είδους βιβλία και να τα συζητήσουν με συναδέλφους. Ολόκληρο πλήθος μαζεύτηκε για την αυτογραφία!
Αποτελέσματα της
Το Hydra Conference και το SPTDC School είναι πολύ σημαντικές εκδηλώσεις για εμάς ως διοργανώτρια εταιρεία και για ολόκληρη την κοινότητα. Αυτή είναι μια ευκαιρία να δούμε το μέλλον μας, να αναπτύξουμε ένα ενιαίο εννοιολογικό πλαίσιο για τη συζήτηση σύγχρονων προβλημάτων και να ρίξουμε μια πιο προσεκτική ματιά σε ενδιαφέρουσες κατευθύνσεις. Το Multithreading υπάρχει εδώ και πολύ καιρό, αλλά χρειάστηκε μια ολόκληρη δεκαετία αφότου εμφανίστηκε ο πρώτος πραγματικά πολυπύρηνος επεξεργαστής για να διαδοθεί το φαινόμενο. Αυτό που ακούσαμε στα ρεπορτάζ αυτή την εβδομάδα δεν είναι φευγαλέα νέα, αλλά ο δρόμος προς ένα λαμπρό μέλλον που θα ακολουθήσουμε τα επόμενα χρόνια. Δεν θα υπάρχουν spoilers για την επόμενη Hydra σε αυτήν την ανάρτηση, αλλά μπορείτε να ελπίζετε για το καλύτερο. Εάν ενδιαφέρεστε για θέματα όπως αυτά, ίσως θελήσετε να ελέγξετε τις άλλες εκδηλώσεις μας, όπως ομιλίες σκληροπυρηνικών συνεδρίων ή . Τα λέμε στα επόμενα συνέδρια!
Πηγή: www.habr.com