19 ក្បាល hydra ។ ទិដ្ឋភាពទូទៅដ៏អស្ចារ្យនៃកម្មវិធី

សន្និសីទមួយនឹងប្រព្រឹត្តទៅនៅថ្ងៃទី 11-12 ខែកក្កដា នៅ St Hydraឧទ្ទិសដល់ការអភិវឌ្ឍន៍ប្រព័ន្ធប៉ារ៉ាឡែល និងចែកចាយ។ ល្បិចរបស់ Hydra គឺថាវាបង្រួបបង្រួមអ្នកវិទ្យាសាស្ត្រត្រជាក់ (ដែលជាធម្មតាអាចរកបានតែនៅក្នុងសន្និសីទវិទ្យាសាស្ត្របរទេស) និងវិស្វករអនុវត្តដ៏ល្បីល្បាញចូលទៅក្នុងកម្មវិធីដ៏ធំមួយនៅចំនុចប្រសព្វនៃវិទ្យាសាស្ត្រ និងការអនុវត្ត។

Hydra គឺជាសន្និសីទដ៏សំខាន់បំផុតមួយរបស់យើងក្នុងរយៈពេលប៉ុន្មានឆ្នាំចុងក្រោយនេះ។ វាត្រូវបាននាំមុខដោយការរៀបចំយ៉ាងធ្ងន់ធ្ងរ ការជ្រើសរើសវាគ្មិន និងរបាយការណ៍។ សប្តាហ៍មុនអំពីរឿងនេះ បទសម្ភាសន៍របស់ habro បានចេញមក ជាមួយនាយក JUG.ru Group, Alexey Fedorov (២៣ ដឺរេវ៉ូ).

Мы បានប្រាប់រួចហើយ អំពីអ្នកចូលរួមសំខាន់ៗបីនាក់ ដែលជាស្ថាបនិកនៃទ្រឹស្តីនៃប្រព័ន្ធចែកចាយ - Leslie Lamport, Maurice Herlihy និង Michael Scott ។ ដល់ពេលនិយាយលម្អិតអំពីកម្មវិធីទាំងមូលហើយ!

ការលើកទឹកចិត្ត

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

មានសន្និសីទជាច្រើនដែលគ្របដណ្តប់ទិដ្ឋភាពផ្សេងៗនៃកម្មវិធីកម្មវិធី។ នៅផ្នែកម្ខាងទៀតនៃវិសាលគម យើងមានសាលាវិទ្យាសាស្ត្រឯកទេស ដែលបង្ហាញទ្រឹស្តីស្មុគ្រស្មាញយ៉ាងច្រើនក្នុងទម្រង់បង្រៀន។ ឧទាហរណ៍ស្របជាមួយ Hydra នៅ St. Petersburg មាន សាលា SPTDC. នៅក្នុងសន្និសិទ Hydra យើងបានព្យាយាមនាំមកនូវការអនុវត្តដ៏ឃោរឃៅ វិទ្យាសាស្ត្រ និងអ្វីៗគ្រប់យ៉ាងនៅចំនុចប្រសព្វរបស់ពួកគេ។

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

ម្យ៉ាងវិញទៀត ឱកាសដើម្បីជួបពួកគេជាធម្មតានៅតែជាទ្រឹស្តីសុទ្ធសាធ៖ យើងមួយចំនួនតូចអាចតាមដានព្រឹត្តិការណ៍សាធារណៈនៅសាកលវិទ្យាល័យ Rochester មួយចំនួន ហើយបន្ទាប់មកប្រញាប់ប្រញាល់ទៅសហរដ្ឋអាមេរិក ហើយត្រលប់មកវិញសម្រាប់ការបង្រៀនជាមួយ Michael Scott ។ ការទៅសួរសុខទុក្ខសមាជិក Hydra ទាំងអស់នឹងត្រូវចំណាយប្រាក់តិចតួច ដោយមិនរាប់បញ្ចូលពេលវេលាខ្ជះខ្ជាយ (ទោះបីជាវាស្តាប់ទៅដូចជាដំណើរស្វែងរកដ៏គួរឱ្យចាប់អារម្មណ៍ក៏ដោយ)។

ម្យ៉ាងវិញទៀត យើងមានវិស្វករកំពូលៗជាច្រើនដែលកំពុងធ្វើការលើបញ្ហាចុចនៅក្នុងប្រព័ន្ធចែកចាយឥឡូវនេះ ហើយពួកគេប្រាកដជាមានរឿងជាច្រើនដែលត្រូវប្រាប់។ ប៉ុន្តែនេះគឺជាបញ្ហា - ពួកគេ។ работаютហើយពេលវេលារបស់ពួកគេមានតម្លៃ។ បាទ/ចាស ប្រសិនបើអ្នកជាបុគ្គលិករបស់ Microsoft, Google ឬ JetBrains លទ្ធភាពនៃការជួបវាគ្មិនដ៏ល្បីល្បាញម្នាក់នៅក្នុងព្រឹត្តិការណ៍ផ្ទៃក្នុងកើនឡើងយ៉ាងខ្លាំង ប៉ុន្តែជាទូទៅ ទេ វាមិនមែនកើតឡើងជារៀងរាល់ថ្ងៃទេ។

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

អស់រយៈពេលជាយូរមកហើយបានកន្លងផុតទៅចាប់តាំងពីការប្រកាសដំបូងនៃសន្និសីទ Hydra នៅលើ Habre ។ ក្នុងអំឡុងពេលនេះ ការងារជាច្រើនត្រូវបានបញ្ចប់ ហើយឥឡូវនេះយើងមានបញ្ជីរបាយការណ៍ស្ទើរតែទាំងអស់។ គ្មាន​ក្បួន​ដោះស្រាយ​ខ្សែ​តែមួយ​យឺត​ទេ គ្រាន់​តែ​ជា​ចំណុច​រឹង​ដែល​ចែកចាយ​សុទ្ធ! ចូរបញ្ចប់ដោយពាក្យទូទៅ ហើយមើលអ្វីដែលយើងមាននៅលើដៃរបស់យើងឥឡូវនេះ។

សុន្ទរកថា

