19 የሃይድራ ራሶች. የፕሮግራሙ ታላቅ እይታ

ከጁላይ 11-12 በሴንት ፒተርስበርግ ኮንፈረንስ ይካሄዳል ሃይራ, ትይዩ እና የተከፋፈሉ ስርዓቶችን ለማዳበር የተሰጠ. የሃይድራ ብልሃት አሪፍ ሳይንቲስቶችን (ብዙውን ጊዜ በውጪ ሳይንሳዊ ኮንፈረንሶች ላይ ብቻ ሊገኙ የሚችሉ) እና ታዋቂ መሐንዲሶችን በሳይንስ እና በተግባር መገናኛ ላይ ወደ አንድ ትልቅ ፕሮግራም ያገናኛል።

ሃይድራ ባለፉት ጥቂት አመታት ውስጥ በጣም አስፈላጊ ከሆኑት ጉባኤዎቻችን አንዱ ነው። ከዚህ ቀደም በጣም ከባድ ዝግጅት, ተናጋሪዎች ምርጫ እና ሪፖርቶች ነበሩ. ባለፈው ሳምንት ስለዚህ ጉዳይ habro ቃለ መጠይቅ ወጣ ከ JUG.ru ቡድን ዳይሬክተር አሌክሲ ፌዶሮቭ ጋር23ደረቮ).

እኛ ነን አስቀድሞ ተናግሯል ስለ ሶስት አስፈላጊ ተሳታፊዎች, የተከፋፈሉ ስርዓቶች ንድፈ ሃሳብ መስራቾች - ሌስሊ ላምፖርት, ሞሪስ ሄርሊሂ እና ሚካኤል ስኮት. ስለ አጠቃላይ ፕሮግራሙ በበለጠ ዝርዝር ለመናገር ጊዜው አሁን ነው!

ተነሳሽነት

በፕሮግራም ውስጥ ከተሳተፉ, አንድ ወይም ሌላ መንገድ ከብዙ-ክር እና የተከፋፈለ ኮምፒዩተር ጋር እየተገናኙ ነው. በሚመለከታቸው መስኮች ውስጥ ያሉ ባለሙያዎች ከእነሱ ጋር በቀጥታ ይሠራሉ, ነገር ግን በተዘዋዋሪ, ስርጭት ከየትኛውም ቦታ እኛን እየተመለከተን ነው-በማንኛውም ባለ ብዙ ኮር ኮምፒዩተር ወይም የተከፋፈለ አገልግሎት በትይዩ ስሌት የሚሰራ ነገር አለ.

የተለያዩ የመተግበሪያ ፕሮግራሞችን የሚሸፍኑ ብዙ ኮንፈረንሶች አሉ። በሌላኛው የስፔክትረም ጎን፣ በንግግር ፎርማት እጅግ በጣም ብዙ የተወሳሰበ ንድፈ ሃሳብን የሚያሳዩ ልዩ ሳይንሳዊ ትምህርት ቤቶች አሉን። ለምሳሌ, በሴንት ፒተርስበርግ ውስጥ ከሃይድራ ጋር በትይዩ አለ SPTDC ትምህርት ቤት. በሃይድራ ኮንፈረንስ ላይ ጨካኝ አሰራርን፣ ሳይንስን እና በመገናኛቸው ያለውን ሁሉ አንድ ላይ ለማሰባሰብ ሞከርን።

እስቲ ይህን አስቡበት፡ የምንማረው የሳይንስ እና የምህንድስና ዘርፍ መስራቾችን በአካል አግኝተህ በምትገናኝበት አስደናቂ ጊዜ ውስጥ ነው የምንኖረው። የፊዚክስ ሊቃውንት ከኒውተንም ሆነ ከአንስታይን ጋር አይገናኙም - ባቡሩ ወጥቷል። ግን ከእኛ ቀጥሎ አሁንም የተከፋፈሉ ስርዓቶች ንድፈ ሀሳብን የፈጠሩ ፣ ታዋቂ የፕሮግራም ቋንቋዎችን የፈጠሩ እና ለመጀመሪያ ጊዜ ይህንን ሁሉ በፕሮቶታይፕ ውስጥ ያካተቱ ሰዎች ይኖራሉ ። እነዚህ ሰዎች በግማሽ መንገድ ሥራቸውን አላቋረጡም ፣ በአሁኑ ጊዜ በዓለም ታዋቂ በሆኑ ዩኒቨርሲቲዎች እና ኩባንያዎች ውስጥ አንገብጋቢ ጉዳዮችን እየሰሩ ነው ፣ እና ዛሬ ትልቁ የእውቀት እና የልምድ ምንጮች ናቸው።

በሌላ በኩል፣ የማግኘት እድሉ ብዙውን ጊዜ በንድፈ ሃሳባዊ ብቻ ነው የሚቆየው፡ ጥቂቶቻችን በአንዳንድ የሮቼስተር ዩኒቨርሲቲ ህዝባዊ ሁነቶችን በተከታታይ መከታተል እንችላለን፣ ከዚያም ወደ አሜሪካ እንጣደፋለን እና ከሚካኤል ስኮት ጋር ንግግር ለማድረግ እንመለስ። ሁሉንም የሃይድራ አባላትን መጎብኘት የሚባክነውን ጊዜ ገደል ሳይቆጥር ትንሽ ሀብት ያስከፍላል (ምንም እንኳን አስደሳች ተልዕኮ ቢመስልም)።

በሌላ በኩል፣ በአሁኑ ጊዜ በተከፋፈሉ ስርዓቶች ውስጥ አፋጣኝ ችግሮችን እየሰሩ ያሉ ብዙ ዋና መሐንዲሶች አሉን፣ እና በእርግጠኝነት ብዙ የሚናገሩት ነገር አላቸው። ግን ችግሩ እዚህ አለ - እነሱ እየሰሩ ነው, እና ጊዜያቸው ዋጋ ያለው ነው. አዎን, እርስዎ የ Microsoft, Google ወይም JetBrains ተቀጣሪ ከሆኑ በውስጣዊ ክስተት ላይ ከታዋቂ ተናጋሪዎች አንዱን የመገናኘት እድሉ በከፍተኛ ሁኔታ ይጨምራል, ግን በአጠቃላይ, አይሆንም, ይህ በየቀኑ አይከሰትም.

