19 loha hydra. Fijery lehibe momba ny programa

Ny 11-12 Jolay dia hisy fihaonambe hatao any Saint-Pétersbourg Hydranatokana ho an'ny fampivoarana ny rafitra parallèle sy mizara. Ny momba an'i Hydra dia ny mampiaraka ireo mpahay siansa ambony (izay matetika tsy hita afa-tsy amin'ny fihaonambe ara-tsiansa vahiny) sy ireo injeniera mpanao fanazaran-tena fanta-daza ao anatin'ny fandaharana lehibe iray eo amin'ny fihaonan'ny siansa sy ny fampiharana.

Hydra dia iray amin'ireo fihaonambe manan-danja indrindra tato anatin'ny taona vitsivitsy. Nialohavan’ny fanomanana tena matotra, fifantenana mpandahateny ary tatitra. momba izany tamin'ny herinandro lasa nivoaka ny habrointerview miaraka amin'ny talen'ny vondrona JUG.ru, Alexey Fedorov (23derevo).

Isika efa voalaza tokony ho telo mpandray anjara manan-danja, ny mpanorina ny teoria ny fizarana rafitra - Leslie Lamport, Maurice Herlihy ary Michael Scott. Fotoana izao hiresahana bebe kokoa momba ny fandaharana manontolo!

19 loha hydra. Fijery lehibe momba ny programa

motivation

Raha programa ianao, dia fomba iray na hafa ianao dia miatrika multithreading sy computing mizara. Ireo manam-pahaizana manokana amin'ny sehatra mifandraika dia miara-miasa amin'izy ireo mivantana, fa amin'ny ankapobeny, ny fitsinjarana dia mijery antsika eny rehetra eny: amin'ny ordinatera multi-core na serivisy mizara, dia misy zavatra manao kajy mifanitsy.

Betsaka ny fihaonambe izay mirakitra ny lafiny sasany amin'ny fandaharana fampiharana. Amin'ny lafiny iray amin'ny sehatra, manana sekoly siantifika manokana isika, amin'ny endrika lahateny, manambara teoria be pitsiny. Ohatra, mitovy amin'ny Hydra any Saint-Pétersbourg, sekoly SPTDC. Tamin'ny fihaonambe Hydra, niezaka nampitambatra ny fanao henjana, sy ny siansa, ary izay rehetra eo amin'ny sampanan-dry zareo.

Eritrereto izao: miaina ao anatin'ny fotoana mahagaga ahafahanao mihaona amin'ireo mpanorina ny sehatry ny siansa sy injeniera izay iandraiketanay mivantana. Tsy hihaona amin'i Newton na Einstein ny mpahay fizika - lasa ny lamasinina. Saingy ireo izay namorona ny fototry ny teoria momba ny rafitra mizara, namorona fiteny fandaharana malaza, ary sambany nampiditra izany rehetra izany ho prototypes miasa, dia mbola mipetraka eo akaikintsika. Ireo olona ireo dia tsy niala tamin'ny asany tamin'ny antsasany, manao asa tena izy amin'izao fotoana izao any amin'ny oniversite sy orinasa malaza eran-tany, ary loharanon-pahalalana sy traikefa lehibe indrindra amin'izao fotoana izao.

Amin'ny lafiny iray, ny fahafahana mihaona amin'izy ireo matetika dia mijanona ho teorika: vitsy amintsika no afaka manara-maso tsy tapaka ny hetsika ho an'ny daholobe any amin'ny Oniversiten'i Rochester mba handeha haingana any Etazonia ary hiverina amin'ny lahatenin'i Michael Scott. Ny fitsidihana ny mpikambana rehetra ao amin'ny Hydra amin'ny ankapobeny dia mety ho harena kely, ankoatra ny halalin'ny fotoana lany (na dia toa fikatsahana mahaliana aza izany).

Amin'ny lafiny iray, manana injeniera ambony isika izay miasa amin'ny tena olan'ny rafitra fizarana amin'izao fotoana izao, ary manana zavatra holazaina izy ireo. Fa izao no olana - ry zareo работаютary sarobidy ny fotoanany. Eny, raha mpiasan'ny Microsoft, Google na JetBrains ianao, dia mitombo be ny mety hisian'ny fihaonana amin'ny iray amin'ireo mpandahateny malaza amin'ny hetsika anatiny, fa amin'ny ankapobeny - tsia, tsy mitranga isan'andro izany.

Amin'izany fomba izany, ny fihaonambe Hydra dia manatanteraka asa lehibe izay tsy vitan'ny ankamaroantsika - amin'ny toerana iray sy amin'ny fotoana iray, mampivondrona olona manana hevitra na fifandraisana izay afaka manova ny fiainanao. Ekeko fa tsy ny rehetra no mila rafitra mizara, zavatra fototra sarotra. Afaka manao programa CRUD amin'ny PHP mandritra ny androm-piainanao ianao ary ho faly tanteraka. Fa iza no mila izany - izao no fahafahanao.

Fotoana maro no lasa hatramin'ny nanambarana voalohany ny fihaonambe Hydra momba ny Habré. Nandritra izany fotoana izany, asa maro no vita - ary ankehitriny, manana lisitry ny tatitra rehetra izahay. Tsy misy algorithm misy kofehy tokana, hardcore zaraina madio fotsiny! Andeha hofarantsika amin'ny teny ankapobeny, ary hojerentsika izay ananantsika ankehitriny.

Keynotes

Manomboka sy mamarana ny andro amin'ny fihaonambe ny teny fototra. Matetika ny tanjon'ny lahateny fanokafana dia ny hametraka ny toe-tsaina ankapobeny sy ny fitarihana ny fihaonambe. Ny fehin-kevitra famaranana dia manoritra tsipika ary manazava ny fomba ahafahantsika miaina miaraka amin'ny fahalalana sy ny fahaiza-manao azo nandritra ny andron'ny fihaonambe. Fiantombohana sy fiafarana: izay tsaroana tsara indrindra, ary amin'ny ankapobeny dia manana sanda mitombo.

Cliff Click- Ny algorithm H2O mizara K/V

19 loha hydra. Fijery lehibe momba ny programa Cliff dia angano ao amin'ny tontolo Java. Tamin'ny faramparan'ireo taona 90, ho an'ny tesis PhD, dia nanoratra taratasy antsoina hoe izy "Manambatra ny famakafakana, manambatra ny Optimizations", izay lasa fototry ny HotSpot JVM Server Compiler rehefa afaka kelikely. Roa taona taty aoriana dia efa niasa tao amin'ny Sun Microsystems tao amin'ny JVM izy ary naneho tamin'izao tontolo izao fa manan-jo hisy ny JIT. Ity tantara iray manontolo ity fa i Java dia iray amin'ireo fampandehanana maoderina haingana indrindra miaraka amin'ny fanatsarana marani-tsaina sy haingana indrindra dia avy amin'ny Cliff Click. Tany am-piandohana dia nino fa raha misy zavatra azo alaina amin'ny compiler static, dia tsy azonao atao mihitsy ny manandrana manitsy azy. Noho ny asan'i Cliff sy ny ekipa dia nanomboka noforonina ny fiteny vaovao rehetra miaraka amin'ny hevitra hoe JIT compilation amin'ny alàlan'ny default. Mazava ho azy fa tsy asan'olona iray izany, fa i Cliff dia nandray anjara lehibe tamin'izany.

Ao amin'ny lahateny fanokafana, hiresaka momba ny asa hafa ataony i Cliff - H20, sehatra ao anaty fitadidiana ho an'ny fianarana milina zaraina sy azo esorina ho an'ny fampiharana indostrialy. Ny marimarina kokoa, momba ny fitehirizana voazara ireo mpivady manan-danja ao anatiny. Ity dia fitahirizana haingana be miaraka amin'ny fananana mahaliana maro (ny lisitra marina dia ao Description) izay mamela ny fampiasana vahaolana mitovy amin'ny matematika amin'ny fandefasana data lehibe.

Lahateny hafa homen'i Cliff dia ny Ny traikefa Azul Hardware Transactional Memory. Ampahany iray hafa amin'ny tantaram-piainany - folo taona miasa ao Azul, izay nanavao sy nanatsarany zavatra maro tao amin'ny fitaovan'ny Azul hardware sy teknolojia: JIT compiler, runtime, thread model, error handling, stack manipulation, hardware interrupting, class loading, sy ny sisa - tsara, azonao ny hevitra.

Ny ampahany mahaliana indrindra dia nanomboka rehefa nanao fitaovana ho an'ny orinasa lehibe izy ireo - supercomputer iray hampandeha an'i Java. Tena zava-baovao izany, natao manokana ho an'ny Java, izay manana fepetra manokana - sakana fitadidiana amin'ny famakiana ny fanangonana fako miato kely, filaharana miaraka amin'ny fanaraha-maso fetra, antso virtoaly ... Ny iray amin'ireo teknolojia mahafinaritra indrindra dia ny fitadidiana ara-pitaovana. Ny L1 manontolo amin'ny cores 864 dia afaka mandray anjara amin'ny fanoratana transactional, izay zava-dehibe indrindra amin'ny fiasana amin'ny hidin-trano amin'ny Java (afaka miasa mifanandrify ny blocs synchronized, raha mbola tsy misy fifanoherana amin'ny fahatsiarovana). Saingy ny hevitra tsara tarehy dia nianjera tamin'ny zava-misy henjana - ary amin'ity tatitra ity i Cliff dia hilaza aminao ny antony tsy mety amin'ny HTM sy STM amin'ny filàna azo ampiharina amin'ny informatika maromaro.