សុន្ទរកថាចាប់ផ្តើម និងបញ្ចប់ថ្ងៃនៃសន្និសីទ។ ជាធម្មតា ចំណុចនៃសុន្ទរកថាបើកគឺដើម្បីកំណត់ស្មារតីទូទៅ និងទិសដៅនៃសន្និសីទ។ សុន្ទរកថាបិទបញ្ចប់គូសបន្ទាត់មួយ ហើយពន្យល់ពីរបៀបដែលយើងអាចរស់នៅជាមួយចំណេះដឹង និងជំនាញដែលទទួលបានក្នុងអំឡុងសន្និសីទ។ ការ​ចាប់​ផ្តើ​ម​និង​ការ​បញ្ចប់​: អ្វី​ដែល​ត្រូវ​បាន​គេ​ចងចាំ​បាន​ល្អ​បំផុត​និង​ជា​ទូទៅ​មាន​ការ​កើន​ឡើង​សារៈសំខាន់​។

Cliff ចុច H2O បានចែកចាយ K/V algorithm

Cliff គឺជារឿងព្រេងមួយនៅក្នុងពិភព Java ។ នៅចុងទសវត្សរ៍ទី 90 សម្រាប់និក្ខេបបទថ្នាក់បណ្ឌិតរបស់គាត់ គាត់បានសរសេរក្រដាសមួយដែលមានចំណងជើង "ការរួមបញ្ចូលគ្នានៃការវិភាគ, ការរួមបញ្ចូលគ្នានៃការធ្វើឱ្យប្រសើរ"ដែលពេលខ្លះក្រោយមកបានក្លាយជាមូលដ្ឋានសម្រាប់ HotSpot JVM Server Compiler ។ ពីរឆ្នាំក្រោយមក គាត់បានធ្វើការនៅ Sun Microsystems នៅលើ JVM ហើយបានបង្ហាញពិភពលោកទាំងមូលថា JIT មានសិទ្ធិមាន។ រឿងទាំងមូលនេះអំពីរបៀបដែល Java គឺជាកម្មវិធីរត់ទំនើបបំផុតមួយដែលមានការបង្កើនប្រសិទ្ធភាពដ៏ឆ្លាតវៃ និងលឿនបំផុតបានមកពី Cliff Click ។ នៅដើមដំបូង វាត្រូវបានគេជឿថា ប្រសិនបើអ្វីមួយអាចចូលដំណើរការបាននៅក្នុងកម្មវិធីចងក្រងឋិតិវន្ត អ្នកមិនចាំបាច់ព្យាយាមបញ្ចូលវាទេ។ សូមអរគុណចំពោះការងាររបស់ Cliff និងក្រុមការងារ ភាសាថ្មីទាំងអស់បានចាប់ផ្តើមត្រូវបានបង្កើតឡើងជាមួយនឹងគំនិតនៃការចងក្រង JIT តាមលំនាំដើម។ ជាការពិតណាស់ នេះមិនមែនជាការងារសម្រាប់មនុស្សតែម្នាក់ទេ ប៉ុន្តែ Cliff បានដើរតួនាទីយ៉ាងសំខាន់នៅក្នុងវា។

នៅក្នុងសុន្ទរកថាបើក Cliff នឹងនិយាយអំពីការខិតខំផ្សេងទៀតរបស់គាត់ - H20ដែលជាវេទិកាក្នុងអង្គចងចាំសម្រាប់ការរៀនម៉ាស៊ីនដែលចែកចាយ និងអាចធ្វើមាត្រដ្ឋានបានសម្រាប់កម្មវិធីឧស្សាហកម្ម។ ឬច្បាស់ជាងនេះ អំពីការផ្ទុកដែលបានចែកចាយនៃគូតម្លៃគន្លឹះនៅក្នុងវា។ នេះ​គឺ​ជា​ការ​ផ្ទុក​លឿន​ណាស់​ដែល​មាន​លក្ខណៈ​សម្បត្តិ​គួរ​ឱ្យ​ចាប់​អារម្មណ៍​ជា​ច្រើន (បញ្ជី​ពិត​ប្រាកដ​គឺ​នៅ​ក្នុង​ ការពិពណ៌នា) ដែលអនុញ្ញាតឱ្យប្រើដំណោះស្រាយស្រដៀងគ្នានៅក្នុងគណិតវិទ្យានៃការស្ទ្រីមទិន្នន័យធំ។

របាយការណ៍មួយទៀតដែល Cliff នឹងផ្តល់ឱ្យគឺ - បទពិសោធន៍ប្រតិបត្តិការអង្គចងចាំផ្នែករឹង Azul. ផ្នែកមួយទៀតនៃជីវប្រវត្តិរបស់គាត់ - ដប់ឆ្នាំ ធ្វើការនៅ Azulដែលជាកន្លែងដែលគាត់បានធ្វើបច្ចុប្បន្នភាព និងកែលម្អអ្វីៗជាច្រើននៅក្នុងជង់ផ្នែករឹង និងបច្ចេកវិទ្យា Azul៖ កម្មវិធីចងក្រង JIT, ការរត់, គំរូខ្សែស្រឡាយ, ការដោះស្រាយកំហុស, ការគ្រប់គ្រងជង់, ការរំខានផ្នែករឹង, ការផ្ទុកថ្នាក់ និងអ្វីៗផ្សេងៗទៀត - ជាការប្រសើរណាស់, អ្នកទទួលបាន គំនិត។

ផ្នែកគួរឱ្យចាប់អារម្មណ៍បំផុតបានចាប់ផ្តើមនៅពេលដែលពួកគេបង្កើតផ្នែករឹងសម្រាប់អាជីវកម្មដ៏ធំមួយ - កុំព្យូទ័រទំនើបសម្រាប់ដំណើរការ Java ។ វាជារឿងច្នៃប្រឌិតថ្មី ដែលត្រូវបានកែសម្រួលជាពិសេសសម្រាប់ Java ដែលមានតម្រូវការពិសេស - អានរបាំងអង្គចងចាំសម្រាប់ការប្រមូលសំរាមដែលផ្អាករយៈពេលទាប អារេជាមួយការត្រួតពិនិត្យព្រំដែន ការហៅទូរសព្ទនិម្មិត... បច្ចេកវិទ្យាដ៏ត្រជាក់បំផុតមួយគឺអង្គចងចាំប្រតិបត្តិការផ្នែករឹង។ L1 ទាំងមូលនៃស្នូល 864 អាចចូលរួមក្នុងការសរសេរប្រតិបត្តិការ ដែលមានសារៈសំខាន់ជាពិសេសសម្រាប់ធ្វើការជាមួយសោនៅក្នុង Java (ប្លុកដែលបានធ្វើសមកាលកម្មអាចដំណើរការស្របគ្នាបាន ដរាបណាមិនមានការប៉ះទង្គិចនៃការចងចាំពិតប្រាកដ)។ ប៉ុន្តែគំនិតដ៏ស្រស់ស្អាតត្រូវបានកំទេចដោយការពិតដ៏អាក្រក់ - ហើយនៅក្នុងសុន្ទរកថានេះ Cliff នឹងប្រាប់អ្នកពីមូលហេតុដែល HTM និង STM មិនសមនឹងតម្រូវការជាក់ស្តែងនៃកុំព្យូទ័រពហុខ្សែ។

