Дийкстра шагналын гурван ялагч: Hydra 2019 болон SPTDC 2019 хэрхэн явагдсан бэ

Дийкстра шагналын гурван ялагч: Hydra 2019 болон SPTDC 2019 хэрхэн явагдсан бэ

Хамгийн сүүлд 8-р сарын 12-XNUMX-ны хооронд хоёр чухал үйл явдал нэгэн зэрэг болсон - бага хурал Hydra болон сургууль SPTDC. Энэ нийтлэлд би хурлын үеэр бидний анзаарсан хэд хэдэн онцлогийг онцлон тэмдэглэхийг хүсч байна.

Hydra болон сургуулийн хамгийн том бахархал бол илтгэгчид юм.

  • Гурван шагналтан Дийкстра шагнал: Лесли Лампорт, Морис Херлихи, Майкл Скотт. Түүнээс гадна Морис үүнийг хоёр удаа хүлээн авсан. Лесли Лампорт бас хүлээн авсан Тюринг шагнал - компьютерийн шинжлэх ухааны хамгийн нэр хүндтэй МУЗ-ийн шагнал;
  • Java JIT хөрвүүлэгчийг бүтээгч нь Cliff Click юм;
  • Корутин хөгжүүлэгчид - Роман Елизаров (Елизаров) болон Никита Коваль (ндковал) Котлин, Дмитрий Вюков Go;
  • Кассандра (Алекс Петров), КосмосДБ (Денис Рысцов), Yandex мэдээллийн санд (Семён Чечеринда, Владислав Кузнецов) хувь нэмэр оруулсан хүмүүс;
  • Мөн бусад олон алдартай хүмүүс: Мартин Клеппман (CRDT), Хайди Ховард (Паксос), Ори Лахав (C++ санах ойн загвар), Педро Рамалхете (хүлээлгүй мэдээллийн бүтэц), Алексей Зиновьев (ML), Дмитрий Бугайченко (график шинжилгээ).

Энэ бол аль хэдийн сургууль:

  • Браун их сургууль (Морис Херлихи),
  • Рочестерийн их сургууль (Майкл Скотт),
  • Ватерлоогийн их сургууль (Тревор Браун),
  • Нантийн их сургууль (Achour Mostefaoui),
  • Негевийн Дэвид Бен-Гурионы их сургууль (Дэнни Хендлер),
  • Лос Анжелес дахь Калифорнийн их сургууль (Эли Гафни),
  • Парисын политехникийн институт (Петр Кузнецов),
  • Microsoft Research (Лесли Лампорт),
  • VMware судалгаа (Иттай Абрахам).

Дийкстра шагналын гурван ялагч: Hydra 2019 болон SPTDC 2019 хэрхэн явагдсан бэ

Онол ба практик, шинжлэх ухаан ба үйлдвэрлэл

SPTDC сургууль бол дэлхийн хэмжээний нэрт зүтгэлтнүүд тэнд цугларч, тархсан тооцооллын салбарын орчин үеийн асуудлаар ярилцдаг жижиг арга хэмжээ гэдгийг сануулъя. Hydra бол зэрэгцээ зохион байгуулагддаг хоёр өдрийн хуваарилагдсан тооцооллын хурал юм. Гидра илүү их инженерчлэлийн чиглэлээр ажилладаг бол сургууль нь шинжлэх ухааны чиглэлээр илүү анхаардаг.

Гидра бага хурлын нэг зорилго нь шинжлэх ухаан, инженерчлэлийн зарчмуудыг хослуулах явдал юм. Нэг талаас, энэ нь хөтөлбөрийн тайланг сонгох замаар хийгддэг: Лампорт, Херлихи, Скотт нарын хамт Кассандрагийн хувь нэмрээ оруулдаг Алекс Петров, эсвэл JetBrains-ийн Роман Елизаров нарын ашигласан илтгэлүүд олон байдаг. Мартин Клеппман гэж өмнө нь гарааны бизнес байгуулж, борлуулдаг байсан бөгөөд одоо Кембрижийн их сургуульд CRDT-д суралцаж байна. Гэхдээ гайхалтай зүйл бол Hydra болон SPTDC зэрэгцэн байрладаг - тэд өөр өөр тайлантай боловч харилцааны нийтлэг газар юм.

Дийкстра шагналын гурван ялагч: Hydra 2019 болон SPTDC 2019 хэрхэн явагдсан бэ

Усанд оруулах

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

