Ko nga kaihanga o te ariā o nga punaha tohatoha i roto i nga ringaringa o te hydra

Ko nga kaihanga o te ariā o nga punaha tohatoha i roto i nga ringaringa o te hydratenei Leslie Lamport Ko ia te kaituhi o nga mahi seminal i roto i te rorohiko tohatoha, a ka mohio ano koe ki a ia ma nga reta La i roto i te kupu LaTeX - "Lamport TeX". Ko ia te tuatahi, i te tau 1979, i whakauru i te kaupapa te riterite raupapa, me tana tuhinga "Me pehea te Hanga i tetahi Rorohiko Tukatuka Maha e Whakahaere Tika ana i nga Papatono Tukatuka Maha" i whakawhiwhia ki te Tohu Dijkstra (he tino tika, i te 2000 i kiia te tohu i roto i tona huarahi tawhito: "PODC Influential Paper Award"). He korero mo ia Tuhinga Wikipedia, kei hea e taea ai e koe etahi hononga pai ake. Mena kei te hikaka koe ki te whakaoti rapanga i nga mea ka tupu-i mua ranei nga raruraru o nga tianara Byzantine (BFT), me mohio koe kei muri a Lamport i enei mea katoa.

Ka tae mai ano ia ki ta tatou huihuinga hou mo te rorohiko tohatoha - Hydra, ka tu i te Hurae 11-12 i St. Kia kite tatou he aha te momo kararehe.

Hydra 2019

Ko nga kaupapa penei i te multithreading tetahi o nga mea rongonui i a maatau huihuinga, i nga wa katoa. Inaianei kua mokemoke tenei ruuma, engari ka puta mai tetahi tangata ki runga atamira e korero ana mo te tauira mahara, ka tupu-i mua i te kohinga para miro maha ranei me te - boom! — tata ki te kotahi mano nga tangata e noho ana i nga waahi katoa e waatea ana ki te noho ki te whakarongo marie. He aha te ngako o tenei angitu? Akene na te mea kei a tatou katoa etahi momo taputapu kei o ringaringa ka taea te whakarite rorohiko tohatoha? Ko te mea ranei kei te maarama taatau ki te kore e kaha ki te uta i te mea e tika ana? He tino korero mo tetahi o St. Petersburg quant (ara, he kaitirotiro ine moni me te kaiwhakawhanake), i kitea e ia he roopu rorohiko, ko te mana katoa ka taea e ia anake te whakamahi. Ka aha koe mena ka whai kaha koe ki te mahi i o mahi he maha nga wa nui ake i tenei wa?

Na tenei rongonui, ka horapa te kaupapa o te hua me te mahi rorohiko pai ki te kaupapa o te huihuinga. E hia o nga ra e rua o nga purongo ka taea te whakaputa mo nga mahi - te tuatoru, te rua hautoru? I etahi waahi he here hangai e whakatiki ana i tenei tipu: i tua atu i nga mahi, me whai waahi tonu mo nga anga tukutuku hou, mo etahi momo devops, mo nga tohunga astronautics hoahoanga. Kao, mahi, e kore koe e kai katoa i a matou!

Ka taea ranei e koe te haere ki tera taha, ka mutu, ka mahi pono i tetahi huihuinga e pa ana ki te tohatoha rorohiko me te korero mo ratou anake. A tenei ano, Hydra.

Me whakaae pono tatou i tenei ra ka tohatohahia nga tatauranga katoa i tetahi huarahi. Ahakoa he miihini maha-matua, he huinga rorohiko, he ratonga tohatoha nui ranei, he maha nga tukanga i nga waahi katoa e mahi ana i nga tatauranga motuhake i roto i te whakarara, me te tukutahi ki a raatau. Ka whakapau kaha a Hydra ki te pehea o tenei mahi i roto i te ariā me te mahi i roto i te mahi.

Kaupapa hui

I tenei wa kei te wahanga o te hotaka. Me whakauru nga purongo mai i nga kaihanga o nga ariā o nga punaha tohatoha me nga miihini e mahi tahi ana me ratou i roto i te mahi.

Hei tauira, kua mohiotia te whai waahi a Leslie Lamport mai i a Microsoft Research me Maurice Herlihy mai i te Whare Wananga o Brown.