លោក Michael Scott - រចនាសម្ព័ន្ធទិន្នន័យពីរ

លោក Michael Scott - សាស្រ្តាចារ្យវិទ្យាសាស្ត្រកុំព្យូទ័រនៅសាកលវិទ្យាល័យ Rochester ដែលជោគវាសនាបានភ្ជាប់គាត់ 34 ឆ្នាំរួចទៅហើយហើយនៅឯផ្ទះរបស់គាត់នៅសាកលវិទ្យាល័យ Wisconsin-Madison គាត់គឺជាព្រឹទ្ធបុរសអស់រយៈពេលប្រាំឆ្នាំ។ គាត់ស្រាវជ្រាវ និងបង្រៀនសិស្សអំពីកម្មវិធីប៉ារ៉ាឡែល និងចែកចាយ និងការរចនាភាសា។

ពិភពលោកទាំងមូលស្គាល់ Michael អរគុណចំពោះសៀវភៅសិក្សា "ភាសាសរសេរកម្មវិធី"ការបោះពុម្ពចុងក្រោយបង្អស់ដែលត្រូវបានបោះពុម្ពថ្មីៗនេះ - ក្នុងឆ្នាំ 2015 ។ ការងារ​របស់​គាត់ "ក្បួនដោះស្រាយសម្រាប់ការធ្វើសមកាលកម្មដែលអាចធ្វើមាត្រដ្ឋានបាននៅលើឧបករណ៍ដំណើរការពហុមេម៉ូរីដែលបានចែករំលែក" បានទទួល រង្វាន់ Dijkstra ក្នុងនាមជាអ្នកល្បីល្បាញបំផុតមួយនៅក្នុងវិស័យកុំព្យូទ័រចែកចាយ និង កុហកដោយបើកចំហ នៅ University of Rochester Online Library។ អ្នកក៏អាចស្គាល់គាត់ថាជាអ្នកនិពន្ធនៃក្បួនដោះស្រាយ Michael-Scott ពី "សាមញ្ញ លឿន និងជាក់ស្តែង មិនទប់ស្កាត់ និងរារាំងក្បួនដោះស្រាយជួរស្របគ្នា".

សម្រាប់ពិភពលោក Java នេះគឺជាករណីពិសេសមួយ៖ រួមគ្នាជាមួយ Doug Lea គាត់បានបង្កើតក្បួនដោះស្រាយមិនទប់ស្កាត់ និងជួរធ្វើសមកាលកម្មដែលបណ្ណាល័យ Java ដំណើរការ។ នេះគឺជាអ្វីដែលសុន្ទរកថាគន្លឹះ "រចនាសម្ព័ន្ធទិន្នន័យពីរ" នឹងនិយាយអំពី - ការណែនាំនៃរចនាសម្ព័ន្ធទាំងនេះនៅក្នុង Java SE 6 បានធ្វើឱ្យប្រសើរឡើងនូវការអនុវត្ត 10 ដង។ java.util.concurrent.ThreadPoolExecutor. ប្រសិនបើអ្នកឆ្ងល់ជាមុនថាតើ "រចនាសម្ព័ន្ធទិន្នន័យពីរ" ទាំងនេះជាអ្វីនោះមានព័ត៌មានអំពីវា។ ការងារពាក់ព័ន្ធ.

Maurice Herlihy - Blockchains និងអនាគតនៃការគណនាចែកចាយ

Maurice Herlihy - អ្នកឈ្នះរង្វាន់ Dijkstra ចំនួនពីរ។ ទីមួយគឺសម្រាប់ការងារ "ធ្វើសមកាលកម្មរង់ចាំដោយឥតគិតថ្លៃ" (សាកលវិទ្យាល័យប្រោន) និងទីពីរ ថ្មីៗនេះ - "អង្គចងចាំប្រតិបត្តិការ៖ ការគាំទ្រស្ថាបត្យកម្មសម្រាប់រចនាសម្ព័ន្ធទិន្នន័យដោយមិនចាក់សោ" (សាកលវិទ្យាល័យ Virginia Tech) ។ ពានរង្វាន់ Dijkstra ទទួលស្គាល់ការងារដែលសារៈសំខាន់ និងផលប៉ះពាល់ត្រូវបានគេមើលឃើញយ៉ាងហោចណាស់ដប់ឆ្នាំ ហើយ Maurice គឺជាអ្នកជំនាញដ៏ល្បីម្នាក់ក្នុងវិស័យនេះ។ បច្ចុប្បន្នគាត់ធ្វើការជាសាស្រ្តាចារ្យនៅសាកលវិទ្យាល័យប្រោន ហើយមានបញ្ជីសមិទ្ធិផលជាច្រើនកថាខណ្ឌ។

នៅក្នុងសុន្ទរកថាបិទនេះ លោក Maurice នឹងនិយាយអំពីទ្រឹស្ដី និងការអនុវត្តនៃប្រព័ន្ធចែកចាយ blockchain ពីចំណុចនៃទិដ្ឋភាពនៃបុរាណនៃការគណនាចែកចាយ និងរបៀបដែលវាសម្រួលដល់បញ្ហាពាក់ព័ន្ធជាច្រើន។ នេះគឺជារបាយការណ៍ទាំងស្រុងលើប្រធានបទនៃសន្និសិទនេះ មិនមែននិយាយអំពីការបំផ្លើសការជីកយករ៉ែនោះទេ ប៉ុន្តែជាជាងអំពីរបៀបដែលចំណេះដឹងរបស់យើងអាចប្រើប្រាស់យ៉ាងអស្ចារ្យប្រកបដោយប្រសិទ្ធភាព និងសមស្របទាក់ទងនឹងកិច្ចការផ្សេងៗ។

នៅខែកក្កដាឆ្នាំ 2017 Maurice បានមកប្រទេសរុស្ស៊ីរួចហើយដើម្បីចូលរៀននៅសាលា SPTDC បានចូលរួមក្នុងការប្រជុំ JUG.ru ហើយការថតអាចមើលបាននៅលើ YouTube៖

កម្មវិធីចម្បង

