ይህ ሌስሊ ላምፖርት - በተከፋፈለ ኮምፒዩተር ውስጥ የመሠረታዊ ሥራዎች ደራሲ ፣ እና በቃሉ ውስጥ ላ በሚሉት ፊደላት ሊያውቁት ይችላሉ LaTeX - "Lamport TeX". እ.ኤ.አ. በ 1979 ለመጀመሪያ ጊዜ ጽንሰ-ሀሳቡን ያስተዋወቀው እሱ ነበር። ወጥነት ያለው ወጥነት, እና የእሱ ጽሑፍ "የብዙ ፕሮሰሰር ፕሮግራሞችን በትክክል የሚያስፈጽም ባለብዙ ፕሮሰሰር ኮምፒውተር እንዴት እንደሚሰራ" የ Dijkstra ሽልማትን ተቀበለ (በትክክል ፣ በ 2000 ሽልማቱ በቀድሞው መንገድ ተጠርቷል-"PODC ተፅእኖ ያለው ወረቀት ሽልማት")። ስለ እሱ አለ Wikipedia article, አንዳንድ ተጨማሪ አስደሳች አገናኞችን ማግኘት የሚችሉበት. በሚከሰቱ ሁኔታዎች ላይ ችግሮችን ለመፍታት ጓጉተው ከሆነ - በፊት ወይም የባይዛንታይን ጄኔራሎች ችግሮች (BFT)፣ ላምፖርት ከዚህ ሁሉ ጀርባ እንዳለ መረዳት አለባቸው።

እናም እሱ በቅርቡ ወደ አዲሱ ኮንፈረንስ በስርጭት ኮምፒዩቲንግ - ሃይድራ ይመጣል, እሱም ከጁላይ 11-12 በሴንት ፒተርስበርግ ይካሄዳል. ምን ዓይነት እንስሳ እንደሆነ እንይ.

ሃይድራ 2019

እንደ መልቲ ንባብ ያሉ ርእሶች በስብሰባዎቻችን ውስጥ አንዳንድ በጣም ተወዳጅ ርዕሶች ናቸው፣ ሁልጊዜም ነበሩ። ይህ አዳራሽ ብቻ በረሃ ነበር, ነገር ግን በዚያን ጊዜ አንድ ሰው መድረክ ላይ ይታያል ትውስታ ሞዴል, ሊከሰት-በፊት ወይም ባለብዙ-ክር የቆሻሻ አሰባሰብ እና - ቡም! - ቀድሞውኑ ከአንድ ሺህ በታች ሰዎች ለመቀመጥ እና በትኩረት ለማዳመጥ ያለውን ቦታ ሁሉ ይይዛሉ። የዚህ ስኬት ፍሬ ነገር ምንድን ነው? ምናልባት ሁላችንም የተከፋፈለ ኮምፒውተርን ማደራጀት የሚችል አንድ ዓይነት ሃርድዌር በእጃችን ላይ መኖራችን ይሆን? ወይንስ በውስጣችን በእውነተኛ ዋጋ ልንጭነው አለመቻላችንን በመረዳታችን ነው? በእጆቹ ውስጥ የኮምፒዩተር ክላስተር ያበቃው የአንድ ሴንት ፒተርስበርግ ኳንተም (ይህም የፋይናንስ መጠናዊ ተንታኝ እና ገንቢ) እውነተኛ ታሪክ አለ ፣ ሙሉ ኃይሉ በእሱ ብቻ ጥቅም ላይ ሊውል ይችላል። እና ስራህን ከአሁኑ በብዙ እጥፍ በሚበልጥ አቅም ብትወጣ ምን ታደርጋለህ?

በዚህ ተወዳጅነት ምክንያት የአፈፃፀም እና ቀልጣፋ ስሌት ርዕስ በኮንፈረንስ ፕሮግራሙ ላይ ይሰራጫል። ከሁለት ቀናት ሪፖርት ውስጥ ምን ያህሉ ስለ አፈፃፀሙ ሊቀርብ ይችላል - አንድ ሶስተኛ ፣ ሁለት ሦስተኛው? በአንዳንድ ቦታዎች ይህንን እድገት የሚገድቡ አርቲፊሻል እገዳዎች አሉ፡ ከአፈጻጸም በተጨማሪ ለአዳዲስ የድር ማዕቀፎች፣ ለአንዳንድ አይነት ዲፖፕስ ወይም የስነ-ህንፃ አስትሮኖቲስቶች አሁንም ቦታ መኖር አለበት። አይ ፣ አፈፃፀም ፣ ሁሉንም አትበሉንም!