Michael Scott- Rafitra angona roa

19 loha hydra. Fijery lehibe momba ny programa Michael Scott - Profesora momba ny siansa informatika ao amin'ny Oniversiten'i Rochester, izay nampifandraisin'ny lahatra azy efa 34 taona izao, ary tao amin'ny Oniversiten'i Wisconsin–Madison niaviany, dia dean nandritra ny dimy taona. Mirotsaka amin'ny fikarohana eo amin'ny sehatry ny fandaharana parallèle sy fizarana ary famolavolana fiteny izy ary mampianatra izany ny mpianatra.

Mahafantatra an'i Michael izao tontolo izao noho ny boky fianarana "Programming Language Pragmatics", ny fanontana farany izay navoaka vao haingana - tamin'ny taona 2015. Ny asany "Algorithms ho an'ny synchronization scalable amin'ny multiprocessors shared-memory" I nahazo Loka Dijkstra ho iray amin'ireo malaza indrindra eo amin'ny sehatry ny informatika zaraina sy mandainga ampahibemaso ao amin'ny University of Rochester Online Library. Azonao atao ihany koa ny mahafantatra azy ho mpanoratra ny algorithm Michael-Scott mitovy amin'ny "Tsotra, haingana, ary azo ampiharina tsy manakana sy manakana ny algorithm filaharana miaraka".