បន្ទាប់​មក​នឹង​មាន​ទិដ្ឋភាព​សង្ខេប​នៃ​របាយការណ៍​ដែល​បាន​បញ្ចូល​ក្នុង​កម្មវិធី។ របាយការណ៍ខ្លះត្រូវបានពិពណ៌នានៅទីនេះយ៉ាងលម្អិត ខ្លះទៀតដោយសង្ខេប។ ការ​ពិពណ៌នា​វែង​ឆ្ងាយ​បាន​ទៅ​លើ​របាយការណ៍​ជា​ភាសា​អង់គ្លេស​ជា​ចម្បង​ដែល​តម្រូវ​ឱ្យ​មាន​តំណ​ទៅ​កាន់​ឯកសារ​វិទ្យាសាស្ត្រ ពាក្យ​នៅ​លើ​វិគីភីឌា ជាដើម។ បញ្ជីពេញលេញអាចរកបាន សូមមើលនៅលើគេហទំព័រសន្និសីទ. បញ្ជីនៅលើគេហទំព័រនឹងត្រូវបានធ្វើបច្ចុប្បន្នភាព និងបំពេញបន្ថែម។

Leslie Lamport - សំណួរនិងចម្លើយ

Leslie Lamport គឺជាអ្នកនិពន្ធនៃការងារ seminal នៅក្នុងកុំព្យូទ័រចែកចាយ។ "LaTeX" តំណាងឱ្យ "Lamport TeX" ។ វាគឺជាគាត់ដែលជាលើកដំបូងត្រឡប់មកវិញនៅឆ្នាំ 1979 ណែនាំគំនិតនេះ។ ភាពជាប់លាប់តាមលំដាប់លំដោយនិងអត្ថបទរបស់គាត់។ "របៀបបង្កើត Multiprocessor Computer ដែលដំណើរការកម្មវិធី Multiprocess បានត្រឹមត្រូវ" បានទទួលរង្វាន់ Dijkstra ។

នេះគឺជាផ្នែកមិនធម្មតាបំផុតនៃកម្មវិធីនៅក្នុងទម្រង់ ព្រោះវាមិនមែនជារបាយការណ៍មួយ ប៉ុន្តែជាវគ្គសំណួរ និងចម្លើយ។ នៅពេលដែលផ្នែកសំខាន់នៃទស្សនិកជនស្គាល់រួចហើយ (ឬអាចស៊ាំ) ជាមួយនឹងការងារគ្រប់ប្រភេទដោយផ្អែកលើ "ទ្រឹស្តីរបស់ Lamport" អត្ថបទ និងរបាយការណ៍ផ្ទាល់ខ្លួនរបស់គាត់ វាមានសារៈសំខាន់ជាងក្នុងការចំណាយពេលវេលាដែលមានទាំងអស់លើការទំនាក់ទំនងដោយផ្ទាល់។

គំនិតនេះគឺសាមញ្ញ - អ្នកមើលរបាយការណ៍ពីរនៅលើ YouTube៖ "ការសរសេរកម្មវិធីគួរតែច្រើនជាងការសរសេរកូដ" и "ប្រសិនបើអ្នកមិនសរសេរកម្មវិធី កុំប្រើភាសាសរសេរកម្មវិធី" ហើយរៀបចំយ៉ាងហោចណាស់សំណួរមួយ ហើយ Leslie ឆ្លើយ។

វីដេអូដំបូងក្នុងចំណោមវីដេអូទាំងពីរនេះ យើងមានរួចហើយ ប្រែទៅជាអត្ថបទ habro. ប្រសិនបើអ្នកមិនមានពេលមួយម៉ោងដើម្បីមើលវីដេអូនោះ អ្នកអាចអានវាយ៉ាងឆាប់រហ័សជាទម្រង់អត្ថបទ។

ចំណាំ៖ មានវីដេអូ Leslie Lamport ជាច្រើនទៀតនៅលើ YouTube ។ ជាឧទាហរណ៍មានដ៏អស្ចារ្យមួយ។ វគ្គសិក្សា TLA+. កំណែក្រៅបណ្តាញនៃវគ្គសិក្សាទាំងមូលនេះមាននៅ ទំព័រដើមរបស់អ្នកនិពន្ធហើយគាត់បានបង្ហោះវាទៅក្នុង YouTube ដើម្បីងាយស្រួលមើលនៅលើឧបករណ៍ចល័ត។

Martin Kleppmann - ធ្វើសមកាលកម្មទិន្នន័យនៅលើឧបករណ៍អ្នកប្រើប្រាស់សម្រាប់ការសហការចែកចាយ

Martin Kleppmann គឺជាអ្នកស្រាវជ្រាវនៅសាកលវិទ្យាល័យ Cambridge ដែលធ្វើការលើ CRDT និងការផ្ទៀងផ្ទាត់ជាផ្លូវការនៃក្បួនដោះស្រាយ។ សៀវភៅរបស់ម៉ាទីន "ការរចនាកម្មវិធីដែលពឹងផ្អែកខ្លាំងលើទិន្នន័យ"ដែលបានបោះពុម្ពក្នុងឆ្នាំ 2017 បានបង្ហាញថាទទួលបានជោគជ័យយ៉ាងខ្លាំង ហើយបានបញ្ចូលទៅក្នុងបញ្ជីលក់ដាច់បំផុតក្នុងវិស័យផ្ទុកទិន្នន័យ និងដំណើរការ។ Kevin Scott, CTO នៅ Microsoft, បាននិយាយម្តង៖ “សៀវភៅនេះគួរមានសម្រាប់វិស្វករកម្មវិធី។ នេះ​ជា​ធនធាន​កម្រ​ដែល​រួម​បញ្ចូល​ទាំង​ទ្រឹស្ដី និង​ការ​អនុវត្ត​ដើម្បី​ជួយ​អ្នក​អភិវឌ្ឍន៍​ឱ្យ​ឆ្លាត​ជាង​មុន​ក្នុង​ការ​រចនា និង​អនុវត្ត​ហេដ្ឋារចនាសម្ព័ន្ធ និង​ប្រព័ន្ធ​ទិន្នន័យ»។ អ្នកបង្កើត Kafka និង CTO នៃ Confluent លោក Jay Kreps បាននិយាយស្រដៀងគ្នា។

មុននឹងឈានទៅដល់ការស្រាវជ្រាវសិក្សា លោក Martin បានធ្វើការនៅក្នុងឧស្សាហកម្ម ហើយបានសហការបង្កើតការចាប់ផ្តើមអាជីវកម្មជោគជ័យចំនួនពីរ៖

