SPTDC 2020 - sekolo sa boraro mabapi le tloaelo le mohopolo oa khomphutha e ajoang

Khopolo ke ha u tseba tsohle empa ha ho letho le sebetsang.
Tloaelo ke ha ntho e 'ngoe le e' ngoe e sebetsa empa ha ho motho ea tsebang hore na ke hobane'ng.
Litsamaisong tse ajoang, theory le practice li kopane:
ha ho letho le sebetsang mme ha ho motho ea tsebang hore na ke hobane'ng.

Ho paka hore motlae ho epigraph ke bothoto bo felletseng, re ts'oara SPTDC (sekolo sa boikoetliso le thuto ea khomphutha e phatlalalitsoeng) lekhetlo la boraro. Re se re buisane ka histori ea sekolo, bathehi-'moho le bona Pyotr Kuznetsov le Vitaly Aksyonov, hammoho le ho kenya letsoho ha JUG Ru Group ho hlophisa SPTDC. bolelletsoe ho Habre. Ka hona, kajeno re bua ka sekolo ka 2020, ka lipuo le barupeli, hammoho le ka phapang pakeng tsa sekolo le seboka.

Sekolo sa SPTDC se tla tšoaroa ho tloha ka Phupu 6 ho isa Phupu 9, 2020 Moscow.

Lithuto tsohle li tla ba ka Senyesemane. Lihlooho tse ka sehloohong tsa lipuo: k'homphieutha e tsitsitseng ka nako e le 'ngoe, lisebelisoa tsa li-cryptographic bakeng sa litsamaiso tse ajoang, mekhoa e hlophisitsoeng ea ho netefatsa liprothokholo tsa tumellano, ho tsitsisa litsamaiso tse kholo, ho ithuta ka mochine.

SPTDC 2020 - sekolo sa boraro mabapi le tloaelo le mohopolo oa khomphutha e ajoang
Na hang-hang u ile ua hakanya hore na libapali tse setšoantšong ke boemo bofe ba sesole? Kea u rata.

Barupeli le lipuo

SPTDC 2020 - sekolo sa boraro mabapi le tloaelo le mohopolo oa khomphutha e ajoangKe Shavit (Nir Shavit) - moprofesa oa MIT le Univesithi ea Tel Aviv, mongoli-'moho oa buka e kholo Art of Multiprocessor Programming, mong'a Likhau tsa Dijkstra bakeng sa ntshetsopele le tshebetso memori ea transaction ea software (STM) le Moputso oa Gödel bakeng sa mosebetsi oa hae mabapi le ts'ebeliso ea topology ea algebra ho etsa mohlala oa komporo ea memori e arolelanoang, mothehi-'moho oa k'hamphani. Neural Magic, e etsang li-algorithms tsa ho ithuta ka mochini o potlakileng bakeng sa li-CPU tse tloaelehileng, 'me, ehlile, e na le eona Maqephe a Wikipedia e nang le foto e monate ebile e monate. Nir o se a ntse a kenya letsoho sekolong sa rona ho 2017, moo a faneng ka kakaretso e akaretsang ea mekhoa ea ho thibela (karolo ea 1, karolo ea 2). Ha re e-so tsebe hore na Nir o tla bua ka eng selemong sena, empa re tšepa hore litaba tse tsoang ka pele ho saense.


SPTDC 2020 - sekolo sa boraro mabapi le tloaelo le mohopolo oa khomphutha e ajoangMichael Scott (Michael Scott) - mofuputsi ho Univesithi ea Rochester, e tsejoang ke bahlahisi bohle ba Java e le moetsi oa li-algorithms tse sa thibeleng le mela e lumellanang ho tsoa ho Java Standard Library. Ehlile, ka Moputso oa Dijkstra bakeng sa nts'etsopele li-algorithms tsa kamahanyo bakeng sa khomphutha ea memori e arolelanoang le mong Leqephe la Wikipedia. Selemong se fetileng, Michael o ile a fana ka puo sekolong sa rona mabapi le mekhoa e sa thibeleng ea data (karolo ea 1, karolo ea 2). Selemong sena o e tla bolela mabapi le ho sebelisa mananeo mohopolo o sa fetoheng (NVM), e fokotsang ho rarahana ha lenaneo le hlooho ea mohopolo ha e bapisoa le "kamehla" memori ea phihlello e sa reroang (DRAM).


