ʻO nā hale kiaʻi Kremlin ma nā lima o Hydra: ka ʻaha kūkā ma ke ʻano like a hoʻohele ʻia ʻo Hydra 2020 ma Moscow

I ka makahiki i hala ma St. Petersburg aia hui mua o Hydra, hoʻolaʻa i nā ʻōnaehana like a puʻunaue. Ua hana nā Laureates i nā hōʻike Nā makana Dijkstra и Nā makana Turing (Leslie Laimport, Maurice Herlihy и Michael Scott), nā mea hana o nā mea hōʻuluʻulu a me nā ʻōlelo hoʻonohonoho (C++, Go, Java, Kotlin), nā mea hoʻomohala o nā waihona i hāʻawi ʻia (Cassandra, CosmosDB, Yandex Database), a me nā mea hana a me nā mea noiʻi o nā algorithm a me nā hoʻolālā data (CRDT, Paxos, kali. -nā hoʻolālā ʻikepili manuahi) . Ma ka laulā, i kēia manawa hiki iā ʻoe ke lawe i kahi hoʻomaha, hoʻemi i ka puka aniani IDE, wehe i kahi papa inoa ma YouTube me nā hōʻike maikaʻi loa Hydra 2019 - a e kali iki ka mea hoʻonohonoho hana.

Ma keʻano laulā, ʻaʻole i hiki mai kēlā ʻaha kūkā, a i kēia manawa e hana hou ia. Eia hou me nā hōʻike ma ka ʻōlelo Pelekania, no ka mea, ʻaʻohe ʻōlelo ʻoi aku ka maikaʻi e kamaʻilio e pili ana i ka hoʻopili helu like a puʻunaue. Eia hou i ke kauwela, Iulai 10 a me 11, no ka mea, he manawa ko ka poe haiolelo e noii a ao aku ai, no ka la'ana, ma ke kula nui o Cambridge, Rochester a me St. Petersburg, a aole no lakou na manawa e ae o ka makahiki.

Eia naʻe, i kēia manawa e mālama ʻia ʻo Hydra ma Moscow, kahi i hele mai ai ka hapa nui o ka poʻe i komo i ka ʻaha kūkā i ka makahiki i hala e hoʻolohe i nā hōʻike e pili ana i ka ʻae like ʻana a me ka hoʻomanaʻo transactional. Hōʻike ka Hydra hou i kahi papahana ʻoi aku ka paʻakikī, nā mea kamaʻilio hou me nā koa o ka makahiki i hala, a me ka manaʻo maʻamau o ka hauʻoli o ka hardcore parallel i puʻunaue ʻia ma waena o nā mea komo i ʻekolu hale.

ʻO nā hale kiaʻi Kremlin ma nā lima o Hydra: ka ʻaha kūkā ma ke ʻano like a hoʻohele ʻia ʻo Hydra 2020 ma Moscow


E kau koke i kahi papa o nā kāleka ma ka papaʻaina me nā generals Byzantine e kū pono ana i luna - makemake mākou e ʻoi aku ka kikoʻī a me nā ʻano like ʻole o ka papahana Hydra hou. ʻO ka manawa hope mākou i ʻoki ai me ka manamana lima, i kēia manawa e ʻeli nui a hohonu. Eia nā kumumanaʻo Hydra 2020 me kahi ʻokoʻa pili i ka makahiki i hala.

  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

Pehea e kamaʻilio ai i kēia mau mea a pau i ka papahana o hoʻokahi hālāwai kūkā? ʻAʻole ʻoi aku ka maʻalahi ma mua o ka hoʻāʻo ʻana i ka linearizability o nā hana ma kahi hale kūʻai puʻupuʻu hou alohilohi me ka hoʻohana ʻana. ʻO Jepsen, akā e hoʻāʻo mākou.

Eia ka mea i loko o ka papahana:

ʻO nā hale kiaʻi Kremlin ma nā lima o Hydra: ka ʻaha kūkā ma ke ʻano like a hoʻohele ʻia ʻo Hydra 2020 ma MoscowʻO Cindy Sridharan (Cindy Sridharan) - ka mea hoʻomohala pūnaewele hoʻolaha mai Kapalakiko, mea kākau o kahi puke pōkole Māhele Pūnaehana Māhele (lawe kope uila manuahi) a kaulana ʻatikala blog, kahi hoʻokahi wale nō ʻatikala "ʻO ka maikaʻi loa o 2019 ma Tech Talks"Hiki iā ia ke hoʻopakele iā ʻoe mai nā lā hoʻomaha, akā waiho ʻoe i ka hauʻoli. Ma Hydra 2020, e haʻi aku ʻo Cindy iā ʻoe pehea ho'āʻo puʻunaue pūnaewele, ʻoiai inā mālama lākou i ka mokuʻāina.


ʻO nā hale kiaʻi Kremlin ma nā lima o Hydra: ka ʻaha kūkā ma ke ʻano like a hoʻohele ʻia ʻo Hydra 2020 ma MoscowMichael Scott (Michael Scott) - mea noiʻi mai Kulanui o Rochester, ʻike ʻia e nā mea hoʻomohala Java āpau ma ke ʻano he mea hana nā algorithms pale ʻole a me nā queues synchronous mai ka Java Standard Library. ʻOiaʻiʻo, me ka makana Dijkstra no "Algorithms no ka scalable synchronization on shared-memory multiprocessors"a nona iho ʻaoʻao Wikipedia. I ka makahiki i hala, ua hāʻawi ʻo Michael i ka hōʻike maikaʻi loa (e like me ʻoe) ma Hydra ma nā hoʻolālā ʻikepili pālua, a i kēia manawa e kamaʻilio ʻo ia papahana Hodor и hana palekana me ka hoʻomanaʻo like, loaʻa i nā kaʻina hana like.