Мэдээжийн хэрэг, оролцогчийн анхны бэлтгэлээс их зүйл шалтгаална. Коридорт хоёр бүлэг хүмүүс Хайди Ховардийн илтгэлийг бие даан хэлэлцэж байх үед инээдтэй мөч тохиолдсон: заримд нь энэ нь ердийн зүйл мэт санагдаж байхад зарим нь эсрэгээрээ амьдралын талаар гүн гүнзгий бодож байв. Хөтөлбөрийн хороодын оролцогчдын үзэж байгаагаар (нэрээ нууцлахыг хүссэн) Хидрагийн илтгэл, сургуулийн арга хэмжээн дээр тавьсан лекцүүд нь хэт өндөр шалгууртай байж болох нь сонирхолтой юм. Жишээлбэл, хэрэв PHP-ийн бага оюутан амьдрал сурах гэж PHP чуулганд ирсэн бол түүнийг Zend Engine-ийн дотоод байдлын талаар гүн гүнзгий мэдлэгтэй гэж үзэх нь бага зэрэг буруу байх болно. Энд илтгэгчид багачуудыг халбагаар хооллоогүй, харин тодорхой түвшний мэдлэг, ойлголтыг шууд илэрхийлсэн. Үнэн хэрэгтээ тархсан системийг ажиллуулж, ажиллах цагийн цөм бичдэг оролцогчдын түвшин маш өндөр байгаа нь логик юм. Оролцогчдын хариу үйлдлийг харахад түвшин, сэдвээр илтгэл сонгоход маш хялбар байсан.

Хэрэв бид тодорхой тайлангийн талаар ярих юм бол тэд бүгд өөр өөрийн гэсэн байдлаар сайн байсан. Хүмүүсийн хэлсэн үг, санал хүсэлтийн маягтаас юу харагдаж байгааг харахад Сургуулийн хамгийн гайхалтай тайлангийн нэг байв "Блоклохгүй өгөгдлийн бүтэц" Майкл Скотт, тэр зүгээр л бүгдийг салгасан, тэр 4.9 орчим хэвийн бус үнэлгээтэй.

Дийкстра шагналын гурван ялагч: Hydra 2019 болон SPTDC 2019 хэрхэн явагдсан бэ

Мета хурал

Гидра ба сургууль эхлэхээс хамаагүй өмнө Руслан ARG89 ямар нэгэн "мета-хурал" болох бага хурлын чуулган болно гэж таамаглаж байсан бөгөөд бусад арга хэмжээний шилдэг оролцогчид автоматаар хар нүх рүү орж байгаа мэт шингээнэ. Тэгээд ийм зүйл болсон! Тухайлбал, тус сургуулийн сурагчдын дунд энэ нь ажиглагдсан Руслан Черемин multithreading чиглэлээр алдартай мэргэжилтэн DeutscheBank-аас.

Дийкстра шагналын гурван ялагч: Hydra 2019 болон SPTDC 2019 хэрхэн явагдсан бэ

Гидрагийн гишүүдийг анзаарсан Вадим Цеско (инкубо) болон Андрей Пангин (апангин) Одноклассники компаниас. (Үүний зэрэгцээ Вадим бидэнд Мартин Клепмантай хоёр гайхалтай ярилцлага хийхэд тусалсан. нэг нь Хабр, нөгөө нь онлайн нэвтрүүлгийг үзэгчдэд зориулсан). Гишүүд байсан DotNext хөтөлбөрийн хороо, алдартай илтгэгчид Анатолий Кулаков, Игорь Лабутин нар. Жавистуудаас ч байсан Дмитрий Александров и Владимир Иванов. Ихэвчлэн та эдгээр хүмүүсийг огт өөр газар хардаг - DotNext дээр dotnetists, Joker дээр javaists гэх мэт. Тиймээс тэд Hydra-ийн сурвалжлага дээр зэрэгцэн сууж, сонирхогчдын асуудлыг хамтдаа хэлэлцдэг. Програмчлалын хэл, технологийн хувьд бага зэрэг зохиомол хуваагдал арилах үед тухайн сэдвийн онцлог шинжүүд гарч ирнэ: динамик ажиллах цагийн мэргэжилтнүүд бусад гүйлтийн таймеруудтай харилцдаг, тархсан тооцооллын онол судлаачид бусад судлаачидтай ширүүн маргалддаг, мэдээллийн сангийн хөдөлгүүрийн инженерүүд самбар дээр цуглардаг гэх мэт. .

