19 lihlooho tsa hydra. Kakaretso e kholo ea lenaneo

Ka July 11-12, ho tla tšoareloa seboka St. Petersburg Hydrae inehetseng ho nts'etsopele ea litsamaiso tse tšoanang le tse ajoang. Taba ea Hydra ke hore e kopanya bo-ramahlale ba hloahloa (bao hangata ba fumanoang feela likopanong tsa mahlale a kantle ho naha) le lienjineri tse tsebahalang hore e be lenaneo le le leng le leholo mateanong a mahlale le boikoetliso.

Hydra ke e 'ngoe ea likopano tsa rona tsa bohlokoa ka ho fetisisa lilemong tsa morao tjena. E ne e etelletsoe pele ke litokisetso tse tebileng haholo, khetho ea libui le litlaleho. mabapi le eona bekeng e fetileng habrointerview ea tsoa le motsamaisi oa JUG.ru Group, Alexey Fedorov (23derevo).

Re joalo e se e boletse hoo e ka bang barupeluoa ba bararo ba bohlokoa, bathehi ba khopolo ea litsamaiso tse ajoang - Leslie Lamport, Maurice Herlihy le Michael Scott. Ke nako ea ho bua haholoanyane ka lenaneo lohle!

19 lihlooho tsa hydra. Kakaretso e kholo ea lenaneo

Tšusumetso

Haeba u le lenaneo, ka tsela e 'ngoe u sebetsana le multithreading le computing e ajoang. Litsebi tsa likarolo tse amehang li sebetsa le bona ka ho toba, empa ka mokhoa o hlakileng, kabo e re sheba ho tsoa hohle: khomphuteng leha e le efe ea li-multi-core kapa tšebeletso e abuoang, ho na le ho hong ho etsang lipalo ka tsela e tšoanang.

Ho na le likopano tse ngata tse koahelang likarolo tse itseng tsa lenaneo la kopo. Ka lehlakoreng le leng la spectrum, re na le likolo tse khethehileng tsa saense, ka mokhoa oa lipuo, tse senolang likhopolo tse ngata tse rarahaneng. Ka mohlala, ka ho tšoana le Hydra e St. Petersburg, Sekolo sa SPTDC. Sebokeng sa Hydra, re lekile ho kopanya tloaelo e thata, le mahlale, le tsohle tse mateanong a bona.

Nahana ka sena: re phela nakong e makatsang eo u ka kopanang le bathehi ba lefapha la saense le boenjiniere leo re phelang ho lona. Litsebi tsa fisiks li ke ke tsa kopana le Newton kapa Einstein - terene e tsamaile. Empa ba thehileng metheo ea khopolo ea litsamaiso tse ajoang, ba qapa lipuo tse tsebahalang tsa mananeo, 'me ka lekhetlo la pele ba kentse sena sohle ka li-prototypes tse sebetsang, ba ntse ba phela haufi le rona. Batho bana ha ba e-s'o tlohele mesebetsi ea bona bohareng, ba ntse ba etsa mesebetsi ea sebele ea lefats'e liunivesithing le lik'hamphani tse tsebahalang lefatšeng ka bophara, 'me ke mehloli e meholohali ea kajeno ea tsebo le boiphihlelo.

Ka lehlakoreng le leng, monyetla oa ho kopana le bona hangata e lula e le khopolo-taba: ba fokolang ba rona ba ka lula ba beha leihlo liketsahalo tsa sechaba Univesithing e 'ngoe ea Rochester e le hore re potlakele USA le ho khutlela puong ea Michael Scott. Ho etela litho tsohle tsa Hydra ka kakaretso e ka ba leruo le lenyenyane, ntle le mohohlo oa nako e sebelisoang (le hoja ho utloahala eka ke takatso e thahasellisang).

Ka lehlakoreng le leng, re na le lienjineri tse ngata tse holimo tse sebetsanang le mathata a 'nete a litsamaiso tse ajoang hona joale,' me ka sebele ba na le seo ba ka se buang. Empa bothata ke bona - bona работаютmme nako ya tsona ke ya bohlokwa. E, haeba u mosebeletsi oa Microsoft, Google kapa JetBrains, monyetla oa ho kopana le e mong oa libui tse tsebahalang ketsahalong ea ka hare o eketseha haholo, empa ka kakaretso - che, ha ho etsahale letsatsi le leng le le leng.

