այս Լեսլի Լեմպորտ Բաշխված հաշվողականության հիմնական աշխատանքների հեղինակ է, և դուք կարող եք նրան ճանաչել բառի La տառերով LaTeX - «Lamport TeX»: Հենց նա էր առաջինը, դեռ 1979 թվականին, ներկայացրեց հայեցակարգը հաջորդական հետևողականություն, և նրա հոդվածը «Ինչպես ստեղծել բազմապրոցեսորային համակարգիչ, որը ճիշտ է կատարում բազմապրոցեսային ծրագրերը» ստացել է Dijkstra մրցանակը (ավելի ճիշտ՝ 2000 թվականին մրցանակը կոչվում էր հին ձևով՝ «PODC Influential Paper Award»)։ Նրա մասին կա Վիքիպեդիայի հոդված, որտեղ կարող եք ավելի հետաքրքիր հղումներ ստանալ։ Եթե ​​դուք ոգևորված եք խնդիրների լուծման վերաբերյալ, որոնք տեղի են ունենում-մինչև կամ բյուզանդական զորավարների խնդիրները (BFT), ապա դուք պետք է հասկանաք, որ այս ամենի հետևում կանգնած է Լամպորտը։

Նա շուտով կգա նաև բաշխված հաշվիչների մեր նոր համաժողովին՝ Hydra-ին, որը տեղի կունենա հուլիսի 11-12-ը Սանկտ Պետերբուրգում։ Տեսնենք, թե ինչ կենդանի է սա։

Hydra 2019

Բազմաթելային թեմաները մեր համաժողովներում ամենահայտնիներից են, միշտ էլ եղել են: Հենց հիմա այս սենյակն ամայի էր, բայց հետո բեմ է հայտնվում մի մարդ, որը խոսում է հիշողության մոդելի մասին, պատահում է-նախքան կամ բազմաթելային աղբահանությունը և - բում: — արդեն մոտ հազար մարդ զբաղեցնում է ողջ հասանելի տարածքը՝ նստելու և ուշադիր լսելու համար։ Ո՞րն է այս հաջողության էությունը: Միգուցե դա այն պատճառով է, որ մենք բոլորս ձեռքի տակ ունենք ինչ-որ սարքաշար, որը կարող է կազմակերպել բաշխված հաշվարկը: Թե՞ այն, որ մենք ենթագիտակցորեն հասկանում ենք մեր անկարողությունը բեռնել այն այնպես, ինչպես արժանի է: Կա իրական պատմություն Սանկտ Պետերբուրգի մեկ քանակի (այսինքն՝ ֆինանսական քանակական վերլուծաբանի և ծրագրավորողի) մասին, ով հայտնվել է հաշվողական կլաստերի ձեռքում, որի ողջ հզորությունը միայն նա կարող էր օգտագործել: Ի՞նչ կանեիք, եթե ունենայիք ձեր առաջադրանքները կատարելու կարողությունը, որը շատ անգամ ավելի մեծ էր, քան հիմա:

Նման ժողովրդականության շնորհիվ արտադրողականության և արդյունավետ հաշվարկների թեման հակված է տարածվել համաժողովի օրակարգում: Երկու օրվա հաշվետվություններից քանի՞սը կարելի է կազմել կատարման մասին՝ երրորդը, երկու երրորդը: Որոշ տեղերում կան արհեստական ​​սահմանափակումներ, որոնք սահմանափակում են այս աճը. ի լրումն կատարողականի, դեռ պետք է տեղ լինի նոր վեբ շրջանակների, ինչ-որ տեսակի devops կամ ճարտարապետական ​​տիեզերագնացության համար: Ո՛չ, ներկայացում, դուք մեզ բոլորիս ամբողջությամբ չեք ուտի:

Կամ կարող եք գնալ հակառակ ճանապարհով, հանձնվել և ազնվորեն կազմակերպել կոնֆերանս, որն ամբողջությամբ վերաբերվելու է բաշխված հաշվիչներին և միայն նրանց: Եվ ահա, Հիդրա:

Անկեղծորեն ընդունենք, որ այսօր բոլոր հաշվարկները այս կամ այն ​​կերպ բաշխված են։ Լինի դա բազմամիջուկ մեքենա, հաշվողական կլաստեր կամ լայնածավալ բաշխված ծառայություն, ամենուր կան բազմաթիվ գործընթացներ, որոնք զուգահեռաբար կատարում են անկախ հաշվարկներ՝ համաժամանակացնելով միմյանց հետ: Hydra-ն նվիրված կլինի այն բանին, թե ինչպես է սա աշխատում տեսականորեն և ինչպես է այն աշխատում գործնականում:

Համաժողովի ծրագիր

Ծրագիրը ներկայումս գտնվում է ձևավորման փուլում։ Այն պետք է ներառի հաշվետվություններ բաշխված համակարգերի տեսությունների հիմնադիրներից և նրանց հետ արտադրությունում աշխատող ինժեներներից:

Օրինակ՝ Microsoft Research-ից Լեսլի Լեմպորտի և Բրաունի համալսարանից Մորիս Հերլիհիի մասնակցությունն արդեն հայտնի է։

Մորիս Հերլիհի - Համակարգչային գիտության շատ հայտնի և հարգված պրոֆեսոր, նրա մասին նույնպես տեղեկություններ կան Վիքիպեդիայի էջ, որտեղ դուք կարող եք թերթել հղումները և աշխատանքները: Այնտեղ դուք կարող եք նկատել երկու Dijkstra մրցանակներ, առաջինը աշխատանքի համար «Սպասեք առանց համաժամացման»և երկրորդը, ավելի վերջերս, «Գործարքային հիշողություն. ճարտարապետական ​​աջակցություն տվյալների կողպեքից զերծ կառուցվածքներին». Ի դեպ, հղումները նույնիսկ դեպի SciHub չեն տանում, այլ Բրաունի համալսարան և Վիրջինիա Տեխ համալսարան, կարող եք բացել և կարդալ։

Մորիսը պատրաստվում է անցկացնել հիմնական ելույթ, որը կոչվում է «Բլոկչեյններ բաշխված հաշվողական տեսանկյունից»: Եթե ​​հետաքրքրված եք, կարող եք դիտել Սանկտ Պետերբուրգի ՋՈՒԳ-ից Մորիսի զեկույցի ձայնագրությունը։ Գնահատեք, թե որքանով է նա հստակ և հասկանալի փոխանցում թեման:

Երկրորդ հիմնական ելույթը, որը կոչվում է «Երկակի տվյալների կառուցվածքներ», կկարդան Մայքլ Սքոթ Ռոչեսթերի համալսարանից։ Եվ գուշակեք, նա նույնպես ունի իր սեփականը Վիքիպեդիայի էջ. Վիսկոնսինի տանը նա հայտնի է Վիսկոնսին-Մեդիսոնի համալսարանի դեկանի աշխատանքով, և աշխարհում նա այն մարդն է, ով Դագ Լիայի հետ միասին մշակել է չարգելափակող ալգորիթմներ և համաժամանակյա հերթեր, որոնց վրա աշխատում են Java գրադարանները։ աշխատանք։ Նա ստացավ իր Dijkstra մրցանակը Herlihy-ից երեք տարի անց՝ իր «Ալգորիթմներ ընդարձակելի համաժամացման համար ընդհանուր հիշողության բազմապրոցեսորների վրա» աշխատանքի համար (ինչպես և սպասվում էր, նա բացահայտ ստում է Ռոչեսթերի համալսարանի առցանց գրադարանում):

Մինչև հուլիսի կեսը դեռ շատ ժամանակ կա։ Մենք ձեզ կպատմենք մնացած բանախոսների և նրանց թեմաների մասին, երբ մենք ճշգրտենք ծրագիրը և մոտենանք հուլիսին:

Ընդհանրապես հարց է առաջանում՝ ինչո՞ւ ենք ամռանը Hydra անում։ Ի վերջո, սա ցածր սեզոն է, արձակուրդներ: Խնդիրն այն է, որ բանախոսների թվում կան համալսարանի ուսուցիչներ, և ցանկացած այլ ժամանակ նրանց համար զբաղված է։ Մենք պարզապես չկարողացանք այլ ժամկետներ ընտրել։

Քննարկման տարածքներ

Այլ կոնֆերանսներում պատահում է, որ բանախոսը կարդում է այն, ինչ իրեն պետք է, և անմիջապես հեռանում: Մասնակիցները նույնիսկ ժամանակ չունեն դա փնտրելու համար, ի վերջո, հաջորդ զեկույցը սկսվում է գրեթե առանց ընդմիջման: Սա շատ ցավալի է, հատկապես, եթե ներկա են այնպիսի կարևոր մարդիկ, ինչպիսիք են Լեմպորտը, Հերլիհին և Սքոթը, և դուք իրականում գնում եք համաժողովի միայն նրանց հետ հանդիպելու և ինչ-որ բան քննարկելու համար:

Մենք լուծել ենք այս խնդիրը։ Իր զեկուցումից անմիջապես հետո բանախոսը գնում է հատուկ քննարկման տարածք, որը հագեցած է առնվազն գրատախտակով, որի վրա կա մարկեր, և դուք բավականին շատ ժամանակ ունեք: Ձևականորեն բանախոսը խոստանում է լինել այնտեղ գոնե ելույթների միջև ընկած ողջ ընդմիջման ընթացքում։ Իրականում այս քննարկման ոլորտները կարող ձգվել ժամերով (կախված խոսողի ցանկությունից և տոկունությունից):

