នេះ Leslie Lamport គឺជាអ្នកនិពន្ធនៃការងារ seminal នៅក្នុងកុំព្យូទ័រចែកចាយ ហើយអ្នកក៏អាចស្គាល់គាត់ដោយអក្សរ La នៅក្នុងពាក្យ LaTeX - "Lamport TeX" ។ វាគឺជាគាត់ដែលជាលើកដំបូងត្រឡប់មកវិញនៅឆ្នាំ 1979 ណែនាំគំនិតនេះ។ ភាពជាប់លាប់តាមលំដាប់លំដោយនិងអត្ថបទរបស់គាត់។ "របៀបបង្កើត Multiprocessor Computer ដែលដំណើរការកម្មវិធី Multiprocess បានត្រឹមត្រូវ" បានទទួលរង្វាន់ Dijkstra (ច្បាស់ជាងនេះទៅទៀត ក្នុងឆ្នាំ 2000 ពានរង្វាន់នេះត្រូវបានគេហៅថាតាមរបៀបចាស់របស់វា៖ "ពានរង្វាន់ក្រដាសមានឥទ្ធិពល PODC")។ មានអំពីគាត់ អត្ថបទវិគីភីឌាដែលជាកន្លែងដែលអ្នកអាចទទួលបានតំណភ្ជាប់គួរឱ្យចាប់អារម្មណ៍មួយចំនួនបន្ថែមទៀត។ ប្រសិនបើអ្នករំភើបអំពីការដោះស្រាយបញ្ហាដែលកើតឡើងមុន ឬ បញ្ហារបស់ឧត្តមសេនីយ៍ Byzantine (BFT) បន្ទាប់មកអ្នកត្រូវតែយល់ថា Lamport នៅពីក្រោយរឿងទាំងអស់នេះ។

គាត់ក៏នឹងមកចូលរួមសន្និសីទថ្មីរបស់យើងក្នុងពេលឆាប់ៗនេះស្តីពីការចែកចាយកុំព្យូទ័រ - Hydra ដែលនឹងប្រព្រឹត្តទៅនៅថ្ងៃទី 11-12 ខែកក្កដា នៅ St. ចាំ​មើល​ថា​តើ​សត្វ​នេះ​ជា​ប្រភេទ​អ្វី?

Hydra ៣០០០

ប្រធានបទដូចជា Multithreading គឺស្ថិតក្នុងចំណោមការពេញនិយមបំផុតនៅក្នុងសន្និសីទរបស់យើង ដែលតែងតែមាន។ ទើបតែពេលនេះបន្ទប់នេះត្រូវបានបោះបង់ចោល ប៉ុន្តែបន្ទាប់មកមនុស្សម្នាក់លេចឡើងនៅលើឆាកនិយាយអំពីគំរូនៃការចងចាំកើតឡើង - មុនឬបណ្តុំសំរាមច្រើនខ្សែហើយ - ផ្ទុះឡើង! — មនុស្សប្រហែលមួយពាន់នាក់បានកាន់កាប់កន្លែងទំនេរទាំងអស់រួចហើយ ដើម្បីអង្គុយស្តាប់ដោយប្រុងប្រយ័ត្ន។ តើអ្វីជាខ្លឹមសារនៃភាពជោគជ័យនេះ? ប្រហែលជាដោយសារតែយើងទាំងអស់គ្នាមានប្រភេទ Hardware មួយចំនួននៅក្នុងដៃដែលអាចរៀបចំការចែកចាយកុំព្យូទ័រ? ឬថាយើងយល់ដោយមិនដឹងខ្លួនថាអសមត្ថភាពរបស់យើងក្នុងការផ្ទុកវាដូចដែលវាសមនឹងទទួលបាន? មានរឿងពិតមួយរបស់ St. Petersburg quant (នោះគឺជាអ្នកវិភាគបរិមាណហិរញ្ញវត្ថុ និងអ្នកអភិវឌ្ឍន៍) ដែលបានរកឃើញថាខ្លួនគាត់មានកម្មសិទ្ធិនៃចង្កោមកុំព្យូទ័រ ដែលជាថាមពលពេញលេញដែលមានតែគាត់ម្នាក់គត់ដែលអាចប្រើបាន។ តើ​អ្នក​នឹង​ធ្វើ​យ៉ាង​ណា​ប្រសិន​បើ​អ្នក​មាន​សមត្ថភាព​ក្នុង​ការ​បំពេញ​កិច្ចការ​របស់​អ្នក​ដែល​ធំ​ជាង​ពេល​នេះ​ច្រើន​ដង?