Ka tsela ena, kopano ea Hydra e phethahatsa mosebetsi oa bohlokoa oo boholo ba rona re ke keng ra o etsa ka borona - sebakeng se le seng le ka nako e le 'ngoe, o kopanya batho bao mehopolo kapa puisano ea bona e ka fetolang bophelo ba hau. Kea lumela hore ha se motho e mong le e mong ea hlokang litsamaiso tse ajoang, lintho tse ling tsa motheo tse rarahaneng. O ka hlophisa li-CRUD ho PHP bophelo bohle ba hau mme oa thaba ka botlalo. Empa ke mang ea e hlokang - ona ke monyetla oa hau.

Ho se ho fetile nako e ngata ho tloha ha ho phatlalatsoa ha seboka sa Hydra se mabapi le Habré. Nakong ena, ho entsoe mosebetsi o mongata - 'me joale, re na le lethathamo la hoo e batlang e le litlaleho tsohle. Ha ho na li-algorithms tse botsoa tse nang le khoele e le 'ngoe, ke li-hardcore feela tse ajoang! Ha re qeteng ka mantsoe a akaretsang, 'me re bone seo re nang le sona hona joale.

Lintlha tsa sehlooho

Lintlha tsa sehlooho li qala le ho qetella matsatsi a kopano. Hangata sepheo sa sehlooho se qalang ke ho beha moea o akaretsang le tataiso ea kopano. Mantsoe a sehlooho a koalang a seha moeli ’me a hlalosa hore na re ka phela joang ka tsebo le tsebo e fumanoeng matsatsing a kopano. Tšimoloho le qetello: se hopoloang ka ho fetisisa, 'me ka kakaretso, se na le boleng bo eketsehileng.

Cliff Click- H2O e aba algorithm ea K/V

19 lihlooho tsa hydra. Kakaretso e kholo ea lenaneo Cliff ke tšōmo lefatšeng la Java. Ho elella bofelong ba lilemo tsa bo-90, bakeng sa thesis ea PhD, o ile a ngola pampiri e bitsoang "Ho Kopanya Litlhahlobo, Ho Kopanya Lintlafatso", eo ka mor'a nako e itseng e ileng ea fetoha motheo oa HotSpot JVM Server Compiler. Lilemo tse peli hamorao, o ne a se a ntse a sebetsa Sun Microsystems ho JVM mme a bontša lefats'e lohle hore JIT e na le tokelo ea ho ba teng. Pale ena eohle ea hore Java ke e 'ngoe ea linako tse potlakileng tsa sejoale-joale tse nang le lintlafatso tse bohlale le tse potlakileng haholo e tsoa ho Cliff Click. Qalong, ho ne ho lumeloa hore haeba ho na le ntho e fumanehang ho motho ea tsitsitseng, u ke ke ua leka ho e jit. Ka lebaka la mosebetsi oa Cliff le sehlopha, lipuo tsohle tse ncha li ile tsa qala ho theoa ka mohopolo oa ho bokella JIT ka boiketsetso. Ha e le hantle, ona e ne e se mosebetsi oa motho a le mong, empa Cliff o ile a phetha karolo ea bohlokoa haholo ho eona.

Puong ea sehlooho, Cliff o tla bua ka mosebetsi o mong oa hae - H20, sethala sa mohopolo bakeng sa thuto ea mochini e ajoang le e ka senyehang bakeng sa lits'ebetso tsa indasteri. Ka nepo, mabapi le polokelo e ajoang ea li-key-value pairs ka hare ho eona. Ena ke polokelo e potlakileng haholo e nang le thepa e ngata e khahlisang (lenane le nepahetseng le teng tlhaloso) tse lumellang ts'ebeliso ea litharollo tse ts'oanang ho lipalo tsa phallo e kholo ea data.

Puo e ’ngoe eo Cliff a tla fana ka eona ke Boiphihlelo ba Azul Hardware Transactional Memory. Karolo e 'ngoe ea biography ea hae - lilemo tse leshome e sebetsa Azul, moo a ileng a ntlafatsa le ho ntlafatsa lintho tse ngata ka har'a lisebelisoa tsa Azul le lisebelisoa tsa theknoloji: li-compilers tsa JIT, nako ea ho matha, mohlala oa khoele, ho sebetsana le liphoso, ho qhekella ha stack, ho sitisoa ha hardware, ho kenya sehlopha, joalo-joalo - hantle, u fumana mohopolo.