Raha ny amin'ny tontolon'ny Java, dia tranga manokana ity: miaraka amin'i Doug Lea, namolavola ireo algorithm tsy manakana sy filaharana synchronous izay mandeha amin'ny tranomboky Java izy. Ity no lohatenin'ny "Dual data structures" - ny fampidirana ireo rafitra ireo amin'ny Java SE 6 dia nahafahan'ny nanatsara ny fampisehoana in-10. java.util.concurrent.ThreadPoolExecutor. Raha liana mialoha ianao hoe inona ireo "Dual data structures" ireo dia misy asa mifandraika.

Maurice Herlihy- Blockchains sy ny hoavin'ny computing zaraina

19 loha hydra. Fijery lehibe momba ny programa Maurice Herlihy - Nahazo loka Dijkstra roa. Ny voalohany dia ho an'ny asa "Synchronization tsy misy andraso" (Brown University), ary ny faharoa, vao haingana - "Fahatsiarovana Transactional: Fanohanana Architectural ho an'ny rafitry ny angona tsy misy hidy" (Virginia Tech University). Ny loka Dijkstra dia omena ho an'ireo sanganasa izay efa hita nandritra ny folo taona farafahakeliny ny lanjany sy ny fiantraikany, ary mazava ho azy fa Maurice dia iray amin'ireo manam-pahaizana malaza indrindra amin'ny sehatra. Mpampianatra ao amin'ny Oniversite Brown izy amin'izao fotoana izao ary manana firaketana an-tsoratra momba ny zava-bita.

Amin'ity fehin-kevitra famaranana ity, Maurice dia hiresaka momba ny teoria sy ny fampiharana ny rafitra fizarana blockchain avy amin'ny fomba fijery mahazatra momba ny informatika mizara sy ny fomba hanatsorana ny olana maro mifandraika amin'izany. Ity tatitra ity dia momba ny lohahevitry ny fihaonambe - tsy ny momba ny fitrandrahana harena ankibon'ny tany, fa ny momba ny fomba ahafahan'ny fahalalana azo ampiasaina amin'ny fomba mahomby sy araka ny tokony ho izy mifandraika amin'ny asa isan-karazany.

Tamin'ny Jolay 2017, efa tonga tany Rosia tao amin'ny sekoly SPTDC i Maurice, nandray anjara tamin'ny fihaonana tamin'ny JUG.ru, ary azo jerena ao amin'ny YouTube ny fandraisam-peo:

Fandaharana fototra