ដោយសារភាពពេញនិយមបែបនេះ ប្រធានបទនៃផលិតភាព និងការគណនាប្រកបដោយប្រសិទ្ធភាព មាននិន្នាការរីករាលដាលពាសពេញរបៀបវារៈនៃសន្និសីទ។ តើរបាយការណ៍ពីរថ្ងៃអាចធ្វើបានប៉ុន្មានអំពីការអនុវត្ត - មួយភាគបី ពីរភាគបី? នៅកន្លែងខ្លះមានការរឹតបន្តឹងសិប្បនិមិត្តដែលកំណត់កំណើននេះ៖ បន្ថែមពីលើការអនុវត្ត វាត្រូវតែមានកន្លែងសម្រាប់ក្របខ័ណ្ឌបណ្ដាញថ្មី សម្រាប់ប្រភេទមួយចំនួននៃ devops ឬស្ថាបត្យកម្មអវកាស។ ទេ ការសម្តែង អ្នកនឹងមិនស៊ីយើងទាំងអស់គ្នាទេ!

ឬអ្នកអាចទៅវិធីផ្ទុយ បោះបង់ និងធ្វើសន្និសិទដោយស្មោះត្រង់ ដែលនឹងនិយាយអំពីការចែកចាយកុំព្យូទ័រទាំងស្រុង និងអំពីពួកគេតែប៉ុណ្ណោះ។ ហើយនៅទីនេះគឺ Hydra ។

ចូរយើងសារភាពដោយស្មោះត្រង់ថាសព្វថ្ងៃនេះការគណនាទាំងអស់ត្រូវបានចែកចាយតាមមធ្យោបាយមួយឬផ្សេងទៀត។ មិនថាវាជាម៉ាស៊ីនពហុស្នូល ចង្កោមកុំព្យូទ័រ ឬសេវាកម្មចែកចាយទ្រង់ទ្រាយធំនោះទេ មានដំណើរការជាច្រើននៅគ្រប់ទីកន្លែងដែលអនុវត្តការគណនាឯករាជ្យស្របគ្នា ធ្វើសមកាលកម្មជាមួយគ្នា។ Hydra នឹងត្រូវបានលះបង់ចំពោះរបៀបដែលវាដំណើរការនៅក្នុងទ្រឹស្តី និងរបៀបដែលវាដំណើរការនៅក្នុងការអនុវត្ត។

កម្មវិធីសន្និសីទ

កម្មវិធីនេះកំពុងស្ថិតក្នុងដំណាក់កាលបង្កើតរបស់វា។ វាគួរតែរួមបញ្ចូលរបាយការណ៍ពីស្ថាបនិកនៃទ្រឹស្តីនៃប្រព័ន្ធចែកចាយ និងវិស្វករដែលធ្វើការជាមួយពួកគេក្នុងផលិតកម្ម។

ជាឧទាហរណ៍ ការចូលរួមរបស់ Leslie Lamport ពី Microsoft Research និង Maurice Herlihy មកពីសាកលវិទ្យាល័យ Brown ត្រូវបានគេស្គាល់រួចហើយ។

Maurice Herlihy - សាស្ត្រាចារ្យផ្នែកវិទ្យាសាស្ត្រកុំព្យូទ័រដ៏ល្បី និងគួរឲ្យគោរព ក៏មានព័ត៌មានអំពីគាត់ដែរ។ ទំព័រវិគីភីឌាដែលជាកន្លែងដែលអ្នកអាចរកមើលតាមរយៈតំណ និងដំណើរការ។ នៅទីនោះអ្នកអាចកត់សម្គាល់ពានរង្វាន់ Dijkstra ចំនួនពីរ ដែលទីមួយសម្រាប់ការងារ "ធ្វើសមកាលកម្មរង់ចាំដោយឥតគិតថ្លៃ"និងទីពីរ ថ្មីៗបន្ថែមទៀត - "អង្គចងចាំប្រតិបត្តិការ៖ ការគាំទ្រស្ថាបត្យកម្មសម្រាប់រចនាសម្ព័ន្ធទិន្នន័យដោយមិនចាក់សោ". ដោយវិធីនេះ តំណភ្ជាប់មិនសូម្បីតែនាំទៅកាន់ SciHub ប៉ុន្តែទៅកាន់សាកលវិទ្យាល័យ Brown និងសាកលវិទ្យាល័យ Virginia Tech អ្នកអាចបើក និងអានបាន។