Тайлан дээр C++ санах ойн загварын дагуу OpenJDK хөгжүүлэгчид урд эгнээнд сууж байсан (ядаж би тэднийг нүдээр нь мэддэг, гэхдээ Питонистууд биш, магадгүй Питонистууд ч бас тэнд байсан байх). Чухамдаа энэ тайланд Шипилевский ийм зүйл бий... Ори яг ижил зүйлийг хэлээгүй ч анхааралтай ажиглавал параллель байдлыг илрүүлж чадна. Хамгийн сүүлийн үеийн C++ стандартад тохиолдсон бүх зүйл тохиолдсоны дараа ч гэсэн агаараас гарах үнэ цэнэ гэх мэт асуудлууд шийдэгдээгүй байсан тул та ийм тайланд очиж, "хаалтны нөгөө талд" хүмүүс хэрхэн байгааг сонсох боломжтой. Эдгээр асуудлуудыг засах гэж оролдож байгаа тул, олсон шийдлийн арга барил нь танд сэтгэгдэл төрүүлэх болно (Ori-д засах сонголтуудын аль нэг нь бий).

Хөтөлбөрийн хороо, олон нийтийн хөдөлгүүрт маш олон оролцогчид байсан. Хүн бүр шашин хоорондын асуудлаа шийдэж, гүүр барьж, харилцаа холбоог олж авсан. Би үүнийг хаана ч байсан ашиглаж байсан бөгөөд жишээ нь бид Александр Боргардттай тохиролцсон Москвагийн C++ хэрэглэгчийн бүлэг хамтдаа C++ хэл дээр жүжигчид болон асинхронины тухай бүрэн хэмжээний нийтлэл бичнэ.

Дийкстра шагналын гурван ялагч: Hydra 2019 болон SPTDC 2019 хэрхэн явагдсан бэ

Зураг дээр: Леонид Талалаев (лталал, зүүн) болон Олег Анастасьев (m0nstermind, баруун), Одноклассники дахь тэргүүлэгч хөгжүүлэгчид

Галын хэлэлцүүлгийн бүсүүд болон буффууд

Чуулганд илтгэгчээс гадна тухайн сэдвийг сайн мэддэг оролцогчид үргэлж байдаг (заримдаа илтгэгчдээс ч илүү байдаг - жишээлбэл, зарим технологийн гол хөгжүүлэгч оролцогчдын дунд байх үед). Гидра дээр ийм өндөр мэргэшсэн оролцогчид маш олон байсан. Жишээлбэл, Алекс Петровын эргэн тойронд зарим үед хэлж байна Кассандрагийн тухай, маш олон хүн бий болсон тул тэр хүн бүрт хариулж чадахгүй байв. Хэзээ нэгэн цагт Алексийг хажуу тийш нь түлхэж, асуултаар урагдаж эхэлсэн боловч унасан тугийг тойрогт алдартай Rust хөгжүүлэгч барьж авав. Тайлер Нили мөн ачааллыг төгс тэнцвэржүүлсэн. Би Тайлераас онлайн ярилцлагад тусламж хүсэхэд тэр зөвхөн "Бид хэзээ эхлэх вэ?"

Дийкстра шагналын гурван ялагч: Hydra 2019 болон SPTDC 2019 хэрхэн явагдсан бэ

Заримдаа хэлэлцүүлгийн сүнс тайланд хүртэл орж байв: Никита Коваль гэнэт асуулт хариултын хуралдаан зохион байгуулж, тайланг хэд хэдэн хэсэгт хуваасан.

Мөн эсрэгээр, олон урсгалтай байхын тулд BOF дээр тэд тогтворгүй санах ойг санаж, энэ bof-д татагдсан. Педро Рамалхете ахлах мэргэжилтний хувьд, тэр хүн бүхэнд бүгдийг тайлбарлав (товчхондоо, тогтворгүй санах ой ойрын ирээдүйд бидэнд аюул занал учруулахгүй). Дашрамд хэлэхэд энэ bof-ийн хөтлөгчдийн нэг байсан Владимир Ситников, хэдэн солиотой тооны чуулганы хөтөлбөрийн хороонд ажилладаг ... яг одоо нэг дор тав юм шиг байна. Дараагийн "Бодит ертөнц дэх орчин үеийн CS" сэдвээр тэд NVM-ийн талаар ярилцаж, бие даан үүнд хүрсэн.

Дийкстра шагналын гурван ялагч: Hydra 2019 болон SPTDC 2019 хэрхэн явагдсан бэ

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

