19 cloigeann hydra. Forbhreathnú iontach ar an gclár

Beidh comhdháil ar siúl ar 11-12 Iúil i St Petersburg Hydra, atá tiomanta d'fhorbairt córais comhthreomhara agus dáilte. Is é cleas Hydra ná go n-aontaíonn sé eolaithe fionnuara (nach féidir a fháil de ghnáth ach amháin ag comhdhálacha eolaíocha eachtracha) agus innealtóirí cleachtacha cáiliúla i gclár mór amháin ag crosbhealach na heolaíochta agus an chleachtais.

Tá Hydra ar cheann de na comhdhálacha is tábhachtaí atá againn le blianta beaga anuas. Bhí ullmhúchán an-dáiríre, roghnú cainteoirí agus tuairiscí ina dhiaidh sin. An tseachtain seo caite faoi seo tháinig agallamh habro amach le stiúrthóir JUG.ru Group, Alexey Fedorov (23 dabht).

Táimid dúradh cheana thart ar thrí rannpháirtí tábhachtacha, bunaitheoirí an teoiric na gcóras dáilte - Leslie Lamport, Maurice Herlihy agus Michael Scott. Tá sé in am labhairt níos mine faoin gclár ar fad!

19 cloigeann hydra. Forbhreathnú iontach ar an gclár

Spreagadh

Má tá baint agat le ríomhchlárú, ar bhealach amháin nó ar bhealach eile tá tú ag déileáil le ríomhaireacht il-snáithe agus dáilte. Oibríonn saineolaithe sna réimsí ábhartha leo go díreach, ach go hintuigthe, tá dáileadh ag féachaint orainn ó gach áit: in aon ríomhaire il-lárnach nó seirbhís dáilte tá rud éigin a dhéanann ríomhaireachtaí ag an am céanna.

Tá go leor comhdhálacha ann a chlúdaíonn gnéithe éagsúla de ríomhchlárú feidhmchlár. Ar an taobh eile den speictream, tá sainscoileanna eolaíochta againn a nochtann méideanna ollmhóra teoiric chasta i bhformáid léachta. Mar shampla, i gcomhthreo le Hydra i St Petersburg tá Scoil SPTDC. Ag comhdháil Hydra, rinneamar iarracht cleachtas crua, eolaíocht, agus gach rud a thabhairt le chéile ag a dtrasnaíonn.

Smaoinigh air seo: mairimid in am iontach nuair is féidir leat bualadh go pearsanta le bunaitheoirí an réimse eolaíochta agus innealtóireachta a ndéanaimid staidéar air. Ní bhuailfidh fisiceoirí le Newton ná le Einstein - tá an traein imithe. Ach in aice linn fós beo iad siúd a chruthaigh an dúshraith ar an teoiric na gcóras dáilte, invented teangacha cláir coitianta, agus don chéad uair chorprófar seo go léir i fréamhshamhlacha oibre. Níor éirigh na daoine seo as a gcuid post leath bealaigh, tá siad ag obair faoi láthair ar shaincheisteanna práinneacha in ollscoileanna agus cuideachtaí a bhfuil cáil dhomhanda orthu, agus is iad na foinsí eolais agus taithí is mó sa lá atá inniu ann.

Ar an taobh eile den scéal, is gnách go mbíonn an deis againn bualadh leo go teoiriciúil amháin: is beag duine againn a bhíonn in ann monatóireacht leanúnach a dhéanamh ar imeachtaí poiblí in Ollscoil Rochester éigin, agus ansin ruaigeadh go SAM agus ar ais le haghaidh léachta le Michael Scott. Bheadh ​​costas beag ag baint le cuairt a thabhairt ar gach ball de Hydra, gan an t-am a chuirtear amú a chomhaireamh (cé gur rompu suimiúil é).

Ar an láimh eile, tá go leor innealtóirí den scoth againn atá ag obair ar fhadhbanna práinneacha i gcórais dáilte faoi láthair, agus is cinnte go bhfuil go leor le rá acu. Ach anseo an fhadhb - siad работают, agus tá a gcuid ama luachmhar. Sea, má tá tú i d’fhostaí de chuid Microsoft, Google nó JetBrains, méadaíonn an dóchúlacht go mbuailfidh tú le duine de na cainteoirí cáiliúla ag imeacht inmheánach go mór, ach go ginearálta, ní hea, ní tharlaíonn sé seo gach lá.

