SPTDC 2020 - ke kolu o ke kula e pili ana i ka hoʻomaʻamaʻa a me ka manaʻo o ka computing puʻunaue

ʻO ke kumumanaʻo ke ʻike ʻoe i nā mea āpau akā ʻaʻohe mea e hana.
ʻO ka hoʻomaʻamaʻa ke hana nā mea a pau akā ʻaʻohe mea i ʻike i ke kumu.
nā ʻōnaehana māhele ʻia, ua hui pū ʻia ke kumumanaʻo a me ka hana:
ʻaʻohe mea hana a ʻaʻohe mea i ʻike i ke kumu.

I mea e hōʻoiaʻiʻo ai ʻo ka hoʻohenehene i loko o ka epigraph he mea lapuwale loa, ke paʻa nei mākou i ka SPTDC (kula ma ka hoʻomaʻamaʻa a me ke kumumanaʻo o ka hoʻopili helu ʻana) no ke kolu o ka manawa. E pili ana i ka mōʻaukala o ke kula, nā mea hoʻokumu ʻo Petr Kuznetsov lāua ʻo Vitaly Aksyonov, a me ke komo ʻana o JUG Ru Group i ka hui SPTDC, ua loaʻa iā mākou. haʻiʻia ma Habr. No laila, ʻo kēia lā e pili ana i ke kula ma 2020, e pili ana i nā haʻiʻōlelo a me nā kumu aʻo, a me nā ʻokoʻa ma waena o ke kula a me ka ʻaha kūkā.

E mālama ʻia ke kula SPTDC mai 6 a 9 Iulai 2020 ma Moscow.

Ma ka ʻōlelo Pelekania nā haʻiʻōlelo a pau. Nā kumuhana aʻoaʻo: hoʻomau i ka hoʻopili helu like ʻana, nā mea hana cryptographic no nā ʻōnaehana puʻupuʻu, nā ala maʻamau no ka hōʻoia ʻana i nā protocol consensus, kūpaʻa i nā ʻōnaehana nui, ke aʻo ʻana i ka mīkini.

SPTDC 2020 - ke kolu o ke kula e pili ana i ka hoʻomaʻamaʻa a me ka manaʻo o ka computing puʻunaue
Ua koho koke anei ʻoe i ke kūlana pūʻali koa o ke kiʻi? Aloha au iā ʻoe.

Nā kumu aʻo a me nā haʻi'ōlelo

SPTDC 2020 - ke kolu o ke kula e pili ana i ka hoʻomaʻamaʻa a me ka manaʻo o ka computing puʻunaueNir Shavit (Nir Shavit) he polopeka ma MIT a me ke Kulanui ʻo Tel Aviv, ka mea kākau kumu o kahi puke nui ʻO ke Kiʻi o ka Multiprocessor Programming, mea nona Nā makana Dijkstra no ka hoʻomohala ʻana a me ka hoʻokō hoʻomanaʻo transactional software (STM) a makana ʻo Gödel no kāna hana ma ka hoʻohana ʻana i ka topology algebraic i ka simulation o ka helu hoʻomanaʻo hoʻomanaʻo like, ka mea hoʻokumu o ka hui. Neural Magic, ka mea e hana wikiwiki ana i ka mīkini aʻo algorithms no nā CPU maʻamau, a, ʻoiaʻiʻo, loaʻa iā ia iho Nā ʻaoʻao Wikipedia me nā kiʻi ʻoniʻoni a sultry. Ua komo ʻo Nir i kā mākou kula i ka makahiki 2017, kahi āna i hāʻawi ai i kahi loiloi piha o nā ʻenehana pale (ʻāpana 1, ʻāpana 2). ʻO ka mea a Nir e kamaʻilio ai i kēia makahiki, ʻaʻole mākou i ʻike, akā ke manaʻolana nei mākou i nā lono mai ka ʻoki ʻana o ka ʻepekema.


SPTDC 2020 - ke kolu o ke kula e pili ana i ka hoʻomaʻamaʻa a me ka manaʻo o ka computing puʻunaueMichael Scott (Michael Scott) he kanaka noiʻi ma 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 waihona maʻamau Java. ʻOiaʻiʻo, me ka Dijkstra's Design Award nā algorithms synchronization no ka hoʻopili helu hoʻomanaʻo a nona iho ʻaoʻao Wikipedia. I ka makahiki i hala, ua hāʻawi ʻo Mikaʻela i kahi haʻiʻōlelo ma kā mākou kula e pili ana i nā hoʻolālā ʻikepili non-blocking (ʻāpana 1, ʻāpana 2). I kēia makahiki ʻo ia e haʻi aku e pili ana i ka hoʻohana ʻana i ka polokalamu hoʻomanaʻo ʻole-volatile (NVM), e hōʻemi ana i ka paʻakikī o ka papahana a me ka hoʻomanaʻo ma luna o ka hoʻohālikelike ʻia me ka "maʻamau" random access memory (DRAM).


