O Kremlin olo i lima o Hydra: konafesi i luga o le tutusa ma le tufatufaina o komepiuta Hydra 2020 i Moscow

O le tausaga talu ai i St. Petersburg sa i ai konafesi muamua a Hydra, tuuto atu i faiga tutusa ma tufatufa. Na faia e le au manumalo ni folasaga Taui Dijkstra и Turing fa'ailoga (Leslie Lamport, Maurice Herlihy и Michael Scott), tagata na faia le tuʻufaʻatasia ma gagana faʻapolokalame (C ++, Go, Java, Kotlin), atiaʻe o faʻamaumauga tuʻufaʻatasia (Cassandra, CosmosDB, Yandex Database), faʻapea foʻi ma tagata na faia ma tagata suʻesuʻe o algorithms ma faʻamaumauga (CRDT, Paxos, faʻatali -fuafua fa'amaumauga fa'amaumauga) . I se tulaga lautele, i le taimi nei e mafai ona e faia se tafaoga, faʻaitiitia le faamalama IDE, tatala se lisi i luga o YouTube ma lipoti sili ona lelei Hydra 2019 - ma tuʻu le faʻatulagaina o galuega e faʻatali teisi.

I se tulaga lautele, o se konafesi faapena e lei tupu lava, ma o lea o le a toe tupu. Toe fa'atasi ma lipoti ile Igilisi, aua e leai se gagana sili atu e talanoa ai e uiga i faʻasologa tutusa ma tufatufa. Toe foi i le taumafanafana, Iulai 10 ma 11th, ona o le au failauga e iai le taimi e suʻesuʻe ai ma aʻoaʻo atu, mo se faʻataʻitaʻiga, i iunivesite o Cambridge, Rochester ma St. Petersburg, ma isi taimi o le tausaga e le mo i latou.

Ae ui i lea, o le taimi lea o le a faia Hydra i Moscow, lea na o mai ai le toʻatele o tagata auai i le konafesi i le tausaga talu ai e faʻalogologo i lipoti i le tufatufaina atu o maliega ma le faʻamanatuga fefaʻatauaʻiga. O le Hydra fou o loʻo i ai se polokalame sili atu ona lavelave, failauga fou faʻatasi ai ma toa o le tausaga talu ai, faʻapea foʻi ma le lagona masani o le fiafia o le hardcore tutusa na tufatufaina atu i tagata auai i totonu o potu e tolu.

Seʻi o tatou tuʻu vave se faʻailoga o kata i luga o le laulau faʻatasi ai ma le au taʻitaʻi o Byzantine o loʻo faʻasaga i luga - matou te mananaʻo i le polokalame fou a Hydra ia sili atu ona auiliili ma eseese. O le taimi mulimuli na tatou valuina ai i se atigilima, ia tatou eli lautele ma loloto. O autu nei o le Hydra 2020 ma se eseesega e fa'atatau i le tausaga talu ai:

  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


E faʻafefea ona talanoa e uiga i nei mea uma i le polokalama o le tasi konafesi? E mautinoa lava e le faigofie nai lo le suʻeina o le linearizability o gaioiga i luga o se faleoloa faʻasalalau fou susulu e faʻaaoga ai. Jepsen, ae o le a tatou taumafai.

O ai lea ua i ai i le polokalame:

Cindy Sridharan (Cindy Sridharan) - tufatufaina atu faiga faʻavae mai San Francisco, tusitala o se tusi puupuu Fa'asoa Fa'atonu Mata'ituina (ave kopi faaeletonika saoloto) ma lauiloa blog post, lea e na o le tasi le mataupu “Sili o le 2019 i Talanoaga Tekinolosi"E mafai ona laveaʻiina oe mai ni nai aso malolo, ae tuʻu oe fiafia. I Hydra 2020, o le a taʻu atu e Cindy pe faʻafefea su'ega tufatufaina faiga, tusa lava pe latou te teuina setete.