Ar an mbealach seo, cuireann Comhdháil Hydra tasc tábhachtach i gcrích nach féidir leis an gcuid is mó againn a dhéanamh inár n-aonar - in aon áit amháin agus ag am amháin, tugann sé le chéile daoine a bhfuil a gcuid smaointe nó idirghníomhartha leo ar féidir leo do shaol a athrú. Admhaím nach bhfuil córais dáilte nó roinnt rudaí bunúsacha casta de dhíth ar gach duine. Is féidir leat CRUDanna a ríomhchlárú i PHP don chuid eile de do shaol agus fanacht go hiomlán sásta. Ach cibé duine atá ag teastáil, seo é do sheans.

Tá tamall fada caite ó fógraíodh an chéad chomhdháil Hydra ar Habré. Le linn an ama seo, tá go leor oibre déanta - agus anois tá liosta de na tuarascálacha ar fad beagnach againn. Uimh halgartaim aon-snáithithe sluggish, ach hardcore íon dáilte! Críochnaímis le focail ghinearálta agus féachaimis cad atá ar ár lámha anois.

Keynotes

Tosaíonn agus críochnaíonn na heochairfhocail laethanta na comhdhála. De ghnáth is é an pointe a bhaineann le spreagaitheasc tosaigh ná spiorad agus treo ginearálta na comhdhála a shocrú. Tarraingíonn an spreagaitheasc deiridh líne agus míníonn sé conas is féidir linn maireachtáil leis an eolas agus na scileanna a fuarthas le linn na comhdhála. An tús agus an deireadh: is fearr a chuimhnítear, agus go ginearálta, tá tábhacht mhéadaithe aige.

Cliceáil Aille Algartam K/V dáilte H2O

19 cloigeann hydra. Forbhreathnú iontach ar an gclár Is finscéal é Aille i saol Java. Sna 90í déanacha, dá thráchtas PhD, scríobh sé páipéar dar teideal "Anailísí a Chomhcheangal, Optimizations a Chomhcheangail", a tháinig roinnt ama ina dhiaidh sin mar bhunús do HotSpot JVM Server Tiomsaitheoir. Dhá bhliain ina dhiaidh sin, bhí sé ag obair cheana féin ag Sun Microsystems ar an JVM agus thaispeáin sé don domhan ar fad go bhfuil an ceart ag JIT a bheith ann. Tá an scéal iomlán seo faoin gcaoi a bhfuil Java ar cheann de na hamanna rite nua-aimseartha is tapúla agus is ó Cliff Click a tháinig na huasmhéaduithe is cliste agus is tapúla. Ag an tús, creideadh má tá rud éigin inrochtana do tiomsaitheoir statach, ní gá duit fiú iarracht a dhéanamh é a jit. A bhuí le hobair Cliff agus na foirne, cuireadh tús le gach teanga nua a chruthú leis an smaoineamh go ndéanfaí tiomsú JIT de réir réamhshocraithe. Ar ndóigh, ní post aon-duine é seo, ach bhí ról an-tábhachtach ag Cliff ann.

Sa spreagaitheasc tosaigh, labhróidh Cliff faoina iarracht eile - H20, ardán cuimhneacháin d'fhoghlaim meaisín dáilte agus Inscálaithe d'fheidhmeanna tionsclaíocha. Nó níos cruinne, maidir le stóráil dáilte na mbeirteanna eochairluacha taobh istigh de. Is stóráil an-tapa é seo le go leor airíonna suimiúla (tá an liosta cruinn i tuairisc), a cheadaíonn réitigh chomhchosúla a úsáid sa mhatamaitic maidir le sruthú sonraí móra.

Tuairisc eile a thabharfaidh Cliff ná - Taithí Cuimhne Idirbhearta Crua-earraí Azul. Cuid eile dá bheathaisnéis - deich mbliana ag obair ag Azul, áit a ndearna sé nuashonrú agus feabhas ar a lán rudaí i gcruach crua-earraí agus teicneolaíochta Azul: tiomsaitheoirí JIT, runtime, múnla snáithe, láimhseáil earráide, láimhseáil cruachta, cur isteach crua-earraí, luchtú ranga, agus mar sin de agus mar sin de - go maith, gheobhaidh tú an smaoineamh.

