Teorio estas kiam vi scias ĉion sed nenio funkcias.
Praktiko estas kiam ĉio funkcias sed neniu scias kial.
distribuitaj sistemoj, teorio kaj praktiko estas kombinitaj:
nenio funkcias kaj neniu scias kial.
Por pruvi ke la ŝerco en la epigrafo estas absoluta sensencaĵo, ni tenas SPTDC (lernejo pri praktiko kaj teorio de distribuita komputado) por la trian fojon. Pri la historio de la lernejo, ĝiaj kunfondintoj Petr Kuznetsov kaj Vitaly Aksyonov, same kiel la partopreno de JUG Ru Group en la organizo SPTDC, ni jam havas rakontis sur Habr. Tial hodiaŭ temas pri la lernejo en 2020, pri prelegoj kaj prelegantoj, kaj ankaŭ pri la diferencoj inter la lernejo kaj la konferenco.
La lernejo SPTDC okazos de 6 ĝis 9 julio 2020 en Moskvo.
Ĉiuj prelegoj estos en la angla. Prelegotemoj: persista samtempa komputado, kriptografikaj iloj por distribuitaj sistemoj, formalaj metodoj por kontroli konsentajn protokolojn, konsistencon en grandskalaj sistemoj, distribuita maŝinlernado.
Ĉu vi tuj divenis, kia milita rango estas la gravuloj en la bildo? Mi adoras vin.
Prelegantoj kaj prelegoj
Nir Shavit (Nir Shavit) estas profesoro ĉe MIT kaj Tel Aviv University, kunaŭtoro de bonega libro La Arto de Multiprocesora Programado, posedanto Dijkstra Premioj por la disvolviĝo kaj efektivigo programaro transakcia memoro (STM) kaj Premio Gödel por lia laboro sur la apliko de algebra topologio al la simulado de komuna memorkomputiko, kunfondinto de la firmao Neŭrala Magio, kiu kreas rapidajn maŝinlernajn algoritmojn por konvenciaj CPUoj, kaj, kompreneble, havas sian propran Vikipediaj paĝoj kun impeta kaj sufoka fotado. Nir jam partoprenis en nia lernejo en 2017, kie li faris ĝisfundan recenzon pri blokaj teknikoj (parto 1, parto 2). Pri kio Nir parolos ĉi-jare, ni ankoraŭ ne scias, sed ni esperas novaĵojn el la avangarda scienco.
Michael Scott (Michael Scott) estas esploristo en Universitato de Roĉestro, konata al ĉiuj Java programistoj kiel la kreinto de ne-blokaj algoritmoj kaj sinkronaj vostoj el la Java norma biblioteko. Kompreneble, kun la Design Award de Dijkstra sinkronigaj algoritmoj por komuna memorkomputiko kaj propra Vikipedia paĝo. Pasintjare, Mikaelo prelegis en nia lernejo pri neblokaj datumstrukturoj (parto 1, parto 2). Ĉi-jare li diros pri programado uzante nevolatila memoro (NVM), kiu reduktas programkompleksecon kaj memorkopion kompare kun "regula" hazarda alirmemoro (DRAM).
Idit Keidar (Idit Keidar) - Profesoro ĉe la Technion kaj posedanto Hirsch-indekso proksimume 40 (kio estas tre, tre multe) por ducent sciencaj artikoloj en la kampo de distribuita komputado, multifadenado kaj faŭltoleremo. Eidit unuafoje partoprenas en nia lernejo, kie ŝi doni prelegon pri la bazaj aspektoj de la laboro de distribuitaj datumstokejoj: distribuita memorimulado, konsentevoluo kaj agordaj ŝanĝoj.
Rodrigo Rodriguez (Rodrigo Rodrigues) - profesoro ĉe Técnico, membro de la laboratorio INESC ID kaj aŭtoro esplorlaboro en la kampo de distribuitaj sistemoj. Ĉi-jare en nia lernejo Rodrigo diros pri konsistenco kaj izolado en distribuitaj datumstokejoj, kaj ankaŭ analizos uzadon CAP-teoremoj realigeblo en praktiko de pluraj modeloj de konsistenco kaj izolado.
Chen Ching (Jing Chen) estas profesoro ĉe la Ŝtata Universitato de Novjorko ĉe Stony Brook, aŭtoro esplorlaboro en la kampo de blokĉeno kaj plej elstara sciencisto en Algorand — kompanio kaj blokĉena platformo uzanta konsentan algoritmon tute bazitan sur Pruvo de Stake. Ĉi-jare en nia lernejo, Chen parolos pri la blokĉeno de Algorand kaj manieroj atingi ĝiajn interesajn ecojn: nepostulema al retaj komputikaj rimedoj, la neeblo dividi la transakcian historion kaj garantii la finon de transakcia prilaborado post kiam ĝi estas aldonita al la blokĉeno.
Christian Kashin (Christian Cachin) estas profesoro ĉe la Universitato de Berno, estro de esplorgrupo en la kampo de datuma protekto, kunaŭtoro de la libro "Enkonduko al Fidinda kaj Sekura Distribuita Programado”, programisto de blokĉena platformo Hyperledger Fabric (pri ŝi eĉ estis afiŝu sur Habré) kaj aŭtoro esplorlaboro en la kampo de kriptografio kaj sekureco en distribuitaj sistemoj. Ĉi-jare en nia lernejo Christian doni prelegon en kvar partoj pri kriptografiaj iloj por distribuita komputado: simetria kaj malsimetria kriptografio, kaj ankaŭ pri komuna ŝlosila kriptografio, pseŭdo-hazardaj nombroj kaj kontrolebla hazarda nombrogeneracio.
Marko Vukolich (Marko Vukolic) estas esploristo ĉe IBM Research, aŭtoro funkcias en blokĉeno kaj programisto de Hyperledger Fabric. Ni ankoraŭ ne scias, pri kio Marco parolos en nia lernejo ĉi-jare, sed ni esperas lerni pri liaj lastaj evoluoj en la kampo de blokĉeno: esplorado. rendimento degenero disdonitaj konsentaj protokoloj pri aretoj de ĝis 100 maŝinoj, elsenditaj Mir protokolo kun tutmonda ordo kaj Bizanca faŭltoleremo aŭ senbloka blokĉeno StreamChainminimumigante transakcian pretigtempon.
Prasad Jayanti (Prasad Jayanti) estas profesoro ĉe Dartmouth College, parto de la elito hedera ligo, kaj la aŭtoro esplorlaboro en la kampo de multfadenaj algoritmoj. Ĉi-jare en nia lernejo Prasad doni prelegon pri fadensinkronigado kaj algoritmoj por efektivigo de diversaj opcioj mutex: kun interrompaj aŭ restaŭraj funkcioj en nevolatilaj memormodeloj, kaj kun apartaj leg- kaj skriba operacioj.
Alexey Gotsman (Alexey Gotsman) estas profesoro ĉe IMDEA kaj aŭtoro esplorlaboro en la kampo de programa konfirmo de algoritmoj. Ni ankoraŭ ne scias, kion Alexey prelegos en nia lernejo ĉi-jare, sed ni antaŭĝojas pri temo ĉe la intersekco de programaro-kontrolado kaj distribuitaj sistemoj.
Kial ĉi tio estas lernejo kaj ne konferenco?
Unue, la prelegantoj parolas en akademia formato kaj legas du parojn de ĉiu granda prelego: "horo kaj duono - paŭzo - alia horo kaj duono." Multaj jaroj ekster la universitato, kun kutimo de hor-longaj konferencaj paroladoj kaj 10-minutaj YouTube-videoj, tio povas esti malfacila. Bona preleganto faros ĉiujn tri horojn interesaj, sed ĉiu respondecas pri la plastikeco de sia propra cerbo.
Helpema Konsilo: Praktiku pri videoregistraĵoj de lernejaj prelegoj en 2017 jaro kaj en 2019 jaro. Adiaŭ, laboro — saluton, bizancaj generaloj.
Due, la prelegantoj koncentriĝas pri scienca esplorado kaj parolas pri la fundamentoj distribuitaj sistemoj kaj paralela komputado, same kiel novaĵoj de la avangarda scienco. Se via celo estas rapide kodi ion kaj deploji ĝin al produktado la sekvan tagon post la lernejo en varma serĉado, ĉi tio ankaŭ povas esti malfacila.
Helpema Konsilo: Serĉu la esplorajn artikolojn de la prelegantoj de la lernejo ĉe Google Scholar и arXiv.org. Se vi ĝuas legi sciencajn artikolojn, vi ankaŭ ĝuos la lernejon.
Trie, la lernejo SPTDC 2020 ne estas konferenco, ĉar la konferenco pri distribuitaj sistemoj kaj paralela komputado estas Hidro 2020. Lastatempe ĉe Habré estis afiŝo kun revizio de ĝia programo. Pasintjare, SPTDC kaj Hydra okazis samtempe kaj sur la sama retejo. Ĉi-jare ili ne interkovras en datoj, do ili ne konkuras unu kun la alia por via tempo kaj atento.
Helpema Konsilo: Rigardu la Hydra-konferencan programon kaj konsideru ĉeesti la konferencon ankaŭ post lernejo. Ĉi tio estos bona semajno.
Kiel atingi lernejon?
- Skribu la datojn de la 6-a de julio ĝis la 9-a de julio 2020 en la kalendaro (aŭ pli bone, antaŭ la 11-a de julio por iri al la Hydra-konferenco post lernejo).
- Kuraĝu, pretiĝu.
- Elektu biletojn kaj iru al lernejo.
fonto: www.habr.com