энэ Лесли Лампорт нь тархсан тооцооллын чиглэлээр чухал бүтээлүүдийн зохиогч бөгөөд та түүнийг үгийн Ла үсгээр таньж магадгүй юм. LaTeX - "Lamport TeX". Тэр бол анх 1979 онд уг ойлголтыг нэвтрүүлсэн хүн юм дараалсан тууштай байдал, болон түүний нийтлэл "Олон процессортой программыг зөв гүйцэтгэдэг олон процессортой компьютерийг хэрхэн бүтээх вэ" Дийкстрагийн шагналыг авсан (илүү нарийвчлалтай, 2000 онд уг шагналыг хуучин хэлбэрээр нь "PODC нөлөө бүхий цаасны шагнал" гэж нэрлэдэг байсан). Түүний тухай байдаг Википедийн нийтлэл, та илүү сонирхолтой холбоосуудыг эндээс авах боломжтой. Хэрэв та тохиолдсон асуудлуудыг шийдэхдээ сэтгэл хангалуун байгаа бол - өмнө нь эсвэл Византийн генералуудын асуудал (BFT), тэгвэл энэ бүхний ард Лампорт байгаа гэдгийг ойлгох ёстой.

Тэрээр мөн удахгүй Санкт-Петербургт 11-р сарын 12-XNUMX-нд болох Hydra-ийн тархсан тооцооллын шинэ хуралд хүрэлцэн ирнэ. Энэ ямар амьтан болохыг харцгаая.

Гидра 2019

Multithreading гэх мэт сэдвүүд нь манай хурлын хамгийн алдартай сэдэв бөгөөд үргэлж байсаар ирсэн. Одоохондоо энэ өрөө эзгүй байсан ч тайзан дээр нэгэн хүн гарч ирэн санах ойн загвар, тохиолдсон эсвэл олон урсгалтай хог цуглуулах тухай ярьж байна. - аль хэдийн мянга орчим хүн сууж, анхааралтай сонсох боломжтой бүх зайг эзэлдэг. Энэ амжилтын мөн чанар юу вэ? Магадгүй энэ нь бидний гарт тархсан тооцооллыг зохион байгуулж чадах ямар нэгэн төрлийн техник хангамж байгаа учраас тэр юм болов уу? Эсвэл бид үүнийг зохих ёсоор нь ачаалж чадахгүй байгаагаа ухамсартайгаар ойлгож байна уу? Санкт-Петербургийн нэг квант (өөрөөр хэлбэл санхүүгийн тоон шинжээч, хөгжүүлэгч) зөвхөн өөрөө л ашиглах бүрэн хүчийг тооцоолох кластер эзэмшиж байсан тухай бодит түүх байдаг. Хэрэв танд одоогийнхоос хэд дахин илүү байсан даалгавраа биелүүлэх чадвартай байсан бол та юу хийх байсан бэ?

Ийм алдартай тул бүтээмж, үр ашигтай тооцоолох сэдэв нь хурлын хөтөлбөрт тархах хандлагатай байдаг. Гүйцэтгэлийн талаар хоёр өдрийн хэдэн тайлан гаргаж болох вэ - гуравны нэг, гуравны хоёр нь? Зарим газар энэ өсөлтийг хязгаарласан зохиомол хязгаарлалтууд байдаг: гүйцэтгэлээс гадна шинэ вэб фреймворкууд, зарим төрлийн devops эсвэл архитектурын сансрын нисгэгчдийн орон зай байх ёстой. Үгүй ээ, гүйцэтгэл, та биднийг бүгдийг нь идэхгүй!

Эсвэл та эсрэгээр нь явж, бууж өгч, шударгаар хурал хийж болно, энэ нь бүхэлдээ тархсан тооцоолол, зөвхөн тэдний тухай байх болно. Энд байна, Гидра.

Өнөөдөр бүх тооцоог ямар нэгэн байдлаар тарааж байгааг шударгаар хүлээн зөвшөөрье. Энэ нь олон цөмт машин, тооцоолох кластер эсвэл том хэмжээний түгээлтийн үйлчилгээ байхаас үл хамааран бие даасан тооцооллыг бие биентэйгээ синхрончлох зэрэг гүйцэтгэдэг олон процессууд хаа сайгүй байдаг. Энэ нь онолын хувьд хэрхэн хэрэгждэг, практикт хэрхэн ажилладаг талаар Hydra зориулах болно.

Хурлын хөтөлбөр

Хөтөлбөр яг одоо бүрэлдэх шатандаа явж байна. Үүнд тархсан системийн онолыг үндэслэгч, тэдэнтэй үйлдвэрлэлд ажилладаг инженерүүдийн тайланг багтаасан байх ёстой.

Жишээлбэл, Microsoft Research-ийн Лесли Лампорт, Браун Их Сургуулийн Морис Херлихи нарын оролцоо аль хэдийн тодорхой болсон.