Thosaigh an chuid is suimiúla nuair a rinne siad crua-earraí do ghnó mór - supercomputer chun Java a rith. Rud sách nuálaíoch a bhí ann, a cuireadh in oiriúint go sonrach do Java, a bhfuil riachtanais speisialta aige - léigh bacainní cuimhne maidir le bailiú truflais íseal-sos, eagair le teorainneacha a sheiceáil, glaonna fíorúla... Ceann de na teicneolaíochtaí is fuaire ná cuimhne idirbheartaíochta crua-earraí. D'fhéadfadh L1 iomlán aon cheann de na 864 cores a bheith rannpháirteach i scríbhneoireacht idirbheartaíochta, rud atá thar a bheith tábhachtach chun oibriú le glais i Java (is féidir le bloic sioncrónaithe oibriú go comhthreomhar chomh fada agus nach bhfuil aon choinbhleacht cuimhne fíor). Ach bhí an smaoineamh álainn brúite ag réaltacht chrua - agus sa chaint seo inseoidh Cliff duit cén fáth nach bhfuil HTM agus STM an-oiriúnach do riachtanais phraiticiúla na ríomhaireachta il-snáithe.

Michael Scott - Struchtúir sonraí dé

19 cloigeann hydra. Forbhreathnú iontach ar an gclár Michael Scott - Ollamh le Ríomheolaíocht in Ollscoil Rochester, a raibh baint aige lena chinniúint 34 bliain d'aois cheana féin, agus ag a bhaile Ollscoil Wisconsin-Madison, bhí sé ina dhéan ar feadh cúig bliana. Déanann sé taighde agus múineann sé do mhic léinn faoi ríomhchlárú comhthreomhar agus dáilte agus dearadh teanga.

Tá aithne ag an domhan ar fad ar Michael a bhuíochas leis an téacsleabhar "Pragmatics Teanga Ríomhchláraithe", ar foilsíodh an t-eagrán is déanaí de le déanaí - in 2015. A phost "Algartam le haghaidh sioncrónaithe inscálaithe ar ilphróiseálaithe cuimhne roinnte" a fuarthas Duais Dijkstra mar cheann de na cinn is cáiliúla i réimse na ríomhaireachta dáilte agus ina luí go hoscailte ag Leabharlann Ar Líne Ollscoil Rochester. Seans go bhfuil aithne agat air freisin mar údar an algartam an-Michael-Scott ó "Simplí, Thapa, Praiticiúil Neamh-Blocáil agus Blocáil Algartam Ciú Comhthráthach".

Maidir le saol Java, is cás speisialta é seo: in éineacht le Doug Lea, d'fhorbair sé na halgartaim neamh-bhloic agus na scuainí sioncrónacha ar a n-oibríonn leabharlanna Java. Is é seo go díreach a bheidh sa phríomhóráid “Struchtúir sonraí dé” - tá feabhas 6 n-uaire tagtha ar fheidhmíocht na struchtúr seo a thabhairt isteach i Java SE 10 java.util.concurrent.ThreadPoolExecutor. Má tá tú ag smaoineamh roimh ré cad iad na “Struchtúir sonraí Dé” seo, tá faisnéis ann faoi obair ghaolmhar.

Maurice Herlihy - Blockchains agus todhchaí na ríomhaireachta dáilte

19 cloigeann hydra. Forbhreathnú iontach ar an gclár Maurice Herlihy - buaiteoir dhá Dhuais Dijkstra. Tá an chéad cheann le haghaidh obair ar "Sioncronú Gan Fan" (Ollscoil Brown), agus an dara ceann, níos déanaí - "Cuimhne Idirghníomhach: Tacaíocht Ailtireachta do Struchtúir Sonraí Gan Glas" (Ollscoil Tech Virginia). Aithníonn Duais Dijkstra saothar a bhfuil a thábhacht agus a tionchar le feiceáil le deich mbliana ar a laghad, agus is léir go bhfuil Maurice ar cheann de na saineolaithe is mó cáil sa réimse. Faoi láthair tá sé ag obair mar ollamh ag Ollscoil Brown agus tá liosta fada de éachtaí aige.

Sa phríomhóráid deiridh seo, labhróidh Maurice ar theoiric agus ar chleachtas na gcóras dáilte blockchain ó thaobh na clasaiceacha de ríomhaireacht dáilte agus conas a shimplíonn sé go leor fadhbanna gaolmhara. Is tuarascáil í seo go heisiach ar ábhar na comhdhála - ní ar chor ar bith faoi hype mianadóireachta, ach faoi conas is féidir ár n-eolas a úsáid go hiontach éifeachtach agus cuí maidir le tascanna éagsúla.

