11.-12.jūlijā Sanktpēterburgā notiks konference veltīta paralēlu un sadalītu sistēmu izstrādei. Ar Hydra ir tā, ka tā apvieno vadošos zinātniekus (kurus parasti var atrast tikai ārzemju zinātniskajās konferencēs) un pazīstamus praktizējošus inženierus vienā lielā programmā zinātnes un prakses krustpunktā.
Hidra ir viena no mūsu svarīgākajām konferencēm pēdējos gados. Pirms tam notika ļoti nopietna sagatavošanās, runātāju un referātu atlase. par to pagājušajā nedēļā ar JUG.ru grupas direktoru Alekseju Fjodorovu ().
Mēs par trim nozīmīgiem dalībniekiem, sadalīto sistēmu teorijas pamatlicējiem – Lesliju Lamportu, Morisu Herlihiju un Maiklu Skotu. Ir pienācis laiks runāt vairāk par visu programmu!
Motivācija
Ja jūs programmējat, tad vienā vai otrā veidā jums ir darīšana ar daudzpavedienu un izkliedētu skaitļošanu. Ar viņiem tieši strādā attiecīgo jomu speciālisti, bet netieši uz mums skatās no jebkuras vietas: jebkurā daudzkodolu datorā vai izkliedētajā servisā ir kaut kas, kas paralēli veic aprēķinus.
Ir daudzas konferences, kas aptver noteiktus lietojumprogrammu plānošanas aspektus. Spektra otrā pusē mums ir speciālas zinātniskās skolas lekciju formātā, kas atklāj milzīgu daudzumu sarežģītas teorijas. Piemēram, paralēli Hidrai Sanktpēterburgā, . Hidras konferencē mēs centāmies savest kopā skarbo praksi, zinātni un visu, kas atrodas to krustpunktā.
Padomājiet par to: mēs dzīvojam pārsteidzošā laikā, kad jūs varat tiešraidē satikt zinātnes un inženierzinātņu jomas dibinātājus, ar kuriem mēs nodarbojamies. Fiziķi nesatiks ne Ņūtonu, ne Einšteinu – vilciens aizgājis. Bet tie, kas radīja sadalīto sistēmu teorijas pamatus, izgudroja populāras programmēšanas valodas un pirmo reizi to visu iemiesoja darbojošos prototipos, joprojām dzīvo mums līdzās. Šie cilvēki nav pametuši darbu pusceļā, šobrīd veic reālus uzdevumus pasaulslavenās augstskolās un uzņēmumos un ir mūsdienu lielākie zināšanu un pieredzes avoti.
No otras puses, iespēja viņus satikt parasti paliek tīri teorētiska: daži no mums var pastāvīgi uzraudzīt publiskos notikumus kādā Ročesteras universitātē, lai pēc tam steigtos uz ASV un atpakaļ uz Maikla Skota lekciju. Apmeklēt visus Hydra dalībniekus kopumā būtu neliela bagātība, ja neskaita pavadītā laika bezdibeni (lai gan tas izklausās pēc interesantiem meklējumiem).
No otras puses, mums ir daudz izcilu inženieru, kas šobrīd strādā pie aktuālajām izplatīto sistēmu problēmām, un viņiem noteikti ir ko pastāstīt. Bet šeit ir problēma - viņi strādāun viņu laiks ir dārgs. Jā, ja esi Microsoft, Google vai JetBrains darbinieks, iespēja iekšējā pasākumā satikt kādu no pazīstamajiem runātājiem krasi palielinās, bet kopumā – nē, tas nenotiek katru dienu.
Tādā veidā Hydra konference paveic svarīgu uzdevumu, ko vairums no mums nevar paveikt paši – vienuviet un vienā reizē, pulcē cilvēkus, kuru idejas vai komunikācija ar kuriem var mainīt tavu dzīvi. Pieļauju, ka ne visiem ir vajadzīgas dalītās sistēmas, kaut kādas sarežģītas fundamentālas lietas. Jūs varat programmēt CRUD PHP visu atlikušo mūžu un būt pilnīgi laimīgs. Bet kam tas vajadzīgs - šī ir jūsu iespēja.
Diezgan daudz laika ir pagājis kopš pirmā paziņojuma par Hydra konferenci par Habré. Šajā laikā ir paveikts liels darbs, un tagad mums ir gandrīz visu ziņojumu saraksts. Nav gausu viena pavediena algoritmu, tikai tīrs izplatīts hardcore! Beigsim ar vispārīgiem vārdiem un paskatīsimies, kas mums tagad ir pa rokai.
Galvenās piezīmes
Galvenās piezīmes sākas un beidzas konferences dienas. Parasti atklāšanas pamatnostādnes mērķis ir noteikt konferences vispārējo garu un virzienu. Noslēguma pamatnostādne novelk svītru un skaidro, kā varam dzīvot ar konferences dienās iegūtajām zināšanām un prasmēm. Sākums un beigas: tam, kas vislabāk palicis atmiņā un vispār, ir paaugstināta vērtība.
Klikšķis -
Klints ir leģenda Java pasaulē. Deviņdesmito gadu beigās doktora disertācijas izstrādē viņš uzrakstīja darbu ar nosaukumu , kas pēc kāda laika kļuva par HotSpot JVM servera kompilatora pamatu. Divus gadus vēlāk viņš jau strādāja uzņēmumā Sun Microsystems pie JVM un parādīja visai pasaulei, ka JIT ir tiesības pastāvēt. Šis viss stāsts par to, ka Java ir viens no ātrākajiem mūsdienu izpildlaikiem ar visgudrākajām un ātrākajām optimizācijām, nāca no Cliff Click. Pašā sākumā tika uzskatīts, ka, ja kaut kas ir pieejams statiskajam kompilatoram, jūs pat nevarat mēģināt to izjaukt. Pateicoties Klifa un komandas darbam, visas jaunās valodas sāka veidot ar ideju par JIT kompilāciju pēc noklusējuma. Protams, tas nebija viena cilvēka darbs, bet Klifam tajā bija ļoti liela loma.
Atklāšanas pamatnostādnē Klifs runās par savu citu uzņēmumu - , atmiņas platforma izplatītai un mērogojamai mašīnmācībai rūpnieciskiem lietojumiem. Precīzāk, par atslēgu-vērtību pāru izplatīto glabāšanu tajā. Šī ir ļoti ātra krātuve ar daudzām interesantām īpašībām (precīzs saraksts ir atrodams ), kas ļauj izmantot līdzīgus risinājumus lielo datu straumēšanas matemātikā.
Vēl viena runa, ko Klifs teiks, ir . Vēl viena viņa biogrāfijas daļa - desmit gadi , kur viņš atjaunināja un uzlaboja daudzas lietas Azul aparatūras un tehnoloģiju kaudzē: JIT kompilatorus, izpildlaiku, pavedienu modeli, kļūdu apstrādi, steka manipulācijas, aparatūras pārtraukumus, klases ielādi un tā tālāk, un tā tālāk. ideja.
Interesantākā daļa sākās, kad viņi izgatavoja aparatūru lielajam biznesam – superdatoru Java palaišanai. Tā bija diezgan inovatīva lieta, pielāgota tieši Java, kurai ir īpašas prasības - atmiņas barjeras lasīšanai zemas pauzes atkritumu savākšanai, masīvi ar robežu pārbaudi, virtuālie zvani... Viena no stilīgākajām tehnoloģijām ir aparatūras transakciju atmiņa. Viss L1 no jebkura no 864 kodoliem varētu piedalīties transakciju rakstīšanā, kas ir īpaši svarīgi darbam ar Java slēdzenēm (sinhronizēti bloki var darboties paralēli, ja vien nav reāla atmiņas konflikta). Taču skaistā ideja saskārās ar skarbo realitāti – un šajā ziņojumā Klifs pastāstīs, kāpēc HTM un STM nav labi piemēroti daudzpavedienu skaitļošanas praktiskām vajadzībām.
Maikls Skots -
- Ročesteras universitātes datorzinātņu profesors, ar kuru liktenis viņu saistīja , un savā dzimtajā Viskonsinas universitātē Medisonā piecus gadus bija dekāns. Viņš nodarbojas ar pētījumiem paralēlās un dalītās programmēšanas un valodu dizaina jomā un māca to studentiem.
Visa pasaule Maiklu pazīst, pateicoties mācību grāmatai , kura jaunākais izdevums iznāca salīdzinoši nesen – 2015. gadā. Viņa darbs saņemts kā viens no slavenākajiem izplatītās skaitļošanas jomā un Ročesteras Universitātes tiešsaistes bibliotēkā. Jūs varat arī zināt viņu kā autoru tā paša Michael-Scott algoritmam no .
Kas attiecas uz Java pasauli, šis ir īpašs gadījums: kopā ar Dagu Lea viņš izstrādāja tos nebloķējošos algoritmus un sinhronās rindas, kurās darbojas Java bibliotēkas. Par to būs galvenā tēma “Duālās datu struktūras” — šo struktūru ieviešana Java SE 6 ļāva mums 10 reizes uzlabot veiktspēju. java.util.concurrent.ThreadPoolExecutor. Ja jūs jau iepriekš interesē, kas ir šīs “duālās datu struktūras”, tad tas ir .
Moriss Herlihijs-
- Divu Dijkstra balvu ieguvējs. Pirmais ir paredzēts darbam (Brauna universitāte), un otrā, jaunākā - (Virdžinijas Tehnoloģiju universitāte). Dijkstras balva tiek piešķirta par darbiem, kuru nozīme un ietekme ir manāma jau vismaz desmit gadus, un ir skaidrs, ka Moriss ir viens no slavenākajiem nozares speciālistiem. Pašlaik viņš ir Brauna universitātes profesors, un viņam ir rindkopu gari sasniegumi.
Šajā noslēguma pamatnostādnē Moriss runās par blokķēdes sadalīto sistēmu teoriju un praksi no sadalītās skaitļošanas klasikas skatupunkta un to, kā tā vienkāršo daudzas ar to saistītas problēmas. Šis ziņojums ir tikai par konferences tēmu – nepavisam ne par kalnrūpniecības ažiotāžu, bet gan par to, kā mūsu zināšanas var apbrīnojami efektīvi un atbilstoši izmantot saistībā ar dažādiem uzdevumiem.
2017. gada jūlijā Moriss jau ieradās Krievijā SPTDC skolā, piedalījās JUG.ru meetup, un ierakstu var noskatīties vietnē YouTube:
Galvenā programma
Pēc tam būs neliels atskats uz programmā iekļautajiem pārskatiem. Daži ziņojumi ir detalizēti aprakstīti šeit, daži īsāk. Garie apraksti galvenokārt bija angļu valodas ziņojumos, kuros nepieciešamas saites uz zinātniskiem rakstiem, termini Vikipēdijā utt. Pilns saraksts var būt . Vietnē esošais saraksts tiks atjaunināts un papildināts.
Leslija Lamporta -
Leslija Lamporta ir celmlauzis izplatītās skaitļošanas jomā. apzīmē "Lamport TeX". Tas bija viņš, kurš pirmo reizi tālajā 1979. gadā ieviesa šo koncepciju , un viņa raksts gadā saņēma Dijkstras balvu.
Šī ir formāta neparastākā programmas daļa, jo tā pat nav reportāža, bet gan jautājumu un atbilžu sesija. Kad ievērojama auditorijas daļa jau ir pazīstama (vai var iepazīties) ar visdažādākajiem darbiem, kas balstīti uz Lamporta teoriju, viņa paša rakstiem un referātiem, svarīgāk ir visu pieejamo laiku veltīt tiešai komunikācijai.
Ideja ir vienkārša — jūs skatāties divus pārskatus pakalpojumā YouTube: и un sagatavo vismaz vienu jautājumu, un Leslija atbild.
Pirmais no šiem diviem videoklipiem mums jau ir . Ja jums nav stundas laika, lai noskatītos video, varat ātri to visu izlasīt teksta formā.
Piezīme. Vietnē YouTube ir daudz vairāk videoklipu ar Lesliju Lamportu. Piemēram, ir izcils . Visa šī kursa bezsaistes versija ir pieejama vietnē , un pakalpojumā YouTube viņš to ielēja ērtākai skatīšanai mobilajās ierīcēs.
Mārtiņš Kleppmans -
Martins Kleppmans ir Kembridžas universitātes pētnieks, kurš strādā pie CRDT un formālā algoritma verifikācijas. Mārtiņa grāmata , kas publicēts 2017. gadā, izrādījās ļoti veiksmīgs un iekļuva bestselleru sarakstos datu uzglabāšanas un apstrādes jomā. Kevins Skots, Microsoft CTO : “Šai grāmatai jābūt obligātai projektēšanas inženieriem. Šis ir rets resurss, kas savieno teoriju un praksi, lai palīdzētu izstrādātājiem gudrāk izstrādāt un ieviest datu infrastruktūru un sistēmas. Kaut ko līdzīgu teica Kafkas un CTO Confluent radītājs Džejs Kreps.
Pirms pārejas uz akadēmisko pētniecību, Martin strādāja šajā nozarē un bija divu veiksmīgu jaunuzņēmumu līdzdibinātājs:
- Rapportive, kas veltīta jūsu e-pasta kontaktpersonu sociālā profila parādīšanai, ko LinkedIn iegādājās 2012. gadā;
- Go Test It — vairāku pārlūkprogrammu automatizēta vietņu pārbaudītāja, kuru RedGate iegādājās 2009. gadā.
Kopumā, lai gan Martins ir mazāk pazīstams nekā mūsu galvenie dalībnieki, viņš jau ir spējis dot zināmu ieguldījumu izplatītās skaitļošanas attīstībā un nozarē.
Šajā runā Mārtins runās par tēmu, kas ir tuvāka viņa akadēmiskajam pētījumam. Pakalpojumā Google dokumenti un līdzīgā dīvānā, kas paredzēts dokumentu līdzautorēšanai, "līdzautorēšana" nozīmē replikācijas uzdevumu: katram lietotājam ir sava koplietota dokumenta kopija, kuru viņš pēc tam modificē, un visas izmaiņas tiek nosūtītas tīklā pārējiem. no dalībniekiem. Bezsaistes izmaiņas dokumentos rada īslaicīgu dokumentu nekonsekvenci attiecībā pret citiem dalībniekiem, un atkārtotai sinhronizācijai ir nepieciešama konfliktu apstrāde. Tikai šim nolūkam ir (CRDT), patiesībā, ir diezgan jauna lieta, kuras būtība tika formulēta tikai 2011. gadā. Šajā runā tiek apspriests, kas kopš tā laika ir noticis CRDT pasaulē, kādi ir jaunākie sasniegumi, tiek apspriesta pieeja vietējo lietojumprogrammu izveidei kopumā un atvērtā pirmkoda bibliotēkas izmantošana. it īpaši.
Nākamnedēļ Habrē publicēsim lielu interviju ar Martinu, būs interesanti.
Pedro Ramalhete -
Pedro strādā Cisco un pēdējos desmit gadus ir izstrādājis paralēlus algoritmus, tostarp sinhronizācijas mehānismus, datu struktūras bez bloķēšanas un gaidīšanas, kā arī visu, ko varat iedomāties par šo tēmu. Viņa pašreizējās pētniecības un inženierzinātņu intereses ir vērstas uz universālajām konstrukcijām, programmatūras transakciju atmiņu, pastāvīgo atmiņu un līdzīgām tehnoloģijām, lai nodrošinātu pareizas, mērogojamas un pret defektiem izturīgas lietojumprogrammas. Un viņš ir arī šaurās aprindās plaši pazīstama emuāra autors .
Lielākā daļa daudzpavedienu lietojumprogrammu tagad darbojas paralēlās datu struktūrās, sākot no ziņojumu rindu izmantošanas starp dalībniekiem līdz indeksētām datu struktūrām atslēgu vērtību krātuvēs. Viņi jau daudzus gadus ir veiksmīgi strādājuši Java JDK, un tie lēnām tiek pievienoti C ++.
Vienkāršākais veids, kā ieviest paralēlu datu struktūru, ir seriālā (vienpavedienu) implementācija, kurā metodes ir aizsargātas ar muteksiem. Tas ir pieejams jebkuram jun, taču tai ir acīmredzamas mērogošanas un veiktspējas problēmas. Tajā pašā laikā datu struktūras bez bloķēšanas un gaidīšanas ne tikai labāk apstrādā kļūdas, bet tām ir arī labāks veiktspējas profils – tomēr to izstrādei ir nepieciešamas dziļas zināšanas un pielāgošanās konkrētam lietošanas gadījumam. Pietiek ar vienu nepareizu koda rindiņu, lai visu izjauktu.
Kā pārliecināties, ka pat nespeciālists var izstrādāt un ieviest šādas datu struktūras? Ir zināms, ka jebkuru secīgu algoritmu var padarīt drošu pavedienu , vai darījumu atmiņa. Pirmkārt, viņi var pazemināt ieejas slieksni šīs problēmas risināšanai. Tomēr abi risinājumi mēdz novest pie neefektīvas ieviešanas. Pedro pastāstīs par to, kā viņiem izdevās padarīt šīs konstrukcijas efektīvākas un kā tās var izmantot saviem algoritmiem.
Heidija Hovarda -
Heidija Hovarda, tāpat kā Mārtins, ir sadalīto sistēmu pētniece Kembridžas Universitātē. Viņas specializācija ir konsekvence, kļūdu tolerance, veiktspēja un dalīta vienprātība. Viņa ir vislabāk pazīstama ar savu Paxos algoritma vispārinājumu .
Atgādināt, ka - protokolu saime konsensa problēmas risināšanai neuzticamu datoru tīklā, kuru pamatā bija Leslijas Lamportas darbs. Tādējādi daži no mūsu runātājiem strādā pie uzdevumiem, kurus sākotnēji ierosināja citi mūsu runātāji — un tas ir lieliski.
Spēja atrast vienprātību starp vairākiem resursdatoriem — adresēšanai, līderu atlasei, bloķēšanai vai koordinēšanai — mūsdienu izplatītajās sistēmās ir būtiska problēma. Paxos tagad ir galvenais veids, kā atrisināt vienprātības problēmas, un ap to ir daudz pētījumu, lai paplašinātu un optimizētu algoritmu dažādām praktiskām vajadzībām.
Šajā ziņojumā mēs vēlreiz apskatīsim Paxos teorētisko bāzi, atvieglojot sākotnējās prasības un vispārinot algoritmu. Mēs redzēsim, ka Paxos faktiski ir tikai viena no iespējām starp milzīgām pieejām vienprātības panākšanai un ka arī citi spektra punkti ir diezgan noderīgi, lai izveidotu labas sadalītās sistēmas.
Alekss Petrovs -
Alekss ir datu bāzu un krātuves speciālists un, kas ir vēl svarīgāk, apņemas . Pašlaik viņš strādā kopā ar O'Reiliju pie grāmatas Database Internals.
Sistēmām ar (krievu terminoloģijā - “konsekvence beigās”), pēc mezgla krišanas vai tīkla sadalīšanas ir jāatrisina šāda dilemma: vai nu turpināt izpildīt pieprasījumus, upurējot konsekvenci, vai arī atteikties tos izpildīt un upurēt pieejamību. Šādā sistēmā kvorumi, mezglu apakškopu pārklāšanās un nodrošināšana, ka vismaz viens mezgls satur jaunāko vērtību, var būt labs malas risinājums. Ir iespējams pārdzīvot kļūmes un savienojuma zudumu ar dažiem mezgliem, turpinot reaģēt ar jaunākajām vērtībām.
Tomēr visam ir sava cena. Kvoruma replikācijas shēma nozīmē paaugstinātas krātuves izmaksas: lieki dati ir jāsaglabā vairākos mezglos vienlaikus, lai nodrošinātu, ka problēmas gadījumā ir pieejams pietiekami daudz kopiju. Izrādās, ka nevar saglabāt visus datus par visām replikām. Varat samazināt krātuves slodzi, ja glabājat datus tikai daļā mezglu un kļūmju apstrādes scenārijiem izmantojat īpašus mezglus (pārejas kopija).
Ziņojuma gaitā mēs apsvērsim , izmantotā replikācijas shēma и , un šīs koncepcijas ieviešana Apache Cassandra ar nosaukumiem .
Dmitrijs Vjukovs -
Дмитрий — разработчик в Google, работающий над динамическим тестированием C/C++ и Go — Address/Memory/ThreadSanitizer, и над похожими инструментами для ядра Linux. Законтрибьютил в Go масштабируемый планировщик горутин, network poller и параллельный сборщик мусора. Является экспертом в многопоточности, автором дюжины новых неблокирующих алгоритмов и является обладателем Intel.
Tagad nedaudz par pašu ziņojumu. Go valodai ir vietējais atbalsts vairāku pavedienu veidošanai gorutīnu (vieglu pavedienu) un kanālu (FIFO rindas) veidā. Pateicoties šiem mehānismiem, lietotājiem ir ļoti viegli un patīkami rakstīt modernas daudzpavedienu lietojumprogrammas, un tas izskatās kā maģija. Kā mēs saprotam, šeit nav maģijas. Šajā ziņojumā Dmitrijs iedziļinās Go plānotāja sarežģītībā un parādīs šīs “maģijas” ieviešanas noslēpumus. Pirmkārt, viņš sniegs pārskatu par plānotāja galvenajām sastāvdaļām, kā tas darbojas. Tālāk mēs sīkāk aplūkosim noteiktus aspektus, piemēram, novietošanas / atlaišanas stratēģiju un bloķēšanas sistēmas zvanu apstrādi. Visbeidzot Dmitrijs nedaudz pastāstīs par iespējamiem plānotāja uzlabojumiem.
Dmitrijs Bugaičenko -
Dmitrijs ir strādājis ārpakalpojumu jomā gandrīz 9 gadus, nezaudējot saikni ar universitāti un zinātnieku aprindām. Lielo datu analīze Odnoklassniki bija unikāla iespēja viņam apvienot teorētisko apmācību un zinātnisko pamatojumu ar reālu, pieprasītu produktu izstrādi.
Izkliedētā grafu analīze ir bijis un paliek sarežģīts uzdevums: kad rodas nepieciešamība iegūt informāciju par blakus esošās virsotnes savienojumiem, dati bieži vien ir jāpārsūta starp mašīnām, kas noved pie izpildes laika palielināšanās un tīkla noslodzes. infrastruktūra. Šajā sarunā mēs redzēsim, kā jūs varat ievērojami paātrināt apstrādi, izmantojot varbūtības datu struktūras vai faktus, piemēram, draudzības grafika simetriju sociālajā tīklā. Tas viss ir ilustrēts ar Apache Spark koda piemēriem.
Deniss Rystsovs -
Deniss - izstrādātājs , eksperts konsekvences modeļu validācijā, konsensa algoritmos un izplatītajās transakcijās. Tagad viņš strādā Microsoft, un pirms tam viņš nodarbojās ar izplatītajām sistēmām Amazon un Yandex.
Šajā pārskatā mēs iepazīsimies ar pēdējo gadu laikā izgudrotajiem izplatītajiem darījumu protokoliem, kurus klienta pusē var ieviest virs jebkura datu krātuves, kas atbalsta nosacījumu atjaunināšanu (salīdzināt un iestatīt). Secinājums ir tāds, ka dzīve nebeidzas ar divu fāžu apņemšanos, transakcijas var pievienot jebkurai datubāzei - lietojumprogrammu līmenī, bet dažādiem protokoliem (2PC, Percolator, RAMP) ir dažādi kompromisi un tie mums netiek doti. par brīvu.
Aleksejs Zinovjevs -
Aleksejs () ir mūsu ilggadējais lektors un programmu komiteju loceklis citās konferencēs. Praktizējošs treneris uzņēmumā EPAM Systems, un kopš 2012. gada ir draugs ar Hadoop / Spark un citiem bigdata.
Šajā sarunā Aleksejs runās par klasisko mašīnmācīšanās algoritmu pielāgošanas problēmām izplatītai izpildei, pamatojoties uz savu pieredzi ar Apache Spark ML, Apache Mahout, Apache Flink ML un Apache Ignite ML izveides pieredzi. Aleksejs runās arī par sadalīto ML algoritmu ieviešanu šajos ietvaros.
Un noslēgumā divi ziņojumi no Yandex par Yandex datu bāzi.
Vladislavs Kuzņecovs —
Vladislavs ir Yandex izstrādātājs izplatīto platformu grupā. Yandex datu bāze ir horizontāli mērogojama, ģeogrāfiski sadalīta, defektu izturīga DBVS, kas var izturēt disku, serveru, statīvu un datu centru atteices, neapdraudot konsekvenci. Lai nodrošinātu kļūdu toleranci, tiek izmantots patentēts izplatīts konsensa algoritms, kā arī vairāki tehniski risinājumi, kas detalizēti apskatīti ziņojumā. Pārskats var interesēt gan DBVS izstrādātājus, gan uz DBVS balstītu lietišķo risinājumu izstrādātājus.
Semjons Čečerinda -
Semjons ir Yandex izplatīto platformu grupas izstrādātājs, kurš strādā pie iespējas izmantot YDB instalāciju vairākiem nomniekiem.
Yandex datu bāze ir paredzēta OLTP vaicājumiem un atbilst transakciju sistēmas ACID prasībām. Pārskatā mēs apskatīsim darījumu plānošanas algoritmu, kas ir YDB darījumu sistēmas pamatā. Analizēsim, kuras entītijas piedalās darījumos, kurš transakcijām piešķir globālu secību, kā tiek sasniegts darījumu atomiskums, uzticamība un stingrais izolācijas līmenis. Izmantojot izplatīta uzdevuma piemēru, aplūkosim transakciju ieviešanu, izmantojot divfāžu apņemšanos un deterministiskas transakcijas. Apspriedīsim viņu atšķirības.
Ko tālāk?
Konferences programma joprojām tiek papildināta ar jauniem ziņojumiem. Jo īpaši mēs sagaidām ziņojumu no Ņikita Kovals () no JetBrains un Oļegs Anastasijevs () no Odnoklassniki. Ņikita strādā pie korutīnu algoritmiem Kotlin komandā, bet Oļegs izstrādā arhitektūru un risinājumus augstas slodzes sistēmām Odnoklassniki platformā. Turklāt ir vēl 1 nosacīti tukša vieta, ar kandidātiem, par kuriem šobrīd strādā programmas komiteja.
Hidras konference notiks 11.-12.jūlijā Sanktpēterburgā. Biļetes var būt . Pievērsiet uzmanību Online biļešu pieejamībai – ja kādu iemeslu dēļ šajās dienās nevarat nokļūt Sanktpēterburgā tiešraidē.
Tiekamies Hydra!
Avots: www.habr.com