Avy eo dia hisy famerenana fohy ny tatitra tafiditra ao amin'ny fandaharana. Ny sasany amin'ireo tatitra dia nofaritana amin'ny antsipiriany eto, ny sasany fohifohy. Ny filazalazana lava dia nandeha indrindra tamin'ny tatitra amin'ny teny anglisy izay mitaky rohy mankany amin'ny lahatsoratra siantifika, teny ao amin'ny Wikipedia, sy ny sisa. Ny lisitra feno dia mety ho jereo ao amin'ny tranokalan'ny fihaonambe. Havaozina sy ampiana ny lisitra ao amin'ny tranokala.

Leslie Lampor- Q & A

19 loha hydra. Fijery lehibe momba ny programa Leslie Lamport dia mpanoratra mpisava lalana momba ny informatika zaraina. LaTeX dia midika hoe "Lamport TeX". Izy no voalohany, tamin'ny 1979, nampiditra ny foto-kevitra tsy miovaova, sy ny lahatsorany "Ahoana ny fomba fanaovana solosaina multiprocessor izay manatanteraka tsara ny programa multiprocess" nahazo ny loka Dijkstra.

Ity no ampahany tsy mahazatra indrindra amin'ny fandaharana amin'ny lafiny endrika, satria tsy tatitra akory, fa fanontaniana sy valiny. Rehefa misy ampahany manan-danja amin'ny mpihaino dia efa mahazatra (na mety ho lasa mahazatra) amin'ny karazana asa rehetra mifototra amin'ny teorian'i Lamport, ny lahatsorany sy ny tatitra nataony, dia zava-dehibe kokoa ny mandany ny fotoana rehetra misy amin'ny fifandraisana mivantana.

Tsotra ny hevitra - mijery tatitra roa ao amin'ny YouTube ianao: "Ny fandaharana dia tokony ho mihoatra noho ny Coding" и "Raha tsy manoratra programa ianao dia aza mampiasa fiteny fandaharana" ary manomana fanontaniana iray farafahakeliny, dia mamaly i Leslie.

Ny voalohany amin'ireo horonan-tsary roa ireo dia efa ananantsika nivadika ho omby. Raha tsy manana ora iray hijerena ilay video ianao dia azonao atao ny mamaky azy rehetra haingana amin'ny endrika lahatsoratra.

Fanamarihana: Misy lahatsary maro hafa ao amin'ny YouTube miaraka amin'i Leslie Lamport. Ohatra, misy tsara TLA+ taranja. Misy dikan-teny ivelan'ny aterineto amin'ity taranja iray manontolo ity pejy fandraisana ny mpanoratra, ary tao amin'ny YouTube no nandraisany izany mba hijerena mora kokoa amin'ny fitaovana finday.

Martin Kleppman - Mandrindra angona amin'ny fitaovana ampiasain'ny mpampiasa ho an'ny fiaraha-miasa zaraina

19 loha hydra. Fijery lehibe momba ny programa Martin Kleppmann dia mpikaroka ao amin'ny Oniversiten'i Cambridge miasa amin'ny CRDT sy fanamarinana algorithm ofisialy. Ny bokin'i Martin "Famolavolana rindranasa data-intensive", nivoaka tamin'ny taona 2017, dia hita fa tena nahomby ary nahavoa ny lisitry ny bestseller eo amin'ny sehatry ny fitahirizana sy fanodinana angona. Kevin Scott, CTO ao amin'ny Microsoft hoy indray mandeha: “Ity boky ity dia tsy maintsy ilaina ho an'ny injeniera amin'ny famolavolana. Loharanom-baovao tsy fahita firy ity izay mampifandray ny teoria sy ny fampiharana mba hanampiana ny mpamorona hamolavola sy hampihatra fotodrafitrasa sy rafitra ho marani-tsaina kokoa.” Zavatra mitovy amin'izany no nolazain'ny mpamorona ny Kafka sy CTO Confluent, Jay Kreps.

Talohan'ny nirosoana tamin'ny fikarohana akademika dia niasa tao amin'ny indostria i Martin ary niara-nanorina fanombohana roa nahomby:

  • Rapportive, natokana hanehoana ny mombamomba ny olona mifandray amin'ny mailaka, izay novidin'ny LinkedIn tamin'ny 2012;
  • Go Test It, mpitsikilo tranonkala automatique marobe izay novidin'i RedGate tamin'ny taona 2009.

Amin'ny ankapobeny, na dia tsy dia fantatra loatra aza i Martin raha oharina amin'ireo keynoter eto amintsika, dia efa afaka nandray anjara tamin'ny fampivoarana ny informatika zaraina sy ny indostria izy.