• រាយការណ៍ដោយឧទ្ទិសដល់ការបង្ហាញទម្រង់សង្គមនៃទំនាក់ទំនងពីអ៊ីមែលរបស់អ្នកដែល LinkedIn បានទិញក្នុងឆ្នាំ 2012;
• Go Test It ជាសេវាកម្មសម្រាប់សាកល្បងដោយស្វ័យប្រវត្តិនូវគេហទំព័រនៅក្នុងកម្មវិធីរុករកផ្សេងៗ ដែល RedGate បានទិញក្នុងឆ្នាំ ២០០៩។

ជាទូទៅ ម៉ាទីន ថ្វីត្បិតតែមិនសូវល្បីល្បាញជាងសុន្ទរកថារបស់យើងក៏ដោយ ក៏គាត់អាចចូលរួមចំណែកខ្លះក្នុងការអភិវឌ្ឍន៍កុំព្យូទ័រចែកចាយ និងឧស្សាហកម្មផងដែរ។

នៅក្នុងសុន្ទរកថានេះ Martin នឹងនិយាយអំពីប្រធានបទមួយដែលកាន់តែខិតជិតទៅនឹងការស្រាវជ្រាវសិក្សារបស់គាត់។ នៅក្នុង Google Docs និងសាឡុងកែសម្រួលឯកសារស្រដៀងគ្នា "ការកែសម្រួលរួមគ្នា" សំដៅលើកិច្ចការចម្លងមួយ៖ អ្នកប្រើប្រាស់ម្នាក់ៗមានឯកសារចម្លងផ្ទាល់ខ្លួនរបស់ពួកគេ ដែលបន្ទាប់មកពួកគេកែប្រែ ហើយការផ្លាស់ប្តូរទាំងអស់ត្រូវបានផ្ញើឆ្លងកាត់បណ្តាញទៅកន្លែងដែលនៅសល់។ អ្នកចូលរួម។ ការផ្លាស់ប្តូរឯកសារក្រៅបណ្តាញនាំឱ្យមានភាពមិនស៊ីសង្វាក់គ្នាបណ្តោះអាសន្ននៃឯកសារទាក់ទងនឹងអ្នកចូលរួមផ្សេងទៀត ហើយការធ្វើសមកាលកម្មឡើងវិញតម្រូវឱ្យមានការដោះស្រាយជម្លោះ។ នោះហើយជាអ្វីដែលពួកគេមានសម្រាប់ ប្រភេទទិន្នន័យចម្លងដោយគ្មានជម្លោះ (CRDT) ជាការពិត គឺជារឿងថ្មីគួរសម ដែលជាខ្លឹមសារនៃការបង្កើតតែនៅក្នុងឆ្នាំ 2011 ប៉ុណ្ណោះ។ ការពិភាក្សានេះពិភាក្សាអំពីអ្វីដែលបានកើតឡើងចាប់តាំងពីពេលនោះមកនៅក្នុងពិភពនៃ CRDT ភាពជឿនលឿនចុងក្រោយបង្អស់គឺ វិធីសាស្រ្តក្នុងការបង្កើតកម្មវិធីដំបូងក្នុងស្រុកជាទូទៅ និងការប្រើប្រាស់បណ្ណាល័យប្រភពបើកចំហ។ ស្វ័យប្រវត្តិ ជាពិសេស។

នៅសប្តាហ៍ក្រោយយើងនឹងផ្សាយបទសម្ភាសន៍ដ៏វែងមួយជាមួយ Martin នៅលើ Habre វានឹងគួរឱ្យចាប់អារម្មណ៍។

Pedro Ramalhete - រចនាសម្ព័ន្ធទិន្នន័យដោយមិនរង់ចាំ និងប្រតិបត្តិការដោយមិនរង់ចាំ

Pedro ធ្វើការនៅ Cisco ហើយបាននិងកំពុងបង្កើតក្បួនដោះស្រាយស្របគ្នាសម្រាប់រយៈពេលដប់ឆ្នាំចុងក្រោយនេះ រួមទាំងយន្តការធ្វើសមកាលកម្ម រចនាសម្ព័ន្ធទិន្នន័យដែលមិនមានការចាក់សោ និងការរង់ចាំដោយឥតគិតថ្លៃ និងអ្វីគ្រប់យ៉ាងដែលអ្នកអាចស្រមៃលើប្រធានបទនេះ។ ចំណាប់អារម្មណ៍នៃការស្រាវជ្រាវ និងវិស្វកម្មបច្ចុប្បន្នរបស់គាត់ផ្តោតលើ Universal Constructions, Software Transactional Memory, Persistent Memory និងបច្ចេកវិទ្យាស្រដៀងគ្នាដែលបើកដំណើរការកម្មវិធីត្រឹមត្រូវ ធ្វើមាត្រដ្ឋាន និងអត់ឱនកំហុស។ គាត់​ក៏​ជា​អ្នក​និពន្ធ​ប្លុក​ដែល​គេ​ស្គាល់​យ៉ាង​ទូលំទូលាយ​ក្នុង​រង្វង់​តូច​ចង្អៀត ភាពខុសឆ្គងស្របគ្នា។.

កម្មវិធីច្រើនខ្សែភាគច្រើនឥឡូវនេះដំណើរការលើរចនាសម្ព័ន្ធទិន្នន័យប៉ារ៉ាឡែលចាប់ពីការប្រើប្រាស់ជួរសាររវាងតួអង្គរហូតដល់រចនាសម្ព័ន្ធទិន្នន័យដែលបានធ្វើលិបិក្រមនៅក្នុងឃ្លាំងតម្លៃ។ ពួកគេបានធ្វើការដោយជោគជ័យនៅក្នុង Java JDK អស់រយៈពេលជាច្រើនឆ្នាំ ហើយពួកគេត្រូវបានបន្ថែមបន្តិចម្តងៗទៅក្នុង C++ ។

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

តើយើងអាចបង្កើតវាដោយរបៀបណា ទើបសូម្បីតែអ្នកមិនមែនជាអ្នកជំនាញក៏អាចរចនា និងអនុវត្តរចនាសម្ព័ន្ធទិន្នន័យបែបនេះបាន? វាត្រូវបានគេដឹងថាក្បួនដោះស្រាយបន្តបន្ទាប់ណាមួយអាចត្រូវបានធ្វើឱ្យខ្សែស្រឡាយមានសុវត្ថិភាពដោយប្រើទាំង ការរចនាជាសកលឬអង្គចងចាំប្រតិបត្តិការ។ សម្រាប់រឿងមួយ ពួកគេអាចបន្ថយឧបសគ្គក្នុងការចូលទៅដោះស្រាយបញ្ហានេះ។ ទោះជាយ៉ាងណាក៏ដោយ ដំណោះស្រាយទាំងពីរជាធម្មតានាំទៅរកការអនុវត្តគ្មានប្រសិទ្ធភាព។ Pedro នឹងនិយាយអំពីរបៀបដែលពួកគេបានគ្រប់គ្រងដើម្បីធ្វើឱ្យការរចនាទាំងនេះកាន់តែមានប្រសិទ្ធភាព និងរបៀបដែលអ្នកអាចប្រើពួកវាសម្រាប់ក្បួនដោះស្រាយរបស់អ្នក។