Karolo e thahasellisang ka ho fetisisa e qalile ha ba etsa hardware bakeng sa khoebo e kholo - k'homphieutha e kholo ho tsamaisa Java. E ne e le ntho e ncha, e etselitsoeng Java ka ho khetheha, e nang le litlhoko tse khethehileng - lithibelo tsa memori bakeng sa ho bala bakeng sa pokello ea lithōle tse fokolang, lihlopha tse nang le ho hlahloba meeli, li-call tsa sebele ... L1 eohle ea leha e le efe ea li-cores tsa 864 e ka kenya letsoho tlalehong ea transaction, e leng ea bohlokoa ka ho khetheha bakeng sa ho sebetsa ka liloko ho Java (li-blocks tse lumellanang li ka sebetsa ka tsela e tšoanang, hafeela ho se na khohlano ea sebele ea mohopolo). Empa mohopolo o motle o ile oa thulana le 'nete e bohloko - mme tlalehong ena Cliff o tla u joetsa hore na ke hobaneng HTM le STM li sa tšoanelehe hantle bakeng sa litlhoko tse sebetsang tsa likhomphutha tse nang le likhoele tse ngata.

Michael Scott- Mehaho ea lintlha tse peli

19 lihlooho tsa hydra. Kakaretso e kholo ea lenaneo Michael Scott - Moprofesa oa Saense ea Khomphutha Univesithing ea Rochester, eo pheletso e neng e mo amahanya le eena bakeng sa lilemo tse 34, 'me Univesithing ea habo ea Wisconsin-Madison, e ne e le mookameli ka lilemo tse hlano. O etsa lipatlisiso lefapheng la mananeo a tšoanang le a ajoang le moralo oa puo mme o ruta sena ho baithuti.

Lefatše lohle le tseba Michael ka lebaka la buka "Programming Language Pragmatics", khatiso ea morao-rao e hatisitsoeng haufinyane tjena - ka 2015. Mosebetsi oa hae "Li-algorithms bakeng sa ho hokahanya ha scalable ho li-multiprocessor tsa memori e arolelanoang" amohetse Moputso oa Dijkstra joalo ka e mong oa tse tsebahalang haholo lefapheng la komporo e ajoang le leshano pepeneneng Univesithing ea Rochester Online Library. U ka 'na ua mo tseba e le mongoli oa algorithm e tšoanang ea Michael-Scott ho tloha "Li-algorithms tse bonolo, tse potlakileng, le tse sebetsang tse sa thibeleng le ho thibela".

Ha e le lefats'e la Java, ena ke nyeoe e ikhethang: hammoho le Doug Lea, o ile a theha li-algorithms tse sa thibeleng le mela e lumellanang eo lilaebrari tsa Java li sebetsang ho eona. Sena ke seo polelo ea sehlooho ea "Dual data structures" e tla ba ka sona - ho hlahisoa ha meaho ena ho Java SE 6 ho re lumelletse ho ntlafatsa ts'ebetso ka makhetlo a 10. java.util.concurrent.ThreadPoolExecutor. Haeba u thahasella esale pele hore na "Mehaho ea Dual data" ke eng, ho na le mosebetsi o amanang.

Maurice Herlihy - Blockchains le bokamoso ba ho ajoa komporong

19 lihlooho tsa hydra. Kakaretso e kholo ea lenaneo Maurice Herlihy - Mohloli oa likhau tse peli tsa Dijkstra. Ea pele ke ea mosebetsi "Khokahano ea Mahala" (Brown University), 'me ea bobeli, ea morao-rao - "Memori ea Transactional: Tšehetso ea Meaho bakeng sa Mehaho ea Data e Lock-Free" (Univesithing ea Virginia Tech). Moputso oa Dijkstra o fanoa bakeng sa mesebetsi eo bohlokoa ba eona le tšusumetso ea tsona li 'nileng tsa bonahala bonyane lilemo tse leshome,' me ho hlakile hore Maurice ke e mong oa litsebi tse tsebahalang haholo lefapheng lena. Hajoale ke moprofesa Univesithing ea Brown 'me o na le rekoto ea nako e telele ea lintho tseo a li finyeletseng.

Puong ena ea sehlooho e koalang, Maurice o tla bua ka khopolo le tloaelo ea litsamaiso tse ajoang tsa blockchain ho tloha ponong ea li-classics tsa komporo e ajoang le kamoo e nolofatsang mathata a mangata a amanang le ona. Tlaleho ena e mabapi le sehlooho sa kopano feela - ho hang ha se mabapi le lerata la merafo, empa ho e-na le hoo e mabapi le kamoo tsebo ea rona e ka sebelisoang ka mokhoa o makatsang ka katleho le ka nepo mabapi le mesebetsi e fapaneng.