Ko nga kaihanga o te ariā o nga punaha tohatoha i roto i nga ringaringa o te hydra Maurice Herlihy - he ahorangi tino rongonui me te whakaute o te Rorohiko Pūtaiao, he korero ano mo ia Whārangi Wikipedia, ka taea e koe te tirotiro i nga hononga me nga mahi. I reira ka kite koe i nga tohu Dijkstra e rua, ko te tuatahi mo te mahi "Tatari Koreutu Tukutahi", me te tuarua, hou ake nei - "Mahara Tauwhitinga: Tautoko Hoahoanga mo nga Hanganga Raraunga Maukati-Kore". Ma te ara, kaore nga hononga e arahi ki SciHub, engari ki te Whare Wananga o Brown me te Whare Wananga o Virginia Tech, ka taea e koe te whakatuwhera me te panui.

Ka mau a Maurice i tetahi kupu matua e kiia nei ko "Blockchains mai i te tirohanga rorohiko tohatoha." Mena kei te hiahia koe, ka taea e koe te titiro ki te rekoata o te ripoata a Maurice mai i te St. Petersburg JUG. Aromātai i te mārama me te mārama o tana kawe i te kaupapa.

Ko nga kaihanga o te ariā o nga punaha tohatoha i roto i nga ringaringa o te hydraKo te kupu matua tuarua e kiia nei ko "Nga Hanganga Raraunga Takirua" ka panui Michael Scott mai i te Whare Wananga o Rochester. A whakaaro he aha - kei a ia ano tana ake Whārangi Wikipedia. I te kainga i Wisconsin, e mohiotia ana ia mo ana mahi hei dean i te Whare Wananga o Wisconsin-Madison, a i te ao ko ia te tangata nana, me Doug Lea, i whakawhanake i nga algorithms kore-aukati me nga rarangi tukutahi i runga i nga whare pukapuka Java. mahi. I whakawhiwhia e ia tana Tohu Dijkstra e toru tau i muri mai i a Herlihy, mo tana mahi "Algorithms for scalable tukutahitanga i runga i nga mahi maha-mahara" (i te mea e tumanakohia ana, takoto nui ana ia i te whare pukapuka ipurangi o te Whare Wananga o Rochester).

He nui tonu te wa ki waenganui o Hurae. Ka korero atu matou ki a koe mo nga kaikorero e toe ana me o raatau kaupapa i a maatau e whakamahine ana i te kaupapa me te tata ki te marama o Hurae.

I te nuinga o te waa, ka puta ake te patai - he aha ta matou mahi Hydra i te raumati? Ka mutu, koinei te wa iti, hararei. Ko te raru kei roto i nga kaikorero he kaiako o te whare wananga, a, he wa kee te mahi ma ratou. Kaore i taea e maatau te whiriwhiri i etahi atu ra.

Nga waahi matapaki

I etahi atu huihuinga, ka panui te kaikorero i nga mea e hiahiatia ana e ia, ka haere tonu. Karekau he wa mo nga kaiuru ki te rapu - i muri i nga mea katoa, ka timata te ripoata e whai ake nei kaore he waahi. He tino mamae tenei, ina koa mena kei reira nga tangata whakahirahira penei i a Lamport, Herlihy me Scott, a kei te haere tonu koe ki te hui ki te tutaki ki a ratou me te korerorero mo tetahi mea.

Kua whakatauhia e matou tenei raruraru. Whai muri tonu i tana purongo, ka haere te kaikorero ki tetahi waahi korero motuhake, me te mea he papa ma me te tohu tohu, a he nui to wa. Ka oati, ka oati te kaikorero kia tae mai ia i te wa katoa o te wehenga i waenga i nga whakaaturanga. I roto i te mooni, enei wahanga korero pea totoro mo nga haora i te mutunga (i runga i te hiahia me te manawanui o te kaikorero).