I mí Iúil 2017, tháinig Maurice go dtí an Rúis cheana féin chun freastal ar scoil SPTDC, ghlac sé páirt i gcruinniú JUG.ru, agus is féidir an taifeadadh a fheiceáil ar YouTube:

Príomhchlár

Ansin beidh forbhreathnú gairid ar na tuarascálacha a chuimsítear sa chlár. Déantar cur síos níos mine ar roinnt de na tuarascálacha anseo, agus tá cur síos níos achomair ar chuid eile. Bhain tuairiscí fada go príomha le tuarascálacha Béarla a raibh naisc le páipéir eolaíocha ag teastáil uathu, téarmaí ar Vicipéid, agus mar sin de. Tá an liosta iomlán ar fáil féach ar shuíomh Gréasáin na comhdhála. Déanfar an liosta ar an suíomh Gréasáin a nuashonrú agus a fhorlíonadh.

Leslie Lamport - Q & A

19 cloigeann hydra. Forbhreathnú iontach ar an gclár Is údar í Leslie Lamport ar shaothair bhunúsacha sa ríomhaireacht dáilte. "LaTeX" seasann sé do "Lamport TeX". Ba é an té a thug an coincheap isteach ar dtús, siar i 1979 comhsheasmhacht comhsheasmhach, agus a alt "Conas Ríomhaire Ilphróiseálaí a Dhéanamh a Fhorghníomhaíonn Cláir Ilphróisis i gceart" bronnadh Duais Dijkstra.

Is é seo an chuid is neamhghnách den chlár ó thaobh formáide de, mar ní tuarascáil fiú amháin é, ach seisiún ceisteanna agus freagraí. Nuair a bhíonn cuid shuntasach den lucht éisteachta ar an eolas cheana féin (nó nuair a bhíonn siad ar an eolas) ar gach cineál saothar bunaithe ar “teoiric Lambor”, a chuid alt agus tuairiscí féin, tá sé níos tábhachtaí an t-am ar fad atá ar fáil a chaitheamh ar chumarsáid dhíreach.

Tá an smaoineamh simplí - féachann tú ar dhá thuarascáil ar YouTube: "Ba cheart do Chlárú Níos Mó ná Códú" и "Mura bhfuil Clár á Scríobh agat, Ná Úsáid Teanga Ríomhchlárúcháin" agus ullmhaigh ceist amháin ar a laghad, agus freagraíonn Leslie.

An chéad cheann den dá fhíseán seo atá againn cheana féin iompú isteach i alt habro. Mura bhfuil uair an chloig agat chun féachaint ar an bhfíseán, is féidir leat é a léamh go tapa i bhfoirm téacs.

Nóta: Tá i bhfad níos mó físeáin Leslie Lamport ar YouTube. Mar shampla, tá iontach Cúrsa TLA+. Tá leagan as líne den chúrsa iomlán seo ar fáil ag leathanach baile an údair, agus d'uaslódáil sé chuig YouTube é chun é a fheiceáil níos éasca ar ghléasanna soghluaiste.

Martin Kleppmann - Sonraí a shioncronú thar ghléasanna úsáideoirí le haghaidh comhoibrithe dáilte

19 cloigeann hydra. Forbhreathnú iontach ar an gclár Is taighdeoir in Ollscoil Cambridge é Martin Kleppmann ag obair ar CRDT agus fíorú foirmiúil na n-algartam. leabhar Martin "Feidhmchláir Diansonraí á nDearadh", a foilsíodh in 2017, an-rathúil agus cuireadh ar liostaí na ndíoltóirí is fearr é i réimse na stórála agus na próiseála sonraí. Kevin Scott, CTO ag Microsoft, dúirt aon uair amháin: “Ba cheart go mbeadh an leabhar seo riachtanach d’innealtóirí bogearraí. Is acmhainn annamh é seo a chomhcheanglaíonn teoiric agus cleachtas chun cabhrú le forbróirí a bheith níos cliste agus iad ag dearadh agus ag cur i bhfeidhm córais bhonneagair agus sonraí.” Dúirt cruthaitheoir Kafka agus CTO de Confluent, Jay Kreps, rud éigin den chineál céanna.