Amin'ity lahateny ity, Martin dia hiresaka momba ny lohahevitra akaiky kokoa ny fikarohana akademika. Ao amin'ny Google Docs sy sofa mitovitovy amin'ny antontan-taratasy miara-manoratra, "miara-manoratra" dia midika hoe asa famerenana: ny mpampiasa tsirairay dia manana ny dika mitovy amin'ny antontan-taratasy nozaraina, izay ovany avy eo, ary ny fanovana rehetra dia alefa amin'ny tambajotra mankany amin'ny ambiny. ny mpandray anjara. Ny fanovana an-tserasera amin'ny antontan-taratasy dia miteraka tsy fitovian'ny antontan-taratasy vonjimaika amin'ny mpandray anjara hafa, ary mitaky fikarakarana fifanoherana ny fampifanarahana indray. Ho an'ity ihany no misy Karazana angona averina tsy misy fifanoherana (CRDT), raha ny marina, dia zava-baovao, izay vao tamin'ny taona 2011 no namolavola ny votoatiny. Ity lahateny ity dia miresaka momba ny zava-nitranga hatramin'izay teo amin'ny tontolon'ny CRDT, inona ireo fivoarana farany, miresaka ny fomba fananganana fampiharana eo an-toerana voalohany amin'ny ankapobeny, ary ny fampiasana tranomboky misokatra. Automerge manokana.

Amin'ny herinandro ambony dia hamoaka tafatafa lehibe miaraka amin'i Martin ao amin'ny Habré izahay, mahaliana.

Pedro Ramalhete - Rafitra angon-drakitra tsy misy fiandrasana sy fifampiraharahana tsy misy fiandrasana

19 loha hydra. Fijery lehibe momba ny programa Miasa ao amin'ny Cisco i Pedro ary namolavola algorithm mifanandrify nandritra ny folo taona farany, anisan'izany ny mekanika fampifanarahana, rafitra angon-drakitra tsy misy hidy ary tsy misy fiandrasana, ary izay rehetra azonao eritreretina momba ity lohahevitra ity. Ny tombotsoany amin'ny fikarohana sy ny injeniera amin'izao fotoana izao dia mifantoka amin'ny Universal Constructions, Software Transactional Memory, Persistent Memory, ary ireo teknolojia mitovitovy amin'izany mba ahafahan'ny fampiharana marina, azo esorina ary mahazaka fahadisoana. Ary izy koa dia mpanoratra bilaogy iray fantatra amin'ny faribolana tery Concurrency Freaks.

Ny ankamaroan'ny rindranasa misy kofehy maro izao dia mandeha amin'ny rafitra angon-drakitra mifanitsy, manomboka amin'ny fampiasana filaharana hafatra eo amin'ny mpisehatra mankany amin'ny rafitra angon-drakitra voarakitra ao amin'ny tranombarotra manan-danja. Nahomby izy ireo niasa tao amin'ny Java JDK nandritra ny taona maro, ary ampidirina tsikelikely amin'ny C ++.

Ny fomba tsotra indrindra hampiharana firafitry ny angon-drakitra mifanitsy amin'izany dia ny fampiharana serial (tady tokana) izay arovan'ny mutexes ny fomba. Ity dia misy amin'ny jun rehetra, saingy manana olana amin'ny scaling sy ny fampisehoana. Mandritra izany fotoana izany, ny rafitra angon-drakitra tsy misy hidin-trano sy tsy misy fiandrasana dia tsy vitan'ny hoe mitantana ny lesoka tsara kokoa, fa manana mombamomba ny fampisehoana tsara kokoa - na izany aza, ny fivoarany dia mitaky fahaizana lalina sy fampifanarahana amin'ny tranga fampiasana manokana. Ny andalana diso iray dia ampy handrava ny zava-drehetra.

Ahoana no ahazoana antoka fa na dia tsy manam-pahaizana aza dia afaka mamolavola sy mampihatra ireo rafitra angon-drakitra toy izany? Fantatra fa ny algorithm sequential rehetra dia azo atao ho fiarovana amin'ny kofehy famolavolana universal, na fitadidiana transactional. Ho an'ny iray, azon'izy ireo atao ny mampihena ny fe-potoana fidirana amin'ny famahana ity olana ity. Na izany aza, ireo vahaolana roa ireo dia mitarika amin'ny fampiharana tsy mahomby. Hiresaka momba ny fomba nahavitan'izy ireo nanao ireo fanorenana ireo i Pedro ary ny fomba azo ampiasana azy ireo amin'ny algorithma.