SPTDC 2020 - ke kolu o ke kula e pili ana i ka hoʻomaʻamaʻa a me ka manaʻo o ka computing puʻunaueIdit Keidar (Idit Keidar) - Kumu ma ka Technion a me ka mea nona Hirsch index ma kahi o 40 (he mea nui loa) no ʻelua haneli ʻatikala ʻepekema ma ke kahua o ka helu helu, multithreading a me ka hoʻomanawanui hewa. Ua komo ʻo Eidit i kā mākou kula no ka manawa mua, kahi āna haawi haiolelo e pili ana i nā mea maʻamau o ka hana o nā waihona ʻikepili i puʻunaue ʻia: emulation hoʻomanaʻo puʻupuʻu, hoʻomohala ʻae a me nā loli hoʻonohonoho.


SPTDC 2020 - ke kolu o ke kula e pili ana i ka hoʻomaʻamaʻa a me ka manaʻo o ka computing puʻunaueRodrigo Rodriguez (Rodrigo Rodrigues) - polopeka ma Técnico, lālā o ka hale hana INESC ID a me ka mea kākau hana noiʻi ma ke kahua o nā ʻōnaehana hoʻolaha. I kēia makahiki ma kā mākou kula ʻo Rodrigo e haʻi aku e pili ana i ka kūlike a me ka hoʻokaʻawale ʻana i nā waihona ʻikepili i puʻunaue ʻia, a e kālailai pū me ka hoʻohana ʻana CAP theorems hiki i ka hoʻomaʻamaʻa ʻana i kekahi mau hiʻohiʻona o ka kūlike a me ka kaʻawale.


SPTDC 2020 - ke kolu o ke kula e pili ana i ka hoʻomaʻamaʻa a me ka manaʻo o ka computing puʻunaueʻO Chen Ching (Jing Chen) he polopeka ma ke Kulanui Moku'āina o New York ma Stony Brook, mea kākau hana noiʻi ma ke kahua o blockchain a me ka mea ʻepekema alakaʻi ma Algorand - kahi hui a me kahi kahua blockchain e hoʻohana ana i kahi algorithm consensus i hoʻokumu ʻia ma Hōʻike o ke Kuhi. I kēia makahiki ma kā mākou kula, e kamaʻilio ʻo Chen e pili ana i ka blockchain Algorand a me nā ala e hoʻokō ai i kāna mau waiwai hoihoi: ʻaʻole i koi ʻia i nā kumuwaiwai computing pūnaewele, hiki ʻole ke hoʻokaʻawale i ka mōʻaukala kālepa, a me ka hōʻoia ʻana i ka pau ʻana o ka hana kālepa ma hope o ka hoʻohui ʻia ʻana i ka blockchain.


SPTDC 2020 - ke kolu o ke kula e pili ana i ka hoʻomaʻamaʻa a me ka manaʻo o ka computing puʻunaueKalikiano Kashin (Christian Cachin) he polopeka ma ke Kulanui o Bern, ke poʻo o kahi hui noiʻi ma ke kahua o ka pale ʻikepili, ka mea kākau o ka puke "Introduction to Reliable and Secure Distributed Programming”, mea hoʻomohala kahua paʻa blockchain ʻOhana hana ula (e pili ana iā ia hoʻolaha ma Habré) a me ka mea kākau hana noiʻi ma ke kahua o ka cryptography a me ka palekana i nā ʻōnaehana puʻupuʻu. I keia makahiki ma ko makou kula Kristiano haawi haiolelo ma ʻehā ʻāpana e pili ana i nā mea hana cryptographic no ka hoʻopili helu ʻana: symmetric a symmetric cryptography, a pili pū kekahi kaʻana like cryptography, huahelu pseudo-kulele a hōʻoia ʻia ka hoʻokumu helu random.


SPTDC 2020 - ke kolu o ke kula e pili ana i ka hoʻomaʻamaʻa a me ka manaʻo o ka computing puʻunaueMarko Vukolich (Marko Vukolic) he mea noiʻi ma IBM Research, mea kākau hana i ka blockchain a me ka mea hoʻomohala o Hyperledger Fabric. ʻAʻole mākou i ʻike i ka mea a Marco e kamaʻilio ai ma kā mākou kula i kēia makahiki, akā ke manaʻo nei mākou e aʻo e pili ana i kāna mau mea hou loa i ke kahua o blockchain: noiʻi. hoʻohaʻahaʻa hana kaʻana like ʻana i nā protocol consensus ma nā pūʻulu a hiki i 100 mīkini, hoʻolaha Mir protocol me ka hooponopono honua a Hoʻomanawanui hewa Byzantine a i ʻole poloka poloka ʻole StreamChaine hoemi ana i ka manawa hana kalepa.