Sular bhog sé go taighde acadúil, d’oibrigh Martin i dtionscal agus chomhbhunaigh sé dhá ghnólacht nuathionscanta rathúla:

  • Rapportive, tiomanta do phróifíl shóisialta na dteagmhálaithe ó do r-phost a thaispeáint, a cheannaigh LinkedIn in 2012;
  • Go Test It, seirbhís chun láithreáin ghréasáin a thástáil go huathoibríoch i mbrabhsálaithe éagsúla, a cheannaigh RedGate in 2009.

Go ginearálta, tá Martin, cé nach bhfuil sé chomh cáiliúil ná ár bpríomhchainteoirí, in ann cur go mór le forbairt na ríomhaireachta dáilte agus leis an tionscal.

Sa chaint seo, labhróidh Martin faoi ábhar atá níos gaire dá thaighde acadúil. In Google Docs agus toilg comh-eagarthóireachta doiciméad dá samhail, tagraíonn "eagarthóireacht chomhoibríoch" do thasc macasamhlaithe: tá a macasamhail féin den doiciméad roinnte ag gach úsáideoir, a mhodhnóidh siad ansin, agus seoltar gach athrú ar fud an líonra chuig an gcuid eile den rannpháirtithe. Mar thoradh ar athruithe ar dhoiciméid as líne bíonn neamhréireacht shealadach sa doiciméad maidir le rannpháirtithe eile, agus éilíonn athshioncrónú láimhseáil coinbhleachta. Sin go díreach cad atá ann dóibh Cineálacha Sonraí Macasamhlaithe saor ó choinbhleacht (CRDT), i ndáiríre, is rud measartha nua é, agus níor cuireadh bunús leis ach in 2011. Pléann an chaint seo a bhfuil tarlaithe ó shin i ndomhan CRDT, cad iad na dul chun cinn is déanaí, an cur chuige maidir le cruthú feidhmchláir áitiúla den chéad uair i gcoitinne agus úsáid leabharlann foinse oscailte. Uathchumadh go háirithe.

An tseachtain seo chugainn foilseoidh muid agallamh fada le Martin ar Habré, beidh sé suimiúil.

Pedro Ramalhete - Struchtúir sonraí gan feitheamh agus idirbhearta saor ó fheithimh

19 cloigeann hydra. Forbhreathnú iontach ar an gclár Oibríonn Pedro ag Cisco agus tá algartam comhthreomhar á bhforbairt aige le deich mbliana anuas nó mar sin, lena n-áirítear meicníochtaí sioncrónaithe, struchtúir sonraí saor ó ghlas agus gan fanacht agus gach rud is féidir leat a shamhlú ar an ábhar seo. Díríonn a chuid spéiseanna taighde agus innealtóireachta faoi láthair ar Fhoirgníochtaí Uilíocha, ar Chuimhne Idirbhearta Bogearraí, ar Chuimhne Seasmhach agus ar theicneolaíochtaí comhchosúla a chumasaíonn feidhmchláir chearta, inscálaithe agus locht-fhulangacha. Is údar é freisin ar bhlag ar a dtugtar go forleathan i gciorcail chúnga Freaks Concurrency.

Ritheann formhór na bhfeidhmchlár ilshnáithe anois ar struchtúir sonraí comhthreomhara, ó úsáid scuainí teachtaireachta idir gníomhaithe go struchtúir sonraí innéacsaithe i stórais eochairluacha. Tá siad ag obair go rathúil sa Java JDK le blianta fada, agus tá siad á gcur go mall le C++.

Is é an bealach is simplí chun struchtúr sonraí comhthreomhar a chur i bhfeidhm ná cur i bhfeidhm seicheamhach (aon-snáithe) ina bhfuil modhanna cosanta ag mutexes. Tá sé seo inrochtana do mhí an Mheithimh ar bith, ach tá fadhbanna soiléire aige maidir le scálú agus feidhmíocht. Ag an am céanna, ní hamháin go ndéileálann struchtúir sonraí saor ó ghlas agus gan fanacht níos fearr le hearráidí, ach tá próifíl feidhmíochta níos fearr acu freisin - áfach, éilíonn a bhforbairt saineolas domhain agus oiriúnú d'iarratas ar leith. Is leor líne mícheart cód amháin chun gach rud a bhriseadh.