ወይም በተቃራኒው መንገድ መሄድ፣ መተው እና በታማኝነት ሙሉ በሙሉ ስለ የተከፋፈለ ኮምፒውተር እና ስለእነሱ ብቻ የሚሆን ኮንፈረንስ ማድረግ ይችላሉ። እና እዚህ ነው, ሃይድራ.

ዛሬ ሁሉም ኮምፒውተሮች በአንድ ወይም በሌላ መንገድ የተከፋፈሉ መሆናቸውን በቅንነት እንቀበል። ባለ ብዙ ኮር ማሽን፣ የኮምፒውተር ክላስተር ወይም ሰፊ የተከፋፈለ አገልግሎት፣ በየቦታው ገለልተኛ ስሌቶችን በትይዩ የሚያካሂዱ ብዙ ሂደቶች አሉ። በንድፈ ሀሳብ ውስጥ እንዴት እንደሚሰራ እና በተግባር እንዴት እንደሚሰራ የሃይድራ ትኩረት ይሆናል.

የኮንፈረንስ ፕሮግራም

ፕሮግራሙ በአሁኑ ጊዜ በመገንባት ላይ ነው. የተከፋፈሉ ስርዓቶች ንድፈ ሃሳቦች መስራቾች እና በምርት ውስጥ ከእነሱ ጋር የሚሰሩ መሐንዲሶች ሪፖርቶችን ማካተት አለበት.

ለምሳሌ፣ ስለ ሌስሊ ላምፖርት ከማይክሮሶፍት ሪሰርች እና ሞሪስ ሄርሊሂ ከብራውን ዩንቨርስቲ ስለተሳትፎ እናውቃለን።

ሞሪስ ሄርሊሂ - በጣም ታዋቂ እና የተከበረ የኮምፒተር ሳይንስ ፕሮፌሰር ፣ ስለ እሱ አንድ ታሪክም አለ። የዊኪፔዲያ ገጽ, በአገናኞች ላይ መሄድ የሚችሉበት እና የሚሰሩበት. እዚያም ሁለት የ Dijkstra ሽልማቶችን ማየት ይችላሉ ፣ ለስራ የመጀመሪያ "ከመጠባበቂያ ነጻ ማመሳሰል"እና ሁለተኛው ፣ የቅርብ ጊዜ - "የመገበያያ ማህደረ ትውስታ፡- ከመቆለፊያ ነጻ ለሆኑ የውሂብ አወቃቀሮች የስነ-ህንፃ ድጋፍ". በነገራችን ላይ ግንኙነቶቹ ወደ SciHub እንኳን አይመሩም, ነገር ግን ወደ ብራውን ዩኒቨርሲቲ እና ቨርጂኒያ ቴክ ዩኒቨርሲቲ, ከፍተው ማንበብ ይችላሉ.

ሞሪስ "Blockchains ከተከፋፈለ የኮምፒውተር እይታ" የሚባል ቁልፍ ማስታወሻ ሊያስተናግድ ነው። ፍላጎት ካለህ የሞሪስ ዘገባ ከሴንት ፒተርስበርግ JUG ቀረጻ መመልከት ትችላለህ። ርዕሱን እንዴት በግልፅ እና ለመረዳት በሚያስችል መንገድ እንዳስተላለፈ ይገምግሙ።

"Dual Data Structures" የሚባለው ሁለተኛው ቁልፍ ማስታወሻ ይነበባል ሚካኤል ስኮት ከሮቼስተር ዩኒቨርሲቲ. እና ምን እንደሆነ ገምቱ - እሱ ደግሞ የራሱ አለው የዊኪፔዲያ ገጽ. በዊስኮንሲን ውስጥ በቤት ውስጥ ፣ በዊስኮንሲን-ማዲሰን ዩኒቨርሲቲ ዲን በመሆን ይታወቃሉ ፣ እና በአለም ውስጥ እሱ ከዶግ ሊያ ጋር በመሆን የጃቫ ቤተ-መጽሐፍት የሚሠሩትን የማያግድ ስልተ ቀመሮችን እና የተመሳሰለ ወረፋዎችን ያዳበረ ሰው ነው። . ከሄርሊሂ ከሶስት አመት በኋላ የዲጅክስታራ ሽልማቱን ተቀብሏል፣ ለስራው "አልጎሪዝም ፎር scalable synchronization on sharing-memory multiprocessors" (እንደተጠበቀው፣ ክፍት ትዘረጋለች። በሮቼስተር ዩኒቨርሲቲ የመስመር ላይ ቤተ-መጽሐፍት)።