Maurice នឹងកាន់សុន្ទរកថាមួយហៅថា "Blockchains ពីទស្សនវិស័យកុំព្យូទ័រចែកចាយ" ។ ប្រសិនបើអ្នកចាប់អារម្មណ៍ អ្នកអាចមើលការកត់ត្រារបាយការណ៍របស់ Maurice ពី St. Petersburg JUG ។ វាយតម្លៃថាតើគាត់បង្ហាញប្រធានបទយ៉ាងច្បាស់លាស់ និងយល់យ៉ាងណា។

សុន្ទរកថាទីពីរដែលហៅថា "រចនាសម្ព័ន្ធទិន្នន័យទ្វេ" នឹងអាន លោក Michael Scott ពីសាកលវិទ្យាល័យ Rochester ។ ហើយទាយអ្វីដែល - គាត់ក៏មានផ្ទាល់ខ្លួនផងដែរ។ ទំព័រវិគីភីឌា. នៅផ្ទះនៅ Wisconsin គាត់ត្រូវបានគេស្គាល់ដោយសារការងាររបស់គាត់ជាព្រឹទ្ធបុរសនៅសាកលវិទ្យាល័យ Wisconsin-Madison ហើយនៅលើពិភពលោកគាត់គឺជាបុរសដែលរួមជាមួយ Doug Lea បានបង្កើតក្បួនដោះស្រាយមិនទប់ស្កាត់និងជួរដែលធ្វើសមកាលកម្មដែលបណ្ណាល័យ Java ។ ការងារ។ គាត់បានទទួលរង្វាន់ Dijkstra របស់គាត់បីឆ្នាំបន្ទាប់ពី Herlihy សម្រាប់ការងាររបស់គាត់ "ក្បួនដោះស្រាយសម្រាប់ការធ្វើសមកាលកម្មដែលអាចធ្វើមាត្រដ្ឋានបាននៅលើឧបករណ៍ដំណើរការពហុអង្គចងចាំដែលបានចែករំលែក" (តាមការរំពឹងទុក។ នាងកុហកដោយបើកចំហ នៅក្នុងបណ្ណាល័យអនឡាញរបស់សាកលវិទ្យាល័យ Rochester) ។

នៅមានពេលច្រើនរហូតដល់ពាក់កណ្តាលខែកក្កដា។ យើង​នឹង​ប្រាប់​អ្នក​អំពី​វាគ្មិន​ដែល​នៅ​សេសសល់ និង​ប្រធាន​បទ​របស់​ពួក​គេ​នៅ​ពេល​ដែល​យើង​ធ្វើ​ការ​សម្រិតសម្រាំង​កម្មវិធី ហើយ​ខិត​ទៅ​ដល់​ខែកក្កដា។

ជាទូទៅសំណួរកើតឡើង - ហេតុអ្វីបានជាយើងធ្វើ Hydra នៅរដូវក្តៅ? យ៉ាងណាមិញនេះគឺជារដូវទាប ថ្ងៃឈប់សម្រាក។ បញ្ហាគឺថាក្នុងចំណោមវាគ្មិនមានគ្រូបង្រៀននៅសកលវិទ្យាល័យ ហើយពេលណាមួយទៀតគឺរវល់សម្រាប់ពួកគេ។ យើងមិនអាចជ្រើសរើសកាលបរិច្ឆេទផ្សេងទៀតបានទេ។

តំបន់ពិភាក្សា

នៅឯសន្និសីទផ្សេងទៀត វាកើតឡើងដែលវាគ្មិនអានអ្វីដែលគាត់ត្រូវការ ហើយចាកចេញភ្លាមៗ។ អ្នកចូលរួមមិនមានសូម្បីតែពេលរកមើលវា - បន្ទាប់ពីទាំងអស់ របាយការណ៍បន្ទាប់ចាប់ផ្តើមស្ទើរតែដោយគ្មានចន្លោះពេល។ នេះពិតជាឈឺចាប់ណាស់ ជាពិសេសប្រសិនបើមនុស្សសំខាន់ៗដូចជា Lamport, Herlihy និង Scott មានវត្តមាន ហើយអ្នកពិតជាទៅសន្និសីទដើម្បីជួបពួកគេ និងពិភាក្សាអ្វីមួយ។