Conas is féidir linn é a dhéanamh ionas gur féidir le fiú duine nach saineolaí struchtúir sonraí dá leithéid a dhearadh agus a chur i bhfeidhm? Tá a fhios gur féidir aon algartam seicheamhach a dhéanamh snáithe sábháilte ag baint úsáide as ceachtar dearadh uilíoch, nó cuimhne idirbheartaíochta. Mar rud amháin, is féidir leo an bac ar theacht isteach chun an fhadhb seo a réiteach a ísliú. Mar sin féin, is gnách go mbíonn cur i bhfeidhm neamhéifeachtach mar thoradh ar an dá réiteach. Labhróidh Pedro faoin gcaoi ar éirigh leo na dearaí seo a dhéanamh níos éifeachtaí agus conas is féidir leat iad a úsáid le haghaidh do halgartaim.

Heidi Howard - Comhdhearcadh dáilte a shaoradh

19 cloigeann hydra. Forbhreathnú iontach ar an gclár Tá Heidi Howard, cosúil le Martin, ina thaighdeoir córais dáilte in Ollscoil Cambridge. Is iad na speisialtachtaí atá aici ná comhsheasmhacht, lamháltas lochtanna, feidhmíocht agus comhdhearcadh dáilte. Tá aithne uirthi mar gheall ar a ginearálú ar algartam Paxos ar a dtugtar Paxos Solúbtha.

Athghairm sin paxos Is teaghlach de phrótacail é chun fadhb na comhthola a réiteach i líonra ríomhairí neamhiontaofa, bunaithe ar obair Leslie Lamport. Mar sin, tá cuid dár gcainteoirí ag obair ar fhadhbanna a mhol ár gcainteoirí eile ar dtús - agus is iontach an rud é sin.

Saincheist bhunúsach i gcórais dáilte nua-aimseartha is ea an cumas teacht ar chomhdhearcadh i measc na n-óstach iolrach - maidir le haitheasc, toghchán ceannaire, blocáil nó comhordú. Is é Paxos an príomhbhealach anois chun fadhbanna comhthola a réiteach, agus tá go leor taighde ar siúl timpeall air chun an algartam a leathnú agus a bharrfheabhsú le haghaidh riachtanais phraiticiúla éagsúla.

Sa chaint seo, déanfaimid athchuairt ar bhunús teoiriciúil Paxos, ag maolú na gceanglas bunaidh agus ag ginearálú an algartam. Feicfimid nach bhfuil i Paxos go bunúsach ach rogha amháin i measc raon ollmhór cur chuige comhaontaithe, agus go bhfuil pointí eile ar an speictream an-úsáideach freisin chun córais mhaithe dáilte a thógáil.

Alex Petrov - Laghdaigh do chostais stórála le Macasamhlú Neamhbhuan agus Córaim Cheap

19 cloigeann hydra. Forbhreathnú iontach ar an gclár Is speisialtóir bunachar sonraí agus córais stórála é Alex, agus níos tábhachtaí fós dúinne, is tiomnóir i Cassandra. Tá sé ag obair faoi láthair ar leabhar, Database Internals, le O'Reilly.

Le haghaidh córais le comhsheasmhacht sa deireadh (i dtéarmaíocht na Rúise - "comhsheasmhacht deiridh"), tar éis tuairteanna nód nó scoilteadh líonra, ní mór duit an aincheist seo a leanas a réiteach: leanúint d'iarratais a fhorghníomhú, comhsheasmhacht a íobairt, nó diúltú iad a fhorghníomhú agus infhaighteacht a íobairt. I gcóras den sórt sin, is féidir le córaim, fo-thacair nóid forluiteacha agus a chinntiú go bhfuil an luach is déanaí ag nód amháin ar a laghad, a bheith ina réiteach imeall maith. Is féidir leat maireachtáil ar theipeanna agus ar chailliúint nascachta le roinnt nóid agus tú fós ag freagairt leis na luachanna is déanaí.

Mar sin féin, tá a phraghas ag gach rud. Ciallaíonn scéim mhacasamhlaithe córam costais stórála méadaithe: ní mór sonraí iomarcacha a stóráil ar ilnóid ag an am céanna lena chinntiú go bhfuil go leor cóipeanna ar fáil nuair a tharlaíonn fadhb. Tarlaíonn sé nach gá duit na sonraí go léir a stóráil ar na macasamhla go léir. Is féidir leat an t-ualach ar an stóráil a laghdú mura stórálann tú sonraí ach ar chuid de na nóid, agus má úsáideann tú nóid speisialta (Macasamhail Neamhbhuan) le haghaidh cásanna teipe.

