Hasumiyar Kremlin a cikin hannun Hydra: taro akan layi daya da rarraba lissafin Hydra 2020 a Moscow

A bara a St. Petersburg akwai taron Hydra na farko, sadaukar da tsarin layi daya da rarrabawa. Laureates sun gabatar da gabatarwa Kyautar Dijkstra и Turing lambobin yabo (Leslie Lamport, Maurice Herlihy ne adam wata и Michael Scott), masu kirkiro masu tarawa da harsunan shirye-shirye (C ++, Go, Java, Kotlin), masu haɓaka bayanan da aka rarraba (Cassandra, CosmosDB, Yandex Database), da masu ƙirƙira da masu bincike na algorithms da tsarin bayanai (CRDT, Paxos, jira). -Tsarin bayanai na kyauta). Gabaɗaya, a wannan lokacin zaku iya ɗaukar hutu, rage girman taga IDE, buɗe jerin waƙoƙi akan YouTube tare da mafi kyawun rahotanni Hydra 2019 - kuma bari mai tsara aikin ya jira kaɗan.

Gabaɗaya, irin wannan taron bai taɓa faruwa ba, kuma yanzu zai sake faruwa. Sake da rahotanni a cikin Turanci, saboda babu mafi kyawun harshe don magana game da layi ɗaya da rarraba kwamfuta. Kuma a lokacin rani, Yuli 10th da 11th, domin masu magana suna da lokacin bincike da koyarwa, misali, a jami'o'in Cambridge, Rochester da St. Petersburg, da sauran lokutan shekara ba nasu ba ne.

Duk da haka, wannan lokacin za a gudanar da Hydra a Moscow, inda mafi yawan mahalarta taron suka zo a bara don sauraron rahotanni game da rabe-raben ra'ayi da ƙwaƙwalwar ma'amala. Sabuwar Hydra ta ƙunshi shirin da ya fi rikitarwa, sabbin masu magana tare da jaruman shekarar da ta gabata, da kuma jin daɗin da aka saba da shi na farin ciki na parallel hardcore wanda aka rarraba tsakanin mahalarta a cikin dakuna uku.

Hasumiyar Kremlin a cikin hannun Hydra: taro akan layi daya da rarraba lissafin Hydra 2020 a Moscow


Nan da nan bari mu sanya bene na katunan akan tebur tare da manyan sojojin Byzantine suna fuskantar sama - muna son sabon shirin na Hydra ya zama dalla-dalla kuma ya bambanta. Lokaci na ƙarshe da muka tarar da farcen yatsa, yanzu bari mu yi zurfi da zurfi. Anan ne jigogin Hydra 2020 tare da bambancin dangi zuwa bara:

  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

Yaya za a yi magana game da wannan duka a cikin shirin taro daya? Tabbas ba abu ne mai sauƙi ba fiye da gwada layin layi na ayyuka akan sabon shagon da aka rarraba mai haske ta amfani da shi Jepsen, amma za mu gwada.

Ga wanda ya riga ya shiga cikin shirin:

Hasumiyar Kremlin a cikin hannun Hydra: taro akan layi daya da rarraba lissafin Hydra 2020 a MoscowCindy Sridharan (Cindy Sridharan) - mai haɓaka tsarin rarrabawa daga San Francisco, marubucin ɗan gajeren littafi Rarraba Tsarin Kulawa (dauka kwafin lantarki kyauta) kuma mashahuri blog post, inda akwai labarin daya kawai "Mafi kyawun 2019 a cikin Tech Talks"zai iya ceton ku daga hutu na kwanaki biyu, amma ya bar ku da farin ciki. A Hydra 2020, Cindy zai gaya muku yadda gwada tsarin rarrabawa, ko da sun adana jihar.


Hasumiyar Kremlin a cikin hannun Hydra: taro akan layi daya da rarraba lissafin Hydra 2020 a MoscowMichael Scott (Michael Scott) - mai bincike daga Jami'ar Rochester, sananne ga duk masu haɓaka Java a matsayin mahaliccin Algorithms marasa toshewa da layukan aiki tare daga ɗakin karatu na Standard Java. Tabbas, tare da Kyautar Dijkstra don "Algorithms don daidaitawa mai daidaitawa akan na'urori masu sarrafawa da yawa na ƙwaƙwalwar ajiya"kuma mallaka Shafin Wikipedia. A bara, Michael ya ba da mafi kyawun rahoton (a cewar ku) akan Hydra tsarin bayanai biyu, kuma yanzu zai yi magana akai aikin Hodor и aminci aiki tare da raba memory, samuwa ga daidaitattun matakai.


