бул Лесли Лэмпорт - бөлүштүрүлгөн эсептөө боюнча фундаменталдык эмгектердин автору, жана аны сөздөгү Ла тамгаларынан да биле аласыз. LaTeX - "Lamport TeX". Ал биринчи жолу 1979-жылы концепцияны киргизген ырааттуу ырааттуулук, жана анын макаласы "Көп процесстик программаларды туура аткарган мультипроцессордук компьютерди кантип жасоо керек" Дийкстра сыйлыгын алган (тагыраак айтканда, 2000-жылы сыйлык эскиче аталып калган: "PODC Influential Paper Award"). Ал жөнүндө бар Wikipedia макаласы, анда дагы кызыктуу шилтемелерди ала аласыз. Эгерде сиз көйгөйлөрдү чечүүдө толкунданып жатсаңыз, анда эмне болот-мурда же Византия генералдарынын проблемалары (BFT), алар мунун артында Лампорт турганын түшүнүшү керек.

Ал эми жакында 11-12-июлда Санкт-Петербургда өтө турган Hydra - бөлүштүрүлгөн эсептөө боюнча биздин жаңы конференцияга келет. Бул кандай жаныбар экенин карап көрөлү.

Гидра 2019

Multithreading сыяктуу темалар биздин конференциялардагы эң ысык темалардын бири болуп саналат, ар дайым болуп келген. Бул зал жөн эле ээн болчу, бирок сахнага бир адам эстутум модели жөнүндө айтып чыгат, болуп өткөнгө чейин же көп жиптүү таштанды чогултуу жана - бум! - миңге жетпеген адам отуруп, кунт коюп угуу үчүн бардык бош орундарды ээлейт. Бул ийгиликтин маңызы эмнеде? Балким, баарыбыздын колубузда бөлүштүрүлгөн эсептөөлөрдү уюштурууга жөндөмдүү кандайдыр бир аппараттык каражаттар бардыр? Же аны чыныгы баасында жүктөй албаганыбызды аң-сезимсиз түшүнүп жатабызбы? Бир Петербург квантынын (башкача айтканда, каржылык сандык талдоочу жана иштеп чыгуучу) чыныгы окуясы бар, ал колунда эсептөө кластери менен аяктаган, анын толук күчүн ал гана колдоно алат. Эгер сиз өзүңүздүн милдеттериңизди азыркыдан бир нече эсе чоң мүмкүнчүлүктөр менен аткара турган болсоңуз, эмне кылат элеңиз?

Бул популярдуулуктан улам, аткаруу жана натыйжалуу эсептөө темасы конференциянын программасына жайылууда. Эки күндүк отчеттордун канчасы аткарылышы жөнүндө – үчтөн бири, үчтөн экиси боюнча түзүлүшү мүмкүн? Кээ бир жерлерде бул өсүштү чектеген жасалма чектөөлөр бар: аткаруудан тышкары, жаңы веб алкактарга, кандайдыр бир devops же архитектуралык астронавтикага дагы орун болушу керек. Жок, спектакль, сиз баарыбызды жебейсиз!

Же тескери жолго түшүп, баш тартып, чынчылдык менен бүтүндөй бөлүштүрүлгөн эсептөө жөнүндө жана алар жөнүндө гана боло турган конференцияны түзө аласыз. Мына, Гидра.

Чынын айтсак, бүгүнкү күндө бардык эсептөөлөр тигил же бул түрдө бөлүштүрүлгөн. Бул көп ядролуу машина болобу, эсептегич кластер болобу же масштабдуу бөлүштүрүлгөн кызмат болобу, бардык жерде бири-бири менен синхрондоштуруу менен параллелдүү көз карандысыз эсептөөлөрдү жүргүзгөн көптөгөн процесстер бар. Анын теориялык жактан кандайча жана практикалык жактан кандайча иштээри Гидранын көңүл борборунда болот.

Конференциянын программасы

Учурда программа иштелип чыгууда. Анда бөлүштүрүлгөн системалардын теорияларынын негиздөөчүлөрүнүн жана өндүрүштө алар менен иштеген инженерлердин баяндамалары камтылууга тийиш.

Мисалы, биз буга чейин Microsoft Research компаниясынан Лесли Лэмпорт менен Браун университетинен Морис Херлихинин катышуусун билебиз.

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

Морис "Блокчейндер бөлүштүрүлгөн эсептөө көз карашынан" деп аталган негизги баяндаманы өткөрмөкчү. Эгер кызыксаңыз, Мористин Санкт-Петербургдагы ЖУГдан жазган баяндамасына көз чаптырсаңыз болот. Ал теманы канчалык так жана түшүнүктүү айтып жатканын баалаңыз.

"Кош маалымат структуралары" деп аталган экинчи негизги баяндама окулат Майкл Скотт Рочестер университетинен. Анын да өзүнүн бар Wikipedia баракчасы. Висконсиндеги үйүндө ал Висконсин-Мэдисон университетинде декан болуп иштегендиги менен белгилүү жана дүйнөдө ал Даг Ли менен бирге Java китепканалары иштеген блоктолбогон алгоритмдерди жана синхрондук кезектерди иштеп чыккан адам. . Ал Dijkstra сыйлыгын Херлихиден үч жыл өткөндөн кийин "Алгоритмдер үчүн масштабдуу синхронизациялоонун жалпы эс тутумундагы мультипроцессорлордо" (күтүлгөндөй эле) деген эмгеги үчүн алган. ал ачык жатат Рочестер университетинин онлайн китепканасында).