SPTDC 2020 - sekolo sa boraro mabapi le tloaelo le mohopolo oa khomphutha e ajoangKea Keidar (Idit Keidar) - moprofesa ho Technion le mong'a Lenane la Hirsch hoo e ka bang 40 (e leng ntho e kholo haholo) bakeng sa lihlooho tse makholo a mabeli tsa saense tšimong ea computing e ajoang, multithreading le ho mamella liphoso. Idit o nka karolo sekolong sa rona lekhetlo la pele, moo a e tla fana ka puo mabapi le likarolo tsa mantlha tsa ts'ebetso ea polokelo ea data e ajoang: ketsiso ea memori e ajoang, nts'etsopele ea tumellano le liphetoho tsa tlhophiso.


SPTDC 2020 - sekolo sa boraro mabapi le tloaelo le mohopolo oa khomphutha e ajoangRodrigo Rodriguez (Rodrigo Rodrigues) - moprofesa Técnico, setho sa laboratori INESC-ID le mongoli mosebetsi oa ho etsa lipatlisiso lebaleng la litsamaiso tse ajoang. Selemong sena sekolong sa rona Rodrigo e tla bolela mabapi le botsitso le ho itšehla thajana mabenkeleng a data a ajoang, hape o tla sekaseka ho sebelisa CAP theorems ho khoneha ts'ebetsong ea mefuta e mengata ea ho lumellana le ho itšehla thajana.


SPTDC 2020 - sekolo sa boraro mabapi le tloaelo le mohopolo oa khomphutha e ajoangChen Jing (Jing Chen) - Moprofesa Univesithing ea Naha ea New York ho Stony Brook, mongoli mosebetsi oa ho etsa lipatlisiso lebaleng la blockchain le rasaense ea ka sehloohong ho Algorand - khamphani le sethala sa blockchain se sebelisang algorithm ea tumellano e thehiloeng ka botlalo Bopaki ba Stake. Selemong sena sekolong sa rona, Chen o tla bua ka Algorand blockchain le litsela tsa ho finyella thepa ea eona e thahasellisang: litlhoko tse tlaase ho lisebelisoa tsa k'homphieutha tsa marang-rang, ho se khonehe ho arola histori ea transaction le ho tiisa ho phethoa ha ts'ebetso ea transaction ka mor'a hore e kenngoe thibela.


SPTDC 2020 - sekolo sa boraro mabapi le tloaelo le mohopolo oa khomphutha e ajoangChristian Cashin (Christian Cachin) ke moprofesa Univesithing ea Bern, ea etellang sehlopha sa lipatlisiso lefapheng la ts'ireletso ea data, mongoli-'moho oa buka "Selelekela sa Mananeo a Tšepahalang le a Sireletsehileng a Ajoang", moqapi oa sethala sa blockchain Lesela la Hyperledger (ho bile ho buuwa ka yena poso ho Habre) le mongoli mosebetsi oa ho etsa lipatlisiso tšimong ea cryptography le tshireletso tsamaisong ajoa. Selemong sena sekolong sa rona sa Bokreste e tla fana ka puo letoto la likarolo tse 'ne mabapi le lisebelisoa tsa cryptographic bakeng sa komporo e phatlalalitsoeng: symmetric le asymmetric cryptography, hammoho le li-cryptography tsa bohlokoa tse arolelanoang, linomoro tsa pseudorandom le tlhahiso ea nomoro e netefalitsoeng.


SPTDC 2020 - sekolo sa boraro mabapi le tloaelo le mohopolo oa khomphutha e ajoangMarko Vukolić (Marko Vukolic) - mofuputsi oa IBM Research, mongoli ea sebetsa ho blockchain le moqapi oa Hyperledger Fabric. Ha re e-so tsebe hore na Marco o tla bua ka eng sekolong sa rona selemong sena, empa re tšepa hore re tla ithuta ka tsoelo-pele ea hae e ncha tšimong ea blockchain: lipatlisiso. phokotso ya tshebetso abela liprothokholo tsa tumellano ka lihlopha tsa mechini e fihlang ho 100, ho phatlalatsoa Mir protocol ka taolo ea lefats'e le Mamello ea phoso ea Byzantine kapa blockchain e se nang blockchain StreamChain, ho fokotsa nako ea ts'ebetso ea transaction.