እስከ ሐምሌ አጋማሽ ድረስ አሁንም ብዙ ጊዜ አለ. ፕሮግራሙን በማጣራት እና ጁላይን ስንቃረብ ስለ ሌሎች ተናጋሪዎች እና ርእሶቻቸው እንነግራችኋለን።

በአጠቃላይ, ጥያቄው የሚነሳው - ​​በበጋው ውስጥ ሃይድራ ለምን እናደርጋለን? ከሁሉም በላይ, ይህ የእረፍት ጊዜ, በዓላት ነው. ችግሩ ከተናጋሪዎቹ መካከል የዩንቨርስቲ ፕሮፌሰሮች መኖራቸው ነው፣ እና ሌላ ማንኛውም ጊዜ ለእነሱ ስራ ይበዛል። ሌሎች ቀኖችን መምረጥ አልቻልንም።

የውይይት ዞኖች

በሌሎች ጉባኤዎች ላይ ተናጋሪው አስፈላጊ የሆነውን አንብቦ ወዲያው ወጣ። ተሳታፊዎቹ እሱን ለመፈለግ እንኳን ጊዜ የላቸውም - ከሁሉም በላይ የሚቀጥለው ሪፖርት ያለ ክፍተት ይጀምራል። በጣም ያማል፣ በተለይም እንደ ላምፖርት፣ ሄርሊሂ እና ስኮት ያሉ አስፈላጊ ሰዎች ሲገኙ እና እርስዎም እነሱን ለማግኘት እና ስለ አንድ ነገር ለመነጋገር ወደ ኮንፈረንሱ ሄደው በእውነቱ ነው።

ይህንን ችግር ፈትተናል. ከሪፖርቱ በኋላ ወዲያውኑ ተናጋሪው ቢያንስ ነጭ ሰሌዳ ያለው ምልክት ወዳለበት ወደ ተዘጋጀው ልዩ የውይይት ቦታ ሄዶ ብዙ ጊዜ አለህ። በመደበኛነት, ተናጋሪው ቢያንስ በሪፖርቶች መካከል ባለው የእረፍት ጊዜ ውስጥ እንደሚገኝ ቃል ገብቷል. በእውነቱ, እነዚህ የውይይት ቦታዎች ሊሆን ይችላል መጨረሻ ላይ ለሰዓታት መዘርጋት (በተናጋሪው ፍላጎት እና ጽናት ላይ በመመስረት)።

ላምፖርትን በተመለከተ፣ በትክክል ከተረዳሁ፣ በተቻለ መጠን ብዙ ሰዎችን ማሳመን ይፈልጋል TLA+ - ይህ ጥሩ ነገር ነው. (በዊኪፔዲያ ላይ ስለ TLA+ ጽሑፍ). ምናልባት ይህ መሐንዲሶች አዲስ እና ጠቃሚ ነገር እንዲማሩ ጥሩ አጋጣሚ ይሆናል። ሌስሊ ይህንን አማራጭ አቅርቧል - ፍላጎት ያለው ማንም ሰው ያለፈውን ንግግሮቹን መመልከት እና ከጥያቄዎች ጋር መምጣት ይችላል። ማለትም፣ ከቁልፍ ማስታወሻ ይልቅ፣ እንደተባለው፣ ልዩ የጥያቄ እና መልስ ክፍለ ጊዜ፣ ከዚያም ሌላ የውይይት ዞን ሊኖር ይችላል። ትንሽ ጎግል አድርጌ በጣም ጥሩ አገኘሁ TLA+ ኮርስ (በይፋ የሚል ስያሜ ተሰጥቶታል። አጫዋች ዝርዝር በዩቲዩብ ላይ) እና የአንድ ሰዓት ንግግር "ከኮዱ በላይ ማሰብ" ከማይክሮሶፍት ፋኩልቲ ሰሚት ጋር።

እነዚህን ሁሉ ሰዎች ከዊኪፔዲያ እና በመፅሃፍ ሽፋኖች ላይ በግራናይት የተሰጡ ስሞች ብለው ካሰቧቸው በቀጥታ እነሱን ለመገናኘት ጊዜው አሁን ነው! ይወያዩ እና የሳይንሳዊ መጣጥፎች ገፆች የማይመልሱትን ጥያቄዎች ይጠይቁ ፣ ግን ደራሲዎቻቸው ለመገናኘት ደስተኞች ይሆናሉ።

ለህት ወረቀቶች ጥሪ