በዚህ መንገድ የሃይድራ ኮንፈረንስ አብዛኞቻችን በራሳችን ልንሰራው የማንችለውን ጠቃሚ ተግባር ይፈጽማል - በአንድ ቦታ እና በአንድ ጊዜ ሃሳቦቻቸው ወይም ግንኙነቶቻቸው ህይወትዎን ሊለውጡ የሚችሉ ሰዎችን ያቀራርባል። ሁሉም ሰው የተከፋፈሉ ስርዓቶችን ወይም አንዳንድ ውስብስብ መሰረታዊ ነገሮችን እንደሚያስፈልገው አምናለሁ. በቀሪው ህይወትዎ CRUD ዎችን በPHP ፕሮግራም ማድረግ እና ሙሉ በሙሉ ደስተኛ መሆን ይችላሉ። ግን ማንም የሚያስፈልገው, ይህ የእርስዎ ዕድል ነው.

የሃይድራ ኮንፈረንስ በሀበሬ ላይ ለመጀመሪያ ጊዜ ከታወጀ በጣም ረጅም ጊዜ አልፏል። በዚህ ጊዜ ውስጥ ብዙ ስራዎች ተሰርተዋል - እና አሁን ከሞላ ጎደል ሁሉንም ሪፖርቶች ዝርዝር አግኝተናል. ምንም ቀርፋፋ ነጠላ-ክር አልጎሪዝም፣ ልክ ንጹህ የተከፋፈለ ሃርድኮር! በአጠቃላይ ቃላት እንጨርስ እና አሁን በእጃችን ያለውን እንይ።

ቁልፍ ማስታወሻዎች

ቁልፍ ማስታወሻዎች የኮንፈረንሱ ቀናት ተጀምረው ይጠናቀቃሉ። ብዙውን ጊዜ የመክፈቻ ቁልፍ ማስታወሻው የጉባኤውን አጠቃላይ መንፈስ እና አቅጣጫ ማስቀመጥ ነው። የመዝጊያው ቁልፍ ማስታወሻ መስመር ይዘረጋል እና በኮንፈረንሱ ወቅት ባገኘነው እውቀት እና ችሎታ እንዴት መኖር እንደምንችል ያብራራል። መጀመሪያ እና መጨረሻው: በጣም የሚታወሰው እና በአጠቃላይ, ጠቀሜታው ጨምሯል.

ገደል ጠቅ ያድርጉ H2O የተሰራጨው K/V ስልተ ቀመር

ክሊፍ በጃቫ ዓለም ውስጥ አፈ ታሪክ ነው። በ90ዎቹ መገባደጃ ላይ፣ ለዶክትሬት ዲግሪያቸው፣ በሚል ርዕስ አንድ ወረቀት ጻፈ "ትንታኔዎችን በማጣመር፣ ማሻሻያዎችን በማጣመር", እሱም ከተወሰነ ጊዜ በኋላ ለሆትስፖት JVM አገልጋይ ኮምፕሌተር መሰረት የሆነው. ከሁለት አመት በኋላ በ JVM ላይ በ Sun Microsystems ውስጥ ይሰራ ነበር እና JIT የመኖር መብት እንዳለው ለመላው አለም አሳይቷል። ይህ አጠቃላይ ታሪክ ጃቫ በጣም ብልጥ እና ፈጣን ማመቻቸት ካለው በጣም ፈጣን ዘመናዊ የሩጫ ጊዜዎች አንዱ እንደሆነ ከገደል ክሊክ የመጣ ነው። ገና መጀመሪያ ላይ አንድ ነገር ለስታቲክ ኮምፕሌተር ሊደረስበት የሚችል ከሆነ እሱን ለመምታት እንኳን መሞከር የለብዎትም ተብሎ ይታመን ነበር። ለክሊፍ እና ቡድን ስራ ምስጋና ይግባውና ሁሉም አዳዲስ ቋንቋዎች በነባሪ የJIT ማጠናቀር ሀሳብ መፈጠር ጀመሩ። በእርግጥ ይህ የአንድ ሰው ሥራ አልነበረም, ነገር ግን ክሊፍ በዚህ ውስጥ በጣም ጠቃሚ ሚና ተጫውቷል.

በመክፈቻው ቁልፍ ማስታወሻ ላይ ክሊፍ ስለሌላው ጥረት ይናገራል - H20፣ ለኢንዱስትሪ አፕሊኬሽኖች የተከፋፈለ እና ሊሰፋ የሚችል የማሽን ትምህርት የማስታወሻ መድረክ። ወይም የበለጠ በትክክል፣ በውስጡ ስላከፋፈሉት የቁልፍ-እሴት ጥንዶች ማከማቻ። ይህ በጣም ብዙ አስደሳች ባህሪያት ያለው በጣም ፈጣን ማከማቻ ነው (ትክክለኛው ዝርዝር ውስጥ አለ መግለጫ), ይህም በትልቅ የውሂብ ዥረት ሒሳብ ውስጥ ተመሳሳይ መፍትሄዎችን መጠቀም ያስችላል.

ክሊፍ የሚሰጠው ሌላው ዘገባ - የአዙል ሃርድዌር ግብይት ማህደረ ትውስታ ተሞክሮ. የእሱ የሕይወት ታሪክ ሌላ ክፍል - አሥር ዓመታት በአዙል ሥራበአዙል ሃርድዌር እና በቴክኖሎጂ ቁልል ውስጥ ብዙ ነገሮችን አዘምኗል እና አሻሽሏል፡ JIT compilers፣ runtime፣ thread model፣ስህተት አያያዝ፣ ቁልል አያያዝ፣ የሃርድዌር መቆራረጥ፣ የክፍል ጭነት እና የመሳሰሉትን እና የመሳሰሉትን ያገኛሉ - ጥሩ፣ እርስዎ ያገኛሉ ሀሳብ ።