Heidi Howard - ការរំដោះការយល់ស្របដែលបានចែកចាយ

Heidi Howard គឺដូចជា Martin ដែលជាអ្នកស្រាវជ្រាវប្រព័ន្ធចែកចាយនៅសាកលវិទ្យាល័យ Cambridge ។ ឯកទេសរបស់នាងគឺ ភាពជាប់លាប់ ការអត់ឱនចំពោះកំហុស ការសម្តែង និងការយល់ស្របដែលបានចែកចាយ។ នាងត្រូវបានគេស្គាល់ថាល្អបំផុតសម្រាប់ការធ្វើឱ្យទូទៅរបស់នាងនៃក្បួនដោះស្រាយ Paxos ហៅថា Paxos អាចបត់បែនបាន។.

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

សមត្ថភាពក្នុងការស្វែងរកការឯកភាពគ្នាក្នុងចំណោមម៉ាស៊ីនជាច្រើន - សម្រាប់ការដោះស្រាយ ការបោះឆ្នោតមេដឹកនាំ ការទប់ស្កាត់ ឬការសម្របសម្រួល - គឺជាបញ្ហាជាមូលដ្ឋាននៅក្នុងប្រព័ន្ធចែកចាយទំនើប។ ឥឡូវនេះ Paxos គឺជាមធ្យោបាយចម្បងក្នុងការដោះស្រាយបញ្ហាការយល់ស្រប ហើយមានការស្រាវជ្រាវជាច្រើនកំពុងបន្តជុំវិញវា ដើម្បីពង្រីក និងបង្កើនប្រសិទ្ធភាពក្បួនដោះស្រាយសម្រាប់តម្រូវការជាក់ស្តែងផ្សេងៗ។

នៅក្នុងការពិភាក្សានេះ យើងនឹងពិនិត្យមើលឡើងវិញនូវមូលដ្ឋានទ្រឹស្តីរបស់ Paxos ដោយបន្ធូរបន្ថយតម្រូវការដើម និងធ្វើឱ្យទូទៅនៃក្បួនដោះស្រាយ។ យើងនឹងឃើញថា Paxos គឺជាជម្រើសដ៏សំខាន់មួយក្នុងចំនោមវិធីសាស្រ្តរួមដ៏ច្រើន ហើយចំនុចផ្សេងទៀតនៅលើវិសាលគមក៏មានប្រយោជន៍ខ្លាំងណាស់សម្រាប់ការកសាងប្រព័ន្ធចែកចាយដ៏ល្អផងដែរ។

Alex Petrov - កាត់បន្ថយការចំណាយលើការផ្ទុករបស់អ្នកជាមួយនឹងការចម្លងបណ្តោះអាសន្ន និងកូរ៉ុមថោក

Alex គឺជាអ្នកជំនាញផ្នែកប្រព័ន្ធទិន្នន័យ និងប្រព័ន្ធផ្ទុក ហើយសំខាន់ជាងនេះទៅទៀតសម្រាប់ពួកយើង ដែលជាអ្នកចាត់ចែងនៅក្នុង Cassandra. បច្ចុប្បន្នគាត់កំពុងធ្វើការលើសៀវភៅមួយឈ្មោះថា Database Internals ជាមួយ O'Reilly ។

សម្រាប់ប្រព័ន្ធជាមួយ ភាពស្ថិតស្ថេរជាយថាហេតុ (នៅក្នុងវាក្យស័ព្ទភាសារុស្សី - "ភាពស្ថិតស្ថេរចុងក្រោយ") បន្ទាប់ពីថ្នាំងគាំង ឬការបំបែកបណ្តាញ អ្នកត្រូវដោះស្រាយបញ្ហាដូចខាងក្រោម៖ ទាំងបន្តអនុវត្តសំណើ លះបង់ភាពស្ថិតស្ថេរ ឬបដិសេធមិនប្រតិបត្តិ និងលះបង់ភាពអាចរកបាន។ នៅក្នុងប្រព័ន្ធបែបនេះ កូរ៉ុម សំណុំរងនៃការត្រួតស៊ីគ្នានៃថ្នាំង និងធានាថាយ៉ាងហោចណាស់ថ្នាំងមួយមានតម្លៃចុងក្រោយបំផុត អាចជាដំណោះស្រាយដ៏ល្អមួយ។ អ្នកអាចរួចផុតពីការបរាជ័យ និងការបាត់បង់ការតភ្ជាប់ទៅថ្នាំងមួយចំនួន ខណៈពេលដែលនៅតែឆ្លើយតបជាមួយនឹងតម្លៃចុងក្រោយបំផុត។

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

ក្នុងអំឡុងពេលនៃរបាយការណ៍ យើងនឹងពិចារណា សាក្សីចម្លង, គ្រោងការណ៍ចម្លងដែលបានប្រើនៅក្នុង ស្ពេនន័រ и មេហ្គាដ្យូសនិងការអនុវត្តនៃគំនិតនេះនៅក្នុង Apache Cassandra បានហៅ ការចម្លងបណ្តោះអាសន្ន និងកូរ៉ុមថោក.

Dmitry Vyukov - Goroutines លាតត្រដាង

Dmitry គឺជាអ្នកអភិវឌ្ឍន៍នៅ Google ដែលធ្វើការលើការធ្វើតេស្តថាមវន្តសម្រាប់ C/C++ និង Go - Address/Memory/ThreadSanitizer និងឧបករណ៍ស្រដៀងគ្នាសម្រាប់ខឺណែលលីនុច។ បានរួមចំណែកដល់ Go កម្មវិធីកំណត់ពេលវេលា goroutine ដែលអាចធ្វើមាត្រដ្ឋានបាន បណ្តាញស្ទង់មតិ និងឧបករណ៍ប្រមូលសំរាមស្របគ្នា។ គាត់គឺជាអ្នកជំនាញខាង multithreading ដែលជាអ្នកនិពន្ធនៃក្បួនដោះស្រាយមិនទប់ស្កាត់ថ្មីរាប់សិប និងជាម្ចាស់នៃ ខ្សែក្រវាត់​ខ្មៅ Intel ។

