ProHoster > Pūnaewele > Nā Administration > ʻ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 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.
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.
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.
Martin 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.
Nikita 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.
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.