Shir ayaa ka dhici doona July 11-12 ee St. Petersburg , u heellan horumarinta nidaamyada isku midka ah iyo kuwa loo qaybiyo. Khiyaamada Hydra waa in ay mideyso saynisyahano qabow (kuwaas oo inta badan laga heli karo shirarka sayniska ee ajnabiga ah) iyo injineerada caanka ah ee caanka ah hal barnaamij oo weyn oo ku yaal isgoyska sayniska iyo dhaqanka.
Hydra waa mid ka mid ah shirarkeena ugu muhiimsan dhowrkii sano ee la soo dhaafay. Waxaa ka horeeyay diyaar garow aad u culus, xulitaan iyo warbixino. Toddobaadkii hore arrintan ku saabsan Agaasimaha kooxda JUG.ru Alexey Fedorov).
Waxaan qiyaastii saddex kaqeybgale oo muhiim ah, aasaasayaasha aragtida nidaamyada qaybsan - Leslie Lamport, Maurice Herlihy iyo Michael Scott. Waa markii aad si faahfaahsan uga hadli lahayd barnaamijka oo dhan!
Motivation
Haddii aad ku lug leedahay barnaamijka, markaa hal hab ama si kale waxaad la macaamilaysaa multithreading iyo qaybinta xisaabinta. Khubarada ku xeel dheer arrimahan ayaa si toos ah ula shaqeeya iyaga, laakiin si aan toos ahayn, qaybinta ayaa naga eegaysa meel kasta: kombiyuutar kasta oo badan oo kala duwan ama adeeg la qaybiyo waxaa jira wax xisaabinta isku mid ah.
Waxaa jira shirar badan oo ka hadlaya dhinacyo kala duwan oo ku saabsan barnaamijyada codsiga. Dhinaca kale ee spectrum, waxaanu leenahay dugsiyo cilmiyeed oo khaas ah oo muujinaya tiro aad u badan oo aragti kakan oo qaab muxaadaro ah. Tusaale ahaan, marka la barbar dhigo Hydra ee St. Petersburg waxaa jira . Shirka Hydra, waxaan isku daynay inaan isu keeno dhaqanka qallafsan, cilmiga, iyo wax kasta oo isgooyskooda ah.
Ka fakar tan: waxaan ku noolnahay waqti cajiib ah oo aad la kulmi karto shaqsi ahaan aasaasayaasha cilmiga sayniska iyo injineernimada ee aan barano. Dhakhaatiirta Physics-ku lama kulmi doonaan midkood Newton ama Einstein - tareenku wuu baxay. Laakiin nagu soo xiga ayaa weli ku nool kuwa abuuray aasaaska aragtida nidaamyada qaybsan, hindisay luqadaha barnaamijyada caanka ah, iyo markii ugu horeysay oo dhan waxaas oo dhan prototypes shaqeeya. Dadkaas oo aan ka tegin shaqooyinkii ay hayeen kala badh, waxay hadda ku hawlan yihiin arrimaha cidhiidhiga ah ee jaamacadaha iyo shirkadaha caanka ah ee adduunka, waana ilaha ugu aqoonta iyo khibradda badan maanta.
Dhanka kale, fursada lagula kulmo iyaga inta badan waxay ahaanaysaa aragti kaliya: in yar oo naga mid ah ayaa si joogto ah ula socon kara dhacdooyinka dadweynaha ee Jaamacadda Rochester qaarkood, ka dibna u degdega USA oo dib ugu noqo casharka Michael Scott. Booqashada dhammaan xubnaha Hydra waxay ku kici doontaa hanti yar, iyada oo aan la tirinaynin yaamayska waqtiga lumay (inkasta oo ay u egtahay raadinta xiiso leh).
Dhanka kale, waxaan haynaa injineero badan oo sare kuwaas oo ka shaqeynaya dhibaatooyinka cadaadiska ee nidaamyada la qaybiyay hadda, waxayna hubaal ahaan leeyihiin wax badan oo ay u sheegaan. Laakiin halkan waa dhibka - iyaga Π°Π±ΠΎΡΠ°ΡΡ, waqtigooduna waa qiimo leh. Haa, haddii aad tahay shaqaale Microsoft, Google ama JetBrains, suurtogalnimada inaad la kulanto mid ka mid ah kuwa ku hadla caanka ah ee dhacdada gudaha ayaa si aad ah u kordheysa, laakiin guud ahaan, maya, tani ma dhacdo maalin kasta.
Sidan oo kale, Shirka Hydra wuxuu ku fuliyaa hawl muhiim ah oo inteena badan aynaan keligood qabsan karin - hal meel iyo hal mar, waxay kulmisaa dad fikradahooda ama la falgalkooda wax ka bedeli kara noloshaada. Waxaan qirayaa in qof kastaa aanu u baahnayn nidaamyo qaybsan ama waxyaabo aasaasi ah oo adag. Waxaad ku baran kartaa CRUD-yada PHP inta noloshaada ka hadhay oo aad si buuxda u faraxsan tahay. Laakiin qof kasta oo u baahan, tani waa fursadaada.
Muddo dheer ayaa ka soo wareegtay ku dhawaaqistii ugu horaysay ee shirka Hydra ee HabrΓ©. Inta lagu jiro wakhtigan, shaqo badan ayaa la qabtay - hadda waxaan haynaa liiska ku dhawaad ββdhammaan warbixinnada. Ma jiro algorithms-hal-xadhig ah oo caajis ah, kaliya hardcore saafi ah oo la qaybiyay! Aan ku dhameyno ereyo guud oo aan aragno waxa aan hadda gacanta ku hayno.
Qoraallada muhiimka ah
Qodobada muhiimka ah ayaa bilaabanaya oo soo afjaraya maalmihii shirka. Sida caadiga ah nuxurka qoraalka furitaankiisu waa in la dejiyo dareenka guud iyo jihaynta shirka. Hadalka xidhitaanku wuxuu soo jiitaa xariiq wuxuuna sharxayaa sida aan ugu noolaan karno aqoonta iyo xirfadaha la helay intii uu shirku socday. Bilawga iyo dhammaadka: waxa la xasuusto sida ugu wanaagsan, iyo guud ahaan, muhiimadda ayaa kordhay.
Cliff Riix
Cliff waa halyeey ka jira adduunka Java. Dabayaaqadii sagaashameeyadii, shahaadadii PhD-da, waxa uu qoray warqad uu ciwaan uga dhigay , kaas oo muddo ka dib noqday saldhigga HotSpot JVM Server Compiler. Laba sano ka dib, wuxuu horeyba uga shaqeynayay Sun Microsystems ee JVM wuxuuna tusay adduunka oo dhan in JIT ay xaq u leedahay inay jirto. Sheekadan oo dhan oo ku saabsan sida Java uu u yahay mid ka mid ah runtime-yada casriga ah ee ugu dhaqsaha badan ee leh wanaajinta ugu xariifsan uguna dhakhsaha badan waxay ka timid Cliff Click. Bilawgii hore, waxaa la rumaysnaa in haddii shay la heli karo isku-duwaha taagan, xitaa uma baahnid inaad isku daydo inaad jit. Thanks to shaqada Cliff iyo kooxda, dhammaan luqadaha cusub ayaa bilaabay in lagu abuuro fikradda ah ururinta JIT. Dabcan, tani ma ahayn shaqo hal nin ah, laakiin Cliff ayaa door muhiim ah ka ciyaartay.
Furaha furitaanka, Cliff wuxuu ka hadli doonaa dadaalkiisa kale - , madal xusuusta ku jirta oo loogu talagalay barashada mashiinka la qaybiyo oo la miisaami karo ee codsiyada warshadaha. Ama si ka sii saxan, oo ku saabsan kaydinta la qaybiyey ee lamaanaha qiimaha muhiimka ah ee gudaha ku jira. Tani waa kayd aad u degdeg badan oo leh waxyaabo badan oo xiiso leh (liiska saxda ah ayaa ku jira ), kaas oo u oggolaanaya isticmaalka xalalka la midka ah ee xisaabta ee qulqulka xogta weyn.
Warbixin kale oo uu Cliff bixin doono ayaa ah - . Qayb kale oo ka mid ah taariikh nololeedkiisa - toban sano , halkaas oo uu ku cusbooneysiiyay oo uu hagaajiyay waxyaabo badan oo ku jira qalabka Azul iyo tiknoolajiyada tiknoolajiyada: JIT compilers, runtime, model thread, maaraynta qaladka, maaraynta xirmooyinka, qalabka kala go'a, rarista fasalka, iyo wixii la mid ah - si fiican, waxaad helaysaa fikrad.
Qeybta ugu xiisaha badan waxay bilaabatay markii ay sameeyeen qalab ganacsi oo weyn - supercomputer si uu u maamulo Java. Waxay ahayd shay hal-abuur leh, oo si gaar ah loogu talagalay Java, kaas oo leh shuruudo gaar ah - akhri caqabadaha xusuusta ee ururinta qashinka-hakinta-yar, habab hubinta xuduudaha, wicitaannada casriga ah⦠Mid ka mid ah tignoolajiyada ugu qabow waa xusuusta macaamil ganacsi Dhammaan L1 ee mid kasta oo ka mid ah 864 ka mid ah ayaa ka qayb qaadan kara qorista macaamilka, taas oo si gaar ah muhiim ugu ah la shaqeynta qufulka Java (blocks-ka la isku dhejiyay waxay u shaqeyn karaan si isku mid ah ilaa iyo inta aysan jirin khilaaf xusuusta dhabta ah). Laakiin fikradda quruxda badan ayaa lagu burburiyay xaqiiqo adag - oo hadalkan Cliff wuxuu kuu sheegi doonaa sababta HTM iyo STM aysan aad ugu habboonayn baahiyaha wax ku oolka ah ee xisaabinta-threaded badan.
Michael Scott -
- Professor Culuumta Kombiyuutarka ee Jaamacadda Rochester, kaas oo qaddarku ku xiray , iyo Jaamacadda gurigiisa ee Wisconsin-Madison, wuxuu ahaa hormuud muddo shan sano ah. Wuxuu baaraa oo baraa ardayda wax ku saabsan barnaamujyada barbar socda iyo qaybinta iyo naqshadaynta luqadda.
Dunida oo dhami way garanaysaa Michael mahadsanid buuga akhriska , daabacaaddiisii ββugu dambeysay oo la daabacay dhawaan - 2015. Shaqadiisa helay isagoo ka mid ah kuwa ugu caansan dhinaca kombuyuutarrada la qaybiyey iyo Jaamacadda Rochester Online Library. Waxa kale oo aad u garan kartaa inuu yahay qoraaga Michael-Scott algorithm ka .
Marka loo eego adduunka Java, kani waa kiis gaar ah: oo uu weheliyo Doug Lea, wuxuu sameeyay algorithms-yada aan xannibin iyo safafka isku midka ah ee ay ku shaqeeyaan maktabadaha Java. Tani waa sida saxda ah ee "qaab-dhismeedka xogta laba-geesoodka ah" ay ku saabsan tahay - soo bandhigida qaababkan Java SE 6 ayaa horumariyay waxqabadka 10 jeer. java.util.concurrent.ThreadPoolExecutor. Haddii aad la yaabban tahay waxa ay yihiin "qaab-dhismeedka xogta labada", markaa waxaa jira macluumaad ku saabsan .
Maurice Herlihy -
- ku guuleystay laba Dijkstra Prizes. Midka hore waa shaqo (Jaamacadda Brown), iyo tan labaad, oo dhawaanahan - (Jaamacadda Virginia Tech University). Abaalmarinta Dijkstra waxay aqoonsan tahay shaqada ay muhiimaddeeda iyo saameynteeda muuqanaysay ugu yaraan toban sano, Maurice ayaa si cad u ah mid ka mid ah khubarada ugu caansan goobta. Hadda waxa uu borofisar ka shaqeeyaa Jaamacadda Brown wuxuuna leeyahay liis baaragaraaf-dheer oo waxqabadyo ah.
Qoraalkan muhiimka ah ee xiritaanka, Maurice wuxuu ka hadli doonaa aragtida iyo dhaqanka hababka loo qaybiyay blockchain marka laga eego aragtida fasalada xisaabinta qaybinta iyo sida ay u fududayso dhibaatooyin badan oo la xidhiidha. Tani waa warbixin si gaar ah uga hadlaysa mawduuca shirka - haba yaraatee maaha mid ku saabsan buunbuuninta macdanta, laakiin waxay ku saabsan tahay sida aqoonteenna loogu isticmaali karo si la yaab leh oo habboon oo la xidhiidha hawlo kala duwan.
Bishii Luulyo 2017, Maurice waxay mar hore u timid Ruushka si ay u dhigto dugsiga SPTDC, oo ka qaybqaatay kulanka JUG.ru, duubista waxaa laga daawan karaa YouTube:
Barnaamijka ugu muhiimsan
Marka xiga waxaa jiri doona dulmar gaaban oo ku saabsan warbixinnada ku jira barnaamijka. Qaar ka mid ah warbixinnada ayaa halkan lagu sifeeyay si faahfaahsan, qaar kalena si kooban ayaa loo sharraxay. Sharaxaad dheer ayaa inta badan ku socota warbixinnada luqadda Ingiriisiga ee u baahan xiriirinta waraaqaha sayniska, shuruudaha Wikipedia, iyo wixii la mid ah. Liiska buuxa waa la heli karaa . Liiska mareegaha ayaa la cusboonaysiin doonaa oo la kaabi doonaa.
Leslie Lamport -
Leslie Lamport waa qoraaga shaqooyinka seminal ee xisaabinta la qaybiyay. waxay u taagan tahay "Lamport TeX". Waxa uu ahaa kii ugu horeeyay, dib u 1979, soo bandhigay fikradda , iyo maqaalkiisa helay abaalmarinta Dijkstra.
Tani waa qaybta aan caadiga ahayn ee barnaamijka qaab ahaan, sababtoo ah xitaa warbixin maaha, laakiin waa su'aalo iyo jawaabo. Marka qayb muhiim ah oo ka mid ah dhagaystayaashu ay hore u yaqaaneen (ama ay baran karaan) dhammaan noocyada shaqada ee ku salaysan "aragtida Lamport", maqaalladiisa iyo warbixinnada, waxa aad u muhiim ah in wakhti kasta oo la heli karo lagu bixiyo isgaarsiin toos ah.
Fikradda waa sahlan tahay - waxaad ka daawataa YouTube laba warbixinood: ΠΈ oo diyaari ugu yaraan hal su'aal, Lesliena way ka jawaabtay.
Labadan muuqaal ee ugu horreeya ayaanu hore u haynaa . Haddii aadan haysan saacad aad ku daawato fiidiyowga, waxaad si degdeg ah u akhrin kartaa dhammaan qaab qoraal ah.
Fiiro gaar ah: Waxa jira muuqaallo badan oo Leslie Lamport ah oo ku jira YouTube. Tusaale ahaan, waxaa jira mid aad u fiican . Kooraskan oo dhan nooc offline ah ayaa laga heli karaa , wuxuuna u soo galiyay Youtube-ka si ay ugu sahlanaato daawashada mobilada.
Martin Kleppmann -
Martin Kleppmann waa cilmi-baare ka tirsan Jaamacadda Cambridge oo ka shaqeeya CRDT iyo xaqiijinta rasmiga ah ee algorithms. Buugga Martin , oo la daabacay 2017, waxay caddeeyeen inay aad u guuleysteen oo waxay ka dhigeen liisaska iibiyeyaasha ugu fiican ee kaydinta xogta iyo habaynta. Kevin Scott, CTO oo ka tirsan Microsoft, "Buuggani waa inuu noqdaa mid ay leeyihiin injineerada software-ka. Tani waa kheyraad naadir ah oo isku dara aragti iyo dhaqan si ay uga caawiso horumariyeyaasha si caqli-gal ah qaabeynta iyo hirgelinta kaabayaasha iyo nidaamyada xogta." Abuuraha Kafka iyo CTO of Confluent, Jay Kreps, ayaa yiri wax la mid ah.
Kahor inta uusan u dhaqaaqin cilmi baarista akadeemiyada, Martin wuxuu ka shaqeeyay warshadaha wuxuuna la wadaagay laba bilow oo guul leh:
- Rapportive, u heellan muujinta astaanta bulsheed ee xiriirada emailkaaga, kaas oo LinkedIn soo iibsatay 2012;
- Go Test It, waa adeeg si toos ah loogu tijaabiyo mareegaha shabakado kala duwan, oo RedGate iibsatay 2009.
Guud ahaan, Martin, in kasta oo uu ka yar yahay caan ka mid ah qoraalladayada muhiimka ah, ayaa mar hore awooday in uu wax ku biiriyo horumarinta xisaabinta la qaybiyey iyo warshadaha.
Hadalkan, Martin waxa uu kaga hadli doonaa mawduuc u dhaw cilmi-baadhistiisa tacliineed. Google Docs iyo dokumentiga la midka ah ee wax ka tafatirka fadhiga fadhiga, "tafatirka iskaashiga" waxaa loola jeedaa hawsha dib-u-celinta: isticmaale kastaa wuxuu leeyahay nuqul u gaar ah dukumeentiga la wadaago, oo ay markaa wax ka beddelaan, dhammaan isbeddelladana waxaa loo diraa shabakadda inteeda kale ka qaybgalayaasha. Isbeddellada dukumeentiyada khadka tooska ah waxay horseedaan iswaafaqla'aan ku meel gaar ah oo dukumeentiga ah ee la xiriira ka qaybgalayaasha kale, iyo dib-u-dhigiddu waxay u baahan tahay maaraynta isku dhaca. Taasi waa waxa ay u jiraan (CRDT), dhab ahaantii, waa shay cadaalad ah oo cusub, nuxurka kaas oo la sameeyay kaliya 2011. Hadalkani waxa uu ka hadlayaa wixii ka dhacay tan iyo markaas dunida CRDT, waxa horumarradii ugu dambeeyay ay yihiin, habka loo abuuro codsiyada maxalliga ah guud ahaan iyo adeegsiga maktabad il furan. khaas ahaan.
Toddobaadka soo socda waxaan daabici doonaa wareysi dheer oo Martin oo ku saabsan HabrΓ©, wuxuu noqon doonaa mid xiiso leh.
Pedro Ramalhete -
Pedro wuxuu ka shaqeeyaa Cisco wuxuuna horumarinayay algorithms barbar socda tobankii sano ee la soo dhaafay ama wax ka badan, oo ay ku jiraan hababka wada shaqaynta, qaabdhismeedka xogta aan qufulka lahayn iyo sugitaanka iyo wax kasta oo aad ku qiyaasi karto mawduucan. Cilmi-baaristiisa hadda iyo danaha injineernimada waxay diiradda saaraan Dhismayaasha Caalamiga ah, Xusuusta Macaamilka Software, Xusuusta Joogtada ah iyo teknoolojiyadda la midka ah ee awood u siinaya codsiyada saxda ah, la cabbiri karo iyo khaladaadka. Isagu sidoo kale waa qoraaga blog si weyn loogu yaqaan goobo cidhiidhi ah .
Inta badan codsiyada isku dhafan ayaa hadda ku shaqeeya qaab dhismeed xogta isbarbar socda, laga bilaabo isticmaalka safafka fariinta ee u dhexeeya jilayaasha ilaa qaab-dhismeedka xogta ee dukaamada qiimaha muhiimka ah. Waxay si guul leh uga shaqeynayeen Java JDK sanado badan, waxaana si tartiib ah loogu daray C++.
Habka ugu fudud ee loo hirgelin karo qaab-dhismeedka xogta isbarbar-dhigga ah waa hirgelin taxane ah (hal-threaded) kaas oo hababka lagu ilaaliyo mutexes. Tani waa la heli karaa Juun kasta, laakiin waxay leedahay dhibaatooyin muuqda oo xagga miisaanka iyo waxqabadka. Isla mar ahaantaana, qaab-dhismeedka xogta-free-free iyo sugitaan-free ma aha oo kaliya in ay si fiican ula qabsadaan khaladaadka, laakiin sidoo kale waxay leeyihiin profile waxqabadka wanaagsan - si kastaba ha ahaatee, horumarkoodu wuxuu u baahan yahay khibrad qoto dheer iyo la qabsiga codsi gaar ah. Hal khad khalad ah oo kood ah ayaa ku filan inuu jebiyo wax walba.
Sideen uga dhigi karnaa in xitaa qof aan khabiir ahayn uu naqshadeeyo oo hirgeliyo qaababka xogtaas? Waxaa la og yahay in algorithm kasta oo taxane ah laga dhigi karo dunta badbaadsan iyadoo la adeegsanayo midkood , ama xusuusta macaamil ganacsi. Hal shay, waxay hoos u dhigi karaan xannibaadda gelitaanka xallinta dhibaatadan. Si kastaba ha ahaatee, labada xal ayaa sida caadiga ah u horseeda hirgelin aan waxtar lahayn. Pedro ayaa ka hadli doona sida ay ugu suurtagashay in ay naqshadahan ka dhigaan kuwo hufan iyo sida aad ugu isticmaali karto algorithms-yadaada.
Heidi Howard -
Heidi Howard waa, sida Martin, oo ah cilmi-baare nidaameed qaybsan oo ka tirsan Jaamacadda Cambridge. Takhasuskeedu waa joogteynta, dulqaadka khaladka, waxqabadka iyo heshiis la qaybiyey. Waxay si fiican ugu caan baxday guud ahaan Paxos algorithm ee loo yaqaan .
Xusuustaa waa qoys hab-maamuus ah oo lagu xallinayo dhibaatada la isku raacsan yahay ee shabakad kombiyuutaro aan la isku halleyn karin, oo ku saleysan shaqada Leslie Lamport. Sidaa darteed, qaar ka mid ah kuwa ku hadla ayaa ka shaqeynaya dhibaatooyin ay markii hore soo jeediyeen kuwa kale ee ku hadla - tani waa mid cajiib ah.
Awoodda lagu helo is-afgarad dhexmara marti-geliyayaal badan - wax ka qabashada, doorashada hoggaamiyaha, xannibaadda, ama isku-dubbaridka - waa arrin aasaasi u ah nidaamyada casriga ah ee la qaybiyo. Paxos hadda waa habka ugu muhiimsan ee lagu xalliyo dhibaatooyinka la isku raacsan yahay, waxaana jira cilmi-baaris badan oo ka socda agagaarka si loo ballaariyo loona hagaajiyo algorithm ee baahiyo kala duwan oo wax ku ool ah.
Hadalkan, waxaan dib u eegi doonaa aasaaska aragtida Paxos, nasinta shuruudaha asalka ah iyo guud ahaan algorithm. Waxaan arki doonaa in Paxos ay asal ahaan tahay hal ikhtiyaar oo ka mid ah habab badan oo la isku raacsan yahay, iyo in qodobbada kale ee spectrum ay sidoo kale faa'iido u leeyihiin dhisidda nidaamyo qaybsan oo wanaagsan.
Alex Petrov -
Alex waa khabiir ku takhasusay kaydinta xogta iyo nidaamka kaydinta, oo aad noogu muhimsan, waa hawl-wadeen . Wuxuu hadda ka shaqaynayaa buug, Database Internals, oo leh O'Reilly.
Nidaamyada leh (Eray bixinta Ruushka - "joogteynta ugu dambeysa"), ka dib markii uu burburo qanjidhada ama shabakada kala go'a, waxaad u baahan tahay inaad xalliso dhibaatadan soo socota: ama sii wad inaad fuliso codsiyada, u hurida joogteynta, ama diido inaad fuliso oo u huro helitaanka. Nidaamkan oo kale, kooramyada, qaybo hoosaadyada qanjirada oo is dulsaaran iyo hubinta in ugu yaraan hal noodu ka kooban yahay qiimihii ugu dambeeyay, waxay noqon kartaa xal wanaagsan. Waxaad ka badbaadi kartaa guuldarrooyinka iyo luminta isku xirnaanta qanjidhada qaar adigoo wali ka jawaabaya qiyamkii ugu dambeeyay.
Si kastaba ha ahaatee, wax walba waxay leeyihiin qiimo. Nidaamka kooramku kooramku waxa uu ka dhigan yahay korodhka kharashyada kaydinta: xogta dheeraadka ah waa in lagu kaydiyaa meelo badan hal mar si loo hubiyo in ay jiraan nuqullo ku filan oo la heli karo marka ay dhibaato dhacdo. Waxay soo baxday inaadan ku kaydin dhammaan xogta dhammaan nuqullada. Waxaad yarayn kartaa culayska kaydinta haddii aad xogta ku kaydiso qayb ka mid ah noodhka oo keliya, oo aad isticmaasho noodhadhka gaarka ah (Transient Replica) si aad u xalliso fashilka xaaladaha.
Inta ay socoto warbixinta waan ka fiirsan doonaa , nidaamka soo-celinta ee loo isticmaalo ΠΈ , iyo hirgelinta fikraddan ee Apache Cassandra loo yaqaan .
Dmitry Vyukov -
Dmitry waa horumariye Google ka shaqeeya tijaabinta firfircoon ee C/C++ iyo Go - Cinwaanka/Memory/ThreadSanitizer, iyo aaladaha la midka ah ee kernel-ka Linux. Wax ku darsaday Go jadwaleeyaha gorootine ee la miisaami karo, cod-bixiye shabakad, iyo qashin ururiye barbar socda. Isagu waa khabiir ku xeel dheer qoraalka badan, qoraaga daraasiin algorithms cusub oo aan xannibin waana mulkiilaha Intel.
Hadda wax yar oo ku saabsan warbixinta lafteeda. Luqadda Go waxay leedahay taageero hooyo oo loogu talagalay akhrinta badan ee qaabka goroutines (xadadka iftiinka) iyo kanaalada ( safafka FIFO). Hababkan ayaa aad u fudud oo ay ku raaxaystaan ββdadka isticmaala si ay u qoraan codsiyo taxane ah oo badan, waxayna u egtahay sixir. Sida aan fahamsanahay, halkan ma jiro sixir. Hadalkan, Dmitry wuxuu u dhexgeli doonaa qallafsanaanta jadwalka Go oo muujinaya sirta ah hirgelinta "sixirka". Marka hore, wuxuu ku siin doonaa dulmar guud oo ku saabsan qaybaha ugu muhiimsan ee jadwalka oo wuxuu kuu sheegi doonaa sida ay u shaqeyso. Marka xigta, waxaanu si dhow u eegi doonaa dhinacyo gaar ah sida istaraatiijiyada baarkinka/baarkinka iyo wax ka qabashada wicitaanada nidaamka xannibista. Ugu dambeyntii, Dmitry wuxuu ka hadli doonaa wax yar oo ku saabsan hagaajinta suurtogalka ah ee jadwalka.
Dmitry Bugaichenko -
Dmitry waxa uu ka soo shaqeeyay dibadda in ku dhow 9 sano isaga oo aan lumin xidhiidhka jaamacadda iyo bulshada sayniska. Falanqaynta xogta weyn ee Odnoklassniki waxay u noqotay fursad gaar ah oo lagu isku daro tababarka aragtida iyo aasaaska sayniska iyo horumarinta alaabada dhabta ah ee baahida loo qabo.
Falanqaynta garaafyada la qaybiyay waxay ahayd oo ay ahaataa hawl adag: marka ay lagama maarmaan noqoto in la helo macluumaadka ku saabsan isku xirka vertex deriska ah, xogta inta badan waa in lagu wareejiyo mishiinnada, taas oo keenta in la kordhiyo wakhtiga fulinta iyo culeyska kaabayaasha shabakada. Hadalkan, waxaanu ku arki doonaa sida aad ku heli karto xawli habayneed oo mug leh adiga oo isticmaalaya qaab-dhismeedka xogta suurtogalka ah ama xaqiiqooyinka sida summetry garaafka saaxiibtinimada ee shabakada bulshada. Waxaas oo dhan waxaa lagu muujiyey tusaalayaal kood ah Apache Spark.
Denis Rystsov -
Denis - horumariye , khabiir ku ah hubinta moodooyinka joogtaynta, algorithms-ka la isku raacsan yahay, iyo macaamilada la qaybiyey. Hadda waxa uu ka shaqeeyaa Microsoft, ka horna waxa uu ka shaqayn jiray hababka loo qaybiyo Amazon iyo Yandex.
Hadalkan, waxaanu ku eegi doonaa hab-maamuuska wax kala iibsiga ee la qaybiyay ee la alifay dhawrkii sano ee la soo dhaafay, kaas oo laga hirgelin karo dhinaca macmiilka oo ku dul yaal kayd kasta oo xog ah oo taageeraya cusboonaysiinta shuruuda ah (is barbar dhig oo dejin). Guntii iyo gaba gabadii noloshu kuma dhamaato balan laba waji ah, wax kala iibsigu waxa lagu dari karaa korka xog kasta - heerka codsiga, laakiin hab-maamuusyada kala duwan (2PC, Percolator, RAMP) waxay leeyihiin ganacsiyo kala duwan oo aan nala siin. bilaash.
Alexey Zinoviev -
Alexei () waa af-hayeen muddo dheer ah oo xubin ka ah guddiyada barnaamijka shirarka kale. Ku tababarashada tababaraha ee Nidaamyada EPAM, oo waxay saaxiib la ahayd Hadoop/Spark iyo xog kale oo waaweyn ilaa 2012.
Hadalkan, Alexey wuxuu ka hadli doonaa dhibaatooyinka la qabsiga barashada mashiinka qadiimiga ah algorithms ee fulinta qaabka loo qaybiyay iyadoo lagu saleynayo waayo-aragnimadiisa la shaqeynta Apache Spark ML, Apache Mahout, Apache Flink ML iyo waayo-aragnimada abuurista Apache Ignite ML. Alexey wuxuu kaloo ka hadli doonaa hirgelinta algorithms-yada ML ee la qaybiyay qaab-dhismeedkan.
Ugu dambeyntiina, laba warbixin oo ka socda Yandex oo ku saabsan Database Yandex.
Vladislav Kuznetsov -
Vladislav waa horumariyaha Yandex ee kooxda madal la qaybiyay. Yandex Database waa DBMS si toos ah loo miisaami karo, juquraafi-qaybsan, cilad-dulqaad leh DBMS taas oo u adkeysan karta fashilka saxanadaha, server-yada, racks iyo xarumaha xogta iyada oo aan la lumin joogteynta. Si loo hubiyo dulqaadka qaladka, algorithm lahaanshaha si loo gaaro heshiis la qaybiyay ayaa la isticmaalaa, iyo sidoo kale dhowr xalal farsamo, kuwaas oo si faahfaahsan looga hadlay warbixinta. Warbixintu waxa ay noqon kartaa mid ay xiisaynayso horumarinta DBMS iyo horumariyayaasha xalalka codsiga ee ku salaysan DBMS.
Semyon Checherinda -
Semyon waa horumariye kooxda madal qaybsan ee Yandex, ka shaqaynaysa suurtagalnimada isticmaalka kiraystayaasha badan ee rakibaadda YDB.
Yandex Database waxaa loogu talagalay weydiimaha OLTP oo u hoggaansama shuruudaha ACID ee nidaamka wax kala iibsiga. Warbixintan, waxaan ku tixgalin doonaa jadwalka wax kala iibsiga algorithm ee hoostaga nidaamka wax kala iibsiga YDB. Aynu eegno hay'adaha ka qaybqaata wax kala iibsiga, kuwaas oo u xilsaara nidaamka caalamiga ah ee wax kala iibsiga, sida atomity-ga wax kala iibsiga, isku halaynta, iyo heer adag oo go'doomin ah ayaa lagu gaaraa. Isticmaalka dhibaatada guud tusaale ahaan, aynu eegno fulinta wax kala iibsiga anagoo adeegsanayna laba waji iyo macaamilo go'aamin. Aynu ka wada hadalno khilaafkooda.
Maxaa ku xiga?
Barnaamijka shirku wuxuu ku sii socdaa inuu buuxiyo warbixinno cusub. Gaar ahaan, waxaan ka fileynaa warbixin Nikita Koval () ka JetBrains iyo Oleg Anastasyev () oo ka socda shirkadda Odnoklassniki. Nikita wuxuu ka shaqeeyaa algorithms-ka coroutines ee kooxda Kotlin, iyo Oleg waxay horumarisaa qaab dhismeedka iyo xalalka nidaamyada culeyska sarreeya ee goobta Odnoklassniki. Intaa waxaa dheer, waxaa jira 1 boos oo madhan oo shuruudaysan, guddiga barnaamijku wuxuu la shaqeynayaa musharraxiinta hadda.
Shirka Hydra wuxuu dhacayaa July 11-12 ee St. Petersburg. Tigidhada waa la heli karaa . Fadlan fiiro gaar ah u yeelo helitaanka tigidhada khadka tooska ah - haddii sabab qaar ka mid ah aadan aadi karin St. Petersburg maalmahan.
Ku arag Hydra!
Source: www.habr.com