Ինչ վերաբերում է Լեմպորտին, եթե ճիշտ եմ հասկանում, նա ցանկանում է որքան հնարավոր է շատ մարդկանց համոզել դրանում TLA+ - Սա լավ բան է: (Հոդված TLA+-ի մասին Վիքիպեդիայում) Թերևս սա լավ հնարավորություն կլինի ինժեներների համար նոր և օգտակար բան սովորելու համար: Լեսլին առաջարկում է այս տարբերակը՝ հետաքրքրվողները կարող են դիտել նրա անցած դասախոսությունները և գալ հարցերով։ Այսինքն՝ հիմնական նյութի փոխարեն կարող է լինել մասնագիտացված հարցուպատասխանի նիստ, ապա նաև քննարկման գոտի։ Ես մի քանի գուգլեցի և գտա հիանալի մեկը: TLA+ դասընթաց (պաշտոնապես կրկնօրինակված երգացանկ YouTube-ում) և մեկ ժամանոց դասախոսություն «Մտածելով օրենսգրքից վեր» Microsoft Faculty Summit-ից:

Եթե ​​դուք այս բոլոր մարդկանց ընկալում էիք որպես Վիքիպեդիայից և գրքերի շապիկներին գրանիտով գրված անուններ, ժամանակն է նրանց անձամբ հանդիպելու: Զրուցեք և տվեք հարցեր, որոնց պատասխանը չի տրվի գիտական ​​հոդվածների էջերին, բայց դրանց հեղինակները հաճույքով կապ հաստատեն։

Call for Papers

Գաղտնիք չէ, որ նրանցից շատերը, ովքեր այժմ կարդում են հոդվածը, դեմ չեն մեզ ինչ-որ հետաքրքիր բան պատմելուն: Ինժեներական տեսանկյունից, գիտական ​​տեսանկյունից՝ ցանկացած տեսանկյունից։ Բաշխված հաշվարկը շատ լայն և խորը թեմա է, որտեղ տեղ կա բոլորի համար:

Եթե ​​ցանկանում եք մրցել Լեմպորտի կողքին, դա լիովին հնարավոր է: Բանախոս դառնալու համար ձեզ հարկավոր է հետևեք հղմանը, ուշադիր կարդացեք այնտեղ ամեն ինչ և արեք հրահանգների համաձայն։

Համոզված եղեք, հենց որ միանաք գործընթացին, նրանք ձեզ կօգնեն։ Ծրագրի կոմիտեն բավականաչափ հնարավորություններ ունի օգնելու զեկույցին, դրա էությանը և ձևավորմանը: Համակարգողը կօգնի ձեզ կարգավորել կազմակերպչական հարցերը և այլն:

Հատուկ ուշադրություն դարձրեք տարեթվերով նկարին։ Հուլիսը բավականին հեռավոր ժամկետ է մասնակցի համար, բայց բանախոսը պետք է սկսի գործել հենց հիմա։

SPTDC դպրոց

Համաժողովը կանցկացվի նույն տեղում, ինչ SPTDC դպրոցը, այնպես որ բոլոր նրանց համար, ովքեր գնում են դպրոցի տոմս, համաժողովի տոմսերը կլինեն. 20% զեղչով.

Բաշխված հաշվարկների պրակտիկայի և տեսության ամառային դպրոց (SPTDC) դպրոց է, որը տրամադրում է բաշխված համակարգերի գործնական և տեսական ասպեկտների վերաբերյալ դասընթացների լայն շրջանակ՝ դասավանդվող ոլորտի ճանաչված փորձագետների կողմից:

Դպրոցն անցկացվելու է անգլերենով, ուստի լուսաբանվող թեմաների ցանկն այսպիսի տեսք ունի.

• Համաժամանակյա տվյալների կառուցվածքներ. ճշտություն և արդյունավետություն;
• Ալգորիթմներ ոչ անկայուն հիշողության համար;
• Բաշխված հաշվարկելիություն;
• Բաշխված մեքենայական ուսուցում;
• Պետական ​​մեքենա կրկնօրինակում և Paxos;
• Բյուզանդական սխալների հանդուրժողականություն;
• Բլոկչեյնների ալգորիթմական հիմունքները.

Ելույթ կունենան հետևյալ բանախոսները.

• Լեսլի Լեմպորտ (Microsoft);
• Մորիս Հերլիհի (Բրաունի համալսարան);
• Մայքլ Սքոթ (Ռոչեստերի համալսարան);
• Դան Ալիստար (IST Ավստրիա);
• Թրևոր Բրաուն (Վաթերլոյի համալսարան);
• Էլի Գաֆնի (UCLA);
• Դենի Հենդլեր (Բեն Գուրիոնի համալսարան);
• Աչուր Մոստեֆաուի (Նանտի համալսարան).

Պլեյլիսթ Դուք կարող եք ազատորեն դիտել նախորդ դպրոցի զեկույցները YouTube-ում.

Հաջորդ քայլերը

Համաժողովի ծրագիրը դեռ ձևավորվում է։ Հետևեք նորություններին Habré-ում կամ սոցիալական ցանցերում (fb, vk, ծլվլոց).

Եթե ​​իսկապես հավատում եք համաժողովին (կամ ցանկանում եք օգտվել մուտքի հատուկ գնից, այսպես կոչված «Early Bird»), կարող եք գնալ կայք և գնել տոմսեր.

Կհանդիպենք Hydra-ում:

Source: www.habr.com