በጣም የሚያስደስተው ክፍል የጀመረው ለትልቅ ንግድ ሃርድዌር ሲሰሩ ነው - ጃቫን የሚያስኬድ ሱፐር ኮምፒውተር። ለጃቫ ተብሎ የተዘጋጀ፣ ልዩ ፍላጎት ያለው አዲስ ነገር ነበር - ለአነስተኛ እረፍት የቆሻሻ መጣያ ክምችት የማስታወሻ ማገጃዎችን አንብብ፣ ወሰን በማጣራት ፣ ምናባዊ ጥሪዎች... በጣም ጥሩ ከሆኑ ቴክኖሎጂዎች አንዱ የሃርድዌር ግብይት ማህደረ ትውስታ ነው። የማንኛውም 1 ኮሮች ሙሉው L864 በግብይት ጽሁፍ ውስጥ ሊሳተፍ ይችላል፣ ይህም በተለይ በጃቫ ውስጥ ከመቆለፊያዎች ጋር ለመስራት በጣም አስፈላጊ ነው (የተመሳሰሉ ብሎኮች እውነተኛ የማስታወስ ግጭት እስካልተፈጠረ ድረስ በትይዩ ሊሰሩ ይችላሉ)። ነገር ግን ውብ ሀሳቡ በአስከፊው እውነታ ተደምስሷል - እና በዚህ ንግግር ውስጥ ክሊፍ ለምን ኤችቲኤም እና ኤስቲኤም ለባለብዙ-ክር ስሌት ተግባራዊ ፍላጎቶች በጣም ተስማሚ እንዳልሆኑ ይነግርዎታል።

ሚካኤል ስኮት - ድርብ ውሂብ አወቃቀሮች

ሚካኤል ስኮት - በሮቼስተር ዩኒቨርሲቲ የኮምፒተር ሳይንስ ፕሮፌሰር ፣ እጣ ፈንታ ከእሱ ጋር ያገናኘው ቀድሞውኑ 34 ዓመት፣ እና በመኖሪያ ቤታቸው የዊስኮንሲን-ማዲሰን ዩኒቨርሲቲ ለአምስት ዓመታት ዲን ነበሩ። ስለ ትይዩ እና ስርጭት ፕሮግራሚንግ እና የቋንቋ ዲዛይን ተማሪዎችን አጥንቶ ያስተምራል።

ለመማሪያ መጽሃፉ ምስጋና ይግባው ዓለም ሁሉ ሚካኤልን ያውቃል "የፕሮግራም ቋንቋ ፕራግማቲክስ"በአንጻራዊ በቅርብ ጊዜ የታተመ የቅርብ ጊዜ እትም - በ 2015. የእሱ ሥራ "በጋራ ማህደረ ትውስታ ባለብዙ ፕሮሰሰር ላይ ሊሰፋ የሚችል ስልተ ቀመር" ተቀብሏል Dijkstra ሽልማት በተከፋፈለው የኮምፒዩተር መስክ ውስጥ በጣም ታዋቂ እንደ አንዱ እና በግልጽ መዋሸት በሮቼስተር ኦንላይን ላይብረሪ ዩኒቨርሲቲ. እንዲሁም የሚካኤል-ስኮት አልጎሪዝም ደራሲ እንደሆነ ልታውቀው ትችላለህ "ቀላል፣ ፈጣን እና ተግባራዊ የማይታገድ እና የሚታገድ የጋራ ወረፋ ስልተ ቀመሮች".

የጃቫ ዓለምን በተመለከተ፣ ይህ ልዩ ጉዳይ ነው፤ ከዳግ ሊያ ጋር፣ የጃቫ ቤተ-መጻሕፍት የሚሠሩባቸውን የማያግድ ስልተ ቀመሮችን እና የተመሳሰለ ወረፋዎችን አዘጋጅቷል። የ “Dual Data structures” ቁልፍ ማስታወሻው በትክክል የሚናገረው ይህ ነው - የእነዚህ መዋቅሮች መግቢያ በጃቫ SE 6 አፈፃፀምን በ 10 እጥፍ አሻሽሏል። java.util.concurrent.ThreadPoolExecutor. እነዚህ "Dual data structures" ምን እንደሆኑ አስቀድመው እያሰቡ ከሆነ, ስለሱ መረጃ አለ ተዛማጅ ሥራ.

ሞሪስ ሄርሊ - Blockchains እና የተከፋፈለ ስሌት የወደፊት

ሞሪስ ሄርሊሂ - የሁለት Dijkstra ሽልማቶች አሸናፊ። የመጀመሪያው ለስራ ነው "ከመጠባበቂያ ነጻ ማመሳሰል" (ብራውን ዩኒቨርሲቲ) ፣ እና ሁለተኛው ፣ የበለጠ የቅርብ ጊዜ - "የመገበያያ ማህደረ ትውስታ፡- ከመቆለፊያ ነጻ ለሆኑ የውሂብ አወቃቀሮች የስነ-ህንፃ ድጋፍ" (ቨርጂኒያ ቴክ ዩኒቨርሲቲ) የዲጅክስታራ ሽልማት ጠቀሜታው እና ተፅእኖው ቢያንስ ለአስር አመታት ለታየው ስራ እውቅና ይሰጣል እና ሞሪስ በዘርፉ በጣም ታዋቂ ከሆኑ ባለሙያዎች አንዱ እንደሆነ ግልጽ ነው። በአሁኑ ጊዜ በብራውን ዩኒቨርሲቲ በፕሮፌሰርነት ይሰራል እና አንቀፅ የረዥም ስኬቶች ዝርዝር አለው።

በዚህ የመዝጊያ ቁልፍ ማስታወሻ ላይ ሞሪስ ስለ blockchain የተከፋፈሉ ስርዓቶች ፅንሰ-ሀሳብ እና ልምምድ ከክላሲክስ ኦፍ የተከፋፈለ ኮምፒዩቲንግ እይታ እና ብዙ ተዛማጅ ችግሮችን እንዴት እንደሚያቃልል ይናገራል። ይህ በጉባዔው ርዕስ ላይ ብቻ የቀረበ ዘገባ ነው - በፍፁም ስለ ማዕድን ማውጣት ሳይሆን ከተለያዩ ተግባራት ጋር በተያያዘ እውቀታችን በሚያስደንቅ ሁኔታ እና በአግባቡ እንዴት መጠቀም እንደሚቻል ላይ ነው።

