Imọran jẹ nigbati o mọ ohun gbogbo ṣugbọn ko si ohun ti o ṣiṣẹ.
Iwaṣe jẹ nigbati ohun gbogbo ba ṣiṣẹ ṣugbọn ko si ẹnikan ti o mọ idi.
awọn eto pinpin, ẹkọ ati iṣe ti wa ni idapo:
ko si ohun ti o ṣiṣẹ ko si si ẹniti o mọ idi.
Lati fi mule pe awada ti o wa ninu epigraph jẹ ọrọ isọkusọ pipe, a wa ni idaduro SPTDC (ile-iwe lori adaṣe ati imọ-ẹrọ ti iširo pinpin) fun igba kẹta. Nipa itan-akọọlẹ ti ile-iwe naa, awọn oludasilẹ rẹ Petr Kuznetsov ati Vitaly Aksyonov, bakanna bi ikopa ti JUG Ru Group ninu agbari SPTDC, a ti ni tẹlẹ. so fun lori Habr. Nitorinaa, loni jẹ nipa ile-iwe ni 2020, nipa awọn ikẹkọ ati awọn olukọni, ati nipa awọn iyatọ laarin ile-iwe ati apejọ.
Ile-iwe SPTDC yoo waye lati 6 si 9 Keje 2020 ni Ilu Moscow.
Gbogbo awọn ikowe yoo wa ni Gẹẹsi. Awọn koko-ọrọ ikowe: iširo igbakọọkan itẹramọṣẹ, awọn irinṣẹ cryptographic fun awọn ọna ṣiṣe pinpin, awọn ọna iṣe deede fun ijẹrisi awọn ilana ifọkanbalẹ, aitasera ni awọn eto iwọn-nla, ikẹkọ ẹrọ pinpin.
Njẹ o gboju lesekese kini ipo ologun ti awọn ohun kikọ ninu aworan jẹ? Mo feran re.
Awọn olukọni ati awọn ikowe
Nir Shavit (Nir Shavit) jẹ olukọ ọjọgbọn ni MIT ati Ile-ẹkọ giga Tel Aviv, akọwe-iwe ti iwe nla kan Awọn aworan ti Multiprocessor siseto, onilu Awọn ẹbun Dijkstra fun idagbasoke ati imuse iranti idunadura software (STM) ati Gödel joju fun iṣẹ rẹ lori ohun elo ti algebraic topology si simulation ti pínpín iranti iširo, àjọ-oludasile ti awọn ile-. nkankikan Magic, eyiti o ṣẹda awọn algoridimu ikẹkọ ẹrọ iyara fun awọn CPUs ti aṣa, ati, dajudaju, ni tirẹ Wikipedia ojúewé pẹlu dashing ati sultry fọtoyiya. Nir ti kopa tẹlẹ ninu ile-iwe wa ni ọdun 2017, nibiti o ti ṣe atunyẹwo pipe ti awọn ilana idena (apakan 1, apakan 2). Ohun ti Nir yoo sọrọ nipa odun yi, a ko sibẹsibẹ mọ, sugbon a lero fun awọn iroyin lati awọn Ige eti ti Imọ.
Michael Scott (Michael Scott) jẹ oniwadi ni Yunifasiti ti Rochester, mọ si gbogbo Java Difelopa bi awọn Eleda ti aligoridimu ti kii-ìdènà ati awọn ila amuṣiṣẹpọ lati Java boṣewa ìkàwé. Nitoribẹẹ, pẹlu Aami Eye Oniru Dijkstra alugoridimu amuṣiṣẹpọ fun iširo iranti pín ati ti ara Oju-iwe Wikipedia. Ni ọdun to kọja, Michael funni ni ikẹkọ ni ile-iwe wa lori awọn ẹya data ti kii ṣe idinamọ (apakan 1, apakan 2). Odun yi o yoo sọ nipa siseto lilo ti kii-iyipada iranti (NVM), eyi ti o din idiju eto ati iranti lori akawe si "deede" ID wiwọle iranti (DRAM).
Idit Keidar (Idit Keidar) - Ojogbon ni Technion ati eni Hirsch atọka nipa 40 (eyi ti o jẹ pupọ, pupọ) fun igba ijinle sayensi ìwé ni awọn aaye ti pin iširo, multithreading ati ẹbi ifarada. Eidit kopa ninu ile-iwe wa fun igba akọkọ, nibiti o fun ikowe nipa awọn abala ipilẹ ti iṣẹ ti awọn ile itaja data pinpin: emulation iranti pinpin, idagbasoke ipohunpo ati awọn iyipada iṣeto.
Rodrigo Rodriguez (Rodrigo Rodrigues) - ọjọgbọn ni Técnico, ọmọ ẹgbẹ ti yàrá INESC ID ati onkowe iṣẹ iwadi ni awọn aaye ti pin awọn ọna šiše. Ni ọdun yii ni ile-iwe wa Rodrigo yoo sọ nipa aitasera ati ipinya ni awọn ile itaja data pinpin, ati pe yoo tun ṣe itupalẹ lilo CAP theorems iṣeeṣe ni iṣe ti awọn awoṣe pupọ ti aitasera ati ipinya.
Chen Ching (Jing Chen) jẹ olukọ ọjọgbọn ni Ile-ẹkọ giga ti Ipinle ti New York ni Stony Brook, onkọwe iṣẹ iwadi ni aaye ti blockchain ati onimọ-jinlẹ asiwaju ninu Algorand - ile-iṣẹ kan ati pẹpẹ blockchain kan nipa lilo algorithm ifọkanbalẹ ti o da lori Ẹri ti Aami. Ni ọdun yii ni ile-iwe wa, Chen yoo sọrọ nipa blockchain Algorand ati awọn ọna lati ṣaṣeyọri awọn ohun-ini ti o nifẹ si: aifẹ si awọn orisun iširo nẹtiwọọki, ailagbara ti pipin itan-akọọlẹ iṣowo, ati iṣeduro ipari ti ṣiṣe iṣowo lẹhin ti o ṣafikun si blockchain.
Christian Kashin (Christian Cachin) jẹ olukọ ọjọgbọn ni Yunifasiti ti Bern, ori ti ẹgbẹ iwadii kan ni aaye ti aabo data, akọwe-iwe ti iwe naa "Ifihan si Gbẹkẹle ati Ni aabo Eto Pinpin”, Olùgbéejáde Syeed blockchain Ṣelọpọ Hyperledger (nipa rẹ paapaa jẹ ifiweranṣẹ lori Habré) ati onkọwe iṣẹ iwadi ni aaye ti cryptography ati aabo ni awọn eto pinpin. Odun yi ni ile-iwe wa Christian fun ikowe ni awọn ẹya mẹrin nipa awọn irinṣẹ cryptographic fun pinpin iširo: symmetric ati asymmetric cryptography, ati nipa pín cryptography bọtini, Awọn nọmba airotẹlẹ-ID ati verifiable ID nọmba iran.
Marko Vukolich (Marko Vukolic) jẹ oniwadi ni IBM Research, onkowe ṣiṣẹ ni blockchain ati Olùgbéejáde ti Hyperledger Fabric. A ko ti mọ ohun ti Marco yoo sọrọ nipa ni ile-iwe wa ni ọdun yii, ṣugbọn a nireti lati kọ ẹkọ nipa awọn idagbasoke titun rẹ ni aaye ti blockchain: iwadi ibaje išẹ awọn ilana ifọkanbalẹ pinpin lori awọn iṣupọ ti o to awọn ẹrọ 100, igbohunsafefe Ilana Mir pẹlu agbaye ibere ati Ifarada ẹbi Byzantine tabi blockchain blockless StreamChaindindinku idunadura processing akoko.
Prasad Jayanti (Prasad Jayanti) jẹ olukọ ọjọgbọn ni Ile-ẹkọ giga Dartmouth, apakan ti Gbajumo ivy liigi, ati onkowe iṣẹ iwadi ni awọn aaye ti multithreaded aligoridimu. Odun yii ni ile-iwe wa Prasad fun ikowe nipa amuṣiṣẹpọ okun ati awọn algoridimu fun imuse awọn aṣayan pupọ mutex: pẹlu idalọwọduro tabi mu pada awọn iṣẹ ni awọn awoṣe iranti ti kii ṣe iyipada, ati pẹlu awọn iṣẹ kika ati kikọ lọtọ.
Alexei Gotsman (Alexey Gotsman) jẹ olukọ ọjọgbọn ni IMDEA ati onkọwe kan iṣẹ iwadi ni aaye ti ijẹrisi eto ti awọn algoridimu. A ko tii mọ kini Alexey yoo ṣe ikẹkọ ni ile-iwe wa ni ọdun yii, ṣugbọn a nreti si koko-ọrọ kan ni ikorita ti ijẹrisi sọfitiwia ati awọn eto pinpin.
Kini idi ti eyi jẹ ile-iwe kii ṣe apejọ kan?
Ni akọkọ, awọn olukọni sọrọ ni ọna kika ẹkọ ati ka awọn orisii meji ti ikẹkọ nla kọọkan: "wakati kan ati idaji - isinmi - wakati miiran ati idaji." Ọpọlọpọ ọdun ti kọlẹji, pẹlu ihuwasi ti awọn ijiroro apejọ wakati-wakati ati awọn fidio YouTube iṣẹju 10, eyi le jẹ ẹtan. Olukọni ti o dara yoo jẹ ki gbogbo awọn wakati mẹta jẹ ohun ti o nifẹ, ṣugbọn gbogbo eniyan ni o ni iduro fun ṣiṣu ti ọpọlọ wọn.
Imọran Iranlọwọ: Ṣiṣe adaṣe lori awọn gbigbasilẹ fidio ti awọn ikowe ile-iwe ni Ọdun 2017 ati ni Ọdun 2019. O dabọ, iṣẹ - hello, Byzantine generals.
Ni ẹẹkeji, awọn olukọni dojukọ iwadii imọ-jinlẹ ati sọrọ nipa awọn ipilẹ awọn ọna ṣiṣe ti a pin kaakiri ati iṣiro afiwera, ati awọn iroyin lati eti gige ti imọ-jinlẹ. Ti ibi-afẹde rẹ ba ni lati yara koodu ohun kan ki o gbe lọ si iṣelọpọ ni ọjọ keji lẹhin ile-iwe ni ilepa gbigbona, eyi tun le nira.
Imọran Iranlọwọ: Wa awọn iwe iwadi ti awọn olukọni ile-iwe ni Google omowe и arXiv.org. Ti o ba gbadun kika awọn iwe ijinle sayensi, iwọ yoo gbadun ile-iwe naa paapaa.
Ni ẹkẹta, ile-iwe SPTDC 2020 kii ṣe apejọ kan, nitori apejọ lori awọn eto pinpin ati iširo afiwera jẹ Hydra 2020. Laipe lori Habré ifiweranṣẹ kan wa pẹlu awotẹlẹ ti awọn oniwe-eto. Ni ọdun to koja, SPTDC ati Hydra waye ni akoko kanna ati lori aaye kanna. Odun yi ti won ko ba ko ni lqkan ni awọn ọjọ, ki won ko ba ko figagbaga pẹlu kọọkan miiran fun nyin akoko ati akiyesi.
Imọran Iranlọwọ: Ṣayẹwo eto apejọ Hydra ki o ronu wiwa si apejọ apejọ lẹhin ile-iwe paapaa. Eyi yoo jẹ ọsẹ ti o dara.
Bawo ni lati lọ si ile-iwe?
- Kọ awọn ọjọ silẹ lati Keje 6 si Keje 9, 2020 ninu kalẹnda (tabi dara julọ, nipasẹ Oṣu Keje ọjọ 11 lati lọ si apejọ Hydra lẹhin ile-iwe).
- Mu okan, mura.
- Yan tiketi ki o si lọ si ile-iwe.
orisun: www.habr.com