Michael Scott (Michael Scott) - tagata suʻesuʻe mai Iunivesite o Rochester, e iloa e tagata atinaʻe Java uma o le foafoa algorithms e le poloka ma laina fa'atasi mai le Java Standard Library. Ioe, faatasi ai ma le Dijkstra Prize mo "Algorithms mo scalable synchronization i fefa'asoa'iga-manatua multiprocessors"ma ana Itulau Wikipedia. I le tausaga na teʻa nei, na tuʻuina atu ai e Michael le lipoti sili (e tusa ai ma oe) Hydra i luga fausaga fa'amaumauga lua, ma o lenei o le a ia talanoa e uiga i ai poloketi Hodor и galuega saogalemu ma manatua faasoa, avanoa i faiga tutusa.


Heidi Howard (Heidi Howard) - tagata su'esu'e mai Iunivesite o Cambridge, lauiloa mo le fatuina o se faʻasoa faʻasoa algorithm Paxos fetuutuunai, faʻapea foʻi ma le galue i le faʻalauteleina o le Flexible Paxos ma Paxos anapogi. I le tausaga na teʻa nei, na taʻu mai ai e Heidi pe faʻafefea ona aoga ma aoga Paxos aiga o algorithms (o se tasi o lipoti sili ona lelei), ma o lenei o le a ou taumafai e savali i luga o le aisa manifinifi i le va Paxos alofa ma Raft lagolago - ma faʻasoa lona manatu ile algorithm e sili atu.


Matini Kleppmann (Martin Kleppmann) atonu o se tagata suʻesuʻe sili atu ona taʻutaʻua mai le Iunivesite o Cambridge, ma o se tagata na faia muamua le tele o faiga faʻamaumauga, o le na tusia se tusi faʻateʻia manino ma tulaga ese i luga o faiga tufatufaina "Fuafuaina o Fa'amatalaga Fa'amatalaga" O le tausaga ua mavae Matini faasoa i'uga o latou suʻesuʻega CRDT, ma mea o le a matou taʻuina atu ia te oe i le taimi nei o le a matou faasilasilaina mulimuli ane.


Nikita Koval (Nikita Koval) o se coroutine developer i luga o le Kotlin team, o se faiaoga o se vasega i luga o le tele-threaded polokalame i ITMO, ma o se sui o le komiti polokalame o le konafesi a Hydra (ioe, o le mea tonu lava lea e uiga i lenei tusiga). O le tausaga talu ai na talanoa ai Nikita e uiga i le suʻeina o faʻamaumauga faʻapipiʻi tele i luga o le faʻaogaina o le JVM platform Lin-Siaki, ma i Hydra 2020 na ia o le a taʻu mai e uiga i le SegmentQueueSynchronizer - faʻamaonia le faʻaaogaina Iris fa'avae mo faataoto Coq fa'amuta mo fa'apolokalame fa'amaopoopo fa'atasi.


Mulimuli i a matou faʻasalalauga faʻasalalau: i le aofaʻi o le ai ai pe tusa ma le tolu taseni lipoti i le konafesi, matou te taʻu atu ia te oe e uiga i isi mea lata mai. E le gata i lea, ioe, i le konafesi o le ai ai ni vaega o talanoaga e tatau ai ona tofotofoina le au failauga i fesili i se tasi poʻo ni nai filo seia oʻo ina maua se maliega lautele.

Ma afai e te laki, o le a sainia e Martin Kleppmann lau tusi.

Ioe, aʻo leʻi faia le konafesi a Hydra 2020, o Iulai 6-9, o le ai ai SPTDC 2020 - o le aoga lona tolu o le taumafanafana i luga o le talitonuga ma le masani o le tufatufaina atu o komepiuta. O le a tuʻuina atu ia te oe lagona e faigata ona maua i se konafesi, o lea o le a matou talanoa e uiga i le Aʻoga i se isi pou.

Ae faapefea nei? Muamua, mulimuli i tala fou i Habré ma luga o fesoʻotaʻiga lautele (Facebook, Vkontakte, Twitter).

Lona lua, afai ua uma ona e lagona se manaʻoga e le mafai ona e auai i le konafesi, suʻesuʻe le upega tafaʻilagi, e mafai lava faatau tiketi.

Lona tolu, aua neʻi misia le avanoa e talatalanoa ai ma le komiti polokalame o le polokalame a le Hydra 2020 i faʻamatalaga. O le a fiafia tagata PC e talanoa ma oe e uiga i autu o konafesi i le lumanai.

Feiloai i Hydra!

puna: www.habr.com