እ.ኤ.አ. በጁላይ 2017 ሞሪስ በ SPTDC ትምህርት ቤት ለመማር ወደ ሩሲያ መጥቷል ፣ በ JUG.ru ስብሰባ ላይ ተሳትፏል እና ቀረጻው በዩቲዩብ ላይ ሊታይ ይችላል-

ዋና ፕሮግራም

በመቀጠል በፕሮግራሙ ውስጥ የተካተቱትን ሪፖርቶች አጭር መግለጫ ይኖራል. አንዳንዶቹ ሪፖርቶች እዚህ በዝርዝር ተገልጸዋል, ሌሎች ደግሞ በአጭሩ. ረጅም መግለጫዎች በዋናነት ከሳይንሳዊ ወረቀቶች፣ በዊኪፔዲያ ላይ ያሉ ቃላት እና የመሳሰሉትን አገናኞች ለሚያስፈልጋቸው የእንግሊዝኛ ቋንቋ ሪፖርቶች ሄደዋል። ሙሉው ዝርዝር ይገኛል። በኮንፈረንስ ድህረ ገጽ ላይ ይመልከቱ. በድረ-ገጹ ላይ ያለው ዝርዝር ይሻሻላል እና ይሟላል.

ሌስሊ ላምፖርት - ጥ & ሀ

ሌስሊ ላምፖርት በስርጭት ኮምፒውተር ውስጥ የሴሚናል ስራዎች ደራሲ ነው። "LaTeX" "Lamport TeX" ማለት ነው። እ.ኤ.አ. በ 1979 መጀመሪያ ላይ ጽንሰ-ሀሳቡን ያስተዋወቀው እሱ ነበር። ወጥነት ያለው ወጥነት, እና የእሱ ጽሑፍ "የብዙ ፕሮሰሰር ፕሮግራሞችን በትክክል የሚያስፈጽም ባለብዙ ፕሮሰሰር ኮምፒውተር እንዴት እንደሚሰራ" Dijkstra ሽልማት አግኝቷል.

ይህ በቅርጸት ረገድ በጣም ያልተለመደው የፕሮግራሙ ክፍል ነው፣ምክንያቱም ዘገባው እንኳን ሳይሆን የጥያቄና መልስ ክፍለ ጊዜ ነው። በ"Lamport's ቲዎሪ" ላይ ተመስርተው ሁሉንም አይነት ስራዎች፣የራሱን መጣጥፎች እና ዘገባዎች ላይ በመመስረት የተመልካቹ ጉልህ ክፍል አስቀድሞ ሲያውቅ (ወይም መተዋወቅ ሲችል) ሁሉንም ጊዜ በቀጥታ ግንኙነት ላይ ማዋል አስፈላጊ ነው።

ሀሳቡ ቀላል ነው - በዩቲዩብ ላይ ሁለት ሪፖርቶችን ይመለከታሉ: "ፕሮግራም ማድረግ ከኮድ የበለጠ መሆን አለበት" и "ፕሮግራም ካልጻፍክ የፕሮግራሚንግ ቋንቋ አትጠቀም" እና ቢያንስ አንድ ጥያቄ አዘጋጅ እና ሌስሊ መለሰች።

ከእነዚህ ሁለት ቪዲዮዎች ውስጥ የመጀመሪያው ቀደም ብለን አለን ወደ ሀብሮ መጣጥፍ ተለወጠ. ቪዲዮውን ለማየት የአንድ ሰአት ጊዜ ከሌለዎት ሁሉንም በፍጥነት በጽሁፍ መልክ ማንበብ ይችላሉ.

ማስታወሻ፡ በዩቲዩብ ላይ ብዙ የሌስሊ ላምፖርት ቪዲዮዎች አሉ። ለምሳሌ, በጣም ጥሩ ነገር አለ TLA+ ኮርስ. የዚህ ሙሉ ኮርስ ከመስመር ውጭ የሆነ እትም በ ላይ ይገኛል። የደራሲው መነሻ ገጽ፣ እና በተንቀሳቃሽ መሳሪያዎች ላይ በቀላሉ ለማየት ወደ ዩቲዩብ ሰቅሏል።

ማርቲን ክሌፕማን - ለተከፋፈለ ትብብር በተጠቃሚ መሳሪያዎች ላይ ውሂብን በማመሳሰል ላይ

ማርቲን ክሌፕማን በካምብሪጅ ዩኒቨርሲቲ ተመራማሪ በCRDT እና በአልጎሪዝም መደበኛ ማረጋገጫ ላይ እየሰራ ነው። የማርቲን መጽሐፍ "ውሂብ-ተኮር መተግበሪያዎችን መንደፍ"እ.ኤ.አ. በ 2017 የታተመ ፣ በጣም የተሳካለት እና በመረጃ ማከማቻ እና ሂደት መስክ የምርጥ ሽያጭ ዝርዝሮች ላይ ገብቷል። ኬቨን ስኮት, CTO በ Microsoft, አንድ ጊዜ ተናግሯል"ይህ መጽሐፍ ለሶፍትዌር መሐንዲሶች የግድ መሆን አለበት። ይህ ንድፈ ሃሳብን እና ልምምድን በማጣመር ገንቢዎች መሠረተ ልማትን እና የውሂብ ስርዓቶችን በመንደፍ እና በመተግበር ረገድ ብልህ እንዲሆኑ የሚረዳ ብርቅዬ ሃብት ነው። የካፍካ እና የ CTO ኦፍ ኮንፍሉንት ፈጣሪ ጄይ ክሬፕስ ተመሳሳይ ነገር ተናግሯል።

ማርቲን ወደ አካዳሚክ ምርምር ከመግባቱ በፊት በኢንዱስትሪ ውስጥ ሰርቷል እና ሁለት ስኬታማ ጅምሮችን አቋቋመ።

