Ka'idar ita ce lokacin da kuka san komai amma babu abin da ke aiki.
Aiki shine lokacin da komai yayi aiki amma babu wanda ya san dalilin da yasa.
tsarin rarrabawa, an haɗa ka'idar da aiki:
babu abin da ke aiki kuma babu wanda ya san dalili.
Don tabbatar da cewa barkwanci a cikin rubutun ba shi da ma'ana, muna riƙe SPTDC (makarantar kan aiki da ka'idar rarraba kwamfuta) a karo na uku. Game da tarihin makaranta, da co-founders Petr Kuznetsov da Vitaly Aksyonov, kazalika da sa hannu na JUG Ru Group a cikin kungiyar SPTDC, mun riga mun yi. gaya da Habr. Saboda haka, yau game da makaranta a 2020, game da laccoci da malamai, da kuma game da bambance-bambance tsakanin makaranta da taron.
Za a gudanar da makarantar SPTDC daga 6 zuwa 9 ga Yuli 2020 a Moscow.
Dukkan laccoci za su kasance cikin Turanci. Batutuwan lacca: na'urorin kwamfuta na lokaci guda, kayan aikin sirri don tsarin rarrabawa, hanyoyin da aka saba don tabbatar da ka'idojin yarjejeniya, daidaito a cikin manyan tsarin, koyan injin rarraba.
Shin kun yi tunanin wane matsayi soja ne a cikin hoton? Ina son ku.
Malamai da laccoci
Nir Shavit (Nir Shavit) farfesa ne a MIT da Jami'ar Tel Aviv, mawallafin babban littafi The Art of Multiprocessor Programming, mai shi Kyautar Dijkstra don ci gaba da aiwatarwa ƙwaƙwalwar ma'amalar software (STM) da Gödel Prize don aikinsa a kan aikace-aikacen algebraic topology zuwa simulation na rarraba ƙwaƙwalwar ajiya, co-kafa kamfanin. Sihiri Neural, wanda ke haifar da algorithms na koyon injin na sauri don CPUs na al'ada, kuma, ba shakka, yana da nasa Shafukan Wikipedia tare da tarwatsawa da daukar hoto. Nir ya riga ya shiga makarantarmu a cikin 2017, inda ya ba da cikakken nazari game da dabarun toshewa (part 1, part 2). Abin da Nir zai yi magana game da wannan shekara, ba mu sani ba tukuna, amma muna fatan labarai daga ƙarshen kimiyya.
Michael Scott (Michael Scott) mai bincike ne a cikin Jami'ar Rochester, sananne ga duk masu haɓaka Java a matsayin mahaliccin Algorithms marasa toshewa da layukan aiki tare daga babban ɗakin karatu na Java. Tabbas, tare da lambar yabo ta Dijkstra's Design Award Algorithms na aiki tare don raba lissafin ƙwaƙwalwar ajiya da mallaka Shafin Wikipedia. A bara, Michael ya ba da lacca a makarantarmu kan tsarin bayanan da ba a toshewa (part 1, part 2). A wannan shekarar ya za su fada game da yin amfani da shirye-shirye ƙwaƙwalwar mara mara ƙarfi (NVM), wanda ke rage rikitaccen shirin da ƙwaƙwalwar ajiya idan aka kwatanta da ''na yau da kullun'' memorin shiga bazuwar (DRAM).
Idi Keidar (Idit Keidar) farfesa ne a Technion kuma mai shi Hirsch index kimanin 40 (wanda yake da yawa da yawa) don labarin kimiyya dari biyu a fagen rarraba kwamfuta, multithreading da kuskure haƙuri. Eidit ta shiga makarantar mu a karon farko, inda ta ba da lacca game da ainihin abubuwan da ke cikin aikin ɗakunan ajiya na bayanai: rarraba ƙwaƙwalwar ajiya, haɓaka yarjejeniya da sauye-sauyen daidaitawa.
Rodrigo Rodriguez (Rodrigo Rodrigues) - farfesa a Técnico, memba na dakin gwaje-gwaje INESC ID kuma marubuci aikin bincike a fagen rarraba tsarin. A wannan shekara a makarantarmu Rodrigo za su fada game da daidaito da warewa a cikin ɗakunan ajiya da aka rarraba, kuma za su yi nazari ta amfani da su Ka'idojin CAP yuwuwar a aikace na samfura da yawa na daidaito da warewa.
Chen Ching (Jing Chen) malami ne a Jami'ar Jihar New York a Stony Brook, marubuci aikin bincike a fagen blockchain kuma babban masanin kimiyya a Algorand - kamfani da dandamali na blockchain ta amfani da algorithm yarjejeniya gabaɗaya bisa Tabbatar da Shafin. A wannan shekara a makarantarmu, Chen zai yi magana game da blockchain na Algorand da hanyoyin da za a cimma kaddarorinsa masu ban sha'awa: rashin buƙatar albarkatun kwamfuta na cibiyar sadarwa, rashin yiwuwar rarraba tarihin ma'amala, da kuma ba da tabbacin kammala sarrafa ma'amala bayan an ƙara shi zuwa blockchain.
Christian Kashin (Christian Cachin) farfesa ne a Jami'ar Bern, shugaban kungiyar bincike a fagen kariyar bayanai, marubucin littafin "Gabatarwa zuwa Amintattun Shirye-shiryen Rarraba Mai Amintacce”, mai haɓaka dandamali na blockchain Kayan aikin Hyperledger (game da ita ma ya kasance post on Habre) kuma marubuci aikin bincike a fagen cryptography da tsaro a cikin tsarin rarraba. A bana a makarantar mu Kirista ba da lacca a sassa hudu game da kayan aikin sirri don rarraba kwamfuta: m da asymmetric cryptography, da kuma game da raba key cryptography, Lambobin bazuwar bazuwar da ingantaccen adadin bazuwar tsara.
Marko Vukolich (Marko Vukolic) mai bincike ne a IBM Research, marubuci aiki a cikin blockchain kuma mai haɓaka Fabric Hyperledger. Har yanzu ba mu san abin da Marco zai yi magana game da shi a makarantarmu a wannan shekara ba, amma muna fata mu koyi sabbin abubuwan da ya faru a fagen blockchain: bincike. lalacewar aiki rarraba yarjejeniya yarjejeniya akan gungu har zuwa injuna 100, watsa shirye-shirye Mir yarjejeniya tare da tsarin duniya da kuma Haƙuri na kuskuren Byzantine ko blockchain maras shinge StreamChainrage lokacin sarrafa ma'amala.
Prasad Jayanti (Prasad Jayanti) farfesa ne a Kwalejin Dartmouth, wani ɓangare na fitattun mutane ivy league, da marubucin aikin bincike a cikin filin multithreaded algorithms. A bana a makarantarmu Prasad ba da lacca game da aiki tare da zaren da algorithms don aiwatar da zaɓuɓɓuka daban-daban mutex: tare da katsewa ko maido da ayyuka a cikin ƙirar ƙwaƙƙwarar mara maras ƙarfi, kuma tare da ayyukan karantawa da rubutu daban.
Alexei Gotsman (Alexey Gotsman) farfesa ne a IMDEA kuma marubuci aikin bincike a fagen tabbatar da shirye-shirye na algorithms. Har yanzu ba mu san abin da Alexey zai yi lacca a makarantarmu a wannan shekara ba, amma muna ɗokin zuwa wani batu a mahadar tabbatar da software da tsarin rarrabawa.
Me yasa wannan makaranta ce ba taro ba?
Na farko, malamai suna magana a tsarin ilimi kuma suna karanta nau'i biyu na kowace babbar lacca: "sa'a daya da rabi - hutu - wani sa'a da rabi." Shekaru da yawa daga kwaleji, tare da al'ada na tattaunawar taro na tsawon sa'o'i da bidiyon YouTube na mintuna 10, wannan na iya zama da wahala. Kyakkyawan malami zai sa duk sa'o'i uku masu ban sha'awa, amma kowa yana da alhakin filastik na kwakwalwar kansa.
Hanyoyi masu Taimako: Yi aiki akan rikodin bidiyo na laccocin makaranta a cikin 2017 shekara da kuma cikin 2019 shekara. Barka da zuwa, aiki - sannu, Byzantine generals.
Na biyu, malamai suna mayar da hankali kan binciken kimiyya kuma suna magana game da tushe tsarin rarrabawa da lissafin layi ɗaya, da kuma labarai daga ɓangarorin kimiyya. Idan burin ku shine kuyi rikodin wani abu da sauri kuma aika shi don samarwa gobe bayan makaranta a cikin neman zafi, wannan kuma na iya zama da wahala.
Bayani mai Taimako: Nemo takaddun bincike na malaman makarantar a Google masani и arXiv.org. Idan kuna jin daɗin karanta takaddun kimiyya, zaku ji daɗin makarantar kuma.
Na uku, makarantar SPTDC 2020 ba taro ba ne, domin taron kan tsarin rarrabawa da na'ura mai kama da juna shine. Hydar 2020. Kwanan nan akan Habré akwai wani rubutu tare da nazarin shirinsa. A bara, SPTDC da Hydra sun faru a lokaci ɗaya kuma a wuri ɗaya. A wannan shekara ba sa yin karo da kwanan wata, don haka ba sa gasa da juna don lokacinku da hankalin ku.
Shawarwari Mai Taimako: Duba shirin taron Hydra kuma kuyi la'akari da halartar taron bayan makaranta kuma. Wannan zai zama mako mai kyau.
Yadda ake zuwa makaranta?
- Rubuta kwanakin daga Yuli 6 zuwa Yuli 9, 2020 a cikin kalandar (ko mafi kyau, zuwa Yuli 11 don zuwa taron Hydra bayan makaranta).
- Yi zuciya, shirya.
- Zaɓi tikiti kuma ku tafi makaranta.
source: www.habr.com