Ka Phupu 2017, Maurice o ne a se a tlile Russia sekolong sa SPTDC, a nka karolo kopanong ea JUG.ru, mme rekoto e ka shejoa ho YouTube:

Lenaneo le ka sehloohong

Joale ho tla ba le tlhahlobo e khutšoanyane ea litlaleho tse kenyellelitsoeng lenaneong. Tse ling tsa litlaleho li hlalositsoe ka botlalo mona, tse ling ka bokhuts'oane. Litlhaloso tse telele li ile tsa ea haholo-holo litlalehong tsa puo ea Senyesemane tse hlokang likhokahano tsa lipampiri tsa saense, mantsoe a Wikipedia, joalo-joalo. Lethathamo le feletseng le ka ba bona webosaeteng ea kopano. Lenane le hlahang setšeng le tla nchafatsoa le ho tlatselletsoa.

Leslie Lamport- Lipotso le lipotso

19 lihlooho tsa hydra. Kakaretso e kholo ea lenaneo Leslie Lamport ke sengoli sa pele sa khomphutha e ajoang. LaTeX e emetse "Lamport TeX". Ke eena eo ka lekhetlo la pele, morao koana ka 1979, a ileng a hlahisa maikutlo tsitsinyeho e tsitsitseng, le sehlooho sa hae "Mokhoa oa ho etsa Khomphutha ea Multiprocessor e Phethang Mananeo a Multiprocess ka nepo" o amohetse Moputso oa Dijkstra.

Ena ke karolo e sa tloaelehang ea lenaneo ho latela sebopeho, hobane ha se tlaleho, empa ke karolo ea lipotso le likarabo. Ha karolo ea bohlokoa ea bamameli e se e ntse e tloaelane (kapa e ka tloaelana) le mefuta eohle ea mesebetsi e thehiloeng khopolong ea Lamport, lingoliloeng tsa hae le litlaleho, ho bohlokoa haholo ho sebelisa nako eohle e fumanehang puisanong e tobileng.

Mohopolo o bonolo - o shebella litlaleho tse peli ho YouTube: "Lenaneo le Lokela ho ba Feta ho Coding" и "Haeba U sa Ngole Lenaneo, U se ke Ua Sebelisa Puo ea Lenaneo" mme o lokisetse bonyane potso e le nngwe, mme Leslie a arabe.

Ea pele ho livideo tsena tse peli tseo re seng re ntse re e-na le tsona e fetohile bohlanya. Haeba ha u na hora ea nako ea ho shebella video, u ka e bala kaofela ka mokhoa oa mongolo kapele.

Tlhokomeliso: Ho na le livideo tse ling tse ngata ho YouTube le Leslie Lamport. Ka mohlala, ho na le e ntle TLA+ thupelo. Mofuta oa offline oa thupelo ena kaofela oa fumaneha ho leqephe la lehae la mongoli, 'me ho YouTube o ile a e tšela bakeng sa ho e shebella habonolo lisebelisoa tsa cellular.

Martin Kleppman - Ho hokahanya lintlha ho lisebelisoa tsohle tsa basebelisi bakeng sa tšebelisano e ajoang

19 lihlooho tsa hydra. Kakaretso e kholo ea lenaneo Martin Kleppmann ke mofuputsi Univesithing ea Cambridge ea sebetsang ka CRDT le netefatso e hlophisitsoeng ea algorithm. Buka ea Martin "Ho Rala lits'ebetso tse tebileng tsa data", e hatisitsoeng ka 2017, e ipakile e atlehile haholo 'me ea otla lethathamong la thekiso e ntle ka ho fetisisa tšimong ea ho boloka le ho sebetsana le data. Kevin Scott, CTO ho Microsoft hang o boletse: “Buka ena e lokela ho ba ea bohlokoa ho baenjiniere ba meralo. Ona ke sesebelisoa se sa tloaelehang se kopanyang likhopolo le tloaelo ho thusa bahlahisi ho rala le ho kenya ts'ebetsong lisebelisoa tsa data le litsamaiso tse bohlale haholoanyane. ” Ntho e tšoanang e ile ea boleloa ke moetsi oa Kafka le CTO Confluent, Jay Kreps.

Pele a kenella lipatlisisong tsa thuto, Martin o ne a sebetsa indastering mme a theha li-startups tse peli tse atlehileng:

  • E nepahetseng, e inehetseng ho bonts'a boemo ba sechaba ba mabitso a hau a lengolo-tsoibila, leo LinkedIn e le rekileng ka 2012;
  • E-ea ho E leke, sehlahlobi sa marang-rang sa marang-rang se sebelisang marang-rang se ngata seo RedGate e se rekileng ka 2009.

