Theori yw pan fyddwch chi'n gwybod popeth ond does dim byd yn gweithio.
Ymarfer yw pan fydd popeth yn gweithio ond does neb yn gwybod pam.
systemau gwasgaredig, mae theori ac ymarfer yn cael eu cyfuno:
does dim byd yn gweithio a does neb yn gwybod pam.
I brofi bod y jôc yn yr epigraff yn nonsens llwyr, rydym yn cynnal SPTDC (ysgol ar ymarfer a theori cyfrifiadura dosranedig) am y trydydd tro. Ynglŷn â hanes yr ysgol, ei chyd-sylfaenwyr Petr Kuznetsov a Vitaly Aksyonov, yn ogystal â chyfranogiad JUG Ru Group yn sefydliad SPTDC, rydym eisoes wedi dweud wrth ar Habr. Felly, mae heddiw yn ymwneud â'r ysgol yn 2020, am ddarlithoedd a darlithwyr, yn ogystal ag am y gwahaniaethau rhwng yr ysgol a'r gynhadledd.
Bydd ysgol SPTDC yn cael ei chynnal rhwng 6 a 9 Gorffennaf 2020 ym Moscow.
Bydd pob darlith yn Saesneg. Testunau darlithoedd: cyfrifiadura cydamserol parhaus, offer cryptograffig ar gyfer systemau gwasgaredig, dulliau ffurfiol ar gyfer gwirio protocolau consensws, cysondeb mewn systemau ar raddfa fawr, dysgu peiriannau gwasgaredig.
A wnaethoch chi ddyfalu ar unwaith beth yw rheng filwrol y cymeriadau yn y llun? Rwy'n caru chi.
Darlithwyr a darlithiau
Nir Shavit (Nir Shavit) yn athro ym Mhrifysgol MIT a Tel Aviv, yn gyd-awdur llyfr gwych Y Gelfyddyd o Raglennu Amlbrosesydd, perchennog Gwobrau Dijkstra ar gyfer datblygu a gweithredu cof trafodion meddalwedd (STM) a Gwobr Gödel am ei waith ar gymhwyso topoleg algebraidd i efelychu cyfrifiadura cof a rennir, cyd-sylfaenydd y cwmni Hud Nerfol, sy'n creu algorithmau dysgu peiriant cyflym ar gyfer CPUs confensiynol, ac, wrth gwrs, mae ganddo ei hun tudalennau Wicipedia gyda ffotograffiaeth rhuthro a sultry. Cymerodd Nir ran yn ein hysgol eisoes yn 2017, lle rhoddodd adolygiad cynhwysfawr o dechnegau blocio (rhan 1, rhan 2). Nid ydym yn gwybod eto beth fydd Nir yn siarad amdano, ond gobeithiwn am newyddion o'r radd flaenaf ym myd gwyddoniaeth.
Michael Scott (Michael Scott) yn ymchwilydd yn Prifysgol Rochester, sy'n hysbys i holl ddatblygwyr Java fel crëwr algorithmau nad ydynt yn blocio a chiwiau cydamserol o lyfrgell safonol Java. Wrth gwrs, gyda Gwobr Dylunio Dijkstra algorithmau cydamseru ar gyfer cyfrifiadura cof a rennir ac yn berchen tudalen Wicipedia. Y llynedd, rhoddodd Michael ddarlith yn ein hysgol ar strwythurau data nad ydynt yn rhwystro (rhan 1, rhan 2). Eleni fe yn dweud am ddefnyddio rhaglennu cof anweddol (NVM), sy'n lleihau cymhlethdod rhaglen a gorbenion cof o'i gymharu â chof mynediad ar hap "rheolaidd" (DRAM).
Idit Keidar (Idit Keidar) - Athro yn y Technion a pherchennog Mynegai Hirsch tua 40 (sy'n iawn, iawn) ar gyfer dau gant o erthyglau gwyddonol ym maes cyfrifiadura dosranedig, multithreading a goddefgarwch namau. Mae Eidit yn cymryd rhan yn ein hysgol am y tro cyntaf, lle mae hi rhoi darlith am yr agweddau sylfaenol ar waith warysau data dosbarthedig: efelychu cof dosbarthedig, datblygu consensws a newidiadau cyfluniad.
Rodrigo Rodriguez (Rodrigo Rodrigues) - athro yn Técnico, aelod o'r labordy ID INESC ac awdur gwaith ymchwil ym maes systemau gwasgaredig. Eleni yn ein hysgol Rodrigo yn dweud ynghylch cysondeb ac arwahanrwydd mewn warysau data dosranedig, a bydd hefyd yn dadansoddi defnyddio Theoremau CAP ymarferoldeb sawl model o gysondeb ac arwahanrwydd.
Chen Ching (Jing Chen) yn athro ym Mhrifysgol Talaith Efrog Newydd yn Stony Brook, awdur gwaith ymchwil ym maes blockchain a gwyddonydd blaenllaw yn Algorand - cwmni a llwyfan blockchain gan ddefnyddio algorithm consensws yn seiliedig yn gyfan gwbl arno Prawf o Falu. Eleni yn ein hysgol, bydd Chen yn siarad am y blockchain Algorand a ffyrdd o gyflawni ei briodweddau diddorol: ddiymdrech i adnoddau cyfrifiadura rhwydwaith, yr amhosibilrwydd o rannu'r hanes trafodion, a gwarantu diwedd prosesu trafodion ar ôl iddo gael ei ychwanegu at y blockchain.
Cristion Kashin (Christian Cachin) yn athro ym Mhrifysgol Bern, pennaeth grŵp ymchwil ym maes diogelu data, cyd-awdur y llyfr "Cyflwyniad i Raglennu Dosranedig Dibynadwy a Diogel”, datblygwr platfform blockchain Ffabrig Hyperledger (amdani hi hyd yn oed oedd post ar Habré) ac awdur gwaith ymchwil ym maes cryptograffeg a diogelwch mewn systemau gwasgaredig. Eleni yn ein hysgol Cristnogol rhoi darlith mewn pedair rhan am offer cryptograffig ar gyfer cyfrifiadura dosranedig: cryptograffeg cymesur ac anghymesur, a hefyd tua cryptograffeg allwedd a rennir, rhifau ffug-hap a cynhyrchu haprifau gwiriadwy.
Marko Vukolich (Marko Vukolic) yn ymchwilydd yn IBM Research, awdur yn gweithio yn blockchain a datblygwr Hyperledger Fabric. Nid ydym yn gwybod eto beth fydd Marco yn siarad amdano yn ein hysgol eleni, ond gobeithiwn ddysgu am ei ddatblygiadau diweddaraf ym maes blockchain: ymchwil dirywiad perfformiad protocolau consensws wedi'u dosbarthu ar glystyrau o hyd at 100 o beiriannau, wedi'u darlledu Protocol Mir gyda threfn fyd-eang a Goddefgarwch fai Bysantaidd neu blockchain di-rwystr StreamChainlleihau amser prosesu trafodion.
Prasad Jayanti (Prasad Jayanti) yn athro yng Ngholeg Dartmouth, rhan o'r elitaidd cynghrair eiddew, a'r awdwr gwaith ymchwil ym maes algorithmau aml-edau. Eleni yn ein Prasad ysgol rhoi darlith am gydamseru edau ac algorithmau ar gyfer gweithredu opsiynau amrywiol mutecs: gyda swyddogaethau ymyrraeth neu adfer mewn modelau cof anweddol, a gyda gweithrediadau darllen ac ysgrifennu ar wahân.
Alexey Gotsman (Alexey Gotsman) yn athro yn IMDEA ac yn awdur gwaith ymchwil ym maes dilysu rhaglenni algorithmau. Nid ydym yn gwybod eto beth fydd Alexey yn darlithio yn ein hysgol eleni, ond rydym yn edrych ymlaen at bwnc ar y groesffordd rhwng dilysu meddalwedd a systemau dosbarthedig.
Pam mai ysgol yw hon ac nid cynhadledd?
Yn gyntaf, mae’r darlithwyr yn siarad mewn fformat academaidd ac yn darllen dau bâr o bob darlith fawr: "awr a hanner - egwyl - awr a hanner arall." Flynyddoedd lawer allan o'r coleg, gydag arferiad o sgyrsiau cynhadledd awr o hyd a fideos YouTube 10 munud, gall hyn fod yn anodd. Bydd darlithydd da yn gwneud y tair awr yn ddiddorol, ond mae pawb yn gyfrifol am blastigrwydd eu hymennydd eu hunain.
Awgrym Defnyddiol: Ymarfer ar recordiadau fideo o ddarlithoedd ysgol yn 2017 y flwyddyn a 2019 y flwyddyn. Hwyl fawr, gwaith - helo, cadfridogion Bysantaidd.
Yn ail, mae'r darlithwyr yn canolbwyntio ar ymchwil wyddonol ac yn siarad am yr hanfodion systemau gwasgaredig a chyfrifiadura cyfochrog, yn ogystal â newyddion o'r radd flaenaf ym myd gwyddoniaeth. Os mai'ch nod yw codio rhywbeth yn gyflym a'i ddefnyddio i gynhyrchu drannoeth ar ôl ysgol mewn gweithgaredd poeth, gall hyn fod yn anodd hefyd.
Awgrym Defnyddiol: Chwiliwch am bapurau ymchwil darlithwyr yr ysgol yn Google Scholar и arXiv.org. Os ydych chi'n mwynhau darllen papurau gwyddonol, byddwch chi'n mwynhau'r ysgol hefyd.
Yn drydydd, nid yw ysgol SPTDC 2020 yn gynhadledd, oherwydd bod y gynhadledd ar systemau gwasgaredig a chyfrifiadura cyfochrog yn Hydra2020. Yn ddiweddar ar Habré roedd post gyda adolygiad o'i raglen. Y llynedd, cynhaliwyd SPTDC a Hydra ar yr un pryd ac ar yr un safle. Eleni nid ydynt yn gorgyffwrdd mewn dyddiadau, felly nid ydynt yn cystadlu â'i gilydd am eich amser a'ch sylw.
Cyngor Defnyddiol: Edrychwch ar raglen cynhadledd Hydra ac ystyriwch fynychu'r gynhadledd ar ôl ysgol hefyd. Bydd hon yn wythnos dda.
Sut i gyrraedd yr ysgol?
- Ysgrifennwch y dyddiadau rhwng Gorffennaf 6 a Gorffennaf 9, 2020 yn y calendr (neu well, erbyn Gorffennaf 11 i fynd i gynhadledd Hydra ar ôl ysgol).
- Cymerwch galon, paratowch.
- Dewiswch docynnau a mynd i'r ysgol.
Ffynhonnell: hab.com