Tùir Kremlin ann an gàirdeanan Hydra: co-labhairt air coimpiutaireachd co-shìnte agus sgaoilte Hydra 2020 ann am Moscow

An-uiridh bha ann an St Petersburg chiad cho-labhairt Hydra, coisrigte do shiostaman co-shìnte agus sgaoilte. Rinn na labhraichean taisbeanaidhean Duaisean Dijkstra и Turing duaisean (Leslie Lamport, Maurice Herlihy и Mìcheal Scott), luchd-cruthachaidh luchd-cruinneachaidh agus cànanan prògramadh (C ++, Go, Java, Kotlin), luchd-leasachaidh stòran-dàta sgaoilte (Cassandra, CosmosDB, Stòr-dàta Yandex), a bharrachd air luchd-cruthachaidh agus luchd-rannsachaidh algorithms agus structaran dàta (CRDT, Paxos, feitheamh - structaran dàta an-asgaidh). San fharsaingeachd, aig an ìre seo faodaidh tu saor-làithean a ghabhail mu thràth, an uinneag IDE a lughdachadh, fosgail liosta-cluiche air YouTube le na h-aithisgean as fheàrr Hydra 2019 - agus leig leis a’ chlàr gnìomh feitheamh beagan.

San fharsaingeachd, cha do thachair a leithid de cho-labhairt a-riamh, agus a-nis bidh e a’ tachairt a-rithist. A-rithist le aithisgean sa Bheurla, leis nach eil cànan nas fheàrr ann airson bruidhinn air coimpiutaireachd co-shìnte agus sgaoilte. A-rithist as t-samhradh, 10mh agus 11 Iuchar, leis gu bheil ùine aig an luchd-labhairt airson rannsachadh agus teagasg, mar eisimpleir, aig oilthighean Chambridge, Rochester agus St. Petersburg, agus chan eil amannan eile den bhliadhna ann dhaibh.

Ach, an turas seo thèid Hydra a chumail ann am Moscow, far an tàinig a’ mhòr-chuid de chom-pàirtichean na co-labhairt an-uiridh gus èisteachd ri aithisgean mu cho-aontachd sgaoilte agus cuimhne gnìomhachd. Tha an Hydra ùr a’ nochdadh prògram nas toinnte, luchd-labhairt ùra còmhla ri gaisgich na bliadhna an-uiridh, a bharrachd air an fhaireachdainn a tha air a bhith eòlach mar-thà air spionnadh cruaidh-chruaidh co-shìnte a chaidh a sgaoileadh am measg nan com-pàirtichean ann an trì tallaichean.

Tùir Kremlin ann an gàirdeanan Hydra: co-labhairt air coimpiutaireachd co-shìnte agus sgaoilte Hydra 2020 ann am Moscow


Nach cuir sinn deic chairtean air a’ bhòrd sa bhad leis na seanalairean Byzantine a’ coimhead suas - tha sinn airson gum bi prògram ùr Hydra nas mionaidiche agus nas eadar-dhealaichte. An turas mu dheireadh a rinn sinn sgrìobadh le meur, a-nis leig dhuinn cladhach nas fharsainge agus nas doimhne. Seo na cuspairean Hydra 2020 le diofar an coimeas ris an-uiridh:

  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

Ciamar a bhruidhneas tu mu dheidhinn seo uile ann am prògram aon cho-labhairt? Chan eil e gu cinnteach nas sìmplidh na bhith a’ dèanamh deuchainn air dè cho sreathach ‘s a tha gnìomhachd air stòr sgaoilte ùr a’ cleachdadh Jepsen, ach feuchaidh sinn.

Seo cò tha sa phrògram mu thràth:

Tùir Kremlin ann an gàirdeanan Hydra: co-labhairt air coimpiutaireachd co-shìnte agus sgaoilte Hydra 2020 ann am MoscowCindy Sridharan (Cindy Sridharan) - leasaiche siostaman sgaoilte à San Francisco, ùghdar leabhar goirid Amharc air siostaman sgaoilte (gabh electronic copy saor an asgaidh) agus mòr-chòrdte post blog, far nach eil ann ach aon artaigil "An rud as fheàrr de 2019 ann an Tech Talks“Is urrainn dhut do shàbhaladh bho latha no dhà dheth, ach gad fhàgail toilichte. Aig Hydra 2020, innsidh Cindy dhut ciamar deuchainn air siostaman sgaoilte, eadhon ged a tha iad a 'stòradh staid.