Ka kakaretso, le hoja Martin a sa tsejoe hakaalo ho feta lihlooho tsa rona, o se a khonne ho kenya letsoho ho nts'etsopele ea lik'homphieutha tse ajoang le indastering.

Puong ena, Martin o tla bua ka sehlooho se haufi le lipatlisiso tsa hae tsa thuto. Ho Google Docs le sofa e tšoanang bakeng sa litokomane tse ngotseng hammoho, "co-authoring" e bolela mosebetsi oa phetisetso: mosebelisi e mong le e mong o na le setšoantšo sa hae sa tokomane e arolelanoang, eo ba e fetolang, 'me liphetoho tsohle li romelloa marang-rang ho ba bang kaofela. ea barupeluoa. Liphetoho tse kantle ho marang-rang ho litokomane li baka ho se lumellane ha tokomane ea nakoana mabapi le barupeluoa ba bang, 'me ho hokahanya hape ho hloka ho sebetsana le likhohlano. Feela bakeng sa sena ho na le Mefuta ea Data e Phethalitsoeng e se Nang Likhohlano (CRDT), ha e le hantle, ke ntho e ncha, e leng motheo oa eona o entsoeng feela ka 2011. Puo ena e bua ka se etsahetseng ho tloha ka nako eo lefatšeng la CRDT, ke lintlafatso life tsa morao-rao, e tšohla mokhoa oa ho aha lits'ebetso tsa lehae-pele ka kakaretso, le ts'ebeliso ea laeborari ea mohloli o bulehileng. Automerge ka ho khetheha.

Bekeng e tlang re tla phatlalatsa puisano e kholo le Martin ka Habré, e tla ba e thahasellisang.

Pedro Ramalhete - Mehaho ea data ntle le ho leta le litšebelisano tsa mahala tsa ho leta

19 lihlooho tsa hydra. Kakaretso e kholo ea lenaneo Pedro o sebetsa Cisco mme esale a etsa li-algorithms tse tšoanang lilemong tse leshome tse fetileng, ho kenyeletsoa mekhoa ea ho hokahanya, lisebelisoa tsa data tse sa notleloang le tse sa leteng, le tsohle tseo o ka li nahanang ka taba ena. Lithahasello tsa hae tsa hajoale tsa lipatlisiso le boenjiniere li tsepamisitse maikutlo ho Universal Constructions, Software Transactional Memory, Persistent Memory, le mahlale a tšoanang ho thusa lits'ebetso tse nepahetseng, tse senyehang le tse mamellang liphoso. Hape ke sengoli sa blog e tsebahalang haholo ka mekoloko e moqotetsane Concurrency Freaks.

Lisebelisoa tse ngata tse nang le likhoele tse ngata li se li sebetsa ho meaho ea data e ts'oanang, ho tloha ho sebelisa mela ea melaetsa lipakeng tsa batšoantšisi ho isa lits'ebetsong tsa data tse thathamisitsoeng mabenkeleng a bohlokoa. Ba sebelitse ka katleho ho Java JDK ka lilemo tse ngata, 'me butle-butle ba ntse ba eketsoa ho C ++.

Mokhoa o bonolo oa ho kenya ts'ebetsong sebopeho sa data se ts'oanang ke ts'ebetso ea serial (e nang le khoele e le 'ngoe) eo mekhoa e sirelelitsoeng ke li-mutexes. Sena se fumaneha ho jun efe kapa efe, empa se na le mathata a hlakileng a ho lekanya le ts'ebetso. Ka nako e ts'oanang, lits'ebetso tsa data tse notletsoeng le tse sa leteng ha li sebetsane le liphoso hantle feela, empa hape li na le profil e ntle ea ts'ebetso - leha ho le joalo, nts'etsopele ea bona e hloka boiphihlelo bo tebileng le ho ikamahanya le maemo a itseng a ts'ebeliso. Mohala o le mong o fosahetseng oa khoutu o lekane ho senya ntho e 'ngoe le e' ngoe.

U ka etsa bonnete ba hore esita le motho eo e seng setsebi a ka rala le ho kenya tšebetsong meaho e joalo ea data? Hoa tsebahala hore algorithm efe kapa efe ea tatellano e ka etsoa hore e sireletsehe ka e 'ngoe moralo oa bokahohle, kapa memori ya transaction. Bakeng sa e 'ngoe, ba ka fokotsa moeli oa ho kena bakeng sa ho rarolla bothata bona. Leha ho le joalo, litharollo ka bobeli li atisa ho lebisa ho se sebetseng hantle. Pedro o tla bua ka hore na ba atlehile joang ho etsa hore meaho ena e atlehe haholoanyane le hore na e ka sebelisoa joang bakeng sa algorithm ea bona.