ʻO nā hale kiaʻi Kremlin ma nā lima o Hydra: ka ʻaha kūkā ma ke ʻano like a hoʻohele ʻia ʻo Hydra 2020 ma MoscowHeidi Howard (Heidi Howard) - mea noiʻi mai Kulanui o Cambridge, ʻike ʻia no ka hoʻokumu ʻana i kahi algorithm consensus i puʻunaue ʻia Paxos hikiwawe, a me ka hana ma ka generalizing Flexible Paxos a Paxos wikiwiki. I ka makahiki i hala, ua haʻi ʻo Heidi i ka hana a me ka hana ʻO ka ʻohana Paxos o nā algorithms (kekahi o nā hōʻike maikaʻi loa), a i kēia manawa e hoʻāʻo wau e hele ma luna o ka hau lahilahi ma waena ʻO nā mea aloha Paxos a me nā kākoʻo Raft - a kaʻana like i kona manaʻo i ka algorithm ʻoi aku ka maikaʻi.


ʻO nā hale kiaʻi Kremlin ma nā lima o Hydra: ka ʻaha kūkā ma ke ʻano like a hoʻohele ʻia ʻo Hydra 2020 ma MoscowMartin Kleppmann (Martin Kleppmann) he mea noiʻi kaulana aʻe paha ia mai ke Kulanui o Cambridge, a he mea hoʻomohala mua o nā ʻōnaehana ʻikepili nui, nāna i kākau i kahi puke kupaianaha a no laila kū hoʻokahi no nā ʻōnaehana hoʻolaha "Ke hoʻolālā ʻana i nā noi ʻikepili" ʻO Martin i ka makahiki i hala kaʻana like i nā hopena o kā lākou noiʻi CRDT, a me kā mākou e haʻi aku iā ʻoe i kēia manawa e hai aku makou mahope.


ʻO nā hale kiaʻi Kremlin ma nā lima o Hydra: ka ʻaha kūkā ma ke ʻano like a hoʻohele ʻia ʻo Hydra 2020 ma MoscowNikita Koval (Nikita Koval) he mea hoʻomohala coroutine ma ka hui Kotlin, he kumu aʻo no ka papahana multi-threaded ma ITMO, a he lālā o ke komite papahana o ka ʻaha kūkā Hydra (ʻae, ʻo ia ka mea e pili ana i kēia ʻatikala). I ka makahiki i hala, ua kamaʻilio ʻo Nikita e pili ana i ka hoʻāʻo ʻana i nā hoʻolālā data multi-threaded ma ka platform JVM me ka hoʻohana ʻana Lin-Check, a ma Hydra 2020 ʻo ia e haʻi aku e pili ana iā SegmentQueueSynchronizer - hōʻoia ʻia me ka hoʻohana ʻana Iris framework no ka mea, prover Coq abstraction no ka hoʻonohonoho hoʻonohonoho ʻana i nā primitives.


E hahai i kā mākou hoʻolaha asynchronous: ma ka huina he ʻekolu mau kakini hōʻike i ka hālāwai kūkā, e haʻi koke mākou iā ʻoe e pili ana i ke koena. Eia kekahi, ʻoiaʻiʻo, ma ka ʻaha kūkā e loaʻa nā wahi kūkākūkā kahi e pono ai e hoʻāʻo i ka poʻe haʻiʻōlelo me nā nīnau i hoʻokahi a i ʻole mau kaula a hiki i ka ʻae ʻana i ka manaʻo nui.

ʻO nā hale kiaʻi Kremlin ma nā lima o Hydra: ka ʻaha kūkā ma ke ʻano like a hoʻohele ʻia ʻo Hydra 2020 ma Moscow
A inā laki ʻoe, e kau inoa ʻo Martin Kleppmann i kāu puke.

ʻAe, ma mua o ka hālāwai kūkā ʻo Hydra 2020, ʻo ia hoʻi ʻo Iulai 6-9, aia SPTDC 2020 - ke kolu o ke kula kau wela e pili ana i ke kumumanao a me ka hana o ka helu helu. Hāʻawi ia iā ʻoe i nā manaʻo paʻakikī ke loaʻa i kahi hālāwai kūkā, no laila e kamaʻilio mākou e pili ana i ke Kula ma kahi pou kaʻawale.

He aha kēia manawa? ʻO ka mea mua, e hahai i ka nūhou ma Habré a ma nā ʻoihana pūnaewele (Facebook, Vkontakte, Twitter).

ʻO ka lua, inā makemake ʻoe e hele i ka hālāwai kūkā, e ʻimi i ka pūnaewele, hiki iā ʻoe kūʻai tiketi.

ʻO ke kolu, mai poina i ka manawa e kamaʻilio me ke kōmike papahana ʻo Hydra 2020 i nā ʻōlelo. E hauʻoli nā lālā PC e kamaʻilio pū me ʻoe e pili ana i nā kumuhana hālāwai e hiki mai ana.

E ʻike iā ʻoe ma Hydra!

Source: www.habr.com

Pākuʻi i ka manaʻo hoʻopuka