Mo Lamport, ki te tika taku maarama, e hiahia ana ia ki te whakatenatena i te tini o nga tangata ka taea TLA+ - he mea pai tenei. (Tuhinga mo TLA+ i Wikipedia). Tena pea he waahi pai tenei mo nga miihini ki te ako i tetahi mea hou me te whai hua. Ka tukuna e Leslie tenei whiringa - ka taea e te hunga e hiahia ana ki te maataki i ana kauhau o mua ka haere mai me nga patai. Arā, hei utu mo te kupu matua, tera pea he huihuinga Q&A motuhake, katahi ano he rohe korerorero. I mahi ahau i etahi mahi rapu ka kitea he mea pai. TLA+ akoranga (i tapaina mana rārangipāpāho i runga i YouTube) me te kauhau haora te roa "Whakaaro ki runga ake i te Waehere" mai i te Microsoft Faculty Summit.

Mena i kii koe he ingoa enei tangata katoa i maka ki roto i te kirikiri mai i Wikipedia me nga uhi pukapuka, kua tae ki te wa ki te whakatau i a ratau! Kōrerorero me te patai i nga paatai ​​​​kare nga wharangi o nga tuhinga putaiao e whakautu, engari ka koa o ratou kaituhi ki te whakapiri atu.

Karangatia hoki Papers

Ehara i te mea ngaro ko te nuinga o te hunga e panui ana i te tuhinga kare e aro ki te korero mai i tetahi mea tino pai. Mai i te tirohanga miihini, mai i te tirohanga putaiao - mai i tetahi tirohanga. He kaupapa tino whanui me te hohonu o te rorohiko tohatoha he waahi mo te katoa.

Mena kei te pirangi koe ki te whakataetae ki te taha o Lamport, ka taea. Hei kaikorero me hiahia koe whai i te hono, panuihia nga mea katoa i reira ka mahia kia rite ki nga tohutohu.

Kia mahara, ka uru koe ki te mahi, ka awhina koe ia koe. He rawaka nga mana o te Komiti Hotaka ki te awhina i te purongo ake, tona ngako me te hoahoa. Ma te Kairuruku koe e awhina ki te whakariterite i nga take whakahaere me etahi atu.

Kia aro nui ki te pikitia me nga ra. Ko te marama o Hurae he ra tawhiti mo te kaiuru, engari me timata te kaikorero ki te whakaari inaianei.

Ko nga kaihanga o te ariā o nga punaha tohatoha i roto i nga ringaringa o te hydra

Kura SPTDC

Ka tu te hui ki te waahi kotahi ki te kura SPTDC, no reira mo nga tangata katoa e hoko tiiti ki te kura, tikiti ki te hui - me te whakahekenga 20%.

Te Kura Raumati mo te Parakatihi me te Tikanga o te Rorohiko Tohatoha (SPTDC) He kura e whakarato ana i te whānuitanga o nga akoranga mo nga ahuatanga whai kiko me nga tikanga o nga punaha toha, i whakaakona e nga tohunga mohio i roto i nga kaupapa e tika ana.

Ka tu te kura i roto i te reo pakeha, no reira ko te ahua o te rarangi o nga kaupapa e korerohia ana:

  • Nga hanganga raraunga riterite: te tika me te pai;
  • Algorithms mo te mahara-kore;
  • Te tohatoha toha;
  • Te ako miihini tohatoha;
  • Te tukurua-miihini me te Paxos;
  • Byzantine hapa-whakaaro;
  • Ko nga kaupapa algorithmic o nga poraka poraka.

Ko nga kaikorero e whai ake nei ka korero:

  • Leslie Lamport (Microsoft);
  • Maurice Herlihy (Te Whare Wananga Paraone);
  • Michael Scott (Te Whare Wananga o Rochester);
  • Dan Alistah (IST Austria);
  • Trevor Brown (Te Whare Wananga o Waterloo);
  • Eli Gafni (UCLA);
  • Danny Hendler (Te Whare Wananga o Ben Gurion);
  • Achour Mostefaoui (Te Whare Wananga o Nantes).

rārangipāpāho Ka taea e koe te maataki noa i nga purongo o nga kura o mua i runga YouTube:

Nga mahi ka whai ake

Kei te hanga tonu te kaupapa hui. Whaia nga korero i runga i a Habré, i runga ranei i nga whatunga hapori (fb, vk, twitter).

Mena ka tino whakapono koe ki te huihuinga (ka hiahia ranei koe ki te whakamahi i te utu whakauru motuhake, e kiia nei ko "Early Bird"), ka taea e koe te haere ki te paetukutuku me hoko tikiti.

Ka kite koe i Hydra!

Source: will.com

Tāpiri i te kōrero