Heidi Howard- Ho lokolla tumellano e ajoang

19 lihlooho tsa hydra. Kakaretso e kholo ea lenaneo Heidi Howard ke, joalo ka Martin, mofuputsi oa litsamaiso tse phatlalalitsoeng Univesithing ea Cambridge. Setsebi sa hae ke ho tsitsa, ho mamella liphoso, ts'ebetso le tumellano e ajoang. O tsebahala haholo ka kakaretso ea algorithm ea Paxos e bitsoang Flexible Paxos.

hopola hore Paxos - lelapa la li-protocol bakeng sa ho rarolla bothata ba ho lumellana ka marang-rang a lik'homphieutha tse sa tšepahaleng, tse neng li thehiloe mosebetsing oa Leslie Lamport. Kahoo, libui tse ling tsa rona li ntse li sebetsa mesebetsing eo qalong e neng e khothalelitsoe ke libui tse ling tsa rona - 'me sena sea babatseha.

Bokhoni ba ho fumana tumellano har'a baamoheli ba bangata-bakeng sa ho bua, ho khetha baetapele, ho thibela, kapa ho hokahanya-ke taba ea bohlokoa lits'ebetsong tsa kajeno tse ajoang. Hona joale Paxos ke eona tsela e ka sehloohong ea ho rarolla mathata a tumellano, 'me ho na le lipatlisiso tse ngata ho e potoloha e le ho atolosa le ho ntlafatsa algorithm bakeng sa litlhoko tse fapaneng tse sebetsang.

Tlalehong ena, re tla sheba hape motheo oa thuto ea Paxos, re phomotse litlhoko tsa pele le ho akaretsa algorithm. Re tla bona hore Paxos, ha e le hantle, ke khetho e le 'ngoe feela har'a mefuta e mengata ea mekhoa ea ho lumellana, le hore lintlha tse ling tse fumanehang marang-rang le tsona li na le thuso bakeng sa ho aha litsamaiso tse ntle tse ajoang.

Alex Petrov - Fokotsa litšenyehelo tsa hau tsa polokelo ka Transient Replication le Cheap Quorums

19 lihlooho tsa hydra. Kakaretso e kholo ea lenaneo Alex ke setsebi sa polokelo ea boitsebiso le polokelo, 'me ho bohlokoa le ho feta, ke setsebi ho Cassandra. Hona joale o sebetsa le O'Reilly bukeng ea Database Internals.

Bakeng sa litsamaiso tse nang le ho tsitsa hoa qetellong (ka mantsoe a Serussia - "ho lumellana qetellong"), ka mor'a ho oa ha node kapa karohano ea marang-rang, bothata bo latelang bo hloka ho rarolloa: ebang ke ho tsoela pele ho phethahatsa likōpo, ho itela, kapa ho hana ho li phethahatsa le ho fumaneha ha sehlabelo. Tsamaisong e joalo, li-quorum, li-subsets tse fetang tsa node le ho netefatsa hore bonyane node e le 'ngoe e na le boleng ba morao-rao, e ka ba tharollo e ntle ea bohale. Hoa khoneha ho pholoha ho hloleha le ho lahleheloa ke khokahanyo ho li-node tse ling ha u ntse u tsoela pele ho arabela ka litekanyetso tsa morao-rao.

Leha ho le joalo, ntho e 'ngoe le e' ngoe e na le theko ea eona. Sekema sa ho pheta-pheta quorum se bolela litšenyehelo tse eketsehileng tsa polokelo: o tlameha ho boloka data e sa hlokahaleng ho li-node tse ngata ka nako e le 'ngoe ho netefatsa hore likopi tse lekaneng li fumaneha ha bothata bo hlaha. Hoa fumaneha hore u ke ke ua boloka data eohle ho likopi tsohle. U ka fokotsa mojaro polokelong haeba u boloka data feela karolong e itseng ea nodes, 'me sebelisa nodes khethehileng (Transient Replica) bakeng sa ho hloleha ho sebetsana le maemo a.

Ha tlaleho e ntse e tsoela pele, re tla hlahloba Lipaki Replicas, morero oa ho pheta-pheta o sebelisitsoeng ho Spanner и lebenkele la mega, le ts'ebetsong ea khopolo ena ho Apache Cassandra tlas'a mabitso Likhoramo tse Fetohang tsa Phetiso le Theko e Theko.

