სანდო შეტყობინებები განაწილებულ სისტემებში

ორმაგი ჩაწერის პრობლემა საიმედო, მაღალ ხელმისაწვდომი, მასშტაბირებადი განაწილებული სისტემის შექმნა მოითხოვს სპეციფიკური ტექნიკის, პრინციპებისა და შაბლონების დაცვას. ასეთი სისტემების დიზაინი მოიცავს უამრავ გამოწვევას. ყველაზე გავრცელებულ და ფუნდამენტურ საკითხებს შორის არის . ორმაგი ჩაწერის პრობლემა არის გამოწვევა, რომელიც წარმოიქმნება განაწილებულ სისტემებში, ძირითადად, როდესაც საქმე გვაქვს მონაცემთა მრავალ წყაროსთან ან მონაცემთა ბაზასთან, რომლებიც უნდა იყოს სინქრონული. ეს ეხება იმის უზრუნველსაყოფად, რომ მონაცემების ცვლილებები თანმიმდევრულად ჩაიწერება მონაცემთა სხვადასხვა მაღაზიებში, როგორიცაა მონაცემთა ბაზები ან ქეშები, ისეთი საკითხების დანერგვის გარეშე, როგორიცაა მონაცემთა შეუსაბამობა, კონფლიქტები ან შესრულების შეფერხებები. "ორმაგი ჩაწერის პრობლემა" მიკროსერვისების არქიტექტურა და შაბლონების მონაცემთა ბაზა თითო სერვისზე ბევრ სარგებელს მოაქვს, როგორიცაა დამოუკიდებელი განლაგება და მასშტაბირება, იზოლირებული წარუმატებლობები და განვითარების სიჩქარის პოტენციური გაძლიერება. თუმცა, ოპერაციები მოითხოვს ცვლილებებს მრავალ მიკროსერვისს შორის, რაც გაიძულებთ იფიქროთ ამ პრობლემის მოსაგვარებლად საიმედო გადაწყვეტაზე. თითქმის რეალური მაგალითი მოდით განვიხილოთ სცენარი, რომელშიც ჩვენი დომენი მოიცავს სესხის განაცხადების მიღებას, მათ შეფასებას და შემდეგ შეტყობინებების გაგზავნას მომხმარებლებისთვის. ერთიანი პასუხისმგებლობის პრინციპის, კონვეის კანონისა და დომენზე ორიენტირებული დიზაინის მიდგომის სულისკვეთებით, რამდენიმე ღონისძიების შტორმის სესიის შემდეგ, მთელი დომენი დაიყო სამ ქვედომენად განსაზღვრული შემოსაზღვრული კონტექსტებით, რომლებსაც ჰქონდათ მკაფიო საზღვრები, დომენის მოდელები და ყველგან გავრცელებული ენა. ევალება ახალი სესხის განაცხადების მიღება და შედგენა. სისტემა აფასებს ამ აპლიკაციებს და იღებს გადაწყვეტილებებს მოწოდებული მონაცემების საფუძველზე. შეფასების ეს პროცესი, მათ შორის KYC/KYB, თაღლითობის საწინააღმდეგო და საკრედიტო რისკის შემოწმებები, შეიძლება იყოს შრომატევადი, რაც მოითხოვს ათასობით აპლიკაციის ერთდროულად დამუშავების შესაძლებლობას. შესაბამისად, ეს ფუნქციონირება გადაეცა სპეციალურ მიკროსერვისს საკუთარი მონაცემთა ბაზებით, რაც საშუალებას იძლევა დამოუკიდებელი მასშტაბირება. პირველს მეორე გარდა ამისა, ამ ქვესისტემებს მართავს ორი განსხვავებული გუნდი, თითოეულს აქვს საკუთარი გამოშვების ციკლები, მომსახურების დონის შეთანხმებები (SLA) და მასშტაბურობის მოთხოვნები. , არსებობს სპეციალიზებული შეტყობინებების სერვისი, რათა გაუგზავნოთ შეტყობინებები მომხმარებლებს. და ბოლოს აქ მოცემულია სისტემის პირველადი გამოყენების შემთხვევის დახვეწილი აღწერა: კლიენტი წარადგენს სესხის განაცხადს. სასესხო განაცხადის სამსახური აღრიცხავს ახალ განაცხადს „მოლოდინში“ სტატუსით და იწყებს შეფასების პროცესს განაცხადის შეფასების სამსახურში გადაგზავნით. შეფასების სამსახური აფასებს შემოსულ სესხის განაცხადს და შემდგომ აცნობებს სესხის განაცხადის სამსახურს გადაწყვეტილებას. გადაწყვეტილების მიღებისთანავე, სესხის განაცხადის სერვისი შესაბამისად განაახლებს სესხის განაცხადის სტატუსს და ააქტიურებს შეტყობინებების სერვისს, რათა აცნობოს მომხმარებელს შედეგის შესახებ. შეტყობინებების სერვისი ამუშავებს ამ მოთხოვნას და აგზავნის შეტყობინებებს მომხმარებელს ელექტრონული ფოსტით, SMS-ით ან სხვა სასურველი კომუნიკაციის მეთოდებით, მომხმარებლის პარამეტრების მიხედვით. ეს ერთი შეხედვით საკმაოდ მარტივი და პრიმიტიული სისტემაა, მაგრამ მოდით გავიგოთ, როგორ ამუშავებს სესხის განაცხადის სერვისი სესხის განაცხადის გაგზავნის ბრძანებას. სერვისის ურთიერთქმედების ორი მიდგომა შეგვიძლია განვიხილოთ: ამ მიდგომით, სერვისი განაახლებს ადგილობრივ მონაცემთა ბაზას (დავალებებს) და შემდეგ აქვეყნებს მოვლენას ან შეტყობინებას სხვა სერვისებისთვის. First-Local-Commit-Then-Publish: პირიქით, ეს მეთოდი გულისხმობს მოვლენის ან შეტყობინების გამოქვეყნებას ადგილობრივ მონაცემთა ბაზაში ცვლილებების განხორციელებამდე. First-Publish-Then-Local-Commit: ორივე მეთოდს აქვს თავისი ნაკლი და მხოლოდ ნაწილობრივ არის უსაფრთხო განაწილებულ სისტემებში კომუნიკაციისთვის. ეს არის პირველი მიდგომის გამოყენების თანმიმდევრული დიაგრამა. ამ სცენარში სესხის განაცხადის სერვისი იყენებს მიდგომას, სადაც ის ჯერ ახორციელებს ტრანზაქციას და შემდეგ ცდილობს შეტყობინების გაგზავნას სხვა სისტემაში. თუმცა, ეს პროცესი მიდრეკილია წარუმატებლობისკენ, თუ, მაგალითად, არის ქსელის პრობლემები, შეფასების სერვისი მიუწვდომელია, ან სესხის განაცხადის სერვისი შეექმნება მეხსიერების ამოწურვას (OOM) შეცდომას და ავარია. ასეთ შემთხვევებში, შეტყობინება დაიკარგება, რის გამოც შეფასება დარჩება ახალი სესხის განაცხადის შესახებ შეტყობინების გარეშე, თუ არ განხორციელდება დამატებითი ზომები. First-Local-Commit-Then-Publish და მეორეც. სცენარის მიხედვით, სესხის განაცხადის სერვისი უფრო მნიშვნელოვანი რისკების წინაშე დგას. მან შესაძლოა შეატყობინოს შეფასების სამსახურს ახალი აპლიკაციის შესახებ, მაგრამ ვერ შეინახოს ეს განახლება ადგილობრივად ისეთი პრობლემების გამო, როგორიცაა მონაცემთა ბაზის პრობლემები, მეხსიერების შეცდომები ან კოდის შეცდომები. ამ მიდგომამ შეიძლება გამოიწვიოს მონაცემების მნიშვნელოვანი შეუსაბამობა, რამაც შეიძლება გამოიწვიოს სერიოზული პრობლემები, იმისდა მიხედვით, თუ როგორ ამუშავებს სესხის განხილვის სამსახური შემოსულ აპლიკაციებს. First-Publish-Then-Local-Commit ამიტომ, ჩვენ უნდა გამოვავლინოთ გამოსავალი, რომელიც გვთავაზობს მძლავრ მექანიზმს მოვლენების გამოქვეყნებისთვის გარე მომხმარებლებისთვის. მაგრამ, სანამ პოტენციურ გადაწყვეტილებებს ჩავუღრმავდებით, ჯერ უნდა განვმარტოთ შეტყობინების მიწოდების გარანტიების ტიპები, რომლებიც მიიღწევა განაწილებულ სისტემებში. შეტყობინებების მიწოდების გარანტია არსებობს ოთხი სახის გარანტია, რომლის მიღწევაც შეგვიძლია. არანაირი გარანტია არ არსებობს გარანტია, რომ შეტყობინება მიწოდებული იქნება დანიშნულების ადგილზე. მიდგომა სწორედ ამაზეა. მომხმარებლებმა შეიძლება მიიღონ შეტყობინებები ერთხელ, რამდენჯერმე ან საერთოდ არასდროს. First-Local-Commit-Then-Publish მაქსიმუმ ერთხელ მიწოდება მაქსიმუმ ერთხელ მიწოდება ნიშნავს, რომ შეტყობინება მიეწოდება დანიშნულების ადგილს მაქსიმუმ 1 ჯერ. მიდგომა შეიძლება განხორციელდეს ამ გზით, ისევე როგორც ერთი მნიშვნელობის მქონე მცდელობების განმეორებითი პოლიტიკით. First-Local-Commit-Then-Publish ერთხელ მაინც მიწოდება\მომხმარებლები მიიღებენ და დაამუშავებენ ყველა შეტყობინებას, მაგრამ შეიძლება მიიღონ ერთი და იგივე შეტყობინება არაერთხელ. ზუსტად ერთხელ მიწოდება\ზუსტად ერთხელ მიწოდება ნიშნავს, რომ მომხმარებელი მიიღებს შეტყობინებას ერთხელ. ტექნიკურად, შესაძლებელია კაფკას ტრანზაქციებით და მწარმოებლისა და მომხმარებლის კონკრეტული იდემპოტენტური განხორციელებით. უმეტეს შემთხვევაში, მიწოდების გარანტიები ბევრ საკითხს აგვარებს იმით, რომ მესიჯები ერთხელ მაინც იქნება მიწოდებული, მაგრამ მომხმარებლები უნდა იყვნენ უძლურები. თუმცა, ქსელის გარდაუვალი უკმარისობის გათვალისწინებით, მომხმარებელთა მთელი ლოგიკა უნდა იყოს უძლური, რათა თავიდან აიცილოს დუბლიკატი შეტყობინებების დამუშავება, მიუხედავად მწარმოებლის გარანტიებისა. ამიტომ, ეს მოთხოვნა არ არის იმდენად ნაკლი, რამდენადაც ის ასახავს რეალობას. „ერთხელ მაინც“ გადაწყვეტილებები ამ პრობლემის გადაჭრის უამრავი გზა არსებობს, რომელსაც აქვს თავისი დადებითი და უარყოფითი მხარეები. ორფაზიანი შეთანხმება ვიკიპედიის მიხედვით, ორფაზიანი შეთანხმება (2PC) არის განაწილებული ტრანზაქციის პროტოკოლი, რომელიც გამოიყენება კომპიუტერულ მეცნიერებაში და მონაცემთა ბაზის მართვის სისტემებში, რათა უზრუნველყოს განაწილებული ტრანზაქციების თანმიმდევრულობა და საიმედოობა. ის შექმნილია იმ სიტუაციებისთვის, როდესაც მრავალ რესურსს (მაგ. მონაცემთა ბაზას) სჭირდება მონაწილეობა ერთ ტრანზაქციაში და ის უზრუნველყოფს, რომ ან ყველა მათგანმა ჩაიდინოს ტრანზაქცია, ან ყველამ გააუქმოს იგი, რითაც შეინარჩუნებს მონაცემთა თანმიმდევრულობას. ჟღერს ზუსტად ის, რაც ჩვენ გვჭირდება, მაგრამ ორფაზიან დასრულებას აქვს რამდენიმე ნაკლი: თუ ერთ-ერთი მონაწილე რესურსი არ რეაგირებს ან განიცდის წარუმატებლობას, მთელი პროცესი შეიძლება დაიბლოკოს პრობლემის გადაწყვეტამდე. ამან შეიძლება გამოიწვიოს მუშაობისა და ხელმისაწვდომობის პოტენციური პრობლემები. ორფაზიანი დასრულება არ უზრუნველყოფს ჩაშენებულ ხარვეზების ტოლერანტობის მექანიზმებს. ის ეყრდნობა გარე მექანიზმებს ან ხელით ჩარევას წარუმატებლობის მოსაგვარებლად. ყველა თანამედროვე მონაცემთა ბაზა არ უჭერს მხარს ორფაზიან დასრულებას. საერთო მონაცემთა ბაზა მიკროსერვისების არქიტექტურისთვის ყველაზე აშკარა გამოსავალი არის შაბლონის (ან ზოგჯერ ანტი-ნიმუშის) გამოყენება - საერთო მონაცემთა ბაზა. ეს მიდგომა ძალიან ინტუიციურია, თუ თქვენ გჭირდებათ ტრანზაქციის თანმიმდევრულობა მრავალ ცხრილზე სხვადასხვა მონაცემთა ბაზაში, უბრალოდ გამოიყენეთ ერთი საერთო მონაცემთა ბაზა ამ მიკროსერვისებისთვის. ამ მიდგომის ნაკლოვანებები მოიცავს წარუმატებლობის ერთი წერტილის დანერგვას, მონაცემთა დამოუკიდებელი სკალირების დათრგუნვას და მონაცემთა ბაზის სხვადასხვა გადაწყვეტილებების გამოყენების შესაძლებლობის შეზღუდვას, რომელიც საუკეთესოდ შეეფერება კონკრეტულ მოთხოვნებსა და გამოყენების შემთხვევებს. გარდა ამისა, მიკროსერვისების კოდების ბაზების ცვლილებები საჭირო იქნება განაწილებული ტრანზაქციის ასეთი ფორმის მხარდასაჭერად. ტრანზაქციის გასავალი „ “ არის დიზაინის ნიმუში, რომელიც გამოიყენება განაწილებულ სისტემებში, რათა უზრუნველყოს შეტყობინებების საიმედო გავრცელება, თუნდაც არასანდო შეტყობინებების სისტემების პირობებში. ის მოიცავს მოვლენების შენახვას დანიშნულ "OutboxEvents" ცხრილში იმავე ტრანზაქციის ფარგლებში, როგორც თავად ოპერაცია. ეს მიდგომა კარგად ემთხვევა რელაციური მონაცემთა ბაზების ACID თვისებებს. ამის საპირისპიროდ, ბევრი No-SQL მონაცემთა ბაზა სრულად არ უჭერს მხარს ACID თვისებებს, ამის ნაცვლად ირჩევს CAP თეორემისა და BASE ფილოსოფიის პრინციპებს, რომლებიც პრიორიტეტს ანიჭებენ ხელმისაწვდომობას და საბოლოო თანმიმდევრულობას მკაცრ თანმიმდევრულობაზე. ტრანზაქციის გამავალი ყუთი ტრანზაქციული გასასვლელი იძლევა და შეიძლება განხორციელდეს რამდენიმე მიდგომით: მინიმუმ ერთხელ გარანტიას ტრანზაქციის ჟურნალის კუდა გამოკითხვის გამომცემელი მიდგომა გულისხმობს მონაცემთა ბაზის სპეციფიკური გადაწყვეტილებების გამოყენებას, როგორიცაა CDC (Change Data Capture). ამ მიდგომის მთავარი ნაკლოვანებებია: ტრანზაქციების ჟურნალის შემცირების მონაცემთა ბაზის სპეციფიკური გადაწყვეტილებები გაზრდილი შეყოვნება CDC დანერგვის სპეციფიკის გამო კიდევ ერთი მეთოდია , რომელიც ხელს უწყობს გასასვლელი ყუთის გადმოტვირთვას გამავალი ცხრილის გამოკითხვით. ამ მიდგომის მთავარი ნაკლი არის მონაცემთა ბაზის დატვირთვის გაზრდის პოტენციალი, რამაც შეიძლება გამოიწვიოს უფრო მაღალი ხარჯები. გარდა ამისა, ყველა No-SQL მონაცემთა ბაზა არ უჭერს მხარს ეფექტურ მოთხოვნას კონკრეტული დოკუმენტის სეგმენტებისთვის. ამრიგად, მთელი დოკუმენტების ამოღებამ შეიძლება გამოიწვიოს შესრულების დეგრადაცია. Polling Publisher აქ არის პატარა თანმიმდევრობის დიაგრამა, რომელიც განმარტავს, თუ როგორ მუშაობს. მოუსმინეთ საკუთარ თავს ძირითადი გამოწვევა ტრანზაქციის გასასვლელი შაბლონთან დაკავშირებით მდგომარეობს მის დამოკიდებულებაში მონაცემთა ბაზის ACID თვისებებზე. ეს შეიძლება იყოს მარტივი ტიპიური OLTP მონაცემთა ბაზებში, მაგრამ წარმოადგენს გამოწვევებს NoSQL სფეროში. ამის გადასაჭრელად, პოტენციური გამოსავალია დამატებების ჟურნალის (მაგალითად, კაფკას) გამოყენება მოთხოვნის დამუშავების დაწყებისთანავე. „სესხის განაცხადის გაგზავნა“ ბრძანების პირდაპირ დამუშავების ნაცვლად, ჩვენ დაუყოვნებლივ ვუგზავნით მას შიდა კაფკას თემაში და შემდეგ ვუბრუნებთ კლიენტს „მიღებულ“ შედეგს. თუმცა, იმის გამო, რომ დიდი ალბათობით, ბრძანება ჯერ კიდევ უნდა დამუშავდეს, ჩვენ არ შეგვიძლია დაუყოვნებლივ ვაცნობოთ მომხმარებელს შედეგის შესახებ. ამ საბოლოო თანმიმდევრულობის სამართავად, ჩვენ შეგვიძლია გამოვიყენოთ ისეთი ტექნიკები, როგორიცაა ხანგრძლივი გამოკითხვა, კლიენტის მიერ ინიცირებული გამოკითხვა, ოპტიმისტური UI განახლებები ან WebSockets ან სერვერის მიერ გაგზავნილი მოვლენების გამოყენება შეტყობინებებისთვის. თუმცა, ეს სრულიად განსხვავებული თემაა, ამიტომ დავუბრუნდეთ საწყის თემას. ჩვენ გავაგზავნეთ მესიჯი კაფკას შიდა თემაზე. შემდეგ სესხის განაცხადის სერვისი მოიხმარს ამ შეტყობინებას - იგივე ბრძანებას, რომელიც მიიღო კლიენტისგან - და იწყებს დამუშავებას. პირველი, ის ახორციელებს გარკვეულ ბიზნეს ლოგიკას; მხოლოდ მას შემდეგ, რაც ეს ლოგიკა წარმატებით განხორციელდება და შედეგები შენარჩუნდება, ის აქვეყნებს ახალ მესიჯებს საჯარო კაფკას თემაზე. მოდით შევხედოთ ცოტა ფსევდო-კოდს. public async Task HandleAsync(SubmitLoanApplicationCommand command, ...) { //First, process business logic var loanApplication = await _loanApplicationService.HandleCommandAsync(command, ...); //Then, send new events to public Kafka topic producer.Send(new LoanApplicationSubmittedEvent(loanApplication.Id)); //Then, commit offset consumer.Commit(); } არ ინერვიულოთ, რადგან ოფსეტური ჯერ არ განხორციელებულა, შეტყობინება ხელახლა განმეორდება. რა მოხდება, თუ ბიზნეს ლოგიკის დამუშავება ვერ ხერხდება? არ ინერვიულოთ, რადგან ბიზნეს ლოგიკა უძლურია, ის არ შექმნის სესხის განაცხადს. ამის ნაცვლად, ის შეეცდება ხელახლა გაგზავნოს შეტყობინებები კაფკას საჯარო თემისთვის. რა მოხდება, თუ კაფკას ახალი მოვლენების გაგზავნა ვერ მოხერხდა? არ ინერვიულოთ, რადგან ბიზნეს ლოგიკა უძლურია, ის არ შექმნის სესხის დუბლიკატს. ამის ნაცვლად, ის ხელახლა გაუგზავნის შეტყობინებებს კაფკას საჯარო თემას და იმედოვნებს, რომ ოფსეტური ჩადენა ამჯერად წარმატებული იქნება. რა მოხდება, თუ შეტყობინებები ეგზავნება კაფკას, მაგრამ ოფსეტური ჩადენა ვერ მოხერხდება? ამ მიდგომის მთავარი ნაკლოვანებები მოიცავს დამატებით სირთულეს, რომელიც ასოცირდება პროგრამირების ახალ სტილთან, საბოლოო თანმიმდევრულობასთან (რადგან კლიენტი დაუყოვნებლივ არ გაიგებს შედეგს) და მოთხოვნას, რომ ყველა ბიზნეს ლოგიკა იყოს უძლური. ღონისძიების წყარო რა არის მოვლენის წყარო და როგორ შეიძლება მისი აქ გამოყენება? Event Sourcing არის პროგრამული უზრუნველყოფის არქიტექტურული ნიმუში, რომელიც გამოიყენება სისტემის მდგომარეობის მოდელირებისთვის, მისი მონაცემების ყველა ცვლილების აღწერით, როგორც უცვლელი მოვლენების სერია. ეს მოვლენები წარმოადგენს ფაქტებს ან მდგომარეობათა გადასვლებს და ემსახურება როგორც სიმართლის ერთ წყაროს სისტემის ამჟამინდელი მდგომარეობისთვის. ასე რომ, ტექნიკურად, ივენთ-სორსინგის სისტემის დანერგვით, ჩვენ უკვე გვაქვს ყველა ღონისძიება EventStore-ში და ეს EventStore მომხმარებლებს შეუძლიათ გამოიყენონ, როგორც სიმართლის ერთი წყარო მომხდარის შესახებ. არ არის საჭირო მონაცემთა ბაზის სპეციფიკური გადაწყვეტა ყველა ცვლილების ან შეკვეთის შესახებ შეშფოთების თვალყურის დევნებისთვის, ერთადერთი პრობლემა არის წაკითხვის მხარეზე დგომა, რადგან ერთეულის რეალური მდგომარეობის მისაღებად საჭიროა ყველა მოვლენის ხელახლა დაკვრა. დასკვნა ამ სტატიაში ჩვენ განვიხილეთ რამდენიმე მიდგომა განაწილებულ სისტემებში საიმედო შეტყობინებების შესაქმნელად. არსებობს რამდენიმე რეკომენდაცია, რომელიც შეიძლება გავითვალისწინოთ ამ მახასიათებლების მქონე სისტემების აშენებისას ყოველთვის განავითარეთ უიმედო მომხმარებლები, რადგან ქსელის უკმარისობა გარდაუვალია. ფრთხილად გამოიყენეთ გარანტიის მოთხოვნების მკაფიო გაგებით. First-Local-Commit-Then-Publish არასოდეს გამოიყენოთ მიდგომა, რადგან ამან შეიძლება გამოიწვიოს მონაცემთა სერიოზული შეუსაბამობა თქვენს სისტემაში. First-Publish-Then-Local-Commit თუ არსებული მონაცემთა ბაზის არჩევის გადაწყვეტილება, დიდი ალბათობით, შეიძლება შეიცვალოს ან ტექნიკური სტრატეგია გულისხმობს პრობლემის შენახვის საუკეთესო გადაწყვეტის არჩევას - ნუ შექმნით საერთო ბიბლიოთეკებს მონაცემთა ბაზის გადაწყვეტილებებთან დაკავშირებით, როგორიცაა . CDC გამოიყენეთ მიდგომა, როგორც სტანდარტული გადაწყვეტა მინიმუმ ერთხელ გარანტიის მისაღწევად. ტრანზაქციების გასასვლელი იფიქრეთ მიდგომის გამოყენებაზე, როდესაც No-SQL მონაცემთა ბაზები გამოიყენება. საკუთარი თავის მოსმენის შემდეგ ჯერზე, ჩვენ განვიხილავთ უფრო პრაქტიკულ მაგალითს ტრანზაქციული გზავნილის განხორციელების შესახებ. იხ შენ!