Teorî ew e ku hûn her tiştî dizanin lê tiştek naxebite.
Pratîk dema ku her tişt dixebite lê kes nizane çima.
Di pergalên belavbûyî de, teorî û pratîk li hev tên:
tiştek kar nake û kes nizane çima.
Ji bo ku îspat bikin ku heneka di epigrafê de bêaqiliya bêkêmasî ye, em cara sêyemîn SPTDC (dibistana li ser pratîk û teoriya hesabkirina belavbûyî) li dar dixin. Me berê li ser dîroka dibistanê, hev-damezrênerên wê Pyotr Kuznetsov û Vitaly Aksyonov, û her weha beşdarbûna Koma JUG Ru di organîzekirina SPTDC de nîqaş kir. vegotin li ser Habré. Ji ber vê yekê, îro em di sala 2020-an de li ser dibistana XNUMX-an, li ser ders û mamosteyan, û her weha li ser cûdahiyên di navbera dibistan û konferansê de diaxivin.
Dibistana SPTDC dê ji 6-ê Tîrmehê heya 9-ê Tîrmeha 2020-an li Moskowê were girtin.
Hemû ders dê bi Îngilîzî bin. Mijarên sereke yên dersan: hesabkirina hevdemî ya domdar, amûrên krîptografî yên ji bo pergalên belavkirî, rêbazên fermî yên ji bo verastkirina protokolên lihevhatinê, hevgirtî di pergalên mezin de, fêrbûna makîneya belavkirî.
We tavilê texmîn kir ku karakterên di wêneyê de çi pileya leşkerî ne? Ez te diperizim.
Mamoste û dersdar
Nir Shavit (Nir Shavit) - profesor li MIT û Zanîngeha Tel Aviv, hev-nivîskarê pirtûkek mezin Hunera Bernamesaziya Multiprocessor, xwedî Xelata Dijkstra ji bo pêşveçûn û pêkanîna bîra muameleyan software (STM) û Xelata Gödel ji bo xebata wî ya li ser sepandina topolojiya cebrî ji bo modelkirina hesabkirina bîranîna hevpar, hev-avakarê pargîdaniyê Neural Magic, ku ji bo CPU-yên asayî algorîtmayên fêrbûna makîneya bilez diafirîne, û, bê guman, ya xwe heye Rûpelên Wikipedia bi fotografek şêrîn û şêrîn. Nir jixwe di sala 2017-an de beşdarî dibistana me bû, ku li wir li ser teknîkên astengkirinê nêrînek berfireh da (beş 1, beş 2). Em hîn nizanin Nir dê îsal li ser çi biaxive, lê em hêvî dikin ku nûçeyên ji pêşengiya zanistê werin.
Michael Scott (Michael Scott) - lêkolîner li Zanîngeha Rochester, ji hemî pêşdebirên Java re wekî afirîner tê zanîn algorîtmayên ne-astengker û rêzên hevdem ji Pirtûkxaneya Standard Java. Bê guman, bi Xelata Dijkstra ji bo pêşveçûnê algorîtmayên hevdemkirinê ji bo hesabkirina bîranîna hevpar û xwedî Rûpelê Wîkîpediya. Sala borî, Michael li dibistana me li ser strukturên daneya ne-asteng dersek da (beş 1, beş 2). Îsal ew wê bêjin di derbarê bernameyên bikaranîna bîra non-volatile (NVM), ku tevliheviya bernameyê û sermaya bîranînê li gorî bîranîna gihîştina rasthatî ya "bi rêkûpêk" (DRAM) kêm dike.
Diçe Keidar (Idit Keidar) - profesor li Teknion û xwedan Indeksa Hirsch nêzîkî 40 (ku pir, pir girîng e) ji bo dused gotarên zanistî di warê komputera belavkirî de, pirzimanî û tolerasyona xeletiyê. Idit cara yekem beşdarî dibistana me dibe, ku ew li wir dê dersekê bide di derbarê aliyên bingehîn ên xebata hilanîna daneya belavkirî de: Emûlasyona bîranîna belavkirî, pêşkeftina lihevhatinê û guhertinên mîhengê.
Rodrigo Rodriguez (Rodrigo Rodrigues) - profesor li Técnico, endamê laboratuarê INESC-ID û nivîskar xebata lêkolînê di warê pergalên belavkirî de. Îsal li dibistana me Rodrigo wê bêjin li ser hevgirtin û veqetandinê di firotgehên daneya belavkirî de, û dê bi karanîna jî analîz bikin teoremên CAP îmkana di pratîkê de çend modelên hevgirtî û veqetandinê.
Chen Jing (Jing Chen) - Profesor li Zanîngeha Dewletê ya New York li Stony Brook, nivîskar xebata lêkolînê di warê blokê de û zanyarek pêşeng di Algorand - Pargîdanek û platformek blokek ku bi tevahî li ser bingeha algorîtmayek lihevhatinê bikar tîne Proof of Stake. Di vê salê de li dibistana me, Chen dê li ser zincîra bloka Algorand û awayên gihîştina taybetmendiyên wê yên balkêş biaxive: daxwazên kêm li ser çavkaniyên hesabkirina torê, ne gengaziya dabeşkirina dîroka danûstendinê û garantîkirina qedandina pêvajoya danûstendinê piştî ku ew li zincîra blokê were zêdekirin.
Christian Cashin (Christian Cachin) profesorek li zanîngeha Bernê ye, serokê komek lêkolînê di warê parastina daneyan de, hev-nivîskarê pirtûkê "Destpêka Bernameya Belavkirî ya Pêbawer û Ewle", pêşdebirê platforma blokê Hyperledger Fabric (li ser wê jî axaftin hat kirin post li ser Habré) û nivîskar xebata lêkolînê di warê krîptografî û ewlehiyê de di pergalên belavbûyî de. Îsal li dibistana me ya Xiristiyan dê dersekê bide rêzefîlmek çar-beş li ser amûrên krîptografî yên ji bo hesabkirina belavbûyî: krîptografiya sîmetrîk û asimetrîk, û her weha cryptography key hevpar, hejmarên pseudorandom û hilberîna hejmarên rasthatî yên verastkirî.
Marko Vukolić (Marko Vukolic) - lêkolîner li Lêkolîna IBM, nivîskar dixebite di blockchain û pêşdebirê Hyperledger Fabric. Em hîn nizanin ku Marco dê îsal li dibistana me li ser çi biaxive, lê em hêvî dikin ku em ê li ser pêşkeftinên wî yên herî nû di warê blokê de fêr bibin: lêkolîn hilweşandina performansê protokolên lihevhatinê li ser komên heya 100 makîneyan belav kirin, weşandin protokola Mîr bi nîzama cîhanî û Tolerasyona xeletiya Bîzansê an blokek blokek StreamChain, kêmkirina dema pêvajoya danûstendinê.
Prasad Jayanti (Prasad Jayanti) profesorek li Koleja Dartmouth, yek ji elîtan e Ivy League, û nivîskar xebata lêkolînê di warê algorîtmayên pir-mijarî de. Îsal li dibistana me Prasad dê dersekê bide li ser hevdemkirina mijarê û algorîtmayên ji bo pêkanîna vebijarkên cihêreng mutex: Bi fonksiyonên qutkirin an vegerandina di modelên bîranînê yên ne-hilweşîn de, û hem jî operasyonên xwendin û nivîsandinê ji hev veqetînin.
Alexey Gotsman (Alexey Gotsman) - profesor li IMDEA û nivîskar xebata lêkolînê di warê verastkirina nermalava algorîtmayan de. Em hîn nizanin ku Alexey dê îsal li dibistana me li ser çi dersê bide, lê em li ser mijarek li hevberkirina verastkirina nermalavê û pergalên belavkirî hesab dikin.
Çima ev dibistan e û ne konferans e?
Pêşîn, mamoste bi rengek akademîk diaxivin û her dersek mezin ji hêla du cotan ve tê dayîn: "Setek û nîv - navber - saet û nîvek din." Gelek sal piştî zanîngehê, bi adetên pêşniyarên konferansê yên saet-dirêj û vîdyoyên YouTube-ê yên 10-hûrqeyan, ev dikare dijwar be. Mamosteyek baş dê sê demjimêran tevahî balkêş bike, lê her kes ji plastîkbûna mêjiyê xwe berpirsiyar e.
Şêwirdariya alîkar: li ser qeydên vîdyoyê yên dersên dibistanê li hundurê pratîkê bikin 2017 sal û di 2019 sal. Bi xatirê te kar - silav generalên Bîzansî.
Ya duyemîn, dersdêr balê dikişînin ser lêkolîna zanistî û li ser prensîbên bingehîn diaxivin pergalên belavkirî û hesabkirina paralel, û her weha nûçeyên ji devê zanistê. Ger armanca we ew e ku hûn zû tiştek bername bikin û roja din piştî dibistanê wê di hilberînê de bicîh bikin, ev jî dikare dijwar be.
Serişteya alîkar: li kaxezên lêkolînê yên ji hêla mamosteyên dibistanê ve li ser bigerin Google Scholar и arXiv.org. Heke hûn ji xwendina gotarên zanistî hez dikin, hûn ê ji dibistanê jî hez bikin.
Ya sêyemîn, SPTDC 2020 ne konferansek e, ji ber ku konferansek li ser pergalên belavbûyî û hesabkirina paralel e. Hydra 2020. Di van demên dawî de li ser Habré postek bi nêrînek li ser bernameya wê. Sala borî, SPTDC û Hydra bi hevdemî û li heman cîhê pêk hatin. Îsal ew di dîrokan de li hev nakin, ji ber vê yekê ew ji bo dem û bala we bi hev re hevrikî nakin.
Serişteya alîkar: Bernameya konferansa Hydra binihêrin û piştî dibistanê beşdarî konferansek din bibin. Ew ê hefteyek baş be.
Meriv çawa diçe dibistanê?
- Dîrokên ji 6-ê Tîrmehê heya 9-ê Tîrmehê, 2020-an li salnameya xwe binivîsin (an jî çêtir, 11-ê Tîrmehê, da ku hûn piştî dibistanê biçin konferansa Hydra).
- Dilê xwe bigire, xwe amade bike.
- Bilêtan hilbijêrin û biçin dibistanê.
Source: www.habr.com