Dmitry Vyukov - Li-goroutine li pepesitsoe

19 lihlooho tsa hydra. Kakaretso e kholo ea lenaneo Dmitry ke mohlahisi ho Google ea sebetsang ho C/C++ le Go dynamic test - Address/Memory/ThreadSanitizer le lisebelisoa tse tšoanang tsa Linux kernel. O kentse letsoho ka setlhophiso se tšabehang, sehlahlobi sa marang-rang, le 'mokelli oa lithōle o tšoanang ho Go. Ke setsebi sa multithreading, mongoli oa li-algorithms tse ncha tse sa thibeleng 'me ke mong'a Lebanta le Letšo Intel.

Joale hanyane ka tlaleho ka boeona. Puo ea Go e na le ts'ehetso ea tlhaho bakeng sa ho bala mefuta e mengata ka mokhoa oa li-goroutines (likhoele tse bobebe) le likanale (li-queues tsa FIFO). Ka lebaka la mekhoa ena, ho bonolo haholo ebile ho monate hore basebelisi ba ngole lits'ebetso tsa sejoale-joale tse ngata, 'me ho shebahala joalo ka boselamose. Joalokaha re utloisisa, ha ho na boselamose mona. Tlalehong ena, Dmitry o tla batlisisa ka ho rarahana ha mohlophisi oa Go 'me a bontše liphiri tsa ho kenya ts'ebetsong "boselamose" bona. Pele, o tla fana ka kakaretso ea likarolo tse ka sehloohong tsa kemiso, hore na e sebetsa joang. Ka mor'a moo, re tla shebisisa likarolo tse itseng, joalo ka leano la ho paka / ho emisa likoloi le ho sebetsana le mehala e thibelang. Qetellong, Dmitry o tla bua hanyane ka lintlafatso tse ka bang teng ho kemiso.

Dmitry Bugaichenko - Ho Potlakisa Tlhahlobo ea Kerafo e Abuoang ka Li-Sketches tsa Probabilistic le Tse ling

19 lihlooho tsa hydra. Kakaretso e kholo ea lenaneo Dmitry o sebelitse ho tsoa kantle ho naha ka lilemo tse ka bang 9, ntle le ho lahleheloa ke puisano le univesithi le sechaba sa mahlale. Tlhahlobo e kholo ea data ho Odnoklassniki e ne e le monyetla o ikhethang oa hore a kopanye koetliso ea theory le motheo oa mahlale le nts'etsopele ea lihlahisoa tsa 'nete, tse hlokoang.

Tlhahlobo ea graph e ajoang e bile 'me e ntse e le mosebetsi o boima: ha ho hlokahala ho fumana tlhahisoleseling mabapi le likhokahano tsa vertex ea boahelani, hangata data e tlameha ho fetisetsoa lipakeng tsa mechini, e lebisang ho eketseha ha nako ea ts'ebetso le mojaro marang-rang. mafaratlhatlha. Puong ena, re tla bona kamoo u ka fumanang lebelo le leholo la ts'ebetso ka ho sebelisa sebopeho sa data sa probabilistic kapa lintlha tse joalo ka symmetry ea kerafo ea setsoalle marang-rang a sechaba. Sena sohle se bontšoa ka mehlala ea khoutu ea Apache Spark.

Denis Rystsov - Fokotsa litšenyehelo tsa hau tsa polokelo ka Transient Replication le Cheap Quorums

19 lihlooho tsa hydra. Kakaretso e kholo ea lenaneo Denis - moqapi Cosmos DB, setsebi sa netefatso ea mohlala oa consistency, algorithms ea tumellano, le litšebelisano tse ajoang. Hona joale o sebetsa ho Microsoft, 'me pele ho moo o ne a kopanela tsamaisong e ajoang Amazon le Yandex.

Tlalehong ena, re tla tloaelana le liprothokholo tsa transaction tse ajoang tse qapiloe lilemong tse 'maloa tse fetileng, tse ka kengoang ts'ebetsong lehlakoreng la bareki ka holim'a lebenkele lefe kapa lefe la data le tšehetsang ntlafatso ea maemo (bapisa le ho seta). Taba ea bohlokoa ke hore bophelo ha bo felle ka boitlamo ba mekhahlelo e 'meli, litšebelisano li ka eketsoa ka holim'a marang-rang leha e le afe - boemong ba kopo, empa liprothokholo tse fapaneng (2PC, Percolator, RAMP) li na le tradeoffs tse fapaneng' me ha re fuoe. bakeng sa mahala.