SPTDC 2020 - sekolo sa boraro mabapi le tloaelo le mohopolo oa khomphutha e ajoangPrasad Jayanti (Prasad Jayanti) ke moprofesa Dartmouth College, e mong oa batho ba maemo a holimo Ivy League, le mongoli mosebetsi oa ho etsa lipatlisiso lebaleng la li-algorithms tse nang le likhoele tse ngata. Selemong sena sekolong sa rona sa Prasad e tla fana ka puo mabapi le khoele amahanya le dikgato-tharabololo bakeng sa ho kenya tshebetsong dikgetho tse sa tšoaneng mutex: Ka ho sitisa kapa ho khutlisetsa lits'ebetso mefuteng ea memori e sa fetoheng, hammoho le ts'ebetso e arohaneng ea ho bala le ho ngola.


SPTDC 2020 - sekolo sa boraro mabapi le tloaelo le mohopolo oa khomphutha e ajoangAlexey Gotsman (Alexey Gotsman) - moprofesa ho IMDEA le mongoli mosebetsi oa ho etsa lipatlisiso lebaleng la netefatso ea software ea li-algorithms. Ha re e-s'o tsebe hore na Alexey o tla bua ka eng sekolong sa rona selemong sena, empa re itšetlehile ka sehlooho se mateanong a ho netefatsa software le litsamaiso tse ajoang.



Hobaneng see e le sekolo eseng seboka?

Taba ea pele, barupeli ba bua ka mokhoa oa thuto mme thuto e 'ngoe le e 'ngoe e kholo e fanoa ka lihlopha tse peli: "Hora le halofo - khefu - hora e 'ngoe le halofo." Lilemo tse ngata ka mor'a univesithi, ka tloaelo ea ho fana ka lipuo tsa kopano ea hora le livideo tsa YouTube tsa metsotso e 10, sena se ka ba thata. Morupeli ea hloahloa o tla etsa hore lihora tse tharo kaofela li thahasellise, empa e mong le e mong o ikarabella bakeng sa polasetiki ea boko ba bona.

Keletso e thusang: itloaetse ho rekota livideo tsa lipuo tsa sekolo ho Selemo sa 2017 le ho Selemo sa 2019. Sala hantle - hello balaoli ba Byzantine.

Taba ea bobeli, barupeli ba shebana le lipatlisiso tsa mahlale le ho bua ka melao-motheo ea mantlha litsamaiso tse ajoang le likhomphutha tse tšoanang, hammoho le litaba tse tsoang pheletsong ea mahlale. Haeba sepheo sa hau ke ho hlophisa ntho ka potlako le ho e fetisetsa tlhahiso letsatsing le hlahlamang ka mor'a sekolo, sena se ka 'na sa e-ba thata.

Keletso e thusang: batla lipampiri tsa lipatlisiso ke barupeli ba sekolo ka Google Setsebi и arXiv.org. Haeba u natefeloa ke ho bala lipampiri tsa mahlale, u tla rata le sekolo.

Taba ea boraro, SPTDC 2020 ha se kopano, hobane seboka se mabapi le litsamaiso tse ajoang le komporo e tšoanang e teng. Hydra2020. Haufinyane tjena ho bile le poso ho Habré le kakaretso ea lenaneo la hae. Selemong se fetileng, SPTDC le Hydra li etsahetse ka nako e le 'ngoe le sebakeng se le seng. Selemong sena ha li kopane ka matsatsi, kahoo ha li qothisane lehlokoa le nako le tlhokomelo ea hau.

Keletso e thusang: Sheba lenaneo la kopano ea Hydra 'me u nahane ka ho ea sebokeng se seng ka mor'a sekolo. E tla ba beke e monate.

Joang ho ea sekolong?

  • Ngola matsatsi a ho tloha ka la 6 Phupu ho isa la 9 Phupu 2020 almanakeng ea hau (kapa ho feta moo, la 11 Phupu, hore u tle u ee kopanong ea Hydra kamora sekolo).
  • Beta pelo, itokise.
  • Khetha litekete le ho ea sekolong.

Source: www.habr.com

Eketsa ka tlhaloso