wannan Leslie Lamport - marubucin muhimman ayyuka a rarraba kwamfuta, kuma za ka iya kuma san shi da haruffa La a cikin kalmar LaTeX - "Lamport TeX". Shi ne wanda a karon farko, a cikin 1979, ya gabatar da manufar , da labarinsa ya sami lambar yabo ta Dijkstra (mafi dai dai, a cikin 2000 an kira lambar yabo ta tsohuwar hanya: "Award Influential Paper Award"). Akwai game da shi , inda zaku iya samun wasu hanyoyin haɗin gwiwa masu ban sha'awa. Idan kuna sha'awar magance matsalolin da ke faruwa-kafin ko (BFT), suna buƙatar fahimtar cewa Lamport yana bayansa duka.
Kuma nan ba da jimawa ba zai zo sabon taron mu game da rarraba kwamfuta - Hydra, wanda za a yi Yuli 11-12 a St. Petersburg. Bari mu ga wace irin dabba ce.
Hydar 2019
Batutuwa kamar multithreading wasu daga cikin zafafan batutuwa a taron mu, sun kasance koyaushe. Wannan zauren ya zama wanda ba kowa ba ne kawai, amma sai mutum ya bayyana a kan mataki yana magana game da samfurin ƙwaƙwalwar ajiya, ya faru-kafin ko tarin datti da yawa da kuma - boom! - Tuni a ƙarƙashin mutane dubu sun mamaye duk sararin samaniya don zama su saurara a hankali. Menene ainihin wannan nasarar? Wataƙila gaskiyar cewa dukkanmu muna da wasu nau'ikan kayan aiki a hannunmu waɗanda ke da ikon tsara rarraba kwamfuta? Ko kuwa mun fahimci rashin iyawarmu ne a cikin raina? Akwai ainihin labarin daya St. Petersburg jimla (wato, wani masanin kididdigar kudi da mai haɓakawa), wanda ya ƙare tare da gungu na kwamfuta a hannunsa, wanda cikakken ikonsa kawai zai iya amfani da shi kawai. Kuma menene za ku yi idan kun sami damar aiwatar da ayyukanku tare da iyawa da yawa fiye da yanzu?
Saboda wannan shahararran, batun yin aiki da ingantacciyar kwamfuta yana ƙoƙarin yaɗuwa cikin shirin taron. Nawa ne daga cikin kwanaki biyu na rahotannin da za a iya yi game da wasan kwaikwayon - kashi ɗaya bisa uku, kashi biyu cikin uku? A wasu wurare akwai ƙuntatawa na wucin gadi waɗanda ke iyakance wannan haɓaka: ban da yin aiki, dole ne a sami ɗaki don sabbin tsarin gidan yanar gizo, don wasu nau'ikan sadaukarwa ko masu binciken sararin samaniya. A'a, aiki, ba za ku cinye mu duka ba!
Ko kuma za ku iya tafiya akasin haka, ku daina da gaskiya ku yi taron da zai kasance gaba ɗaya game da rarraba kwamfuta kuma game da su kawai. Kuma ga shi nan, Hydra.
Bari mu yarda cewa a yau duk na'urorin kwamfuta hanya ɗaya ce ko kuma aka rarraba. Ko na'ura ce mai mahimmanci, gungu na kwamfuta, ko sabis ɗin rarraba mai girma, akwai matakai da yawa a ko'ina waɗanda ke yin ƙididdiga masu zaman kansu a layi daya, aiki tare da juna. Yadda yake aiki a ka'idar da kuma yadda yake aiki a aikace zai zama abin da Hydra ya mayar da hankali.
Shirin taro
A halin yanzu shirin yana ci gaba. Ya kamata ya haɗa da rahotanni daga masu kafa ka'idodin tsarin rarrabawa da injiniyoyin da ke aiki tare da su a cikin samarwa.
Misali, mun riga mun sani game da shigar Leslie Lamport daga Microsoft Research da Maurice Herlihy daga Jami'ar Brown.
Maurice Herlihy ne adam wata - Shahararren Farfesan Kimiyyar Kwamfuta, akwai kuma wani labari game da shi , inda zaku iya haye hanyoyin haɗin gwiwa da aiki. A can za ku iya lura da lambobin yabo na Dijkstra guda biyu, na farko don aiki , kuma na biyu, mafi kwanan nan - . Af, hanyoyin haɗin ba su kai ga SciHub ba, amma zuwa Jami'ar Brown da Jami'ar Fasaha ta Virginia, zaku iya buɗewa da karantawa.
Maurice zai karbi bakuncin wata maɓalli mai suna "Blockchains daga hangen nesa mai rarraba". Idan kuna sha'awar, zaku iya kallon rikodin rahoton Maurice daga St. Petersburg JUG. Yi la'akari da yadda yake bayyana batun a sarari da fahimta.
Jigo na biyu mai suna "Dual Data Structures" zai karanta Michael Scott daga Jami'ar Rochester. Kuma ku yi tsammani - yana da nasa ma . A gida a Wisconsin, an san shi da aikinsa a matsayin shugaban jami'ar Wisconsin-Madison, kuma a duniya shi ne mutumin da, tare da Doug Lea, suka haɓaka waɗancan algorithms marasa toshewa da layukan daidaitawa waɗanda ɗakunan karatu na Java ke gudana a kai. . Ya sami lambar yabo ta Dijkstra shekaru uku bayan Herlihy, saboda aikinsa "Algorithms don daidaitawa mai daidaitawa akan masu sarrafa ƙwaƙwalwar ajiya" (kamar yadda ake tsammani, a ɗakin karatu na kan layi na Jami'ar Rochester).
Har yanzu akwai lokaci mai yawa har zuwa tsakiyar watan Yuli. Za mu gaya muku game da sauran masu magana da batutuwan su yayin da muke tace shirin da kuma kusantar Yuli.
Gabaɗaya, tambayar ta taso - me yasa muke yin Hydra a lokacin rani? Bayan haka, wannan shine lokacin kashewa, hutu. Matsalar ita ce akwai malaman jami'a a cikin masu magana, kuma kowane lokaci yana shagaltar da su. Ba za mu iya zaɓar wasu kwanakin ba.
Yankunan tattaunawa
A wasu tarurruka, yana faruwa cewa mai magana ya karanta abin da ya dace kuma nan da nan ya tafi. Mahalarta taron ba su ma da lokacin nemansa - bayan haka, rahoton na gaba ya fara kusan ba tare da tazara ba. Yana da zafi sosai, musamman lokacin da muhimman mutane kamar Lamport, Herlihy da Scott suke halarta kuma a zahiri kuna zuwa taron don kawai ku sadu da su kuma ku yi magana game da wani abu.
Mun magance wannan matsalar. Nan da nan bayan rahotonsa, mai magana ya tafi wurin tattaunawa na musamman da aka sanye da aƙalla farar allo mai alama, kuma kuna da lokaci mai yawa. A bisa ka'ida, mai magana ya yi alkawarin kasancewa a wurin a kalla a lokacin hutu tsakanin rahotanni. A zahiri, waɗannan wuraren tattaunawa iya mikewa na tsawon sa'o'i a karshe (ya danganta da sha'awa da juriyar mai magana).
Amma game da Lamport, idan na fahimta daidai, yana so ya shawo kan mutane da yawa kamar yadda zai yiwu - wannan abu ne mai kyau. (). Wataƙila wannan zai zama kyakkyawar dama ga injiniyoyi su koyi sabon abu kuma mai amfani. Leslie yana ba da wannan zaɓi - duk wanda ke da sha'awar zai iya kallon laccocinsa na baya kuma ya zo da tambayoyi. Wato, maimakon mahimmin bayani, za a iya samun, kamar yadda ake ce, taron Q&A na musamman, sannan kuma wani yanki na tattaunawa. Na ɗan yi google kuma na sami mai girma (a hukumance dubbed ) da lacca na awa daya tare da Microsoft Faculty Summit.
Idan kun yi tunanin duk waɗannan mutane a matsayin sunayen da aka jefa a cikin granite daga Wikipedia da kuma kan murfin littafi, lokaci ya yi da za ku sadu da su kai tsaye! Yi taɗi da yin tambayoyi waɗanda shafukan labaran kimiyya ba za su amsa ba, amma marubutan su za su yi farin cikin yin tuntuɓar.
Kira don takardunku
Ba asiri ba ne cewa yawancin waɗanda suke karanta labarin yanzu ba sa ƙi su faɗi wani abu mai ban sha'awa sosai. Daga mahangar aikin injiniya, daga mahangar kimiyya, daga kowane ma'ana. Kwamfuta da aka rarraba abu ne mai fadi kuma mai zurfi, inda akwai wuri ga kowa da kowa.
Idan kuna son yin wasa tare da Lamport, yana yiwuwa gaba ɗaya. Don zama mai magana, kuna buƙatar , karanta a hankali duk abin da ke can kuma yi shi bisa ga umarnin.
Yi kwanciyar hankali, da zaran kun haɗu da tsari, za a taimake ku. Kwamitin shirin yana da isassun kayan aiki don taimakawa tare da rahoton kansa, ainihinsa da ƙira. Mai gudanarwa zai taimake ku magance matsalolin kungiya da sauransu.
Kula da hankali na musamman ga hoton tare da kwanakin. Yuli kwanan wata ne mai nisa ga ɗan takara, kuma mai magana yana buƙatar fara aiki yanzu.
Makarantar SPTDC
Za a gudanar da taron ne a wuri guda tare da makarantar SPTDC, don haka ga duk wanda ya sayi tikitin makarantar, tikitin taro - tare da rangwame na 20%.
- makarantar da ke ba da kwasa-kwasan darussa masu yawa a kan abubuwan da suka dace da kuma ka'idoji na tsarin da aka rarraba, wanda kwararrun masana suka koyar da su a fagen da ya dace.
Za a gudanar da makarantar a cikin Turanci, don haka ga jerin batutuwan da aka tattauna:
- Tsarin bayanai na lokaci ɗaya: daidaito da inganci;
- Algorithms don ƙwaƙwalwar mara ƙarfi;
- Ƙididdigar Rarraba;
- ilmantarwa inji rarraba;
- Kwafi na injin-jihar da Paxos;
- Haƙuri-haƙuri na Laifin Byzantine;
- Abubuwan Algorithmic na blockchain.
Masu jawabai masu zuwa za su yi magana:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Jami'ar Brown);
- Michael Scott (Jami'ar Rochester);
- Dan Alistarh (IST Austria);
- Trevor Brown (Jami'ar Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Jami'ar Ben Gurion);
- Acour Mostefaoui (Jami'ar Nantes).
tare da rahotannin makarantar da ta gabata ana iya kallon su kyauta akan YouTube:
Mataki na gaba
Har yanzu ana kan kafa shirin taron. Bi labarai akan Habré ko a cikin sadarwar zamantakewa (, , ).
Idan kun yi imani da gaske a cikin taron (ko kuna son yin amfani da farashin farawa na musamman, kamar yadda suke faɗi, "Tsuntsun Farko") - zaku iya zuwa shafin kuma .
Mu hadu a Hydra!
source: www.habr.com