Heidi Howard- Manafaka marimaritra iraisana

19 loha hydra. Fijery lehibe momba ny programa Heidi Howard dia, toa an'i Martin, mpikaroka momba ny rafitra mizara ao amin'ny Oniversiten'i Cambridge. Ny mampiavaka azy dia ny tsy miovaova, ny fandeferana ny fahadisoana, ny fampisehoana ary ny marimaritra iraisana. Izy no malaza indrindra amin'ny famintinana ny algorithm Paxos antsoina hoe Flexible Paxos.

Tadidio fa Paxos - fianakaviana protocole hamahana ny olan'ny marimaritra iraisana amin'ny tambajotran'ny solosaina tsy azo itokisana, izay mifototra amin'ny asan'i Leslie Lamport. Noho izany, ny sasany amin'ireo mpandahateny anay dia miasa amin'ny asa izay natolotry ny mpandahateny hafa tany am-boalohany - ary mahafinaritra izany.

Ny fahafahana mahita marimaritra iraisana eo amin'ireo mpampiantrano maro—ho an'ny fifampiresahana, fifantenana mpitarika, fanakanana, na fandrindrana—dia olana fototra amin'ny rafitra mizara ankehitriny. Paxos izao no fomba lehibe hamahana ny olan'ny marimaritra iraisana, ary be dia be ny fikarohana manodidina azy mba hanitarana sy hanamafisana ny algorithm amin'ny filana azo ampiharina isan-karazany.

Ato amin'ity tatitra ity dia hamerina hijery ny fototry ny teorika an'ny Paxos isika, mampitony ny fepetra voalohany ary mametaka ny algorithm. Ho hitantsika fa ny Paxos, raha ny marina, dia iray amin'ireo safidy amin'ireo fomba fiasa marobe amin'ny marimaritra iraisana, ary ireo teboka hafa amin'ny sehatra dia tena ilaina ihany koa amin'ny fananganana rafitra fizarana tsara.

Alex Petrov - Ahenao ny vidin'ny fitahirizanao miaraka amin'ny Transient Replication sy Kôlejy mora

19 loha hydra. Fijery lehibe momba ny programa Alex dia manam-pahaizana manokana momba ny angon-drakitra sy fitahirizana ary, ny tena zava-dehibe, dia committer amin'ny Cassandra. Miara-miasa amin'i O'Reilly amin'ny boky Database Internals izy amin'izao fotoana izao.

Ho an'ny rafitra misy tsy miovaova farany (amin'ny teny rosiana - "mifanaraka amin'ny farany"), aorian'ny fianjeran'ny node na ny fisarahana amin'ny tambajotra, dia mila vahana izao olana manaraka izao: na manohy manatanteraka ny fangatahana, manao sorona ny tsy fitoviana, na mandà ny fanatanterahana azy ireo ary ny fahafahana manao sorona. Ao anatin'ny rafitra toy izany, ny kôlejy, ny ampahany mifanindry amin'ny node ary manome antoka fa farafaharatsiny iray no misy ny sanda farany indrindra, dia mety ho vahaolana tsara. Azo atao ny mivelona amin'ny tsy fahombiazana sy ny fahaverezan'ny fifandraisana amin'ny nodes sasany raha manohy mamaly amin'ny sanda farany indrindra.

Misy vidiny anefa ny zava-drehetra. Ny rafitra famerenan'ny kôlejy dia midika fampitomboana ny vidin'ny fitehirizana: tsy maintsy mitahiry angon-drakitra mihoa-pampana amin'ny node maromaro indray mandeha ianao mba hahazoana antoka fa ampy ny kopia azo rehefa misy olana. Hita fa tsy afaka mitahiry ny angona rehetra amin'ny kopia rehetra ianao. Azonao atao ny mampihena ny enta-mavesatra eo amin'ny fitahirizana raha tsy mitazona angon-drakitra afa-tsy amin'ny ampahany amin'ny node ianao, ary mampiasa node manokana (Transient Replica) ho an'ny tranga tsy fahombiazana.

Hodinihintsika ao anatin'ny tatitra Replika Vavolombelona, ny rafitra replication ampiasaina amin'ny Spanner и fivarotana mega, ary ny fampiharana an'io hevitra io ao amin'ny Apache Cassandra eo ambanin'ny anarana Replication Mandalo & Kôlejy mora.

Dmitry Vyukov - Goroutines sarona