• ሊንክድኒዲ በ2012 የገዛውን የእውቂያዎችን ማህበራዊ መገለጫ ከኢሜልዎ ለማሳየት ቁርጠኛ የሆነ።
• Go Test It (RedGate) እ.ኤ.አ. በ2009 የገዛውን ድረ-ገጾችን በተለያዩ አሳሾች ውስጥ በራስ ሰር የሚፈትሽ አገልግሎት ነው።

በአጠቃላይ ማርቲን ምንም እንኳን ከኛ ቁልፍ ማስታወሻዎች ያነሰ ታዋቂ ቢሆንም ለተከፋፈለ ኮምፒውቲንግ እድገት እና ለኢንዱስትሪው የተወሰነ አስተዋፅኦ ማድረግ ችሏል።

በዚህ ንግግር ውስጥ፣ ማርቲን ለአካዳሚክ ምርምር ቅርብ ስለሆነ ርዕስ ይናገራል። በጎግል ዶክመንቶች እና መሰል ሰነዶች አብሮ-ማስተካከያ ሶፋዎች ውስጥ “የመተባበር አርትዖት” የማባዛት ተግባርን ይመለከታል፡ እያንዳንዱ ተጠቃሚ የጋራ ሰነድ የራሱ ቅጂ አለው፣ ከዚያም ያስተካክላል፣ እና ሁሉም ለውጦች በአውታረ መረቡ ላይ ለቀሪው ይላካሉ። ተሳታፊዎች. ከመስመር ውጭ በሰነዶች ላይ የሚደረጉ ለውጦች ከሌሎች ተሳታፊዎች ጋር በተዛመደ የሰነዱ ጊዜያዊ አለመመጣጠን ያስከትላል እና እንደገና ማመሳሰል የግጭት አያያዝን ይጠይቃል። ለዛ ነው የኖሩት። ከግጭት ነጻ የሆኑ የተባዙ የውሂብ አይነቶች (ሲአርዲቲ)፣ በእውነቱ፣ አዲስ ነገር ነው፣ ዋናው ነገር በ2011 ብቻ የተቀመረ ነው። ይህ ንግግር ከዚያን ጊዜ ጀምሮ በሲአርዲቲ ዓለም ውስጥ ምን እንደተፈጠረ፣ በጣም የቅርብ ጊዜ ግስጋሴዎች ምን እንደሆኑ፣ በአጠቃላይ የአካባቢ-የመጀመሪያ አፕሊኬሽኖችን የመፍጠር አቀራረብ እና የክፍት ምንጭ ቤተ-መጽሐፍትን አጠቃቀም ያብራራል። አውቶማቲክ ውህደት በተለየ ሁኔታ.

በሚቀጥለው ሳምንት ከማርቲን ጋር ረጅም ቃለ መጠይቅ በሀበሬ ላይ እናተምታለን ፣ አስደሳች ይሆናል።

ፔድሮ ራማልሄቴ - ከመጠባበቂያ ነጻ የውሂብ አወቃቀሮች እና ከመጠባበቂያ ነጻ ግብይቶች

ፔድሮ በሲስኮ ውስጥ ይሰራል እና ላለፉት አስር አመታት ትይዩ ስልተ ቀመሮችን በማዘጋጀት ላይ ይገኛል፣ የማመሳሰል ስልቶችን፣ ከመቆለፊያ ነጻ እና ከመጠበቅ ነጻ የሆኑ የውሂብ አወቃቀሮችን እና በዚህ ርዕስ ላይ ሊገምቱት የሚችሉትን ሁሉ ጨምሮ። አሁን ያለው የምርምር እና የምህንድስና ፍላጎቶቹ በሁለንተናዊ ግንባታዎች፣ በሶፍትዌር ግብይት ማህደረ ትውስታ፣ በቋሚ ማህደረ ትውስታ እና ተመሳሳይ ቴክኖሎጂዎች ላይ ያተኮሩ ሲሆን ይህም ትክክለኛ፣ ሊለኩ የሚችሉ እና ስህተትን መቋቋም የሚችሉ መተግበሪያዎችን ነው። እሱ ደግሞ በጠባብ ክበቦች ውስጥ በሰፊው የሚታወቅ ብሎግ ደራሲ ነው። የኮንኩንቸር ፍሪክስ.

አብዛኞቹ ባለ ብዙ ክርችድ አፕሊኬሽኖች አሁን በትይዩ የዳታ አወቃቀሮች ይሰራሉ፣ ከተዋናዮች መካከል የመልእክት ወረፋዎችን ከመጠቀም ጀምሮ እስከ በቁልፍ እሴት ማከማቻዎች ውስጥ ባሉ የመረጃ አወቃቀሮች መረጃ ጠቋሚ። በጃቫ JDK ውስጥ ለብዙ አመታት በተሳካ ሁኔታ እየሰሩ ነው, እና ቀስ በቀስ ወደ C ++ እየተጨመሩ ነው.

ትይዩ የመረጃ አወቃቀሩን ተግባራዊ ለማድረግ ቀላሉ መንገድ በቅደም ተከተል (ነጠላ-ክር) ትግበራ ሲሆን ዘዴዎች በ mutexes የተጠበቁ ናቸው. ይህ ለማንኛውም ሰኔ ተደራሽ ነው, ነገር ግን በመጠን እና በአፈፃፀም ላይ ግልጽ ችግሮች አሉት. በተመሳሳይ ጊዜ ከመቆለፊያ ነፃ እና ከመጠባበቂያ ነፃ የመረጃ አወቃቀሮች ስህተቶችን በተሻለ ሁኔታ መቋቋም ብቻ ሳይሆን የተሻለ የአፈፃፀም መገለጫም አላቸው - ሆኖም ግን እድገታቸው ጥልቅ እውቀትን እና ለአንድ የተወሰነ መተግበሪያ መላመድን ይጠይቃል። ሁሉንም ነገር ለመስበር አንድ የተሳሳተ የኮድ መስመር በቂ ነው።