ឥឡូវនេះបន្តិចអំពីរបាយការណ៍ខ្លួនឯង។ ភាសា Go មានការគាំទ្រដើមសម្រាប់ multithreading ក្នុងទម្រង់ goroutines (light threads) និង channels (FIFO queues)។ យន្តការទាំងនេះធ្វើឱ្យវាមានភាពងាយស្រួល និងរីករាយសម្រាប់អ្នកប្រើប្រាស់ក្នុងការសរសេរកម្មវិធីពហុខ្សែស្រឡាយទំនើប ហើយវាមើលទៅដូចជាវេទមន្ត។ ដូចដែលយើងយល់ វាមិនមានវេទមន្តនៅទីនេះទេ។ នៅក្នុងសុន្ទរកថានេះ លោក Dmitry នឹងស្វែងយល់ពីភាពស្មុគ្រស្មាញរបស់អ្នករៀបចំកម្មវិធី Go និងបង្ហាញពីអាថ៌កំបាំងនៃការអនុវត្ត "វេទមន្ត" នេះ។ ដំបូងគាត់នឹងផ្តល់ទិដ្ឋភាពទូទៅនៃសមាសធាតុសំខាន់ៗនៃកម្មវិធីកំណត់ពេលហើយប្រាប់អ្នកពីរបៀបដែលវាដំណើរការ។ បន្ទាប់មក យើងនឹងពិនិត្យមើលឱ្យកាន់តែដិតដល់លើទិដ្ឋភាពនីមួយៗ ដូចជាយុទ្ធសាស្ត្រចត/ឈប់ចត និងការគ្រប់គ្រងការហៅតាមប្រព័ន្ធទប់ស្កាត់។ ជាចុងក្រោយ Dmitry នឹងនិយាយបន្តិចបន្តួចអំពីការកែលម្អដែលអាចកើតមានចំពោះអ្នកកំណត់ពេល។

Dmitry Bugaichenko - បង្កើនល្បឿនការវិភាគក្រាហ្វជាមួយនឹងការបង្ហាញប្រភេទរូបភាពដែលទំនង និងច្រើនទៀត

Dmitry បានធ្វើការនៅផ្នែកខាងក្រៅអស់រយៈពេលជិត 9 ឆ្នាំដោយមិនបាត់បង់ទំនាក់ទំនងជាមួយសាកលវិទ្យាល័យ និងសហគមន៍វិទ្យាសាស្ត្រ។ ការវិភាគទិន្នន័យធំនៅក្នុង Odnoklassniki បានក្លាយជាឱកាសតែមួយគត់សម្រាប់គាត់ក្នុងការរួមបញ្ចូលការបណ្តុះបណ្តាលទ្រឹស្តី និងមូលដ្ឋានគ្រឹះវិទ្យាសាស្ត្រ ជាមួយនឹងការអភិវឌ្ឍន៍ផលិតផលពិតប្រាកដតាមតម្រូវការ។

ការវិភាគក្រាហ្វដែលបានចែកចាយបាន និងនៅតែជាកិច្ចការដ៏លំបាកមួយ៖ នៅពេលដែលវាចាំបាច់ដើម្បីទទួលបានព័ត៌មានអំពីការតភ្ជាប់នៃចំនុចជិតខាង ទិន្នន័យជារឿយៗត្រូវផ្ទេររវាងម៉ាស៊ីន ដែលនាំឱ្យបង្កើនពេលវេលាប្រតិបត្តិ និងផ្ទុកលើហេដ្ឋារចនាសម្ព័ន្ធបណ្តាញ។ នៅក្នុងសុន្ទរកថានេះ យើងនឹងឃើញពីរបៀបដែលអ្នកអាចទទួលបានល្បឿនដំណើរការសំខាន់ៗ ដោយប្រើរចនាសម្ព័ន្ធទិន្នន័យ ឬការពិតដូចជាស៊ីមេទ្រីនៃក្រាហ្វមិត្តភាពនៅក្នុងបណ្តាញសង្គម។ ទាំងអស់នេះត្រូវបានបង្ហាញជាមួយនឹងឧទាហរណ៍កូដនៅក្នុង Apache Spark ។

Denis Rystsov - កាត់បន្ថយការចំណាយលើការផ្ទុករបស់អ្នកជាមួយនឹងការចម្លងបណ្តោះអាសន្ន និងកូរ៉ុមថោក

Denis - អ្នកអភិវឌ្ឍន៍ Cosmos DBអ្នកជំនាញក្នុងការពិនិត្យមើលគំរូភាពស៊ីសង្វាក់គ្នា ក្បួនដោះស្រាយការយល់ស្រប និងប្រតិបត្តិការចែកចាយ។ បច្ចុប្បន្នគាត់ធ្វើការនៅ Microsoft ហើយមុននោះគាត់បានធ្វើការលើប្រព័ន្ធចែកចាយនៅ Amazon និង Yandex ។

នៅក្នុងសុន្ទរកថានេះ យើងនឹងពិនិត្យមើលពិធីការប្រតិបត្តិការចែកចាយដែលត្រូវបានបង្កើតក្នុងរយៈពេលប៉ុន្មានឆ្នាំចុងក្រោយនេះ ដែលអាចត្រូវបានអនុវត្តនៅលើផ្នែកអតិថិជននៅលើកំពូលនៃឃ្លាំងទិន្នន័យណាមួយដែលគាំទ្រការធ្វើបច្ចុប្បន្នភាពតាមលក្ខខណ្ឌ (ប្រៀបធៀប និងកំណត់)។ ចំណុចសំខាន់គឺថាជីវិតមិនបញ្ចប់ដោយការប្តេជ្ញាចិត្តពីរដំណាក់កាលទេ ប្រតិបត្តិការអាចត្រូវបានបន្ថែមពីលើមូលដ្ឋានទិន្នន័យណាមួយ - នៅកម្រិតកម្មវិធី ប៉ុន្តែពិធីការផ្សេងគ្នា (2PC, Percolator, RAMP) មានការជួញដូរខុសៗគ្នា ហើយមិនត្រូវបានផ្តល់ឱ្យយើងទេ។ ដោយ​ឥតគិតថ្លៃ។

Alexey Zinoviev - មិនមែនគ្រប់ ML algorithms បង្កើតវាទៅឋានសួគ៌ទេ