យើងបានដោះស្រាយបញ្ហានេះ។ ភ្លាមៗបន្ទាប់ពីរបាយការណ៍របស់គាត់ វាគ្មិនទៅកាន់កន្លែងពិភាក្សាពិសេសមួយដែលបំពាក់ដោយយ៉ាងហោចណាស់ក្តារខៀនដែលមានសញ្ញាសម្គាល់ ហើយអ្នកមានពេលច្រើនណាស់។ ជាផ្លូវការ វាគ្មិនសន្យាថានឹងនៅទីនោះយ៉ាងហោចណាស់ក្នុងអំឡុងពេលសម្រាកទាំងមូលរវាងបទបង្ហាញ។ នៅក្នុងការពិត, តំបន់ពិភាក្សាទាំងនេះ អាច លាតសន្ធឹងរាប់ម៉ោងនៅចុងបញ្ចប់ (អាស្រ័យលើបំណងប្រាថ្នានិងការស៊ូទ្រាំរបស់អ្នកនិយាយ) ។

សម្រាប់ Lamport ប្រសិនបើខ្ញុំយល់ត្រឹមត្រូវ គាត់ចង់បញ្ចុះបញ្ចូលមនុស្សជាច្រើនតាមដែលអាចធ្វើទៅបាន។ TLA+ - នេះគឺជារឿងល្អ។ (អត្ថបទអំពី TLA+ នៅលើវិគីភីឌា) ប្រហែលជានេះជាឱកាសដ៏ល្អសម្រាប់វិស្វករដើម្បីរៀនអ្វីថ្មី និងមានប្រយោជន៍។ Leslie ផ្តល់ជម្រើសនេះ - អ្នកដែលចាប់អារម្មណ៍អាចមើលការបង្រៀនពីមុនរបស់គាត់ ហើយមកជាមួយសំណួរ។ នោះគឺជា ជំនួសឱ្យសុន្ទរកថាមួយ វាអាចមានវគ្គ Q&A ឯកទេស ហើយបន្ទាប់មកក៏ជាតំបន់ពិភាក្សាផងដែរ។ ខ្ញុំ​បាន​ធ្វើ​ការ​ហ្គូហ្គល​មួយ​ចំនួន ហើយ​បាន​រក​ឃើញ​មួយ​ដ៏​អស្ចារ្យ។ វគ្គសិក្សា TLA+ (មានឈ្មោះជាផ្លូវការ បញ្ជីចាក់នៅលើ YouTube) និងការបង្រៀនរយៈពេលមួយម៉ោង "ការគិតលើសពីក្រម" ពីកិច្ចប្រជុំកំពូលមហាវិទ្យាល័យ Microsoft ។

ប្រសិនបើអ្នកយល់ឃើញថាមនុស្សទាំងអស់នេះជាឈ្មោះដែលបោះនៅក្នុងថ្មក្រានីតពី Wikipedia និងនៅលើក្របសៀវភៅ វាដល់ពេលដែលត្រូវជួបពួកគេដោយផ្ទាល់ហើយ! ជជែក និងសួរសំណួរដែលទំព័រនៃអត្ថបទវិទ្យាសាស្ត្រនឹងមិនឆ្លើយ ប៉ុន្តែអ្នកនិពន្ធរបស់ពួកគេនឹងរីករាយក្នុងការទំនាក់ទំនង។

អំពាវនាវឱ្យមានឯកសារ

វាមិនមែនជារឿងអាថ៌កំបាំងទេដែលអ្នកជាច្រើនដែលកំពុងអានអត្ថបទនេះ មិនប្រកាន់ក្នុងការប្រាប់យើងនូវអ្វីដែលគួរឱ្យចាប់អារម្មណ៍នោះទេ។ តាមទស្សនៈវិស្វកម្មពីទស្សនៈវិទ្យាសាស្ត្រ - ពីទស្សនៈណាមួយ។ កុំព្យូទ័រចែកចាយគឺជាប្រធានបទដ៏ទូលំទូលាយ និងជ្រៅ ដែលមានកន្លែងសម្រាប់មនុស្សគ្រប់គ្នា។

ប្រសិនបើអ្នកចង់ប្រកួតប្រជែងជាមួយ Lamport វាអាចទៅរួចទាំងស្រុង។ ដើម្បីក្លាយជាអ្នកនិយាយ អ្នកត្រូវការ ធ្វើតាមតំណអានអ្វីៗទាំងអស់នៅទីនោះដោយប្រុងប្រយ័ត្ន ហើយធ្វើតាមការណែនាំ។