እንደዚህ አይነት የመረጃ አወቃቀሮችን ለመንደፍ እና ለመተግበር አንድ ባለሙያ ያልሆነ ሰው እንኳን እንዴት ማድረግ እንችላለን? የትኛውም ተከታታይ ስልተ ቀመር ሁለቱንም በመጠቀም ክር ደህንነቱ የተጠበቀ እንዲሆን ማድረግ እንደሚቻል ይታወቃል ሁለንተናዊ ንድፍ, ወይም የግብይት ማህደረ ትውስታ. አንደኛ ነገር፣ ይህንን ችግር ለመፍታት ወደ ውስጥ የመግባት እንቅፋት ሊሆኑ ይችላሉ። ይሁን እንጂ ሁለቱም መፍትሄዎች በአብዛኛው ወደ ውጤታማ ያልሆነ ትግበራ ይመራሉ. ፔድሮ እነዚህን ንድፎች የበለጠ ቀልጣፋ ለማድረግ እንዴት እንደቻሉ እና ለስልተ ቀመሮችዎ እንዴት እንደሚጠቀሙባቸው ይናገራል።

ሃይዲ ሃዋርድ - የተከፋፈለ መግባባትን ነፃ ማውጣት

ሃይዲ ሃዋርድ ልክ እንደ ማርቲን በካምብሪጅ ዩኒቨርሲቲ የተከፋፈለ ሲስተም ተመራማሪ ነው። የእርሷ ልዩ ችሎታዎች ወጥነት, ስህተት መቻቻል, አፈፃፀም እና የተከፋፈለ መግባባት ናቸው. በይበልጥ የምትታወቀው በፓክሶስ ስልተ ቀመር ባጠቃላይ ነው። ተጣጣፊ ፓክሶስ.

ያስታውሱ ፓክስስ በሌስሊ ላምፖርት ሥራ ላይ የተመሰረተ አስተማማኝ ባልሆኑ የኮምፒዩተሮች አውታረመረብ ውስጥ ያለውን የጋራ ስምምነት ችግር ለመፍታት የፕሮቶኮሎች ቤተሰብ ነው። ስለዚህም አንዳንድ ተናጋሪዎቻችን በመጀመሪያ በሌሎች ተናጋሪዎቻችን በቀረቡ ችግሮች ላይ እየሰሩ ነው - ይህ ደግሞ ድንቅ ነው።

በብዙ አስተናጋጆች መካከል ስምምነትን የማግኘት ችሎታ - ለመነጋገር ፣ ለመሪዎች ምርጫ ፣ ለማገድ ወይም ለማስተባበር - በዘመናዊ የተከፋፈሉ ስርዓቶች ውስጥ መሠረታዊ ጉዳይ ነው። Paxos አሁን የጋራ መግባባት ችግሮችን ለመፍታት ዋናው መንገድ ነው, እና ለተለያዩ ተግባራዊ ፍላጎቶች አልጎሪዝምን ለማስፋፋት እና ለማመቻቸት በዙሪያው ብዙ ጥናቶች እየተካሄዱ ናቸው.

በዚህ ንግግር ውስጥ የፓክሶስን የንድፈ ሃሳብ መሰረት እንቃኛለን, የመጀመሪያዎቹን መስፈርቶች ዘና ለማድረግ እና አልጎሪዝምን ጠቅለል አድርገን እንሰራለን. Paxos ከብዙ የጋራ መግባባት አቀራረቦች መካከል በመሠረቱ አንድ አማራጭ ብቻ እንደሆነ እና ሌሎች በስፔክትረም ላይ ያሉ ነጥቦች ጥሩ ስርጭቶችን ለመገንባት በጣም ጠቃሚ መሆናቸውን እናያለን።

አሌክስ ፔትሮቭ - በጊዜያዊ ማባዛት እና ርካሽ ምልአተ ጉባኤዎች የማከማቻ ወጪዎን ይቀንሱ

አሌክስ የመረጃ ቋት እና የማከማቻ ስርዓቶች ባለሙያ ነው፣ እና ከሁሉም በላይ ለእኛ ደግሞ ቁርጠኛ ነው። ካሳንድራ. በአሁኑ ጊዜ ከኦሬይሊ ጋር ዳታቤዝ ኢንተርናሽናል በሚለው መጽሐፍ ላይ እየሰራ ነው።

ጋር ስርዓቶች ለ ውሎ አድሮ ወጥነት (በሩሲያኛ ቃላቶች - “የመጨረሻው ወጥነት”) ፣ መስቀለኛ መንገድ ከተበላሸ ወይም አውታረመረብ ከተከፋፈለ በኋላ የሚከተሉትን ችግሮች መፍታት ያስፈልግዎታል-ጥያቄዎችን መፈጸምዎን ይቀጥሉ ፣ ወጥነትን በመክፈል ወይም እነሱን ለመፈጸም እምቢ ማለት እና ተገኝነትን መስዋዕት ያድርጉ። በእንደዚህ ዓይነት ስርዓት ውስጥ ኮረም, የተደራረቡ የአንጓዎች ንዑስ ስብስቦች እና ቢያንስ አንድ መስቀለኛ መንገድ የቅርቡን እሴት መያዙን ማረጋገጥ ጥሩ የጠርዝ መፍትሄ ሊሆን ይችላል. ከቅርብ ጊዜዎቹ እሴቶች ጋር ምላሽ እየሰጡ ሳለ ከአንዳንድ አንጓዎች ጋር ያለውን ግንኙነት ማጣት እና ውድቀቶችን መትረፍ ይችላሉ።

ይሁን እንጂ ሁሉም ነገር የራሱ ዋጋ አለው. የምልአተ ጉባኤ ማባዛት እቅድ ማለት የማከማቻ ወጪ መጨመር ማለት ነው፡ ችግር በሚፈጠርበት ጊዜ በቂ ቅጂዎች መኖራቸውን ለማረጋገጥ ብዙ ተጨማሪ መረጃዎች በአንድ ጊዜ በበርካታ ኖዶች ላይ መቀመጥ አለባቸው። ሁሉንም መረጃዎች በሁሉም ቅጂዎች ላይ ማከማቸት አያስፈልግዎትም። በማከማቻው ላይ ያለውን ጭነት መቀነስ ይችላሉ።

