Бүх зүйлийг мэддэг хэрнээ юу ч бүтэхгүй байхыг онол гэдэг.
Дадлага гэдэг бол бүх зүйл үр дүнтэй болох боловч яагаад гэдгийг хэн ч мэдэхгүй.
Түгээмэл системд, онол ба практик хосолсон:
юу ч болохгүй, яагаад гэдгийг хэн ч мэдэхгүй.
Эпиграф дээрх хошигнол нь туйлын тэнэг гэдгийг батлахын тулд бид XNUMX дахь удаагаа SPTDC (School on school on distributed computing) зохион байгуулж байна. Бид тус сургуулийн түүх, түүнийг үүсгэн байгуулагчид болох Петр Кузнецов, Виталий Аксенов нар, мөн SPTDC-ийг зохион байгуулахад JUG Ru группын оролцооны талаар ярилцсан. гэж хэлсэн Хабре дээр. Тиймээс өнөөдөр бид 2020 оны сургуулийн тухай, лекц, лекцийн тухай, мөн сургууль, хурлын ялгааны талаар ярилцаж байна.
SPTDC сургууль 6 оны 9-р сарын 2020-аас XNUMX-р сарын XNUMX-ний хооронд Москва хотод болно.
Бүх лекц англи хэл дээр явагдана. Лекцийн үндсэн сэдвүүд: байнгын зэрэгцээ тооцоолол, тархсан системд зориулсан криптографийн хэрэгслүүд, зөвшилцлийн протоколуудыг шалгах албан ёсны аргууд, том хэмжээний систем дэх тууштай байдал, тархсан машин сургалт.
Зурган дээрх дүрүүд ямар цэргийн цолтой болохыг та шууд таасан уу? Би чамайг шүтдэг.
Лектор ба лекцүүд
Нир Шавит (Нир Шавит) - MIT болон Тель-Авивын их сургуулийн профессор, гайхалтай номын хамтран зохиогч Олон процессор програмчлалын урлаг, эзэн Дийкстра шагнал боловсруулах, хэрэгжүүлэхэд зориулагдсан програм хангамжийн гүйлгээний санах ой (STM) ба Годелийн шагнал Алгебрийн топологийг хамтын санах ойн тооцооллын загварчлалд ашиглах ажлынхаа төлөө, тус компанийн үүсгэн байгуулагчдын нэг. Мэдрэлийн ид шид, энэ нь энгийн CPU-д зориулсан хурдан машин сургалтын алгоритмуудыг бий болгодог бөгөөд мэдээжийн хэрэг өөрийн гэсэн онцлогтой. Википедиа хуудаснууд гялалзсан, хурц гэрэл зурагтай. Нир 2017 онд манай сургуульд аль хэдийн оролцож, хаах арга техникийг иж бүрэн танилцуулсан (1-р хэсэг, 2-р хэсэг). Нир энэ жил юу ярихыг бид хараахан мэдэхгүй байгаа ч шинжлэх ухааны тэргүүн эгнээний мэдээнд найдаж байна.
Майкл Скотт (Майкл Скотт) - судлаач Рочестерийн их сургууль, бүх Java хөгжүүлэгчид бүтээгч гэдгээрээ алдартай блоклохгүй алгоритмууд болон синхрон дараалал Java стандарт номын сангаас. Мэдээжийн хэрэг, хөгжлийн төлөөх Дижкстра шагналын хамт хуваалцсан санах ойн тооцооллын синхрончлолын алгоритмууд болон эзэмшдэг Википедиа хуудас. Өнгөрсөн жил Майкл манай сургуульд блоклохгүй өгөгдлийн бүтцийн талаар лекц уншсан (1-р хэсэг, 2-р хэсэг). Энэ жил тэр хэлэх болно ашиглах програмчлалын тухай тогтворгүй санах ой (NVM) нь "энгийн" санамсаргүй хандалтын санах ой (DRAM) -тай харьцуулахад програмын нарийн төвөгтэй байдал, санах ойн ачааллыг бууруулдаг.
Кейдар явж байна (Идит Кейдар) - Технионы профессор, эзэн Хиршийн индекс 40 орчим (энэ нь маш их ач холбогдолтой). хоёр зуун эрдэм шинжилгээний өгүүлэл тархсан тооцоолол, олон урсгал ба алдааг тэсвэрлэх чиглэлээр. Идит манай сургуульд анх удаа оролцож байна лекц уншина тархсан өгөгдөл хадгалах үйл ажиллагааны үндсэн талуудын талаар: тархсан санах ойн эмуляц, зөвшилцөл боловсруулах, тохиргооны өөрчлөлт.
Родриго Родригес (Родриго Родригес) - Técnico-ийн профессор, лабораторийн гишүүн INESC-ID болон зохиолч судалгааны ажил тархсан системийн салбарт. Энэ жил манай сургуульд Родриго хэлэх болно тархсан мэдээллийн сан дахь тууштай байдал, тусгаарлалтын талаар, мөн ашиглан дүн шинжилгээ хийх болно CAP теоремууд тууштай байдал, тусгаарлах хэд хэдэн загварыг практикт хэрэгжүүлэх боломж.
Чен Жин (Жин Чен) - Стони Брүүк дэх Нью-Йоркийн их сургуулийн профессор, зохиолч судалгааны ажил блокчейн салбарт, тэргүүлэх эрдэмтэн Алгорандын - компани болон блокчэйн платформ дээр суурилсан зөвшилцлийн алгоритмыг ашигладаг Гадасны баталгаа. Энэ жил манай сургуульд Чен Algorand блокчэйн болон түүний сонирхолтой шинж чанаруудад хүрэх арга замуудын талаар ярих болно: сүлжээний тооцооллын нөөцөд тавигдах шаардлага бага, гүйлгээний түүхийг хуваах боломжгүй, блокчэйнд нэмсний дараа гүйлгээний боловсруулалтыг дуусгах баталгаа.
Кристиан Кашин (Кристиан Качин) бол Бернийн их сургуулийн профессор, өгөгдөл хамгаалах чиглэлээр судалгааны бүлгийг удирдаж, "номыг хамтран зохиогч юм.Найдвартай, аюулгүй тархсан програмчлалын танилцуулга", блокчейн платформ хөгжүүлэгч Гиперледжер даавуу (түүний тухай яриа хүртэл байсан Habré дээр нийтэлсэн) болон зохиогч судалгааны ажил тархсан систем дэх криптограф, аюулгүй байдлын чиглэлээр. Энэ жил манай сургуульд Кристиан лекц уншина тархсан тооцоололд зориулсан криптографийн хэрэгслүүдийн дөрвөн хэсгээс бүрдсэн цуврал: тэгш хэмт ба тэгш бус криптограф, түүнчлэн хуваалцсан түлхүүр криптограф, хуурамч санамсаргүй тоо болон баталгаажуулах боломжтой санамсаргүй тоо үүсгэх.
Марко Вуколич (Марко Вуколич) - IBM Research-ийн судлаач, зохиолч ажлын тухай блокчейн болон Hyperledger Fabric-ийн хөгжүүлэгч. Марко энэ жил манай сургуульд юу ярихыг бид хараахан мэдэхгүй байгаа ч түүний блокчэйн дэх хамгийн сүүлийн үеийн бүтээн байгуулалтын талаар олж мэдэх болно гэж найдаж байна: судалгаа гүйцэтгэлийн доройтол 100 хүртэлх машинуудын кластерууд дээр тараасан зөвшилцлийн протоколууд, нэвтрүүлэг Мир протокол дэлхийн дэг журамтай ба Византийн алдааг тэсвэрлэх чадвар эсвэл блокгүй блокчэйн StreamChain, гүйлгээ боловсруулах хугацааг багасгах.
Прасад Жаянти (Прасад Жаянти) бол элитүүдийн нэг болох Дартмут коллежийн профессор юм Ivy League, мөн зохиогч судалгааны ажил олон урсгалт алгоритмын салбарт. Энэ жил манай Прасад сургуульд лекц уншина урсгалын синхрончлол ба янз бүрийн хувилбаруудыг хэрэгжүүлэх алгоритмуудын тухай мутекс: Тогтворгүй санах ойн загварт тасалдал эсвэл сэргээх функцууд, мөн тусдаа унших, бичих үйлдлүүдтэй.
Алексей Готсман (Алексей Готсман) - IMDEA-ийн профессор, зохиолч судалгааны ажил алгоритмын програм хангамжийн баталгаажуулалтын чиглэлээр. Алексей энэ жил манай сургуульд юуны тухай лекц уншихыг бид хараахан мэдэхгүй байгаа ч бид програм хангамжийн баталгаажуулалт ба түгээсэн системүүдийн уулзварт байгаа сэдвээр найдаж байна.
Энэ яагаад хурал биш сургууль юм бэ?
Нэгдүгээрт, багш нар академик хэлбэрээр ярьдаг бөгөөд том лекц бүрийг хоёр хосоор уншдаг. "Нэг цаг хагас - завсарлага - дахиад нэг цаг хагас." Их сургуулиас хойш олон жилийн дараа, нэг цагийн хурал дээр илтгэл тавьж, 10 минутын YouTube бичлэг хийдэг зуршилтай бол энэ нь хэцүү байх болно. Сайн лектор гурван цагийг бүхэлд нь сонирхолтой болгох боловч хүн бүр өөрийн тархины уян хатан чанарыг хариуцдаг.
Ашигтай зөвлөгөө: Сургуулийн лекцийн видео бичлэг дээр дадлага хийх 2017 жил болон дотор 2019 жил. Баяртай ажил - Сайн уу Византийн генералууд.
Хоёрдугаарт, багш нар шинжлэх ухааны судалгаанд анхаарлаа хандуулж, үндсэн зарчмуудыг ярьдаг тархсан систем болон зэрэгцээ тооцоолол, түүнчлэн шинжлэх ухааны хамгийн сүүлийн үеийн мэдээ. Хэрэв таны зорилго бол ямар нэг зүйлийг хурдан програмчилж, хичээлээ тараад маргааш нь үйлдвэрлэлд нэвтрүүлэх юм бол энэ нь бас хэцүү байж болно.
Хэрэгтэй зөвлөгөө: Сургуулийн багш нарын судалгааны бүтээлүүдийг эндээс хайж олоорой Google Scholar и arXiv.org. Хэрэв та шинжлэх ухааны нийтлэл унших дуртай бол сургуульд ч бас дуртай байх болно.
Гуравдугаарт, SPTDC 2020 нь бага хурал биш, учир нь тархсан систем ба зэрэгцээ тооцооллын талаарх бага хурал нь Гидра 2020. Саяхан Habré-ийн тухай нийтлэл гарсан байна түүний хөтөлбөрийн тойм. Өнгөрсөн жил SPTDC болон Hydra нэгэн зэрэг, нэг газар болсон. Энэ жил тэд огноогоор давхцдаггүй тул таны цаг хугацаа, анхаарал халамжийн төлөө хоорондоо өрсөлддөггүй.
Ашигтай зөвлөгөө: Гидра чуулганы хөтөлбөрийг үзэж, хичээлийн дараа өөр чуулганд оролцох талаар бодож үзээрэй. Энэ долоо хоног сайхан байх болно.
Сургуульдаа яаж очих вэ?
- 6 оны 9-р сарын 2020-аас 11-р сарын XNUMX хүртэлх огноог хуанли дээрээ бичээрэй (эсвэл XNUMX-р сарын XNUMX-ний өдөр та хичээлээ тараад Hydra чуулганд оролцох боломжтой).
- Сэтгэлээ барь, бэлд.
- Тасалбар сонгох тэгээд сургуульдаа яв.
Эх сурвалж: www.habr.com