Дийкстра шагналын гурван ялагч: Hydra 2019 болон SPTDC 2019 хэрхэн явагдсан бэ

Илтгэгчид үүнд хичнээн их хайр, хүчин чармайлт гаргасныг би тусад нь тэмдэглэхийг хүсч байна. Хэлэлцүүлгийн талбарт хэн нэгэн эцсийн мөч хүртэл бараг хэдэн цаг зогссон. Завсарлага удаан хугацааны өмнө дуусч, тайлан эхэлсэн, дууссан, дараагийн завсарлага эхэлсэн - ба Дмитрий Вюков асуултад үргэлжлүүлэн хариулав. Надад бас нэгэн сонирхолтой түүх тохиолдсон - Cliff Click-ийг гайхшруулсны дараа би туршилт байхгүй тухай өдөөн хатгасан хэлэлцүүлгийн талаар тодорхой бөгөөд үндэслэлтэй тайлбарыг хүлээн авлаа. H2O дахь зарим зүйлийн хувьд, гэхдээ бас бүрэн тоймыг авсан шинэ хэл AA. Би үүнийг хэзээ ч асуугаагүй: Би зүгээр л та АА-ийн талаар юу уншиж болохыг асуусан (чи сонсох боломжтой болсон подкаст), оронд нь Клифф хагас цагийн турш хэлний талаар ярилцаж, түүний ярьж буй зүйл зөв ойлгогдсон эсэхийг шалгасан. Гайхалтай. Бид АА-ын тухай habrapost бичих хэрэгтэй. Өөр нэг ер бусын туршлага бол Котлин дахь татах хүсэлтийг шалгах үйл явцыг харж байсан явдал юм. Та янз бүрийн хэлэлцүүлгийн бүлгүүд, өөр өөр илтгэгчид орж, цоо шинэ ертөнцөд ороход үнэхээр ид шидийн мэдрэмж төрдөг. Энэ бол түвшний зүйл юм Radiohead-ийн "Тэнд, Тэнд".

Дийкстра шагналын гурван ялагч: Hydra 2019 болон SPTDC 2019 хэрхэн явагдсан бэ

Англи хэл

Hydra 2019 бол үндсэн хэл нь англи хэлтэй бидний анхны хурал юм. Энэ нь давуу тал болон бэрхшээлийг хоёуланг нь авчирдаг. Чуулганд зөвхөн Оросоос хүмүүс ирдэггүй нь тодорхой давуу тал бөгөөд оролцогчдын дунд Европын инженерүүд, Английн эрдэмтэдтэй уулзаж болно. Илтгэгчид оюутнуудаа авчирдаг. Ерөнхийдөө чухал илтгэгчид ийм чуулганд оролцох хүсэл эрмэлзэлтэй байдаг. Та өөрийгөө бүрэн орос хэл дээрх хурлын илтгэгч гэж төсөөлөөд үз дээ: та илтгэлээ тавьж, хэлэлцүүлгийн хэсгийг хамгаалсан, тэгээд яах вэ? Хотоор аялж, аялал жуулчлалын газруудыг үзэх үү? Үнэн хэрэгтээ үнэхээр алдартай илтгэгчид дэлхийн бүх зүйлийг хангалттай үзсэн, тэд арслан, гүүр үзэхийг хүсдэггүй, тэд уйтгартай байдаг. Хэрэв бүх илтгэлүүд англи хэл дээр байвал тэд ерөнхий үндсэн дээр чуулганд оролцож, хөгжилдөж, хэлэлцүүлгийн талбарт нэгдэх гэх мэт боломжтой. Уур амьсгал нь чанга яригчдад найрсаг ханддаг.

Дийкстра шагналын гурван ялагч: Hydra 2019 болон SPTDC 2019 хэрхэн явагдсан бэ

Мэдээжийн сул тал бол хүн бүр англи хэлээр харилцахад таатай байдаггүй. Олон хүмүүс сайн ойлгодог ч муу ярьдаг. Ер нь бол янз бүрээр шийдэж байсан жирийн л юмнууд. Жишээлбэл, зарим хэлэлцүүлгийн хэсгүүд орос хэл дээр эхэлсэн боловч анхны англи хэлтэй оролцогч гарч ирэхэд тэр даруй англи хэл рүү шилжсэн.

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