Tùir Kremlin ann an gàirdeanan Hydra: co-labhairt air coimpiutaireachd co-shìnte agus sgaoilte Hydra 2020 ann am MoscowMìcheal Scott (Mìcheal Scott) - neach-rannsachaidh bho Oilthigh Rochester, aithnichte do luchd-leasachaidh Java mar neach-cruthachaidh algorithms neo-bacadh agus ciudhaichean sioncronaich bho Leabharlann Coitcheann Java. Gu dearbh, le Duais Dijkstra airson “Algorithms airson sioncronadh scalable air ioma-phròiseasairean cuimhne co-roinnte"agus sealbh duilleag Wikipedia. An-uiridh, thug Mìcheal an aithisg as fheàrr (a rèir riut) air Hydra air adhart dà structar dàta, agus a nis labhraidh e air pròiseact Hodor и obair shàbhailte le cuimhne co-roinnte, ri fhaotainn do phròiseasan co-shìnte.


Tùir Kremlin ann an gàirdeanan Hydra: co-labhairt air coimpiutaireachd co-shìnte agus sgaoilte Hydra 2020 ann am MoscowHeidi Howard (Heidi Howard) - rannsaiche bho Oilthigh Cambridge, ainmeil airson a bhith a’ cruthachadh algorithm co-aontachd sgaoilte Paxos sùbailte, a bharrachd air obair air coitcheannachadh Paxos sùbailte agus Luath Paxos. An-uiridh, dh’ innis Heidi mar a tha e ag obair agus ag obair Paxos teaghlach algorithms (aon de na h-aithisgean as fheàrr), agus a-nis feuchaidh mi ri coiseachd air deigh tana eadar Luchd-gràidh Paxos agus luchd-taic Raft - agus roinn a bheachd air dè an algairim a tha nas fheàrr.


Tùir Kremlin ann an gàirdeanan Hydra: co-labhairt air coimpiutaireachd co-shìnte agus sgaoilte Hydra 2020 ann am MoscowMàrtainn Kleppmann (Martin Kleppmann) is dòcha na neach-rannsachaidh eadhon nas ainmeile bho Oilthigh Chambridge, agus a bha na leasaiche air siostaman dàta mòra, a sgrìobh leabhar iongantach soilleir agus mar sin gun samhail air siostaman sgaoilte "A’ dealbhadh thagraidhean dian-dàta" An-uiridh Màrtainn roinn na toraidhean den rannsachadh CRDT aca, agus na dh'innseas sinn dhut a-nis cuiridh sinn an cèill nas fhaide air adhart.


Tùir Kremlin ann an gàirdeanan Hydra: co-labhairt air coimpiutaireachd co-shìnte agus sgaoilte Hydra 2020 ann am MoscowNikita Koval (Nikita Koval) na leasaiche coroutine air sgioba Kotlin, tidsear cùrsa air prògramadh ioma-snàthainn aig ITMO, agus ball de chomataidh prògram co-labhairt Hydra (tha, an dearbh fhear air a bheil an artaigil seo mu dheidhinn). An-uiridh bhruidhinn Nikita mu bhith a’ dèanamh deuchainn air structaran dàta ioma-snàthainn air àrd-ùrlar JVM a’ cleachdadh Lin-Seic, agus aig Hydra 2020 he ag innse mu dheidhinn SegmentQueueSynchronizer - air a dhearbhadh a’ cleachdadh Iris frèam airson dearbhadair Coq abstraction airson primitives sioncronachaidh prògramadh.


Lean na sanasan asyncronach againn: gu h-iomlan bidh timcheall air trì dusan aithisg aig a ’cho-labhairt, innsidh sinn dhut mun chòrr a dh’ aithghearr. Cuideachd, gu dearbh, aig a’ cho-labhairt bidh raointean deasbaid ann far am feumar deuchainn a dhèanamh air an luchd-labhairt le ceistean ann an aon no grunn snàithlean gus an ruigear co-aontachd coitcheann.

Tùir Kremlin ann an gàirdeanan Hydra: co-labhairt air coimpiutaireachd co-shìnte agus sgaoilte Hydra 2020 ann am Moscow
Agus ma tha thu fortanach, cuiridh Martin Kleppmann ainm ris an leabhar agad.

Bidh, ro cho-labhairt Hydra 2020, is e sin Iuchar 6-9, bidh SPTDC 2020 - an treas sgoil shamhraidh air teòiridh agus cleachdadh coimpiutaireachd sgaoilte. Bheir e dhut faireachdainnean a tha doirbh faighinn aig co-labhairt, agus mar sin bruidhnidh sinn mun Sgoil ann an dreuchd air leth.

Dè a-nis? An toiseach, lean na naidheachdan air Habré agus air lìonraidhean sòisealta (Facebook, Vkontakte, Twitter).

San dàrna h-àite, ma tha thu mu thràth a ’faireachdainn miann do-sheachanta a bhith an làthair aig a’ cho-labhairt, rannsaich an làrach-lìn, faodaidh tu mu thràth tiogaidean a cheannach.

San treas àite, na caill an cothrom bruidhinn ri comataidh prògram co-labhairt Hydra 2020 anns na beachdan. Bidh buill PC toilichte bruidhinn riut mu chuspairean co-labhairt san àm ri teachd.

Chì mi thu aig Hydra!

Source: www.habr.com

Cuir beachd ann