አሁን ጽሑፉን እያነበቡ ካሉት መካከል ብዙዎቹ ራሳቸው የሚስብ ነገር ከመናገር የማይጠሉ መሆናቸው ከማንም የተሰወረ አይደለም። ከምህንድስና እይታ, ከሳይንሳዊ እይታ, ከማንኛውም እይታ. የተከፋፈለው ስሌት በጣም ሰፊ እና ጥልቅ ርዕስ ነው, እሱም ለሁሉም ሰው የሚሆን ቦታ አለ.

ከላምፖርት ጋር መጫወት ከፈለግክ ሙሉ በሙሉ ይቻላል። ተናጋሪ ለመሆን፣ ያስፈልግዎታል አገናኙን ይከተሉ, እዚያ ሁሉንም ነገር በጥንቃቄ ያንብቡ እና እንደ መመሪያው ያድርጉት.

ይረጋጉ፣ ከሂደቱ ጋር እንደተገናኙ ወዲያውኑ ይረዱዎታል። የፕሮግራሙ ኮሚቴ ለሪፖርቱ በራሱ፣ በይዘቱ እና በንድፍ ረገድ የሚያግዝ በቂ ግብአቶች አሉት። አስተባባሪው ድርጅታዊ ጉዳዮችን እና የመሳሰሉትን ለመቋቋም ይረዳዎታል.

ከቀኖቹ ጋር ለሥዕሉ ልዩ ትኩረት ይስጡ. ጁላይ ለተሳታፊው በጣም የራቀ ቀን ነው፣ እና ተናጋሪው አሁን መስራት መጀመር አለበት።

SPTDC ትምህርት ቤት

ኮንፈረንሱ ከ SPTDC ትምህርት ቤት ጋር በተመሳሳይ ቦታ ይካሄዳል, ስለዚህ ለትምህርት ቤቱ ትኬት ለሚገዙ ሁሉ, የኮንፈረንስ ትኬቶች - በ 20% ቅናሽ.

በስርጭት ኮምፒውቲንግ (SPTDС) ልምምድ እና ቲዎሪ ላይ የበጋ ትምህርት ቤት - በተከፋፈሉ ስርዓቶች ላይ በተግባራዊ እና በንድፈ-ሀሳባዊ ገጽታዎች ላይ ሰፊ ኮርሶችን የሚሰጥ ትምህርት ቤት ፣ ይህም በተዛማጅ መስክ እውቅና ባላቸው ባለሙያዎች ያስተምራል።

ትምህርት ቤቱ የሚካሄደው በእንግሊዝኛ ነው፣ ስለዚህ የተካተቱት የርእሶች ዝርዝር እነሆ፡-

• ተመሳሳይ የውሂብ አወቃቀሮች: ትክክለኛነት እና ቅልጥፍና;
• ላልተረጋጋ ማህደረ ትውስታ አልጎሪዝም;
• የተከፋፈለ ስሌት;
• የተከፋፈለ ማሽን መማር;
• የስቴት-ማሽን ማባዛት እና Paxos;
• የባይዛንታይን ስህተት-መቻቻል;
• የብሎክቼይን ስልተ ቀመር።

የሚከተሉት ተናጋሪዎች ይናገራሉ፡-

• ሌስሊ ላምፖርት (ማይክሮሶፍት);
• ሞሪስ ሄርሊሂ (ብራውን ዩኒቨርሲቲ);
• ሚካኤል ስኮት (የሮቼስተር ዩኒቨርሲቲ);
• ዳን አሊስታር (IST ኦስትሪያ);
• ትሬቨር ብራውን (የዋተርሉ ዩኒቨርሲቲ);
• ኤሊ ጋፍኒ (UCLA);
• ዳኒ ሄንድለር (ቤን ጉሪዮን ዩኒቨርሲቲ);
• አቾር ሞስተፋኡይ (የናንተስ ዩኒቨርሲቲ)።

ፕሌይሊስት ካለፈው ትምህርት ቤት ሪፖርቶች ጋር በዩቲዩብ ላይ በነፃነት ማየት ይቻላል፡-

ቀጣይ እርምጃዎች

የኮንፈረንስ መርሃ ግብሩ አሁንም እየተሰራ ነው። ዜናውን በሀበሬ ወይም በማህበራዊ አውታረመረቦች ውስጥ ይከተሉ (fb, vk, Twitter).

በኮንፈረንሱ በትክክል ካመኑ (ወይም ልዩ የመነሻ ዋጋን ለመጠቀም ከፈለጉ ፣ “ቀደም ወፍ” እንደሚሉት) - ወደ ጣቢያው መሄድ ይችላሉ እና ትኬቶችን መግዛት.

ሃይድራ እንገናኝ!

ምንጭ: hab.com