Морис Херлихи - Компьютерийн шинжлэх ухааны маш алдартай, нэр хүндтэй профессор, түүний тухай мэдээлэл бас байдаг Википедиа хуудас, та холбоосууд болон бүтээлүүдээр дамжуулан үзэх боломжтой. Тэнд та Дийкстрагийн хоёр шагналыг анзаарч болно, эхнийх нь ажилд зориулсан "Хүлээлтгүй синхрончлол", хоёрдугаарт, илүү сүүлийн үеийн - "Гүйлгээний санах ой: Түгжээгүй мэдээллийн бүтцэд зориулсан архитектурын дэмжлэг". Дашрамд хэлэхэд, холбоосууд нь SciHub руу хөтөлдөггүй, харин Браун Их Сургууль, Виржиниа Техникийн Их Сургууль руу чиглүүлж, та нээж уншиж болно.

Морис "Блокчейн тархсан тооцооллын хэтийн төлөв" гэсэн үндсэн илтгэл тавих гэж байна. Хэрэв та сонирхож байгаа бол Санкт-Петербургийн JUG-ээс Морисийн илтгэлийн бичлэгийг үзэж болно. Тэр сэдвийг хэр ойлгомжтой, ойлгомжтой илэрхийлж байгааг үнэл.

"Хос өгөгдлийн бүтэц" гэсэн хоёр дахь илтгэлийг унших болно Майкл Скотт Рочестерийн их сургуулиас. Тэгээд юу гэж таамаглаж байна - тэр бас өөрийн гэсэн зүйлтэй Википедиа хуудас. Висконсин дахь гэртээ тэрээр Висконсин-Мэдисоны Их Сургуулийн деканаар ажилладаг гэдгээрээ алдартай бөгөөд тэрээр Даг Лиатай хамтран Java номын сангуудыг блоклохгүй алгоритм, синхрон дарааллыг боловсруулсан хүн юм. ажил. Тэрээр Херлихээс гурван жилийн дараа “Хуваалцсан санах ойн олон процессор дээр өргөтгөх боломжтой синхрончлолын алгоритмууд” бүтээлээрээ Дийкстрагийн шагнал хүртжээ. тэр ил тод худлаа хэлдэг Рочестерийн их сургуулийн онлайн номын санд).

XNUMX-р сарын дунд үе хүртэл маш их хугацаа байна. Бид хөтөлбөрөө сайжруулж, XNUMX-р сар ойртох тусам үлдсэн илтгэгчид болон тэдний сэдвүүдийн талаар танд хэлэх болно.

Ерөнхийдөө асуулт гарч ирдэг - яагаад бид зуны улиралд Hydra хийдэг вэ? Эцсийн эцэст энэ бол бага улирал, амралтын өдрүүд юм. Асуудал нь илтгэгчдийн дунд их сургуулийн багш нар байдаг бөгөөд өөр ямар ч үед тэдний хувьд завгүй байдаг. Бид зүгээр л өөр огноог сонгож чадаагүй.

Хэлэлцүүлгийн талбарууд

Бусад хурал дээр илтгэгч өөрт нь хэрэгтэй зүйлээ уншаад шууд орхисон тохиолдол гардаг. Оролцогчид үүнийг хайх цаг ч байдаггүй - эцсийн эцэст дараагийн тайлан бараг завсарлагагүйгээр эхэлдэг. Ялангуяа Лампорт, Херлихи, Скотт зэрэг чухал хүмүүс байгаа бөгөөд та тэдэнтэй уулзаж, ямар нэгэн зүйл хэлэлцэх гэж чуулганд оролцох гэж байгаа бол энэ нь маш их өвдөж байна.

Бид энэ асуудлыг шийдсэн. Илтгэгч илтгэлийнхээ дараа нэн даруй маркер бүхий самбараар тоноглогдсон тусгай хэлэлцүүлгийн хэсэгт очдог бөгөөд танд маш их цаг хугацаа байна. Албан ёсоор илтгэгч илтгэлийн хоорондох завсарлагааны үеэр ядаж тэнд байхаа амлаж байна. Бодит байдал дээр эдгээр хэлэлцүүлгийн талбарууд байж болох юм хэдэн цагаар сунгах (яригчийн хүсэл, тэсвэр тэвчээрээс хамаарч).