Нөгөөтэйгүүр, илтгэл дээр хүмүүс сүр дуулиантай асуулт асууж байгаа нь үнэхээр таатай байлаа. Зөвхөн төрөлх хэлээр ярьдаг хүмүүс ч биш, ерөнхийдөө бүгд сайн ажилласан. Бусад хурал дээр хүмүүс сонсогчдоос тасархай англи хэлээр асуулт асуухаас ичиж, хэлэлцүүлгийн талбарт ямар нэг зүйлийг шахаж гаргах нь элбэг байдаг. Энд тэс өөр байсан. Харьцангуй хэлэхэд зарим Cliff Click тайлангаа арай эрт дуусгасан бөгөөд үүний дараа асуултууд тасралтгүй дарааллаар үргэлжилж, яриа эвгүй завсарлага, тасалдалгүйгээр хэлэлцүүлгийн талбарт шилжсэн. Энэ нь Лесли Лампортын асуулт хариултын хэсэгт ч хамаатай;

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

Ивээн тэтгэгчид, үзэсгэлэн

Чуулганыг зохион байгуулахад манай ивээн тэтгэгчид их тусалсан. Тэдний ачаар завсарлагааны үеэр хийх зүйл байнга гардаг байсан.

Индэр дээр Deutsche Bank TechCenter Та олон урсгалт системийн инженерүүдтэй ярилцаж, тэдний асуудлыг толгойноосоо шийдэж, мартагдашгүй шагналын эзэн болж, цагийг сайхан өнгөрүүлээрэй.

Дийкстра шагналын гурван ялагч: Hydra 2019 болон SPTDC 2019 хэрхэн явагдсан бэ

Индэр дээр Контур Бид нээлттэй болон нээлттэй эхийн аль алиных нь системүүдийн талаар ярьж болно: тархсан санах ойн мэдээллийн сан, тархсан хоёртын бүртгэл, микро үйлчилгээний зохион байгуулалтын систем, телеметрийн бүх нийтийн тээвэрлэлт гэх мэт. Мэдээжийн хэрэг, оньсого, тэмцээн, хоёртын мууртай стикер, Зовлонт Дундад зууны үе, Мартин Клеппманы ном, LEGO дүрс зэрэг бэлэг.

Контурын асуудлын дүн шинжилгээ аль хэдийн хийгдсэн гэдгийг анхаарна уу Habré дээр нийтлэгдсэн. Сайн дүн шинжилгээ, үзэх нь зүйтэй.

Дийкстра шагналын гурван ялагч: Hydra 2019 болон SPTDC 2019 хэрхэн явагдсан бэ

Хүссэн хүмүүс бүх төрлийн ном худалдан авч, хамт олонтойгоо ярилцах боломжтой. Гарын үсэг зурах ёслолд олон хүн цугларсан!

Дийкстра шагналын гурван ялагч: Hydra 2019 болон SPTDC 2019 хэрхэн явагдсан бэ

Үр дүн

Hydra Conference болон SPTDC сургууль нь зохион байгуулагч компанийн хувьд болон нийт хамт олны хувьд маш чухал арга хэмжээ юм. Энэ бол бидний ирээдүйг харж, орчин үеийн тулгамдсан асуудлуудыг хэлэлцэх нэгдсэн үзэл баримтлалын тогтолцоог боловсруулж, сонирхолтой чиглэлүүдийг нарийвчлан судлах боломж юм. Multithreading нь маш удаан хугацааны туршид бий болсон боловч анхны жинхэнэ олон цөмт процессор гарч ирсний дараа энэ үзэгдэл өргөн тархах хүртэл бүхэл бүтэн арван жил зарцуулсан. Энэ долоо хоногт хийсэн илтгэлүүдийн үеэр бидний сонссон зүйл бол түр зуурын мэдээ биш, харин ирэх жилүүдэд бидний дагаж мөрдөх гэрэлт ирээдүйд хүрэх зам юм. Энэ нийтлэлд дараагийн Hydra-ийн талаар ямар нэгэн spoiler байхгүй, гэхдээ та хамгийн сайн сайхныг найдаж болно. Хэрэв та ийм төрлийн асуудлуудыг сонирхож байгаа бол манай бусад арга хэмжээнүүд, тухайлбал, бага хурлын илтгэлүүдийг үзэж болно. Joker 2019 буюу DotNext 2019 Москва. Дараагийн чуулганд уулзацгаая!

Дийкстра шагналын гурван ялагч: Hydra 2019 болон SPTDC 2019 хэрхэн явагдсан бэ

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

сэтгэгдэл нэмэх