keia Leslie Laimport ʻO ia ke kumu o nā hana seminal i ka helu helu, a ʻike paha ʻoe iā ia ma nā leka La ma ka ʻōlelo. LaTeX - "Lamport TeX". ʻO ia ka mea mua, i ka makahiki 1979, i hoʻokomo i ka manaʻo , a me kāna ʻatikala loaʻa ka makana Dijkstra (ʻoi aku ka pololei, ma 2000 ua kapa ʻia ka makana ma kona ala kahiko: "PODC Influential Paper Award"). Aia e pili ana iā ia , kahi e loaʻa ai iā ʻoe kekahi mau loulou hoihoi hou aʻe. Inā ʻoliʻoli ʻoe i ka hoʻoponopono ʻana i nā pilikia ma ka hanana-ma mua a i ʻole (BFT), a laila pono ʻoe e hoʻomaopopo aia ʻo Lamport ma hope o kēia mau mea āpau.
E hele koke mai ʻo ia i kā mākou ʻaha kūkā hou e pili ana i ka hoʻopili helu helu - Hydra, e hana ʻia ma Iulai 11-12 ma St. E ʻike kākou i ke ʻano o kēia holoholona.
ʻO Hydra 2019
ʻO nā kumuhana e like me ka multithreading kekahi o nā mea kaulana loa i kā mākou mau ʻaha kūkā. I kēia manawa ua haʻalele kēia keʻena, akā aia kekahi kanaka ma ke kahua e kamaʻilio ana e pili ana i ke ʻano hoʻomanaʻo, hana-ma mua a i ʻole ka hōʻiliʻili ʻōpala multi-threaded a - boom! — Aia ma kahi o hoʻokahi tausani kānaka e noho ana i nā wahi āpau e noho ai a hoʻolohe pono. He aha ke ʻano o kēia holomua? Malia paha no ka loaʻa iā mākou a pau kekahi ʻano lako lako i hiki ke hoʻonohonoho i ka hoʻopili helu? A i ʻole ke hoʻomaopopo ʻole mākou i ko mākou hiki ʻole ke hoʻouka e like me ka mea e pono ai? Aia kekahi moʻolelo maoli o kekahi o St. Petersburg quant (ʻo ia hoʻi, he mea loiloi quantitative kālā a me ka mea hoʻomohala), i loaʻa iā ia iho i ka hui ʻikepili, ka mana piha o ia wale nō ke hoʻohana. He aha kāu e hana ai inā loaʻa iā ʻoe ka hiki ke hoʻokō i kāu mau hana i ʻoi aku ka nui ma mua o kēia manawa?
Ma muli o ia kaulana, ʻo ke kumuhana o ka huahana a me ka hoʻopili pono ʻana e hoʻolaha i ka papa kuhikuhi o ka hālāwai kūkā. ʻEhia o nā lā ʻelua o nā hōʻike e hiki ke hana e pili ana i ka hana - ke kolu, ʻelua hapakolu? Ma kekahi mau wahi, aia nā kaʻina hana e kaupalena ʻia ai kēia ulu ʻana: ma waho aʻe o ka hana, pono e loaʻa kahi lumi no nā ʻōnaehana pūnaewele hou, no kekahi ʻano devops a i ʻole nā astronautics architectural. ʻAʻole, hana, ʻaʻole ʻoe e ʻai iā mākou a pau!
A i ʻole hiki iā ʻoe ke hele ma ke ala ʻē aʻe, haʻalele a hana ʻoiaʻiʻo i kahi ʻaha kūkā e pili ana i ka hoʻopili helu helu a pili wale iā lākou. A eia ʻo Hydra.
E ʻae ʻoiaʻiʻo i kēia lā ua puʻunaue ʻia nā helu ʻana a pau ma kekahi ʻano a i ʻole. Inā he mīkini multi-core, he puʻupuʻu computing, a i ʻole he lawelawe puʻupuʻu nui, nui nā kaʻina hana ma nā wahi āpau e hana i nā helu kūʻokoʻa i ka like, synchronizing me kekahi. E hoʻolaʻa ʻia ʻo Hydra i ke ʻano o ka hana ʻana i ke kumumanaʻo a pehea e hana ai i ka hana.
Papahana ʻaha kūkā
Aia ka papahana i kēia manawa i kona hoʻokumu ʻana. Pono e hoʻokomo i nā hōʻike mai nā mea nāna i hoʻokumu i nā manaʻo o nā ʻōnaehana puʻupuʻu a me nā ʻenekini e hana pū ana me lākou i ka hana.
No ka laʻana, ua ʻike mua ʻia ke komo ʻana o Leslie Lamport mai Microsoft Research a me Maurice Herlihy mai ke Kulanui ʻo Brown.
Maurice Herlihy - he loea kaulana loa a mahalo ʻia o Computer Science, aia kekahi ʻike e pili ana iā ia , kahi e hiki ai iā ʻoe ke nānā i nā loulou a me nā hana. Ma laila hiki iā ʻoe ke ʻike i ʻelua mau makana Dijkstra, ka mea mua no ka hana , a ʻo ka lua, hou aku - . Ma ke ala, ʻaʻole alakaʻi nā loulou iā SciHub, akā i ke Kulanui ʻo Brown a me ke Kulanui ʻo Virginia Tech, hiki iā ʻoe ke wehe a heluhelu.
E paʻa ana ʻo Maurice i kahi kī nui i kapa ʻia ʻo "Blockchains mai kahi hiʻohiʻona helu helu hoʻolaha." Inā makemake ʻoe, hiki iā ʻoe ke nānā i ka hoʻopaʻa ʻana o ka hōʻike a Maurice mai St. Petersburg JUG. E noʻonoʻo i ka maopopo a me ka maopopo o kāna haʻi ʻana i ke kumuhana.
E heluhelu ʻia ka lua kī nui i kapa ʻia ʻo "Dual Data Structures". Michael Scott mai ke Kulanui o Rochester. A e noʻonoʻo i ka mea - aia nō kāna ponoʻī . Ma ka home ma Wisconsin, ua kaulana ʻo ia no kāna hana ma ke ʻano he dean ma ke Kulanui o Wisconsin-Madison, a ma ka honua ʻo ia ke kanaka nāna, me Doug Lea, i hoʻomohala i nā algorithms non-blocking a me nā queues synchronous kahi o nā hale waihona puke Java. hana. Ua loaʻa iā ia kāna makana Dijkstra ʻekolu makahiki ma hope o Herlihy, no kāna hana "Algorithms for scalable synchronization on shared-memory multiprocessors" (e like me ka mea i manaʻo ʻia, ma ke Kulanui o Rochester hale waihona puke pūnaewele).
Nui ka manawa a hiki i ka waena o Iulai. E haʻi mākou iā ʻoe e pili ana i ke koena o nā mea haʻiʻōlelo a me kā lākou mau kumuhana ke hoʻomaʻemaʻe mākou i ka papahana a hoʻokokoke aku iā Iulai.
Ma keʻano laulā, kū mai ka nīnau - no ke aha mākou e hana ai iā Hydra i ke kauwela? Ma hope o nā mea a pau, ʻo kēia ka wā haʻahaʻa, nā lā hoʻomaha. ʻO ka pilikia, aia ma waena o ka poʻe haʻiʻōlelo he mau kumu kula kulanui, a ʻo nā manawa ʻē aʻe he hana no lākou. ʻAʻole hiki iā mākou ke koho i nā lā ʻē aʻe.
Nā ʻāpana kūkākūkā
Ma nā ʻaha kūkā ʻē aʻe, heluhelu ka mea haʻiʻōlelo i kāna mea e pono ai a haʻalele koke. ʻAʻohe manawa o ka poʻe komo e ʻimi ai - ma hope o nā mea a pau, hoʻomaka ka hōʻike aʻe me ka ʻole o ka wā. He mea ʻeha loa kēia, ʻoiai inā aia nā poʻe koʻikoʻi e like me Lamport, Herlihy a me Scott, a ke hele maoli nei ʻoe i ka ʻaha kūkā e hālāwai me lākou a kūkākūkā i kekahi mea.
Ua hoʻoholo mākou i kēia pilikia. Ma hope koke o kāna hōʻike, hele ka mea haʻiʻōlelo i kahi wahi kūkākūkā kūikawā, i lako me ka liʻiliʻi o kahi papa keʻokeʻo me kahi māka, a he nui kou manawa. Ma keʻano maʻamau, hoʻohiki ka mea haʻiʻōlelo e noho ma laila ma ka liʻiliʻi i ka wā hoʻomaha holoʻokoʻa ma waena o nā hōʻike. I ka ʻoiaʻiʻo, kēia mau wahi kūkākūkā paha e hoʻolōʻihi i nā hola ma hope (ma muli o ka makemake a me ka hoʻomanawanui o ka mea haʻiʻōlelo).
ʻO Lamport, inā maopopo iaʻu, makemake ʻo ia e hōʻoiaʻiʻo i nā poʻe he nui - he mea maikaʻi kēia. (). Malia paha he manawa kūpono kēia no nā ʻenekinia e aʻo i kahi mea hou a pono. Hāʻawi ʻo Leslie i kēia koho - hiki i ka poʻe hoihoi ke nānā i kāna mau haʻiʻōlelo i hala a hele mai me nā nīnau. ʻO ia hoʻi, ma kahi o kahi kī nui, hiki ke loaʻa kahi hālāwai Q&A kūikawā, a laila pū kekahi wahi kūkākūkā. Ua hana au i kahi googling a loaʻa iaʻu kahi mea maikaʻi loa. (i kapa inoa ʻia ) a he haʻiʻōlelo hoʻokahi hola mai Microsoft Faculty Summit.
Inā ʻike ʻoe i kēia poʻe a pau he inoa i hoʻolei ʻia i loko o ka granite mai Wikipedia a ma nā uhi puke, ʻo ia ka manawa e hālāwai me lākou! E kamaʻilio a nīnau i nā nīnau i pane ʻole ʻia e nā ʻaoʻao o nā ʻatikala ʻepekema, akā hauʻoli kā lākou mea kākau e launa pū.
E hea aku no ka Papers
ʻAʻole ia he mea huna i ka nui o ka poʻe e heluhelu nei i ka ʻatikala ʻaʻole makemake e haʻi iā mākou i kahi mea hoihoi. Mai kahi ʻenekinia o ka ʻike, mai kahi ʻepekema ʻike - mai kēlā me kēia manaʻo. He kumuhana ākea a hohonu hoʻi ka hoʻopuka helu helu ʻana kahi e loaʻa ai kahi lumi no nā mea a pau.
Inā makemake ʻoe e hoʻokūkū pū me Lamport, hiki loa. No ka lilo ʻana i mea haʻiʻōlelo pono ʻoe , heluhelu pono i nā mea a pau ma laila a hana e like me nā kuhikuhi.
E ʻoluʻolu, ke komo ʻoe i ke kaʻina hana, e kōkua lākou iā ʻoe. Ua lawa nā mana o ke Kōmike Polokalamu e kōkua i ka hōʻike ponoʻī, kona ʻano a me ka hoʻolālā. Na ka mea hoʻonohonoho e kōkua iā ʻoe e hoʻoponopono i nā pilikia hoʻonohonoho a pēlā aku.
E nānā pono i ke kiʻi me nā lā. He lā mamao loa ʻo Iulai no ka mea komo, akā pono ka mea haʻiʻōlelo e hoʻomaka i ka hana i kēia manawa.
Kula SPTDC
E mālama ʻia ka ʻaha kūkā ma ka pūnaewele like me ke kula SPTDC, no laila, no ka poʻe a pau e kūʻai i tiketi i ke kula, e loaʻa nā tiketi i ka ʻaha kūkā. me ka hoʻēmi 20%.
He kula ia e hāʻawi ana i nā papa he nui e pili ana i nā ʻano hana a me nā ʻano kumu o nā ʻōnaehana puʻupuʻu, i aʻo ʻia e nā poʻe loea i ʻike ʻia i ke kahua kūpono.
E mālama ʻia ke kula ma ka ʻōlelo Pelekania, no laila, eia ke ʻano o ka papa inoa o nā kumuhana i uhi ʻia:
- Nā hoʻolālā ʻikepili like: pololei a me ka pono;
- Algorithms no ka hoʻomanaʻo ʻole-volatile;
- Māhele helu helu;
- Hoʻolaha ʻia ka mīkini aʻo;
- Ka hoʻopili hou ʻana o ka mīkini mokuʻāina a me Paxos;
- Byzantine hewa-hoʻomanawanui;
- Nā kumu algorithmic o blockchains.
E ʻōlelo ana nā mea haʻiʻōlelo:
- Leslie Laimport (Microsoft);
- Maurice Herlihy (Brown University);
- Michael Scott (Ke Kulanui o Rochester);
- Dan Alistah (IST Austria);
- Trevor Brown (Ke Kulanui o Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Ke Kulanui o Ben Gurion);
- Achour Mostefaoui (Ke Kulanui o Nantes).
Hiki iā ʻoe ke nānā pono i nā hōʻike o ke kula mua ma YouTube:
Nā ʻanuʻu aʻe
Ke kūkulu ʻia nei ka papahana ʻaha kūkā. E hahai i ka nūhou ma Habré a i ʻole ma nā ʻoihana pūnaewele (, , ).
Inā manaʻoʻiʻo ʻoe i ka ʻaha kūkā (a makemake paha e hoʻohana i ke kumukūʻai komo kūikawā, i kapa ʻia ʻo "Early Bird"), hiki iā ʻoe ke hele i ka pūnaewele a .
E ʻike iā ʻoe ma Hydra!
Source: www.habr.com