SPTDC 2020 - ke kolu o ke kula e pili ana i ka hoʻomaʻamaʻa a me ka manaʻo o ka computing puʻunaueʻO Prasad Jayanti (Prasad Jayanti) he polopeka ma Dartmouth College, hapa o ka elite hui ivy, a me ka mea kakau hana noiʻi ma ke kahua o nā algorithms multithreaded. I kēia makahiki ma kā mākou kula ʻo Prasad haawi haiolelo e pili ana i ka hoʻonohonoho ʻana i ka thread a me nā algorithms no ka hoʻokō ʻana i nā koho like ʻole mutex: me nā hana hoʻopau a hoʻihoʻi hou i nā ʻano hoʻomanaʻo non-volatile, a me nā hana heluhelu a kākau ʻokoʻa.


SPTDC 2020 - ke kolu o ke kula e pili ana i ka hoʻomaʻamaʻa a me ka manaʻo o ka computing puʻunaueʻO Alexey Gotsman (Alexey Gotsman) he polopeka ma IMDEA a he mea kākau hana noiʻi ma ke kahua o ka hōʻoia papahana o nā algorithms. ʻAʻole mākou i ʻike i ka mea a Alexey e aʻo ai ma kā mākou kula i kēia makahiki, akā ke kakali nei mākou i kahi kumuhana ma ke kikowaena o ka hōʻoia polokalamu a me nā ʻōnaehana puʻupuʻu.



No ke aha he kula kēia a ʻaʻole he ʻaha kūkā?

ʻO ka mea mua, ʻōlelo nā mea aʻoaʻo ma kahi ʻano hoʻonaʻauao a heluhelu i ʻelua pālua o kēlā me kēia haʻiʻōlelo nui: "hoʻokahi hola a me ka hapa - hoʻomaha - hoʻokahi hola a me ka hapa." He mau makahiki ma waho o ke kulanui, me kahi maʻamau o nā kūkākūkā kūkākūkā hola-lōʻihi a me nā wikiō YouTube he 10 mau minuke, hiki ke paʻakikī kēia. Na ke kumu aʻo maikaʻi e hoʻonanea i nā hola ʻekolu, akā na nā kānaka a pau ke kuleana no ka palaka o ko lākou lolo ponoʻī.

Manaʻo kōkua: E hoʻomaʻamaʻa i nā hoʻopaʻa wikiō o nā haʻiʻōlelo kula ma 2017 makahiki a i 2019 makahiki. Aloha ʻoe, hana - aloha, nā generals Byzantine.

ʻO ka lua, nānā ka poʻe aʻo i ka noiʻi ʻepekema a kamaʻilio e pili ana i nā kumu nā ʻōnaehana puʻupuʻu a me ka hoʻopili like ʻana, a me nā nūhou mai ka ʻoki ʻana o ka ʻepekema. Inā ʻo kāu pahuhopu ka hoʻopaʻa inoa wikiwiki ʻana i kekahi mea a hoʻoili i ka hana i ka lā aʻe ma hope o ke kula ma ka ʻimi wela, hiki ke paʻakikī kēia.

Manaʻo kōkua: E ʻimi i nā pepa noiʻi o nā kumu aʻo o ke kula ma Google Scholar и arXiv.org. Inā hauʻoli ʻoe i ka heluhelu ʻana i nā pepa ʻepekema, hauʻoli nō ʻoe i ke kula.

ʻO ke kolu, ʻo ke kula SPTDC 2020 ʻaʻole ia he hālāwai kūkā, no ka mea, ʻo ka hālāwai kūkā ma nā ʻōnaehana puʻupuʻu a me ka hoʻopili like ʻana. ʻO Hydra 2020. I kēia mau lā ma Habré he pou me ka nānā ʻana i kāna papahana. I ka makahiki i hala aku nei, ua hana ʻia ʻo SPTDC a me Hydra i ka manawa like a ma ka pūnaewele like. I kēia makahiki ʻaʻole lākou e hoʻopili i nā lā, no laila ʻaʻole lākou e hoʻokūkū kekahi i kekahi no kou manawa a me kou nānā.

Manaʻo kōkua: E nānā i ka papahana kūkā ʻo Hydra a noʻonoʻo e hele i ka ʻaha kūkā ma hope o ke kula. He pule maikaʻi kēia.

Pehea e hele ai i ke kula?

  • Tohi i lalo i nā lā mai Iulai 6 a Iulai 9, 2020 i ka kalena (a ʻoi aku ka maikaʻi, ma Iulai 11 e hele i ka hui Hydra ma hope o ke kula).
  • E hooikaika, e hoomakaukau.
  • E koho i nā tiketi a hele i ke kula.

Source: www.habr.com

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