Июлдун ортосуна чейин дагы көп убакыт бар. Башка баяндамачылар жана алардын темалары тууралуу программаны тактап, июль айына жакындап калганда айтып беребиз.

Дегеле, суроо туулат - эмне үчүн Гидраны жайында жасайбыз? Анткени, бул эс алуу мезгили, майрамдар. Маселе, баяндамачылардын арасында университеттин окутуучулары бар, алар үчүн башка убакыт бош эмес. Башка даталарды тандай албадык.

Талкуу зоналары

Башка конференцияларда спикер керектүү нерсени окуп, дароо кетип калган учурлар болот. Катышуучулар аны издөөгө да убактылары жок – баары бир кийинки отчет дээрлик боштуксуз башталат. Айрыкча Лэмпорт, Херлихи жана Скотт сыяктуу маанилүү адамдар катышканда жана сен алар менен жолугуп, бир нерсе жөнүндө сүйлөшүү үчүн конференцияга барганда абдан ооруйт.

Биз бул маселени чечтик. Баяндамачы дароо эле маркер менен жок дегенде доска менен жабдылган атайын дискуссия аянтына барат, сизде бир топ убакыт бар. Формалдуу түрдө спикер жок дегенде докладдардын ортосундагы тыныгууда ошол жерде болууга убада берет. Чындыгында, бул талкуу аймактарында алат бир нече саатка созулуп (чынчынын каалоосуна жана чыдамкайлыгына жараша).

Лэмпортко келсек, эгер мен туура түшүнсөм, ал мүмкүн болушунча көп адамдарды ынандыргысы келет TLA+ - бул жакшы нерсе. (Wikipediaдагы TLA+ жөнүндө макала). Балким, бул инженерлер үчүн жаңы жана пайдалуу нерсени үйрөнүүгө жакшы мүмкүнчүлүк болот. Лесли бул вариантты сунуштайт - ким кызыкса, анын өткөн лекцияларын көрүп, суроолору менен келе алат. Башкача айтканда, негизги баяндаманын ордуна адистештирилген суроо-жооп сессиясы, андан кийин башка талкуу зонасы болушу мүмкүн. Мен бир аз Google'да жана сонун бир таптым TLA+ курсу (расмий аталышы youtube'дагы плейлист) жана бир сааттык лекция "Коддон жогору ойлонуу" Microsoft Faculty Summit менен.

Эгер сиз бул адамдардын бардыгын Википедиядагы гранитке жана китептин мукабаларына ташталган ысымдар деп ойлосоңуз, анда алар менен түз эфирде жолугушууга убакыт келди! Илимий макалалардын беттери жооп бербей турган суроолорду бериңиз, бирок алардын авторлору байланышууга кубанычта болушат.

Арыз берүү

Жашыруун эмес, азыр макаланы окуп жаткандардын көбү өздөрү кызыктуу бир нерсени айтууга каршы эмес. Инженердик көз караштан, илимий көз караштан, каалаган көз караштан. Бөлүштүрүлгөн эсептөө – бул өтө кеңири жана терең тема, мында ар бир адам үчүн орун бар.

Эгер сиз Лампорт менен бирге ойногуңуз келсе, бул толугу менен мүмкүн. Спикер болуу үчүн сизге керек байланыштыруу, ал жерде бардыгын кунт коюп окуп чыгып, көрсөтмөлөргө ылайык кылыңыз.

Тынч болуңуз, процесске кошулаарыңыз менен сизге жардам берилет. Программалык комитетте отчеттун өзүнө, анын маңызына жана дизайнына жардам берүү үчүн жетиштүү ресурстар бар. Координатор уюштуруу маселелерин чечүүгө жардам берет жана башкалар.

Даталар менен сүрөткө өзгөчө көңүл буруңуз. Июль - катышуучу үчүн бир топ алыскы дата, жана спикер азыр аракет кыла башташы керек.

SPTDC мектеби

Конференция SPTDC мектеби менен бир жерде өткөрүлөт, ошондуктан мектепке билет сатып алган ар бир адам үчүн конференция билеттери - Арзандатылган 20%.

Бөлүштүрүлгөн эсептөөлөрдүн практикасы жана теориясы боюнча жайкы мектеп (SPTDС) - бөлүштүрүлгөн системалардын практикалык жана теориялык аспектилери боюнча курстардын кеңири спектрин камсыз кылган мектеп, аларды тиешелүү чөйрөдө таанылган эксперттер окутушат.

Мектеп англис тилинде өткөрүлөт, ошондуктан бул жерде камтылган темалардын тизмеси:

• Кошумча маалымат структуралары: тууралыгы жана натыйжалуулугу;
• Туруктуу эстутум үчүн алгоритмдер;
• Бөлүштүрүлгөн эсептөө жөндөмдүүлүгү;
• бөлүштүрүлгөн машина үйрөнүү;
• Мамлекеттик машинанын репликациясы жана Paxos;
• Византиялык каталарга чыдамкайлык;
• Блокчейндердин алгоритмдик негиздери.

Төмөнкү баяндамачылар чыгып сүйлөйт:

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

ойноо тизмеси мурунку мектептин отчеттору менен YouTube эркин көрүүгө болот:

кийинки кадамдар

Конференциянын программасы дагы эле түзүлүүдө. Жаңылыктарга Habré же социалдык тармактарда көз салыңыз (fb, vk, Twitter).

Эгер сиз конференцияга чындап ишенсеңиз (же өзгөчө старттык бааны колдонгуңуз келсе, алар айткандай, "Эрте чымчык") - сайтка кирип, билеттерди сатып алуу.

Hydraда көрүшкөнчө!

Source: www.habr.com