សូមប្រាកដថា នៅពេលដែលអ្នកចូលរួមក្នុងដំណើរការនេះ ពួកគេនឹងជួយអ្នក។ គណកម្មាធិការកម្មវិធីមានសមត្ថភាពគ្រប់គ្រាន់ដើម្បីជួយដល់របាយការណ៍ដោយខ្លួនឯង ខ្លឹមសារ និងការរចនារបស់វា។ អ្នកសម្របសម្រួលនឹងជួយអ្នកក្នុងការដោះស្រាយបញ្ហារបស់ស្ថាប័នជាដើម។

យកចិត្តទុកដាក់ជាពិសេសចំពោះរូបភាពជាមួយនឹងកាលបរិច្ឆេទ។ ខែកក្កដាគឺជាកាលបរិច្ឆេទឆ្ងាយសម្រាប់អ្នកចូលរួម ប៉ុន្តែអ្នកនិយាយត្រូវចាប់ផ្តើមសម្តែងឥឡូវនេះ។

សាលា SPTDC

សន្និសិទនឹងធ្វើឡើងនៅលើទីតាំងដូចគ្នាទៅនឹងសាលា SPTDC ដូច្នេះសម្រាប់អ្នកគ្រប់គ្នាដែលទិញសំបុត្រចូលសាលា សំបុត្រចូលទស្សនាសន្និសីទនឹងមាន។ ជាមួយនឹងការបញ្ចុះតំលៃ ៥០%.

សាលារដូវក្តៅស្តីពីការអនុវត្ត និងទ្រឹស្តីនៃការគណនាចែកចាយ (SPTDC) គឺជាសាលាដែលផ្តល់នូវវគ្គសិក្សាយ៉ាងទូលំទូលាយលើទិដ្ឋភាពជាក់ស្តែង និងទ្រឹស្តីនៃប្រព័ន្ធចែកចាយ ដែលបង្រៀនដោយអ្នកជំនាញដែលមានការទទួលស្គាល់ក្នុងវិស័យពាក់ព័ន្ធ។

សាលានឹងប្រារព្ធឡើងជាភាសាអង់គ្លេស ដូច្នេះនេះជាអ្វីដែលបញ្ជីប្រធានបទដែលគ្របដណ្តប់មើលទៅដូច៖

• រចនាសម្ព័ន្ធទិន្នន័យស្របគ្នា៖ ភាពត្រឹមត្រូវ និងប្រសិទ្ធភាព;
• ក្បួនដោះស្រាយសម្រាប់អង្គចងចាំដែលមិនងាយនឹងបង្កជាហេតុ;
• ការបែងចែកការគណនា;
• ការរៀនម៉ាស៊ីនចែកចាយ;
• ការចម្លងម៉ាស៊ីនរបស់រដ្ឋ និង Paxos;
• ការអត់ឱនកំហុស Byzantine;
• ក្បួនដោះស្រាយជាមូលដ្ឋាននៃ blockchains ។

វាគ្មិនខាងក្រោមនឹងនិយាយ៖

• Leslie Lamport (Microsoft);
• Maurice Herlihy (សាកលវិទ្យាល័យ Brown);
• Michael Scott (សាកលវិទ្យាល័យ Rochester);
• Dan Alistarh (IST អូទ្រីស);
• Trevor Brown (សាកលវិទ្យាល័យ Waterloo);
• Eli Gafni (UCLA);
• Danny Hendler (សាកលវិទ្យាល័យ Ben Gurion);
• Achour Mostefaoui (សាកលវិទ្យាល័យ Nantes) ។

បញ្ជីចាក់ អ្នកអាចមើលរបាយការណ៍របស់សាលាមុនដោយសេរីនៅលើ YouTube៖

ជំហាន​បន្ទាប់

កម្មវិធីសន្និសីទនៅតែត្រូវបានបង្កើតឡើង។ តាមដានព័ត៌មាននៅលើ Habre ឬនៅលើបណ្តាញសង្គម (fb, vk, Twitter).

ប្រសិនបើអ្នកពិតជាជឿជាក់លើសន្និសិទ (ឬចង់ទាញយកអត្ថប្រយោជន៍ពីតម្លៃពិសេសដែលហៅថា "Early Bird") អ្នកអាចចូលទៅកាន់គេហទំព័រ និង ទិញសំបុត្រ.

ជួបគ្នានៅ Hydra!

ប្រភព: www.habr.com