Alexei (zaleslaw) គឺជាវាគ្មិនយូរមកហើយ និងជាសមាជិកនៃគណៈកម្មាធិការកម្មវិធីនៅក្នុងសន្និសីទផ្សេងៗ។ ហ្វឹកហាត់នៅ EPAM Systems និងធ្លាប់ជាមិត្តជាមួយ Hadoop/Spark និងទិន្នន័យធំផ្សេងទៀតតាំងពីឆ្នាំ 2012។

នៅក្នុងសុន្ទរកថានេះ លោក Alexey នឹងនិយាយអំពីបញ្ហានៃការសម្របតាមក្បួនដោះស្រាយការរៀនម៉ាស៊ីនបុរាណសម្រាប់ការប្រតិបត្តិក្នុងរបៀបចែកចាយដោយផ្អែកលើបទពិសោធន៍របស់គាត់ដែលធ្វើការជាមួយ Apache Spark ML, Apache Mahout, Apache Flink ML និងបទពិសោធន៍នៃការបង្កើត Apache Ignite ML ។ Alexey ក៏នឹងនិយាយអំពីការអនុវត្តក្បួនដោះស្រាយ ML ដែលបានចែកចាយនៅក្នុងក្របខ័ណ្ឌទាំងនេះផងដែរ។

ហើយទីបំផុតរបាយការណ៍ពីរពី Yandex អំពីមូលដ្ឋានទិន្នន័យ Yandex ។

Vladislav Kuznetsov - មូលដ្ឋានទិន្នន័យ Yandex - របៀបដែលយើងធានាការអត់ធ្មត់កំហុស

Vladislav គឺជាអ្នកអភិវឌ្ឍន៍នៅ Yandex នៅក្នុងក្រុមវេទិកាចែកចាយ។ មូលដ្ឋានទិន្នន័យ Yandex គឺជា DBMS ដែលអាចធ្វើមាត្រដ្ឋានផ្តេក ចែកចាយតាមភូមិសាស្ត្រ ដែលអាចទប់ទល់នឹងការបរាជ័យនៃថាស, ម៉ាស៊ីនមេ, រ៉ាកែត និងមជ្ឈមណ្ឌលទិន្នន័យដោយមិនបាត់បង់ស្ថិរភាព។ ដើម្បីធានាបាននូវការអត់ឱនចំពោះកំហុស ក្បួនដោះស្រាយដែលមានកម្មសិទ្ធិសម្រាប់ការសម្រេចបានការយល់ស្របដែលបានចែកចាយត្រូវបានប្រើ ក៏ដូចជាដំណោះស្រាយបច្ចេកទេសមួយចំនួន ដែលត្រូវបានពិភាក្សាយ៉ាងលម្អិតនៅក្នុងរបាយការណ៍។ របាយការណ៍នេះអាចមានការចាប់អារម្មណ៍ចំពោះអ្នកអភិវឌ្ឍន៍ DBMS និងអ្នកអភិវឌ្ឍន៍នៃដំណោះស្រាយកម្មវិធីដោយផ្អែកលើ DBMS ។

Semyon Checherinda - ប្រតិបត្តិការចែកចាយនៅក្នុង YDB

Semyon គឺជាអ្នកអភិវឌ្ឍន៍នៅក្នុងក្រុមវេទិកាចែកចាយនៅ Yandex ដែលធ្វើការលើលទ្ធភាពនៃការប្រើប្រាស់អ្នកជួលច្រើននៃការដំឡើង YDB ។

មូលដ្ឋានទិន្នន័យ Yandex ត្រូវបានរចនាឡើងសម្រាប់សំណួរ OLTP និងអនុលោមតាមតម្រូវការ ACID សម្រាប់ប្រព័ន្ធប្រតិបត្តិការ។ នៅក្នុងរបាយការណ៍នេះ យើងនឹងពិចារណាលើក្បួនដោះស្រាយការកំណត់ពេលប្រតិបត្តិការដែលផ្អែកលើប្រព័ន្ធប្រតិបត្តិការ YDB ។ សូមក្រឡេកមើលថាតើអង្គភាពណាដែលចូលរួមក្នុងប្រតិបត្តិការ អ្នកណាជាអ្នកចាត់ចែងលំដាប់សកលចំពោះប្រតិបត្តិការ របៀបដែលអាតូមិកនៃប្រតិបត្តិការ ភាពជឿជាក់ និងកម្រិតនៃភាពឯកោដ៏តឹងរឹងត្រូវបានសម្រេច។ ដោយប្រើបញ្ហាទូទៅជាឧទាហរណ៍ សូមក្រឡេកមើលការអនុវត្តប្រតិបត្តិការដោយប្រើការសន្យាពីរដំណាក់កាល និងប្រតិបត្តិការកំណត់។ ចូរយើងពិភាក្សាអំពីភាពខុសគ្នារបស់ពួកគេ។

តើមានអ្វីជាបន្ទាប់?

កម្មវិធីសន្និសីទបន្តពោរពេញទៅដោយរបាយការណ៍ថ្មីៗ។ ជាពិសេស យើងរំពឹងថានឹងមានរបាយការណ៍ពី Nikita Koval (ndkoval) ពី JetBrains និង Oleg Anastasyev (m0 គំនិត) ពីក្រុមហ៊ុន Odnoklassniki ។ Nikita ធ្វើការលើក្បួនដោះស្រាយសម្រាប់ coroutines នៅក្នុងក្រុម Kotlin ហើយ Oleg បង្កើតស្ថាបត្យកម្ម និងដំណោះស្រាយសម្រាប់ប្រព័ន្ធផ្ទុកខ្ពស់នៅក្នុងវេទិកា Odnoklassniki ។ លើសពីនេះ មានរន្ធទទេដែលមានលក្ខខណ្ឌ 1 បន្ថែមទៀត គណៈកម្មាធិការកម្មវិធីកំពុងធ្វើការជាមួយបេក្ខជនសម្រាប់វាឥឡូវនេះ។

សន្និសីទ Hydra នឹងប្រព្រឹត្តទៅនៅថ្ងៃទី 11-12 ខែកក្កដា នៅ St. សំបុត្រអាចរកបាន ទិញនៅលើគេហទំព័រផ្លូវការ. សូមយកចិត្តទុកដាក់ចំពោះភាពអាចរកបាននៃសំបុត្រអនឡាញ - ប្រសិនបើសម្រាប់ហេតុផលមួយចំនួនអ្នកមិនអាចទៅដល់ St. Petersburg ថ្ងៃនេះ។

ជួបគ្នានៅ Hydra!

ប្រភព: www.habr.com