19 loha hydra. Fijery lehibe momba ny programa Dmitry dia mpamorona ao amin'ny Google miasa amin'ny C/C++ sy Go dynamic test - Address/Memory/ThreadSanitizer ary fitaovana mitovy amin'izany ho an'ny kernel Linux. Nandray anjara tamin'ny fandaharam-potoana goroutine azo esorina izy, mpanao fanadihadiana amin'ny tambajotra, ary mpanangom-pako mirazotra ho an'i Go. Izy dia manam-pahaizana amin'ny multithreading, mpanoratra ny am-polony vaovao tsy manakana algorithm ary izy no tompon'ny Fehikibo mainty Intel.

Izao kely momba ny tatitra mihitsy. Ny fiteny Go dia manana fanohanan'ny teratany amin'ny kofehy maromaro amin'ny endrika goroutine (kofehy maivana) sy fantsona (fitsipika FIFO). Noho ireo mekanika ireo dia tena mora sy mahafinaritra ho an'ny mpampiasa ny manoratra rindranasa maoderina maro karazana, ary toa majika. Araka ny fantatsika dia tsy misy ody eto. Ao amin'ity tatitra ity, Dmitry dia handalina ny sain'ny Go scheduler ary hampiseho ny tsiambaratelon'ny fampiharana io "majika". Voalohany, hanome topimaso momba ireo singa fototra amin'ny fandaharam-potoana izy, ny fomba fiasa. Manaraka izany, hojerentsika akaiky ny lafiny sasany, toy ny paikadin'ny fiantsonan'ny fiara / tsy fiantsonan'ny fiara sy ny fiantsoana ny rafitra fanakanana. Farany, hiresaka kely momba ny fanatsarana azo atao amin'ny scheduler i Dmitry.

Dmitry Bugaichenko - Manafaingana ny famakafakana ny grafofaonina miaraka amin'ny Sketch probabilistic sy ny maro hafa

19 loha hydra. Fijery lehibe momba ny programa Dmitry dia niasa tao amin'ny outsourcing efa ho 9 taona, tsy very fifandraisana amin'ny oniversite sy ny fiaraha-monina siantifika. Ny famakafakana angon-drakitra lehibe ao amin'ny Odnoklassniki dia fotoana iray tsy manam-paharoa ho azy hanambatra ny fanofanana ara-teorika sy fototra ara-tsiansa miaraka amin'ny fivoaran'ny vokatra tena izy, amin'ny fangatahana.

Ny famakafakana grafika zaraina dia asa sarotra ary mijanona ho asa sarotra: rehefa ilaina ny mahazo vaovao momba ny fifandraisana amin'ny vertex mifanakaiky, matetika dia tsy maintsy afindra eo anelanelan'ny milina ny angon-drakitra, izay mitarika amin'ny fitomboan'ny fotoana famonoana sy ny enta-mavesatra eo amin'ny tambajotra. fotodrafitrasa. Amin'ity lahateny ity dia ho hitantsika ny fomba hahazoanao haingana haingana amin'ny fanodinana amin'ny alàlan'ny firafitry ny angona azo inoana na zava-misy toy ny simetrian'ny kisary fisakaizana amin'ny tambajotra sosialy. Izany rehetra izany dia aseho amin'ny ohatra kaody Apache Spark.

Denis Rystsov - Ahenao ny vidin'ny fitahirizanao miaraka amin'ny Transient Replication sy Kôlejy mora

19 loha hydra. Fijery lehibe momba ny programa Denis - mpamorona Cosmos DB, manam-pahaizana amin'ny fanamarinana modely tsy miovaova, algorithms consensus, ary fifampiraharahana mizara. Ankehitriny dia miasa ao amin'ny Microsoft izy, ary talohan'izay dia nirotsaka tamin'ny rafitra fizarana tao amin'ny Amazon sy Yandex.

Ao amin'ity tatitra ity, dia hifankazatra amin'ireo protocols fifampiraharahana nozaraina izay noforonina tato anatin'ny taona vitsivitsy izay, izay azo ampiharina amin'ny lafiny mpanjifa eo an-tampon'ny fivarotana data rehetra izay manohana fanavaozana misy fepetra (ampitahao sy apetraka). Ny tsipika ambany dia ny fiainana dia tsy mifarana amin'ny fanolorana dingana roa, ny fifampiraharahana dia azo ampiana eo an-tampon'ny angon-drakitra rehetra - amin'ny haavon'ny fampiharana, fa ny protocols samihafa (2PC, Percolator, RAMP) dia manana varotra samihafa ary tsy omena antsika. tsy andoavam-bola.