Le linn na tuarascála déanfaimid breithniú Macasamhla Finnéithe, an scéim macasamhlaithe a úsáidtear i Sparán и siopa mega, agus cur i bhfeidhm an choincheapa seo i Apache Cassandra ar a dtugtar Macasamhlú Neamhbhuan & Córaim Cheap.

Dmitry Vyukov - Goroutines nochta

19 cloigeann hydra. Forbhreathnú iontach ar an gclár Is forbróir é Dmitry ag Google ag obair ar thástáil dhinimiciúil le haghaidh C/C++ agus Go - Address/Memory/ThreadSanitizer, agus uirlisí comhchosúla don eithne Linux. Chuidigh sé le Go, sceidealóir goroutine Inscálaithe, poller líonra, agus bailitheoir truflais comhthreomhar. Is saineolaí é ar ilshnáithe, údar dosaen algartam nua neamh-bhloic agus is úinéir é ar Crios Dubh Intel

Anois beagán faoin tuairisc féin. Tá tacaíocht dhúchais ag an teanga Go don ilthreading i bhfoirm goroutines (snáitheanna solais) agus cainéil (scuainí FIFO). Déanann na meicníochtaí seo an-éasca agus taitneamhach d'úsáideoirí iarratais il-snáithithe nua-aimseartha a scríobh, agus tá cuma draíochta air. De réir mar a thuigimid, níl aon draíocht anseo. Sa chaint seo, scrúdóidh Dmitry intricacies an sceidealóir Go agus taispeánfaidh sé an rúin a bhaineann leis an “draíocht” seo a chur i bhfeidhm. Ar dtús, tabharfaidh sé forbhreathnú ar na príomhchodanna den sceidealóir agus inseoidh sé duit conas a oibríonn sé. Ansin, déanfaimid breathnú níos géire ar ghnéithe aonair ar nós an straitéis pháirceála/dípháirceála agus láimhseáil glaonna córais blocála. Ar deireadh, beidh Dmitry ag caint beagán faoi fheabhsuithe féideartha ar an sceidealóir.

Dmitry Bugaichenko - Anailís ghraf dáilte a bhrostú le sceitsí dóchúlachta agus níos mó

19 cloigeann hydra. Forbhreathnú iontach ar an gclár D'oibrigh Dmitry i bhfoinsiú allamuigh ar feadh beagnach 9 mbliana gan teagmháil a chailleadh leis an ollscoil agus leis an bpobal eolaíoch. Thug anailís mhór sonraí in Odnoklassniki deis uathúil dó oiliúint theoiriciúil agus bunús eolaíoch a chomhcheangal le forbairt táirgí fíor-éilimh.

Is tasc deacair é anailís ghraif dáilte agus tá sé fós ina thasc: nuair a bhíonn gá le faisnéis a fháil faoi naisc rinn chomharsanachta, is minic go gcaithfear na sonraí a aistriú idir meaisíní, rud a fhágann go dtiocfaidh méadú ar am feidhmiúcháin agus ualach ar bhonneagar an líonra. Sa chaint seo, feicfimid conas is féidir linn luasanna próiseála suntasacha a fháil trí úsáid a bhaint as struchtúir sonraí dóchúlachta nó fíricí cosúil le siméadracht an ghraif cairdis i líonra sóisialta. Léirítear é seo go léir le samplaí cód i Apache Spark.

Denis Rysov - Laghdaigh do chostais stórála le Macasamhlú Neamhbhuan agus Córaim Cheap

19 cloigeann hydra. Forbhreathnú iontach ar an gclár Denis - forbróir Cosmos DB, saineolaí maidir le samhlacha comhsheasmhachta, halgartaim chomhdhearcadh, agus idirbhearta dáilte a sheiceáil. Oibríonn sé le Microsoft faoi láthair, agus roimhe sin d'oibrigh sé ar chórais dáilte ag Amazon agus Yandex.

Sa chaint seo, féachfaimid ar na prótacail idirbheart dáilte a cruthaíodh le blianta beaga anuas, ar féidir iad a chur i bhfeidhm ar thaobh an chliaint ar bharr aon stór sonraí a thacaíonn le nuashonrú coinníollach (comparáid agus socrú). Is é an bun líne nach gcríochnaíonn an saol le gealltanas dhá chéim, is féidir idirbhearta a chur leis ar bharr aon bhunachair shonraí - ag leibhéal an iarratais, ach tá malairtí difriúla ag prótacail éagsúla (2PC, Percolator, RAMP) agus ní thugtar dúinn iad. saor in aisce.

