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

A bara, an gudanar da taro a St. Petersburg taron Hydra na farko, sadaukar da tsarin layi daya da rarrabawa. Wadanda aka karrama sun gabatar da takardunsu. Kyautar Dijkstra и Turing Awards (Leslie Lamport, Maurice Herlihy ne adam wata и Michael Scott), masu tarawa da masu ƙirƙirar harshe shirye-shirye (C ++, Go, Java, Kotlin), masu haɓaka bayanai masu rarraba (Cassandra, CosmosDB, Yandex Database), da masu ƙirƙira da masu bincike na algorithms da tsarin bayanai (CRDT, Paxos, tsarin bayanan da ba a jira ba). Ainihin, a wannan lokacin, zaku iya yin hutu, rage girman taga IDE, buɗe jerin waƙoƙin YouTube tare da mafi kyawun rahotanni Hydra 2019 - kuma bari mai tsara aikin ya jira kaɗan.

Gabaɗaya, ba a taɓa yin irin wannan taron ba, kuma yanzu zai sake faruwa. Sake tare da gabatarwa cikin Turanci, saboda babu mafi kyawun harshe don magana game da layi ɗaya da rarraba kwamfuta. Haka 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 Hydra zai faru a Moscow., Inda mafi yawan mahalarta taron suka zo a bara don sauraron gabatarwa game da rabe-raben yarjejeniya da ƙwaƙwalwar ma'amala. Sabuwar Hydra tana da ingantaccen shiri, sabbin masu magana tare da fitattun jaruman shekarar da ta gabata, da kuma jin daɗin da aka saba da shi daga aiki mai wuyar ɗaiɗai da ɗaruruwan ɗakuna uku.

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


Bari mu shimfiɗa belin katunan a kan tebur nan da nan, mu fuskanci ƙasa, kamar janar-janar na Byzantine-muna son sabon shirin Hydra ya zama dalla-dalla kuma ya bambanta. A lokacin da ya gabata, mun kakkabe saman, yanzu za mu kara zurfafa. Anan ne jigogin Hydra 2020, tare da bambance-bambance daga 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

  Tsarukan Rarraba:
* Rarraba kwamfuta
* Koyon inji / zurfafa ilmantarwa
* Kwafi na na'ura na jiha & ijma'i
* Haƙuri na kuskure & juriya
* Gwaji & tabbatarwa
* Matsalolin Hardware
* Haƙuri da Laifin Blockchain & Byzantine
* Rarraba bayanan bayanai, NewSQL
* Rarraba sarrafa rafi
* Tsara algorithms & aiwatarwa
* Tsarukan sarrafa tari
* Tsaro
* Binciken ayyuka, gyara kurakurai, da haɓakawa
* Tsari-da-tsara, ƙa'idodin tsegumi
* Intanet na Abubuwa

Ta yaya zan iya rufe duk waɗannan a cikin shirin taro guda ɗaya? Tabbas ba shi da sauƙi fiye da gwada layin aiki a cikin sabon injin 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 rarrabawar tushen tushen San Francisco ne kuma marubucin ɗan gajeren littafin 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 kwanaki biyu, amma har yanzu ya bar ku cikin 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 ne daga Jami'ar Rochester, sananne ga duk masu haɓaka Java a matsayin mahalicci Algorithms marasa toshewa da layukan aiki tare daga babban ɗakin karatu na Java. Tabbas, tare da lambar yabo ta Dijkstra don "Algorithms don daidaitawa mai daidaitawa akan na'urori masu sarrafawa da yawa na ƙwaƙwalwar ajiya» da mallaka Shafin WikipediaA bara Michael ya ba da mafi kyawun magana (bisa ga ƙimar ku) akan Hydra, tsarin bayanai biyu, kuma yanzu zai ba ku labarin 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, wanda aka sani don ƙirƙirar algorithm na yarjejeniya da aka rarraba Paxos mai sassauƙa, da kuma aiki a kan generalizing Paxos mai sassauci da Fast PaxosA bara, Heidi ya bayyana yadda yake aiki da kuma yadda aka tsara shi. Paxos iyali na algorithms (daya daga cikin mafi kyawun rahotanni), kuma yanzu zai yi ƙoƙarin tafiya akan kankara mai bakin ciki tsakanin Magoya bayan Paxos da magoya bayan Raft - kuma raba ra'ayin ku 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 fitaccen mai bincike ne a Jami'ar Cambridge kuma tsohon babban mai haɓaka tsarin bayanai wanda ya rubuta wani littafi bayyananne kuma don haka na musamman akan tsarin rarrabawa,Zayyana Aikace-aikace-Tsarin Bayanai"A bara Martin raba sakamakon na bincikensa na CRDT, kuma menene zai yi magana a kai yanzu - mu zamu sanar anjima.


Hasumiyar Kremlin a cikin hannun Hydra: taro akan layi daya da rarraba lissafin Hydra 2020 a MoscowNikita Koval (Nikita Koval) mai haɓakawa ne a ƙungiyar Kotlin, malami na kwas ɗin shirye-shiryen multithreaded a Jami'ar ITMO, kuma memba na kwamitin shirye-shirye na taron Hydra (e, wanda wannan labarin ke game da shi). A bara, Nikita yayi magana game da gwajin tsarin bayanan multithreaded akan dandalin JVM ta amfani da shi Lin-Check, kuma a Hydra 2020 ya za su fada game da SegmentQueueSynchronizer - an tabbatar dashi tare da Iris tsarin to Coq prover abstraction don shirye-shiryen daidaita aiki tare.


Kasance da sauraron sanarwarmu masu kamanceceniya: za a gabatar da gabatarwa kusan dozin uku a taron, kuma za mu raba sauran nan ba da jimawa ba. Tabbas, akwai kuma wuraren tattaunawa inda zaku iya gwada masu magana da tambayoyi a cikin zama ɗaya ko fiye har sai an cimma matsaya.

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 daga Yuli 6-9, za a kasance SPTDC 2020 - makarantar rani na uku akan ka'idar da aikin rarraba kwamfuta. Yana ba da gogewa waɗanda ke da wahalar cimmawa a taro, don haka za mu gaya muku game da shi a cikin wani rubutu na daban.

To yanzu me? Na farko, ku bi labaran Habr da kafofin watsa labarun (Facebook, Вконтакте, Twitter).

Na biyu, idan kun riga kun ji sha'awar halartar taron, duba gidan yanar gizon, kun riga kun gano a can. siyan tikiti.

Na uku, kar a rasa damar shiga tare da Kwamitin Shirye-shiryen Taron Hydra 2020 a cikin sharhi. Za su yi farin cikin tattauna batutuwan taron da ke tafe da ku.

Mu hadu a Hydra!

source: www.habr.com

Add a comment