በሪፖርቱ ሂደት ውስጥ እንመለከታለን ምስክሮች ቅጂዎችውስጥ ጥቅም ላይ የዋለው የማባዛት እቅድ Spanner и ሜጋስቶር, እና በ Apache Cassandra ውስጥ የዚህ ጽንሰ-ሐሳብ ትግበራ ይባላል ጊዜያዊ ማባዛት እና ርካሽ ምልአተ ጉባኤዎች.

ዲሚትሪ ቪዩኮቭ - ጎሮቲኖች ተጋልጠዋል

ዲሚትሪ በC/C++ እና Go - Address/Memory/ThreadSanitizer እና ተመሳሳይ መሳሪያዎች ለሊኑክስ ከርነል በተለዋዋጭ ሙከራዎች ላይ የሚሰራ የጎግል ገንቢ ነው። ለ Go አበርክቷል ሊለካ የሚችል ጎሮቲን መርሐግብር፣ የአውታረ መረብ መርማሪ እና ትይዩ የቆሻሻ ሰብሳቢ። እሱ የብዝሃ-ክር ንባብ ባለሙያ፣ የደርዘን ደርዘን አዲስ የማያግድ ስልተ ቀመሮች ደራሲ እና ባለቤት ነው። ጥቁር ቀበቶ Intel.

አሁን ስለ ሪፖርቱ ራሱ ትንሽ። የ Go ቋንቋ በ goroutines (በብርሃን ክሮች) እና በሰርጦች (FIFO ወረፋዎች) መልክ ለብዙ ንባብ ቤተኛ ድጋፍ አለው። እነዚህ ዘዴዎች ለተጠቃሚዎች ዘመናዊ ባለ ብዙ ክር አፕሊኬሽኖችን ለመጻፍ በጣም ቀላል እና አስደሳች ያደርጉታል, እና አስማት ይመስላል. እንደምንረዳው, እዚህ ምንም አስማት የለም. በዚህ ንግግር ውስጥ ዲሚትሪ የ Go መርሐግብርን ውስብስብነት ውስጥ ዘልቆ በመግባት ይህንን "አስማት" የመተግበር ምስጢሮችን ያሳያል. በመጀመሪያ, ስለ መርሐግብር አውጪው ዋና ዋና ክፍሎች አጠቃላይ እይታ ይሰጥዎታል እና እንዴት እንደሚሰራ ይነግርዎታል. በመቀጠል፣ እንደ የመኪና ማቆሚያ/ፓርኪንግ ስታራቴጅ እና የስርዓት ጥሪዎችን ማገድን የመሳሰሉ ግለሰባዊ ገጽታዎችን በዝርዝር እንመለከታለን። በመጨረሻም ዲሚትሪ በጊዜ ሰሌዳው ላይ ሊደረጉ ስለሚችሉ ማሻሻያዎች በጥቂቱ ይናገራል።

ዲሚትሪ ቡጋይቼንኮ - የተከፋፈለ የግራፍ ትንታኔን ከፕሮባቢሊቲክ ንድፎች እና ሌሎች ጋር ማፋጠን

ዲሚትሪ ከዩኒቨርሲቲው እና ከሳይንስ ማህበረሰቡ ጋር ያለውን ግንኙነት ሳያቋርጥ ለ9 ዓመታት ያህል በውጪ ንግድ ሥራ ሰርቷል። በ Odnoklassniki ውስጥ ትልቅ የመረጃ ትንተና የንድፈ-ሀሳብ ስልጠና እና ሳይንሳዊ መሰረትን ከእውነተኛ እና ተፈላጊ ምርቶች ልማት ጋር የማጣመር ልዩ እድል ሆነለት።

የተከፋፈለው የግራፍ ትንተና ከባድ ስራ ሆኖ ቆይቷል እናም ስለ ጎረቤት ቬርቴክስ ግንኙነቶች መረጃ ለማግኘት አስፈላጊ ሆኖ ሲገኝ ውሂቡ ብዙውን ጊዜ በማሽኖች መካከል መተላለፍ አለበት, ይህም የአፈፃፀም ጊዜን ይጨምራል እና በኔትወርክ መሠረተ ልማት ላይ ይጫናል. በዚህ ንግግር ውስጥ፣ በማህበራዊ አውታረመረብ ውስጥ እንደ የጓደኝነት ግራፍ ሲምሜትሪ ያሉ ፕሮባቢሊቲ ዳታ አወቃቀሮችን ወይም እውነታዎችን በመጠቀም እንዴት ጉልህ የሆነ የማስኬጃ ፍጥነት ማግኘት እንደሚችሉ እንመለከታለን። ይህ ሁሉ በ Apache Spark ውስጥ በኮድ ምሳሌዎች ተገልጿል.

ዴኒስ Rystsov - በጊዜያዊ ማባዛት እና ርካሽ ምልአተ ጉባኤዎች የማከማቻ ወጪዎን ይቀንሱ

ዴኒስ - ገንቢ ኮስሞስ ዲቢ፣ ወጥነት ያላቸውን ሞዴሎች ፣ የጋራ መግባባት ስልተ ቀመሮችን እና የተከፋፈሉ ግብይቶችን በመፈተሽ ላይ ያለ ባለሙያ። በአሁኑ ጊዜ በ Microsoft ውስጥ ይሰራል, እና ከዚያ በፊት በአማዞን እና በ Yandex ውስጥ በተሰራጩ ስርዓቶች ላይ ሰርቷል.

በዚህ ንግግር ውስጥ፣ ባለፉት ጥቂት አመታት የተፈለሰፉትን የተከፋፈሉ የግብይት ፕሮቶኮሎችን እንመለከታለን፣ ይህም ሁኔታዊ ማሻሻያ (ማወዳደር እና ማቀናበር) በሚደግፍ በማንኛውም የውሂብ ማከማቻ ላይ በደንበኛው በኩል ሊተገበር ይችላል። ዋናው ነገር ሕይወት በሁለት-ደረጃ ቁርጠኝነት አያበቃም ፣ ግብይቶች በማንኛውም የውሂብ ጎታ ላይ ሊጨመሩ ይችላሉ - በመተግበሪያ ደረጃ ፣ ግን የተለያዩ ፕሮቶኮሎች (2PC ፣ Percolator ፣ RAMP) የተለያዩ የንግድ ውጤቶች አሏቸው እና ለእኛ አልተሰጡንም ። በነፃ.