Alexey Zinoviev - Tsy ny algorithm ML rehetra dia miafara amin'ny paradisa zaraina

19 loha hydra. Fijery lehibe momba ny programa Alexei (zaleslaw) no mpandahateny efa hatry ny ela ary mpikambana ao amin'ny komity fandaharana amin'ny fihaonambe hafa. Mpanazatra zatra ao amin'ny EPAM Systems, ary efa naman'ny Hadoop / Spark sy bigdata hafa nanomboka tamin'ny 2012.

Amin'ity lahateny ity, Alexey dia hiresaka momba ny olana amin'ny fampifanarahana ny algorithm fianarana milina mahazatra ho an'ny famonoana zaraina mifototra amin'ny traikefany amin'ny Apache Spark ML, Apache Mahout, Apache Flink ML ary ny traikefa amin'ny famoronana Apache Ignite ML. Alexey dia hiresaka momba ny fampiharana ny algorithm ML zaraina amin'ireo rafitra ireo.

Ary ho famaranana, tatitra roa avy amin'ny Yandex momba ny Yandex Database.

Vladislav Kuznetsov — Yandex Database - ny fomba hanomezanay fandeferana diso

19 loha hydra. Fijery lehibe momba ny programa Vladislav dia mpamorona ao amin'ny Yandex ao amin'ny vondrona sehatra fizarana. Yandex Database dia DBMS mitsivalana mitsivalana, mizara amin'ny geo, mahazaka lesoka izay mahatanty ny tsy fahombiazan'ny kapila, ny lohamilina, ny racks ary ny foibe angon-drakitra tsy misy marimaritra iraisana. Mba hiantohana ny fandeferana amin'ny hadisoana, dia ampiasaina ny algorithm marimaritra iraisana zaraina, ary koa ny vahaolana ara-teknika maromaro, izay resahina amin'ny antsipiriany ao amin'ny tatitra. Ny tatitra dia mety hahaliana ny mpamorona DBMS sy ny mpamorona ny vahaolana ampiharina mifototra amin'ny DBMS.

Semyon Checherinda - Fizarana fifanakalozana amin'ny YDB

19 loha hydra. Fijery lehibe momba ny programa Semyon dia mpamorona ao amin'ny vondrona sehatra fizarana ao amin'ny Yandex, miasa amin'ny mety hisian'ny mpanofa maro mampiasa ny fametrahana YDB.

Yandex Database dia natao ho an'ny fanontaniana OLTP ary mahafeno ny fepetra takian'ny ACID ho an'ny rafitra ara-barotra. Ao amin'ny tatitra, dia hodinihintsika ny algorithm fandrindrana ny fifanakalozana eo ambanin'ny rafitra transactional YDB. Andeha hodinihintsika hoe iza avy ireo sampan-draharaha mandray anjara amin'ny fifampiraharahana, izay manome baiko maneran-tany amin'ny fifampiraharahana, ny fomba hahatratrarana ny atomika, ny fahatokisana ary ny haavon'ny fitokanana henjana. Amin'ny fampiasana ny ohatra amin'ny asa mahazatra, andeha hodinihintsika ny fampiharana ny fifampiraharahana amin'ny alàlan'ny fifampiraharahana amin'ny dingana roa sy ny fifampiraharahana voafaritra. Andeha hodinihintsika ny maha samy hafa azy ireo.

Inona ny manaraka?

Mbola feno tatitra vaovao ny fandaharan'ny fihaonambe. Indrindra indrindra, manantena ny tatitra avy amin'ny Nikita Koval (ndkoval) avy amin'ny JetBrains sy Oleg Anastasiev (m0nstermind) avy amin'ny Odnoklassniki. Nikita dia miasa amin'ny algorithms ho an'ny coroutine ao amin'ny ekipa Kotlin, ary i Oleg dia mamolavola rafitra sy vahaolana ho an'ny rafitra avo lenta ao amin'ny sehatra Odnoklassniki. Fanampin'izany, misy toerana 1 hafa tsy misy fepetra, miaraka amin'ireo kandidà izay iasan'ny komity fandaharana amin'izao fotoana izao.

Ny fihaonambe Hydra dia hatao ny 11-12 Jolay any Saint-Pétersbourg. Ny tapakila dia mety mividy amin'ny tranokala ofisialy. Tandremo ny fisian'ny tapakila an-tserasera - raha toa ka tsy afaka mankany St. Petersburg mivantana amin'izao andro izao ianao.

Hitanao ao amin'ny Hydra!

Source: www.habr.com

Add a comment