Alexey Zinoviev - Ha se li-algorithms tsohle tsa ML tse qetellang li le paradeiseng e abuoang

19 lihlooho tsa hydra. Kakaretso e kholo ea lenaneo Alexei (zaleslaw) ke sebui sa rona sa nako e telele ebile e le setho sa likomiti tsa mananeo likopanong tse ling. Ke mokoetlisi ea ikoetlisetsang ho EPAM Systems, 'me esale e le metsoalle le Hadoop / Spark le litaba tse ling tse kholo ho tloha 2012.

Puong ena, Alexey o tla bua ka mathata a ho ikamahanya le li-algorithms tsa khale tsa ho ithuta mochini bakeng sa ts'ebetso e ajoang ho latela boiphihlelo ba hae le Apache Spark ML, Apache Mahout, Apache Flink ML le boiphihlelo ba ho theha Apache Ignite ML. Alexey o tla boela a bue ka ts'ebetsong ea li-algorithms tsa ML tse ajoang ka mekhoa ena.

'Me qetellong, litlaleho tse peli tse tsoang ho Yandex mabapi le Yandex Database.

Vladislav Kuznetsov Yandex Database - kamoo re fanang ka mamello ea liphoso

19 lihlooho tsa hydra. Kakaretso e kholo ea lenaneo Vladislav ke moqapi oa Yandex sehlopheng sa sethala se ajoang. Yandex Database ke DBMS e leka-lekaneng, e arolelitsoeng ka geo, e mamellang liphoso e ka mamellang ho hlōleha ha li-disks, li-server, li-racks le litsi tsa data ntle le ho sekisetsa botsitso. Ho netefatsa mamello ea liphoso, ho sebelisoa algorithm ea tumellano e abuoang, hammoho le litharollo tse 'maloa tsa tekheniki, tse tšohloang ka botlalo tlalehong. Tlaleho e kanna ea khahla bahlahisi ba DBMS le bahlahisi ba litharollo tse sebelisitsoeng tse thehiloeng ho DBMS.

Semyon Checherinda - Litšebelisano tse tsamaisitsoeng ho YDB

19 lihlooho tsa hydra. Kakaretso e kholo ea lenaneo Semyon ke moqapi oa sehlopha sa sethala se ajoang ho Yandex, ea sebetsang ka monyetla oa ho sebelisa batho ba bangata ba hirileng ho kenya YDB.

Yandex Database e etselitsoe lipotso tsa OLTP mme e fihlela litlhoko tsa ACID bakeng sa sistimi ea transaction. Tlalehong, re tla nahana ka algorithm ea kemiso ea transaction e thehiloeng ho sistimi ea transaction ea YDB. Ha re hlahlobeng hore na ke mekhatlo efe e nkang karolo ho litransekshene, ke mang ea fanang ka taelo ea lefats'e ea lipalangoang, hore na atomicity ea transaction, ts'epo le boemo bo tiileng ba ho itšehla thajana bo fihlelleha joang. Re sebelisa mohlala oa mosebetsi o tloaelehileng, a re ke re nahaneng ka ts'ebetsong ea litšebelisano tse sebelisang mekhahlelo e 'meli le litšebelisano tsa deterministic. A re tšohleng liphapang tsa bona.

Ke'ng e latelang?

Lenaneo la kopano le tsoela pele ho tlala litlaleho tse ncha. Ka ho khetheha, re lebeletse tlaleho e tsoang ho Nikita Koval (ndkoval) ho tloha JetBrains le Oleg Anastasiev (m0nstermind) ho tsoa ho Odnoklassniki. Nikita o sebetsa ka li-algorithms bakeng sa li-coroutines sehlopheng sa Kotlin, 'me Oleg o nts'etsapele meralo ea meralo le tharollo bakeng sa lits'ebetso tse boima haholo sethaleng sa Odnoklassniki. Ntle le moo, ho na le sebaka se le seng se se nang letho, se nang le bakhethoa bao komiti ea lenaneo e ba sebeletsang hona joale.

Seboka sa Hydra se tla tšoaroa ka July 11-12 St. Petersburg. Litekete li ka ba reka webosaeteng ea semmuso. Ela hloko ho fumaneha ha litekete tsa Inthaneteng - haeba ka mabaka a itseng u sitoa ho fihla St. Petersburg phela matsatsing ana.

Ke tla u bona Hydra!

Source: www.habr.com

Eketsa ka tlhaloso