Alexey Zinoviev - Ní dhéanann gach algartam ML é chun na bhflaitheas dáilte

19 cloigeann hydra. Forbhreathnú iontach ar an gclár Alexei (zaleslaw) is cainteoir fadtréimhseach agus comhalta de choistí clár ag comhdhálacha eile. Traenálaí ag cleachtadh ag EPAM Systems, agus tá sé ina chairde le Hadoop/Spark agus sonraí móra eile ó 2012 i leith.

Sa chaint seo, labhróidh Alexey faoi na fadhbanna a bhaineann le halgartaim meaisínfhoghlama clasaiceacha a oiriúnú lena gcur i gcrích i mód dáilte bunaithe ar a thaithí ag obair le Apache Spark ML, Apache Mahout, Apache Flink ML agus an taithí a bhaineann le Apache Ignite ML a chruthú. Labhróidh Alexey freisin faoi chur i bhfeidhm na halgartaim ML dáilte sna creataí sin.

Agus ar deireadh, dhá thuarascáil ó Yandex faoi Yandex Bunachar Sonraí.

Vladislav Kuznetsov Bunachar Sonraí Yandex - conas a chinntímid lamháltas lochtanna

19 cloigeann hydra. Forbhreathnú iontach ar an gclár Is forbróir é Vladislav ag Yandex sa ghrúpa ardán dáilte. Is DBMS atá inscálaithe go cothrománach, geo-dháilte, locht-fhulangach é Bunachar Sonraí Yandex ar féidir leis teip dioscaí, freastalaithe, racaí agus ionad sonraí a sheasamh gan comhsheasmhacht a chailliúint. Chun lamháltas locht a áirithiú, úsáidtear algartam dílseánaigh chun comhdhearcadh dáilte a bhaint amach, chomh maith le roinnt réitigh theicniúla, a phléitear go mion sa tuarascáil. D’fhéadfadh an tuarascáil a bheith ina ábhar spéise d’fhorbróirí DBMS agus d’fhorbróirí réitigh feidhmchlár bunaithe ar DBMS.

Semyon Checherinda - Idirbhearta dáileacháin in YDB

19 cloigeann hydra. Forbhreathnú iontach ar an gclár Is forbróir é Semyon sa ghrúpa ardáin dáilte ag Yandex, ag obair ar an bhféidearthacht go n-úsáidfeadh ilthionóntaí suiteáil YDB.

Tá Bunachar Sonraí Yandex deartha le haghaidh fiosruithe OLTP agus comhlíonann sé ceanglais ACID do chóras idirbheartaíochta. Sa tuarascáil seo, déanfaimid breithniú ar an algartam sceidealaithe idirbheart atá mar bhunús le córas idirbheart YDB. Breathnaímid ar na heintitis a ghlacann páirt in idirbhearta, a sannann ord domhanda d’idirbhearta, conas a bhaintear amach adamhacht na n-idirbheart, iontaofacht, agus leibhéal dian leithlisithe. Ag baint úsáide as fadhb choitianta mar shampla, a ligean ar breathnú ar chur i bhfeidhm idirbhearta ag baint úsáide as gealltanais dhá-chéim agus idirbhearta cinntitheach. Déanaimis a gcuid difríochtaí a phlé.

Cad atá romhainn?

Tá clár na comhdhála á líonadh i gcónaí le tuarascálacha nua. Go háirithe, táimid ag súil le tuarascáil ó Nikita Koval (ndkoval) ó JetBrains agus Oleg Anastasia (m0stermind) ón gcomhlacht Odnoklassniki. Oibríonn Nikita ar algartaim le haghaidh coroutines i bhfoireann Kotlin, agus forbraíonn Oleg ailtireacht agus réitigh do chórais ard-ualaigh in ardán Odnoklassniki. Ina theannta sin, tá 1 sliotán eile folamh ar choinníoll, tá coiste an chláir ag obair le hiarrthóirí ar a shon faoi láthair.

Beidh comhdháil Hydra ar siúl ar 11-12 Iúil i St Petersburg. Tá ticéid ar fáil cheannach ar an láithreán gréasáin oifigiúil. Tabhair aird le do thoil ar infhaighteacht ticéid ar líne - más rud é ar chúis éigin nach féidir leat a fháil go St Petersburg na laethanta seo.

Féach leat ag Hydra!

Foinse: will.com

Add a comment