Hasumiyar Kremlin a cikin hannun Hydra: taro akan layi daya da rarraba lissafin Hydra 2020 a MoscowHeidi Howard (Heidi Howard) - mai bincike daga Jami'ar Cambridge, sananne don ƙirƙirar algorithm rarraba yarjejeniya Paxos mai sassauƙa, da kuma aiki a kan generalizing Paxos mai sassauci da Fast Paxos. A bara, Heidi ya faɗi yadda yake aiki da aiki Paxos iyali na algorithms (daya daga cikin mafi kyawun rahotanni), kuma yanzu zan yi ƙoƙarin tafiya akan kankara mai bakin ciki tsakanin Masoyan Paxos da magoya bayan Raft - kuma raba ra'ayinsa akan wane algorithm ya fi kyau.


Hasumiyar Kremlin a cikin hannun Hydra: taro akan layi daya da rarraba lissafin Hydra 2020 a MoscowMartin Kleppmann (Martin Kleppmann) watakila ma fi shaharar bincike daga Jami'ar Cambridge, kuma tsohon mai haɓaka manyan tsarin bayanai, wanda ya rubuta wani littafi mai ban mamaki a sarari kuma don haka na musamman akan tsarin rarrabawa "Zayyana Aikace-aikace-Tsarin Bayanai" A bara Martin raba sakamakon na binciken su na CRDT, da abin da za mu gaya muku yanzu zamu sanar anjima.


Hasumiyar Kremlin a cikin hannun Hydra: taro akan layi daya da rarraba lissafin Hydra 2020 a MoscowNikita Koval (Nikita Koval) ƙwararren mai haɓakawa ne a ƙungiyar Kotlin, malami na kwas akan shirye-shirye masu yawa a ITMO, kuma memba na kwamitin shirye-shirye na taron Hydra (e, ainihin wanda wannan labarin yake game da shi). A bara Nikita yayi magana game da gwada tsarin bayanai masu tarin yawa akan dandalin JVM ta amfani da shi Lin-Check, kuma a Hydra 2020 ya za su fada game da SegmentQueueSynchronizer - an tabbatar ta amfani da shi Iris tsarin to misali Coq abstraction don shirye-shiryen daidaita aiki tare.


Bi sanarwar mu asynchronous: gabaɗaya za a sami rahotanni kusan dozin uku a taron, za mu ba ku labarin saura nan ba da jimawa ba. Har ila yau, ba shakka, a wurin taron za a sami wuraren tattaunawa inda ya zama dole a gwada masu jawabai da tambayoyi a cikin layi ɗaya ko da yawa har sai an cimma matsaya ta gaba ɗaya.

Hasumiyar Kremlin a cikin hannun Hydra: taro akan layi daya da rarraba lissafin Hydra 2020 a Moscow
Kuma idan kun yi sa'a, Martin Kleppmann zai sanya hannu kan littafin ku.

Ee, kafin taron Hydra 2020, wato Yuli 6-9, za a kasance SPTDC 2020 - makarantar rani na uku akan ka'idar da aikin rarraba kwamfuta. Zai ba ku abubuwan jin daɗi waɗanda ke da wahalar samu a wurin taro, don haka za mu yi magana game da Makaranta a wani matsayi daban.

Yanzu me? Da fari dai, bi labarai kan Habré da kuma shafukan sada zumunta (Facebook, Вконтакте, Twitter).

Abu na biyu, idan kun riga kun ji sha'awar halartar taron, bincika gidan yanar gizon, kuna iya riga siyan tikiti.

Na uku, kar a rasa damar yin magana da kwamitin shirin taro na Hydra 2020 a cikin sharhi. Membobin PC za su yi farin cikin yin magana da ku game da batutuwan taro na gaba.

Mu hadu a Hydra!

source: www.habr.com

Add a comment