Лампортын хувьд хэрэв би зөв ойлгож байгаа бол тэр аль болох олон хүнийг үүнд итгүүлэхийг хүсч байна TLA+ - энэ бол сайн хэрэг. (Wikipedia дээрх TLA+-ийн тухай нийтлэл). Магадгүй энэ нь инженерүүдэд шинэ, хэрэгтэй зүйл сурах сайхан боломж байх болов уу. Лесли энэ сонголтыг санал болгож байна - сонирхсон хүмүүс түүний өмнөх лекцүүдийг үзэж, асуулт асууж болно. Өөрөөр хэлбэл, үндсэн илтгэлийн оронд тусгайлсан асуулт хариултын хэсэг, дараа нь хэлэлцүүлгийн бүс байж болно. Би Google-ээр хайлт хийж үзээд гайхалтай зүйл оллоо. TLA+ курс (албан ёсоор нэрлэсэн YouTube дээрх тоглуулах жагсаалт) болон нэг цагийн лекц "Дүрмийн дээгүүр сэтгэх нь" Microsoft-ын багш нарын дээд хэмжээний уулзалтаас.

Хэрэв та эдгээр бүх хүмүүсийг Википедиа болон номын хавтаснаас боржин чулуугаар цутгасан нэр гэж ойлгосон бол тэдэнтэй биечлэн уулзах цаг болжээ! Шинжлэх ухааны нийтлэлийн хуудсууд хариу өгөхгүй чатлах, асуулт асуух, гэхдээ зохиогчид нь холбоо барихдаа баяртай байх болно.

Баримтыг дуудах

Өгүүллийг уншиж байгаа хүмүүсийн ихэнх нь бидэнд сонирхолтой зүйл хэлэхээс татгалздаггүй нь нууц биш. Инженерийн үүднээс, шинжлэх ухааны үүднээс - ямар ч өнцгөөс. Тархсан тооцоолол бол хүн бүрт багтаамжтай маш өргөн бөгөөд гүнзгий сэдэв юм.

Хэрэв та Лампорттой зэрэгцэн өрсөлдөхийг хүсвэл энэ нь бүрэн боломжтой. Илтгэгч болохын тулд танд хэрэгтэй холбоосыг дагана уу, тэнд байгаа бүх зүйлийг анхааралтай уншиж, зааврын дагуу хий.

Та үйл явцад нэгдэнгүүт тэд танд туслах болно гэдэгт итгэлтэй байгаарай. Хөтөлбөрийн хороо нь тайлангийн өөрөө, түүний мөн чанар, дизайныг боловсруулахад туслах хангалттай чадвартай. Зохицуулагч танд зохион байгуулалтын асуудал гэх мэт асуудлыг шийдвэрлэхэд тусална.

Огноо бүхий зурган дээр онцгой анхаарал хандуулаарай. Долдугаар сар бол оролцогчийн хувьд нэлээд хол өдөр боловч илтгэгч яг одоо жүжиглэж эхлэх хэрэгтэй.

SPTDC сургууль

Чуулган нь МТДБС-ийн сургуультай нэг сайт дээр явагдах тул тус сургуульд орох тасалбар худалдаж авсан хүн бүрт хурлын тасалбарыг 20% хямдралтай.

Тархсан тооцооллын практик ба онолын зуны сургууль (SPTDC) Тус сургууль нь тархсан системийн практик болон онолын талаар өргөн хүрээний сургалтуудыг явуулдаг бөгөөд холбогдох салбарын хүлээн зөвшөөрөгдсөн мэргэжилтнүүдийн заадаг сургууль юм.

Сургууль англи хэл дээр явагдах тул хамрагдсан сэдвүүдийн жагсаалт дараах байдалтай байна.

• Зэрэгцсэн өгөгдлийн бүтэц: зөв, үр ашигтай байдал;
• Тогтворгүй санах ойд зориулсан алгоритмууд;
• Тархсан тооцоолол;
• Түгээмэл машин сургалт;
• Төрийн машины хуулбар ба Paxos;
• Византийн гэмтлийг тэсвэрлэх чадвар;
• Блокчейн алгоритмын үндэс.

Дараах илтгэгчид үг хэлэх болно.

• Лесли Лампорт (Microsoft);
• Морис Херлихи (Браун их сургууль);
• Майкл Скотт (Рочестерийн их сургууль);
• Дан Алистарх (IST Австри);
• Тревор Браун (Ватерлоогийн их сургууль);
• Эли Гафни (UCLA);
• Дэнни Хендлер (Бен Гурион их сургууль);
• Ачоур Мостефауи (Нантийн их сургууль).

тоглуулах жагсаалт Та YouTube дээр өмнөх сургуулийн тайлангуудыг чөлөөтэй үзэх боломжтой.

Дараагийн алхамууд

Чуулганы хөтөлбөрийг боловсруулж байна. Habré эсвэл нийгмийн сүлжээн дэх мэдээг дагаж мөрдөөрэй (fb, vk, Twitter).

Хэрэв та чуулганд үнэхээр итгэж байгаа бол (эсвэл "Эрт шувуу" гэж нэрлэгддэг тусгай элсэлтийн үнийг ашиглахыг хүсвэл) вэбсайт руу орж, тасалбар худалдаж авах.

Hydra-д уулзацгаая!

Эх сурвалж: www.habr.com