አሌክሲ ዚኖቪቭ - ሁሉም የኤምኤል ስልተ ቀመሮች ወደ ተከፋፈለ ሰማይ አያደርጉትም።

አሌክሲ (zaleslaw) በሌሎች ጉባኤዎች የረዥም ጊዜ ተናጋሪ እና የፕሮግራም ኮሚቴዎች አባል ነው። በEPAM Systems ውስጥ አሰልጣኝን በመለማመድ፣ እና ከ2012 ጀምሮ ከሃዱፕ/ስፓርክ እና ከሌሎች ትልልቅ መረጃዎች ጋር ጓደኛሞች ነበሩ።

በዚህ ንግግር አሌክሲ ከ Apache Spark ML ፣ Apache Mahout ፣ Apache Flink ML ጋር በመስራት ባገኘው ልምድ እና Apache Ignite ML የመፍጠር ልምድ ላይ በመመስረት ክላሲካል የማሽን መማሪያ ስልተ ቀመሮችን በተከፋፈለ ሁኔታ ውስጥ የማስፈፀም ችግርን ይናገራል። አሌክሲ በእነዚህ ማዕቀፎች ውስጥ ስለ የተከፋፈሉ የኤምኤል ስልተ ቀመሮች አተገባበርም ይናገራል።

እና በመጨረሻም ከ Yandex ስለ Yandex ዳታቤዝ ሁለት ሪፖርቶች.

ቭላዲላቭ ኩዝኔትሶቭ - የ Yandex ዳታቤዝ - የስህተት መቻቻልን እንዴት እንደምናረጋግጥ

ቭላዲላቭ በተሰራጨው የመሳሪያ ስርዓት ቡድን ውስጥ በ Yandex ውስጥ ገንቢ ነው። የ Yandex ዳታቤዝ በአግድም ሊሰፋ የሚችል፣ በጂኦ-የተከፋፈለ፣ ጥፋትን የሚቋቋም ዲቢኤምኤስ ሲሆን የዲስኮችን፣ አገልጋዮችን፣ ራኮችን እና የውሂብ ማዕከሎችን ወጥነት ሳያጣ የሚቋቋም። የስህተት መቻቻልን ለማረጋገጥ, የተከፋፈለ መግባባትን ለማግኘት የባለቤትነት ስልተ-ቀመር ጥቅም ላይ ይውላል, እንዲሁም በርካታ ቴክኒካዊ መፍትሄዎች በሪፖርቱ ውስጥ በዝርዝር ተብራርተዋል. ሪፖርቱ ለሁለቱም የ DBMS ገንቢዎች እና የመተግበሪያ መፍትሄዎች ገንቢዎች በDBMS ላይ የተመሰረተ ሊሆን ይችላል።

ሴሚዮን ቼቼሪንዳ - በYDB ውስጥ የተከፋፈሉ ግብይቶች

ሴሚዮን በ Yandex ውስጥ በተሰራጨው የመሳሪያ ስርዓት ቡድን ውስጥ ገንቢ ነው ፣ የ YDB ጭነት ባለብዙ ተከራይ የመጠቀም እድል ላይ እየሰራ።

የYandex ዳታቤዝ ለ OLTP መጠይቆች የተነደፈ እና የግብይት ስርዓት የ ACID መስፈርቶችን ያሟላ ነው። በዚህ ሪፖርት ውስጥ፣ የYDB ግብይት ሥርዓትን መሠረት ያደረገውን የግብይት መርሐግብር ስልተ ቀመር እንመለከታለን። የትኞቹ አካላት በግብይቶች ውስጥ እንደሚሳተፉ፣ ለንግድ ግብይቶች ዓለም አቀፋዊ ቅደም ተከተልን የሚመድበው፣ የግብይት ቸልተኝነት፣ አስተማማኝነት እና ጥብቅ የመገለል ደረጃ እንዴት እንደሚገኝ እንይ። የጋራ ችግርን እንደ ምሳሌ በመጠቀም፣ ባለ ሁለት ደረጃ ቁርጠኝነትን እና ቆራጥ ግብይቶችን በመጠቀም የግብይት አተገባበርን እንመልከት። ልዩነታቸውን እንወያይ።

ቀጥሎ ምንድነው?

የኮንፈረንሱ ፕሮግራም በአዲስ ዘገባዎች መሞላቱን ቀጥሏል። በተለይ ዘገባ እንጠብቃለን። Nikita Koval (ndkoval) ከ JetBrains እና ኦሌግ አናስታሴቭ (m0nstermind) ከ Odnoklassniki ኩባንያ. ኒኪታ በኮትሊን ቡድን ውስጥ ለኮሮቲኖች ስልተ ቀመሮች ላይ ይሰራል፣ እና Oleg በኦድኖክላሲኒኪ መድረክ ውስጥ ለከፍተኛ ጭነት ስርዓቶች አርክቴክቸር እና መፍትሄዎችን ያዘጋጃል። በተጨማሪም ፣ 1 ተጨማሪ ሁኔታዊ ባዶ ማስገቢያ አለ ፣ የፕሮግራሙ ኮሚቴ ለእሱ አሁን ከእጩዎች ጋር እየሰራ ነው።

የሃይድራ ኮንፈረንስ ከጁላይ 11-12 በሴንት ፒተርስበርግ ይካሄዳል. ቲኬቶች ይገኛሉ በይፋዊው ድር ጣቢያ ላይ ይግዙ. እባክዎን ለኦንላይን ቲኬቶች መገኘት ትኩረት ይስጡ - በሆነ ምክንያት በእነዚህ ቀናት ወደ ሴንት ፒተርስበርግ መድረስ ካልቻሉ።

ሃይድራ እንገናኝ!

ምንጭ: hab.com