Txoj kev xav yog thaum koj paub txhua yam tab sis tsis muaj dab tsi ua haujlwm.
Xyaum yog thaum txhua yam ua haujlwm tab sis tsis muaj leej twg paub vim li cas.
faib systems, txoj kev xav thiab kev xyaum yog ua ke:
tsis muaj dab tsi ua haujlwm thiab tsis muaj leej twg paub vim li cas.
Txhawm rau ua pov thawj tias qhov kev tso dag hauv daim duab yog qhov tsis muaj tseeb, peb tab tom tuav SPTDC (lub tsev kawm ntawm kev xyaum thiab kev xav ntawm kev faib xam) thib peb. Hais txog keeb kwm ntawm lub tsev kawm ntawv, nws co-founders Petr Kuznetsov thiab Vitaly Aksyonov, nrog rau kev koom tes ntawm JUG Ru Group nyob rau hauv lub koom haum SPTDC, peb twb muaj. hais ntawm Habr. Yog li, hnub no yog hais txog lub tsev kawm ntawv xyoo 2020, hais txog cov lus qhuab qhia thiab cov kws qhia ntawv, nrog rau kev sib txawv ntawm lub tsev kawm ntawv thiab lub rooj sib tham.
Lub tsev kawm ntawv SPTDC yuav muaj nyob rau ntawm 6 txog 9 Lub Xya Hli 2020 hauv Moscow.
Tag nrho cov lus qhuab qhia yuav yog lus Askiv. Cov ntsiab lus qhia: tsis tu ncua kev suav ua ke, cov cuab yeej cryptographic rau cov kab ke sib faib, cov txheej txheem raug cai rau kev txheeb xyuas cov kev pom zoo, kev sib xws hauv cov tshuab loj, kev faib tshuab kev kawm.
Koj puas tau twv tam sim ntawd cov tub rog qeb cov cim hauv daim duab yog dab tsi? kuv hlub koj.
Lecturers thiab lectures
Nir Shavit (Nir Shavit) yog tus xibfwb ntawm MIT thiab Tel Aviv University, tus kws sau phau ntawv zoo Art of Multiprocessor Programming, tus tswv Dijkstra nqi zog rau kev txhim kho thiab kev siv software kev lag luam nco (STM) thiab GΓΆdel nqi zog rau nws txoj haujlwm ntawm daim ntawv thov ntawm algebraic topology rau kev simulation ntawm kev sib koom nco suav, co-founder ntawm lub tuam txhab Neural Khawv koob, uas tsim cov tshuab kev kawm ceev ceev rau cov pa CPUs, thiab, tau kawg, nws muaj nws tus kheej. Cov nplooj ntawv Wikipedia nrog dashing thiab sultry photography. Nir twb tau koom nrog peb lub tsev kawm ntawv hauv 2017, qhov uas nws tau muab kev tshuaj xyuas tag nrho ntawm kev thaiv cov txheej txheem (ntu 1, ntu 2). Dab tsi Nir yuav tham txog lub xyoo no, peb tseem tsis tau paub, tab sis peb cia siab rau cov xov xwm los ntawm kev txiav ntug ntawm kev tshawb fawb.
Michael Scott (Michael Scott) yog tus kws tshawb fawb hauv University of Rochester, paub rau txhua tus neeg tsim tawm Java ua tus tsim non-blocking algorithms thiab synchronous queues los ntawm Java txheem tsev qiv ntawv. Tau kawg, nrog Dijkstra's Design Award synchronization algorithms rau kev sib koom nco suav thiab tus kheej Wikipedia nplooj. Xyoo tas los, Michael tau hais lus qhuab qhia ntawm peb lub tsev kawm ntawv ntawm cov ntaub ntawv tsis thaiv cov ntaub ntawv (ntu 1, ntu 2). Xyoo no nws yuav qhia hais txog programming siv non-volatile nco (NVM), uas txo cov kev ua haujlwm nyuaj thiab nco nyiaj siv ua haujlwm piv rau "tsis tu ncua" random-access memory (DRAM).
Ib Keidar (Idit Keidar) - xibfwb ntawm Technion thiab tus tswv Hirsch Index txog 40 (uas yog heev, heev) rau ob puas tsab ntawv scientific nyob rau hauv lub tshav pob ntawm kev faib xam, multithreading thiab fault kam rau ua. Eidit koom nrog peb lub tsev kawm ntawv thawj zaug, qhov twg nws muab lus qhuab qhia hais txog cov ntsiab lus tseem ceeb ntawm kev ua haujlwm ntawm cov ntaub ntawv faib khoom: faib kev nco emulation, kev pom zoo kev tsim kho thiab kev hloov pauv.
Rodrigo Rodriguez (Rodrigo Rodrigues) - tus xibfwb ntawm TΓ©cnico, tus tswvcuab ntawm chav kuaj INESC ID thiab tus sau kev tshawb fawb nyob rau hauv lub teb ntawm faib systems. Xyoo no ntawm peb lub tsev kawm ntawv Rodrigo yuav qhia hais txog kev sib xws thiab kev sib cais hauv cov ntaub ntawv xa tawm, thiab tseem yuav tshuaj xyuas kev siv CAP theorems feasibility nyob rau hauv kev xyaum ntawm ntau yam qauv ntawm kev sib xws thiab kev sib cais.
Chen Vang (Jing Chen) yog tus xibfwb ntawm State University of New York ntawm Stony Brook, tus sau kev tshawb fawb nyob rau hauv lub teb ntawm blockchain thiab ib tug thawj kws tshawb fawb nyob rau hauv Algorand - lub tuam txhab thiab blockchain platform siv kev pom zoo algorithm nkaus raws li Ntawv pov thawj ntawm Stake. Xyoo no ntawm peb lub tsev kawm ntawv, Chen yuav tham txog Algorand blockchain thiab txoj hauv kev kom ua tiav nws cov khoom nthuav dav: undemanding rau network xam cov peev txheej, qhov ua tsis tau zoo ntawm kev faib cov keeb kwm kev lag luam, thiab lav qhov kawg ntawm kev ua lag luam tom qab nws ntxiv rau blockchain.
Christian Kashin (Christian Cachin) yog tus xibfwb ntawm University of Bern, tus thawj coj ntawm pab pawg tshawb fawb hauv kev tiv thaiv cov ntaub ntawv, tus kws sau phau ntawv "Taw qhia rau kev ntseeg siab thiab ruaj ntseg Distributed Programming", blockchain platform tus tsim tawm Hyperledger Npuag (txog nws txawm yog tshaj tawm ntawm Habre) thiab tus sau kev tshawb fawb nyob rau hauv lub tshav pob ntawm cryptography thiab kev ruaj ntseg nyob rau hauv faib systems. Xyoo no hauv peb lub tsev kawm ntawv Christian muab lus qhuab qhia nyob rau hauv plaub qhov chaw hais txog cryptographic cov cuab yeej rau kev faib xam: symmetric thiab asymmetric cryptography, thiab tseem hais txog sib koom tus yuam sij cryptography, pseudo-random tooj thiab paub tseeb random tooj tiam.
Marko Vukolich (Marko Vukolic) yog tus kws tshawb fawb ntawm IBM Research, tus sau tej hauj lwm hauv blockchain thiab tus tsim tawm ntawm Hyperledger Fabric. Peb tseem tsis tau paub tias Marco yuav tham txog dab tsi hauv peb lub tsev kawm ntawv xyoo no, tab sis peb cia siab tias yuav kawm txog nws qhov kev txhim kho tshiab kawg hauv kev ua haujlwm ntawm blockchain: kev tshawb fawb kev ua haujlwm tsis zoo faib kev pom zoo raws tu qauv ntawm pawg txog li 100 lub tshuab, tshaj tawm Mir raws tu qauv nrog thoob ntiaj teb kev txiav txim thiab Byzantine txhaum kam rau ua los yog tsis muaj blockchain StreamChainminimizing kev lag luam ua lub sij hawm.
Prasad Jayanti (Prasad Jayanti) yog tus xibfwb ntawm Dartmouth College, ib feem ntawm cov neeg tseem ceeb lis ivy, thiab tus sau kev tshawb fawb nyob rau hauv lub teb ntawm multithreaded algorithms. Xyoo no hauv peb lub tsev kawm ntawv Prasad muab lus qhuab qhia hais txog xov synchronization thiab algorithms rau kev siv ntau yam kev xaiv mutex: nrog cuam tshuam lossis rov ua haujlwm hauv cov qauv kev nco tsis hloov pauv, thiab nrog kev nyeem ntawv thiab sau ntawv cais.
Alexey Gotsman (Alexey Gotsman) yog tus xibfwb ntawm IMDEA thiab tus sau kev tshawb fawb nyob rau hauv lub tshav pob ntawm qhov kev pab cuam pov thawj ntawm algorithms. Peb tseem tsis tau paub tias Alexey yuav qhia dab tsi hauv peb lub tsev kawm ntawv xyoo no, tab sis peb tab tom tos ntsoov rau lub ntsiab lus ntawm kev sib tshuam ntawm kev txheeb xyuas software thiab kev faib tawm.
Vim li cas qhov no yog lub tsev kawm ntawv thiab tsis yog lub rooj sib tham?
Ua ntej, cov kws qhia ntawv hais lus hauv kev kawm thiab nyeem ob khub ntawm txhua qhov kev qhuab qhia loj: "ib teev thiab ib nrab - so - lwm teev thiab ib nrab." Ntau xyoo tawm hauv tsev kawm qib siab, nrog tus cwj pwm ntawm kev sib tham ntev ib teev thiab 10-feeb YouTube yeeb yaj kiab, qhov no tuaj yeem ua kom yuam kev. Tus kws qhia ntawv zoo yuav ua rau tag nrho peb teev nthuav, tab sis txhua tus muaj lub luag haujlwm rau plasticity ntawm lawv lub hlwb.
Cov Lus Qhia Tseem Ceeb: Xyaum ua yeeb yaj kiab ntawm lub tsev kawm ntawv cov lus qhuab qhia hauv 2017 xyoo thiab nyob rau hauv 2019 xyoo. Nyob zoo, ua haujlwm - nyob zoo, Byzantine generals.
Qhov thib ob, cov kws qhia ntawv tsom mus rau kev tshawb fawb txog kev tshawb fawb thiab tham txog cov hauv paus ntsiab lus kev faib tshuab thiab kev suav sib txuas, nrog rau cov xov xwm los ntawm kev txiav ntug ntawm kev tshawb fawb. Yog tias koj lub hom phiaj yog kom ceev cov cai ib yam dab tsi thiab xa mus rau kev tsim khoom hnub tom ntej tom qab tsev kawm ntawv hauv kev kub siab nrhiav, qhov no kuj yuav nyuaj.
Cov Lus Qhia Tseem Ceeb: Nrhiav cov ntaub ntawv tshawb fawb ntawm lub tsev kawm ntawv cov kws qhia ntawm Google Scholar ΠΈ arXiv.org. Yog tias koj nyiam nyeem cov ntawv tshawb fawb, koj yuav txaus siab rau lub tsev kawm ntawv thiab.
Qhov thib peb, SPTDC 2020 lub tsev kawm ntawv tsis yog lub rooj sib tham, vim hais tias lub rooj sib tham ntawm cov kab ke sib faib thiab kev suav sib txuas yog Hydra 2020 Nws. Tsis ntev los no ntawm Habre muaj ib qho kev tshaj tawm nrog tshuaj xyuas nws qhov kev pab cuam. Xyoo tas los, SPTDC thiab Hydra tau tshwm sim ib txhij thiab ntawm tib lub xaib. Xyoo no lawv tsis sib tshooj nyob rau hauv cov hnub, yog li ntawd lawv tsis sib tw nrog ib leeg rau koj lub sij hawm thiab mloog.
Cov Lus Qhia Pab Tau: Tshawb xyuas Hydra lub rooj sib tham program thiab xav txog kev mus koom lub rooj sib tham tom qab tsev kawm ntawv thiab. Qhov no yuav yog ib lub lim tiam zoo.
Yuav mus kawm ntawv li cas?
- Sau cov hnub thaum Lub Xya Hli 6 txog Lub Xya Hli 9, 2020 hauv daim ntawv qhia hnub (lossis zoo dua, los ntawm Lub Xya Hli 11 mus rau Hydra lub rooj sib tham tom qab tsev kawm ntawv).
- Npaj siab, npaj.
- Xaiv daim pib thiab mus kawm ntawv.
Tau qhov twg los: www.hab.com