ဠLeslie Lamport - ááŒáá·áºáá±áá¬ážáá±á¬ ááœááºááŒá°áá¬ááœáẠá¡ááŒá±áá¶áá»áá±á¬ áááºáá¬áá»á¬ážááᯠáá±ážáá¬ážáá°ááŒá
áºááŒá®áž á
áá¬ážáá¯á¶ážááœáẠLa á
á¬áá¯á¶ážáá»á¬ážááŒáá·áºáááºáž áá°á·ááᯠááááá¯ááºáááºá LaTeX - "Lamport TeX"á 1979 ááœáẠááááŠážáá¯á¶ážá¡ááŒááẠá¡áá°á¡áááᯠááááºáááºáá²á·áá°ááŒá
áºáááºá
ááá¯á·á¡ááŒáẠáááŒá¬áá®ááœáẠá ááá·áºáá®áá¬á áááºááœáẠáá°ááá¯áẠáá áááºá០áá áááºá¡áá áá»ááºážáááá·áº ááŒáá·áºáá±áá¬ážáá±á¬ ááœááºááŒá°áá¬- Hydra ááá¯ááºáᬠáá»áœááºá¯ááºááá¯á·á ááœááºáááá·áºá¡áá áºááá¯á· áá±á¬ááºááŸááá¬áááºááŒá áºáááºá áááºááá¯ááááá á¹áá¬ááºáá»áá¯ážáá²ááá¯áᬠááŒáá·áºááá¯ááºáá¡á±á¬ááºá
ááá¯ááºááááºááŒá®
Multithreading áá²á·ááá¯á·áá±á¬ áá±á«ááºážá ááºáá»á¬ážááẠáá»áœááºá¯ááºááá¯á·á ááœááºáááá·áºáá»á¬ážááœáẠáá±ááºá¡á á¬ážáá¯á¶áž á¡ááŒá±á¬ááºážá¡áá¬áá»á¬ážáá²á០á¡áá»áá¯á·ááŒá áºáááºá áá®áááºážááá²ááŸá¬áá² á áœáá·áºáá áºáá¶áá²á·ááá±ááá·áº á ááºááŒáá·áºáá±á«áºááŸá¬ áá°áá áºáá±á¬áẠáá±á«áºáá¬ááŒá®áž ááŸááºáá¬ááºáá¯á¶á á¶á¡ááŒá±á¬ááºáž ááŒá±á¬áá±áá¬á áááŒá áºááẠáá«ááŸááá¯áẠááŒáá¯ážáá»áá¯ážá á¯á¶áá²á· á¡ááŸáá¯ááºááœá± á á¯áá±á¬ááºážááŒá®áž boom! - ááá¯ááºááŒá®áž ááá¯áá áá¯ááºáá¬ážáá±á¬ááºááẠáá°áá áºáá±á¬ááºá¡á±á¬ááºááŸáááŒá®ážáá¬áž áá±áá¬á¡á¬ážáá¯á¶ážááᯠááááºážááá¯ááºáá«á áá®á¡á±á¬ááºááŒááºááŸá¯áá²á· á¡ááŸá áºáá¬áá áá¬áá²á áá»áœááºá¯ááºááá¯á·á¡á¬ážáá¯á¶ážááẠááŒáá·áºáá±áá¬ážáá±á¬ ááœááºááŒá°áá¬ááᯠá á¯á ááºážááá¯ááºááá·áº áá¬á·ááºáá²ááºáá áºáá»áá¯ážáá»áá¯áž áááºáá²ááœáẠááŸááá±ááŒááºážááŒá áºááá¯ááºááẠá ááá¯á·ááá¯áẠáá»áœááºá¯ááºááá¯á·ááẠáááºážááᯠáááºážáá á áºááŸááºáá±á¬áááºááá¯ážááŒáá·áº áááºáá±á¬ááºááẠáá»áœááºá¯ááºááá¯á·á áááá áááºá០áá¬ážáááºááá±á¬áá±á«ááºááŒááºážáá±á¬á á ááá·áºáá®áá¬á ááẠááœááºááẠ(ááá¯ááá¯áááºááŸá¬á ááœá±ááŒá±ážááá¬á áá±á·áá¬áááºážá á áºáá°ááŸáá·áº áá®ááœááºáá°) áá áºáŠážáááºážá áááºáá²ááœáẠááœááºáá»á°áá¬á¡á á¯á¡áá±ážáá áºáá¯ááŒáá·áº á¡áá¯á¶ážáááºáá²á·áá±á¬ á ááá·áºáá®áá¬á áááºááœááºááẠ(St. Petersburg quantum) á áááá·áºá¡ááŒá áºá¡áá»ááºáá áºáá¯ááŸááááºá ááŒá®ážáá±á¬á· á¡áá¯ááẠá¡ááá»á¬ážá áœá¬ ááá¯ááŒá®ážáá²á· á¡áá¯ááºááœá±ááᯠá áœááºážáá±á¬ááºáááºáá²á· áááºážáá±á¬ááºááá¯ááºááẠáá¬áá¯ááºááá²á
á€áá±áááºážá á¬ážááŸá¯ááŒá±á¬áá·áºá á áœááºážáá±á¬ááºáááºááŸáá·áº áááá±á¬ááºáá±á¬ ááœááºááŒá°áá¬ááá¯ááºáᬠáá±á«ááºážá ááºááẠááœááºáááá·áºáááá¯ááááºááœáẠáá»á¶á·ááŸá¶á·ááœá¬ážáááºáááºá á áœááºážáá±á¬ááºáááºááŸáá·áº áááºáááºá á¡á á®áááºáá¶á ᬠááŸá áºáááºá¡ááœááºáž áááºáá»áŸááŒá¯áá¯ááºááá¯ááºááẠ- áá¯á¶ážáá¯á¶áá áºáá¯á¶á áá¯á¶ážáá¯á¶ááŸá áºáá¯á¶á á¡áá»áá¯á·áá±áá¬áá»á¬ážááœáẠá€ááá¯ážáááºááŸá¯ááᯠááá·áºáááºááá·áºá¡áá¯á¡áá±á¬áẠááá·áºáááºáá»ááºáá»á¬áž ááŸááá±áááº- á áœááºážáá±á¬ááºáááºá¡ááŒááºá áá®ááœááºáááºáá®ážááŸá¯ ááá¯á·ááá¯áẠáááá¯áá¬ááá¯ááºáᬠá¡á¬áá¬ááá¬ááºááŸá¯ááá¯ááºáᬠá¡áá»áá¯á·á¡ááœáẠáááºáá±á¬ááºá¡áá áºáá»á¬ážá¡ááœáẠáá±áá¬ááœááºááŸáááá«áááºá ááá¯ááºáá°ážá á áœááºážáá±á¬ááºáááºá áááºáž áá«ááá¯á·á¡á¬ážáá¯á¶ážááᯠáá á¬ážááá°ážá
ááá¯á·ááá¯áẠáááºááẠááá·áºáá»ááºáááºáááºážááᯠááœá¬ážááá¯ááºáááºá á áœáá·áºá á¬ážááŒá®áž áááºážááá¯á·ááŸáá·áº áááºáááºáá±á¬ ááŒáá·áºáá±ááŸá¯ ááœááºáá»ááºááŒááºážááá¯ááºáᬠáá¯á¶ážáá¯á¶ážáá»á¬ážáá»á¬áž ááŒá áºááá·áº ááœááºáááá·áºáá áºáá¯ááᯠááá¯ážááá¯ážáá¬ážáá¬áž ááŒá¯áá¯ááºááá¯ááºáááºá ááá¯ááá¬á
ááá±á·áá±áẠááœááºááŒá°áá¬á¡á¬ážáá¯á¶ážááẠáá áºáááºážááá¯ááºáá áºáááºáž ááŒáá·áºáá±ááŒá±á¬ááºáž ááá¯ážáá¬ážá áœá¬ áááºáá¶ááŒáá«á áá¯á·á áááºážááẠmulti-core á ááºá ááœááºáá»á°áᬠá¡á á¯á¡áá±áž ááá¯á·ááá¯áẠá¡ááŒá®ážá á¬áž ááŒáá·áºáá±ááá·áº áááºáá±á¬ááºááŸá¯ááŒá áºá á±á áá áºáá¯ááŸáá·áºáá áºáᯠáá áºááŒáá¯ááºáááºáž ááŒáá¯ááºáá°áá¯ááºáá±á¬ááºááá·áº áá®ážááŒá¬áž ááœááºáá»ááºááŸá¯áá»á¬ážááᯠáá¯ááºáá±á¬ááºááá·áº áá±áá¬ááá¯ááºážááœáẠáá¯ááºáááºážá ááºáá»á¬ážá áœá¬ ááŸááá«áááºá áááºážááẠáá®á¡áá¯áá®ááœáẠáááºááá¯á·á¡áá¯ááºáá¯ááºáá¯á¶ááŸáá·áº áááºááœá±á·ááœáẠáááºááá¯á·á¡áá¯ááºáá¯ááºáá¯á¶ááẠááá¯ááºááá¬á á¡á¬áá¯á¶ááŒá áºáááºá
áá®áá¬áá¶á¡á á®á¡á ááº
áááá¯ááááºááᯠáááºááŸáááœáẠáá±á¬áºáá±á¬ááºáá»ááºááŸááááºá ááŒáá·áºáá±ááŸá¯á áá áºáá®á¡áá¯áá®áá»á¬ážá áááºáá±á¬ááºáá°áá»á¬ážááŸáá·áº áá¯ááºáá¯ááºááŸá¯ááœáẠáááºážááá¯á·ááŸáá·áºá¡áá° áá¯ááºáá±á¬ááºáá±áá±á¬ á¡ááºáá»ááºáá®áá¬áá»á¬ážáá¶á០á¡á á®áááºáá¶á á¬áá»á¬áž áá«áááºááá·áºáááºá
á¥ááá¬á¡á¬ážááŒáá·áºá Microsoft Research á០Leslie Lamport ááŸáá·áº Brown University á០Maurice Herlihy ááá¯á· áá«áááºááŒááºážá¡ááŒá±á¬ááºážááᯠáá»áœááºá¯ááºááá¯á· áááá¬ážááŒá®ážááŒá áºáááºá
Maurice Herlihy - á¡ááœááºáá¬áááºááŒá®ážááŒá®áž áá±ážá
á¬ážááá²á· ááœááºáá»á°áá¬áááá¹áᶠáá«áá±á¬áá¹ááá
áºáá±á¬ááºáááºáž áá°á·á¡ááŒá±á¬ááºáž áá¯á¶ááŒááºáá
áºáá¯ááºááŸááá«áááºá
Maurice áááºááŒáá·áºáá±áá¬ážáá±á¬ááœááºáá»ááºááŸá¯ááŸá¯áá±á¬áá·áºá០"Blockchains" áá¯áá±á«áºáá±á¬á¡áááá¡áá»ááºááá¯áááºáá¶áá»ááºážááááºááŒá áºáááºá á áááºáá«áááºá á¬ážáá«áá á ááá·áºáá®áá¬á ááẠJUG á០Maurice á ááŸááºáááºážááᯠááŒáá·áºááŸá¯ááá¯ááºáá«áááºá áá°ááẠáá±á«ááºážá ááºááᯠáááºáá»áŸááŸááºážáááºážáá¬ážáááºááá±á¬áá±á«ááºááŒá±á¬ááºáž á¡áá²ááŒááºáá«á
"Dual Data Structures" áá¯áá±á«áºáá±á¬ áá¯áááá¡áááá¡áá»ááºááᯠáááºáá«áááºá ááá¯ááºáááºá
áá±á¬á· Rochester ááá¹áááá¯ááºááŸá á¡ááá»ááá¯á·ááŸááºážá - áá°á·ááŸá¬áááºážáá°á·ááá¯ááºááá¯ááºááŸááá«áááºá
áá°ááá¯ááºááááºá¡áá á¡áá»áááºá¡áá»á¬ážááŒá®ážááŸááá«áá±ážáááºá á¡á á®á¡á ááºááᯠááŒááºáááºááŒááºáááºááŒá®áž áá°ááá¯ááºá áá®ážáááºáá¬áá±á¬á¡áá«ááœáẠá¡ááŒá¬ážáá±á¬ á áá®áá¬áá»á¬ážááŸáá·áº áááºážááá¯á·á á¡ááŒá±á¬ááºážá¡áá¬áá»á¬ážááᯠááá·áºá¡á¬áž ááŒá±á¬ááŒáá«áááºá
áá±áá°áá»á¡á¬ážááŒáá·áº áá±ážá áá¬ááŸááá¬ááẠ- á¡áááºááŒá±á¬áá·áºáá»áœááºá¯ááºááá¯á·ááẠááœá±áá¬áá®ááœáẠHydra ááá¯ááŒá¯áá¯ááºááááºážá áá±á¬ááºáá¯á¶ážáá±á¬á· áá®áá¬á á¡á¬ážáááºáááºá á¡á¬ážáááºáááºááœá±áá«á ááŒá¿áá¬ááŸá¬ áá±á¬ááŒá±á¬áá°áá»á¬ážááŒá¬ážááœáẠááá¹áááá¯ááºáá«áá±á¬áá¹ááá»á¬áž ááŸááá±ááŒá®áž á¡ááŒá¬ážá¡áá»áááºáá»á¬ážááœáẠáááºážááá¯á·á¡ááœáẠá¡áá¯ááºáá»á¬ážáá±ááŒááºážááŒá áºáááºá áá»áœááºá¯ááºááá¯á·ááẠá¡ááŒá¬ážáááºáá»á¬ážááᯠááœá±ážáá»ááºááááá«á
ááœá±ážááœá±ážáááºáá±áá¬áá»á¬áž
á¡ááŒá¬ážá¡á ááºážá¡áá±ážáá»á¬ážááœááºá áá±á¬ááŒá±á¬áá°á ááá¯á¡ááºáááºáá»á¬ážááᯠáááºááŒá®áž áá»ááºáá»ááºážááœááºááœá¬ážáááºá áá«áááºáá°áá»á¬ážááẠáááºážááá¯ááŸá¬ááœá±ááẠá¡áá»áááºáááºáááŸááá« - áá±á¬ááºáá¯á¶ážááœááºá áá±á¬ááºá¡á á®áááºáá¶á á¬ááẠááœá¬áááŸá¯áááŸááá² á áááºáááºá á¡áá°ážáááŒáá·áº Lamportá Herlihy áá²á· Scott ááá¯á·ááᯠá¡áá±ážááŒá®ážáá²á· áá°ááœá±ááŸááá²á·á¡áá« á¡áááºážáá¬áá»ááºáááŒá®áž áá°ááá¯á·áá²á·ááœá±á·ááŒá®áž áá áºáá¯áá¯ááŒá±á¬ááá¯á· ááœááºáááá·áºááᯠáááºááááºááœá¬ážáá«á
áá®ááŒá¿áá¬ááᯠáá»áœááºáá±á¬áºááá¯á· ááŒá±ááŸááºážááŒá®ážáá«ááŒá®á áá°á·ááááºážááá¯á·ááŒá®ážááŒá®ážáá»ááºážááŸá¬áá²á áá±á¬ááŒá±á¬áá°á á¡áááºážáá¯á¶áž á¡ááŸááºá¡áá¬ážáá«áá²á· whiteboard áááºáááºáá¬ážáá²á· á¡áá°ážááœá±ážááœá±ážáááºážáá®ááœá¬ážááŒá®ážá áááºážááŸá¬ á¡áá»áááºá¡áá»á¬ážááŒá®ážááŸááááºá ááá¬ážáááºá¡á¬ážááŒáá·áºá á¡á á®áááºáá¶á á¬áá»á¬ážááŒá¬ážáá¬áááœáẠáá±á¬ááŒá±á¬áá°ááẠá¡áááºážáá¯á¶áž ááá¯áá±áá¬ááœáẠááŸááá±áááºáᯠáááááŒá¯áá«áááºá áááºááœá±á·ááŸá¬ áá®ááᯠááœá±ážááœá±ážááŸá¯ááœá± ááŸááááºá ááá¯áẠá¡áá¯á¶ážááœáẠáá¬áá®áá±á«ááºážáá»á¬ážá áœá¬ ááá·áºáááºáž (á áá¬ážááŒá±á¬áá°á ááá¹áááŸáá·áº áá¶ááá¯ááºáááºáá±á«áº áá°áááºá)á
Lamport áá²á· áááºáááºááŒá®ážáá±á¬á· áá»áœááºáá±á¬áº ááŸááºáááºá
áœá¬ áá¬ážáááºááẠáá°á áá°ááœá±ááᯠáááºááá¯ááºááá»áŸ á
ááºážáá¯á¶ážá
á±áá»ááºáá«áááºá
á€áá°á¡á¬ážáá¯á¶ážááᯠWikipedia á០áá»á±á¬ááºáá¯á¶ážááŒá®ážááŒáá·áº áá±ážáá¬ážáá±á¬ á¡áááºáá»á¬ážááŸáá·áº á á¬á¡á¯ááºá¡áá¯á¶ážáá»á¬ážáá±á«áºááœáẠáááºáááºááŒááºáá°ááá«áá áááºážááá¯á·ááŸáá·áº ááá¯ááºááá¯ááºááœá±á·áá¯á¶áááá·áºá¡áá»áááºááŒá áºáááºá áááá¹áá¶ááá¯ááºáᬠáá±á¬ááºážáá«ážáá»á¬ážá á á¬áá»ááºááŸá¬áá»á¬ážááœáẠá¡ááŒá±ááá¯ááºáá±á¬ áá±ážááœááºážáá»á¬ážááᯠáá»ááºáááºáá±ážáá«á ááá¯á·áá±á¬áº áááºážááá¯á·á á á¬áá±ážááá¬áá»á¬ážááẠáááºááœááºááẠáá»á±á¬áºááœáŸááºáá«áááá·áºáááºá
ááááºážá á¬áá»á¬ážááá»á¬ážá¡ááœáẠCall
ááá¯áá±á¬ááºážáá«ážááá¯áááºáá±áá°á¡áá»á¬ážá á¯ááẠáá°ááá¯á·ááá¯ááºáá°ááá¯á· á áááºáááºá á¬ážá áá¬áá±á¬ááºážáá±á¬ááºá¡á±á¬áẠáá áºáá¯áá¯ááŒá±á¬ááẠáááŸá áºáááºááŒáááºááŸá¬ áá»áŸáá¯á·ááŸááºáá»ááºááá¯ááºáá«á á¡ááºáá»ááºáá®áá¬ááŸá¯áá±á¬áá·áºááŸá áááá¹áá¶ááá¬ááŸá¯áá±á¬áá·áºááŸá áááºááá·áºááŸá¯áá±á¬áá·áºááŸáááá¯á Distributed computing ááẠá¡ááœááºáá»ááºááŒáá·áºááŒá®áž áááºáá²áá±á¬á¡ááŒá±á¬ááºážá¡áá¬ááŒá áºááŒá®áž áá°ááá¯ááºážá¡ááœáẠáá±áá¬áá áºáá¯ááŒá áºáááºá
Lamport áá²á·ááœá²áá
á¬ážáá»ááºáááºááá¯áááºáá±á¬á· áá¯á¶ážáááŒá
áºááá¯ááºáá«áááºá Speaker áá
áºáá±á¬ááºááŒá
áºááá¯á· ááá¯á¡ááºáááºá
á áááºá¡á±ážá¡á±ážáá¬ážáá«á áá¯ááºáááºážá ááºááᯠáááºáá»áááºáááºááŒá®ážáááºááŸáá·áº áááºááẠá¡áá°á¡áá®ááááá·áºáááºá áááá¯ááááºáá±á¬áºááá®ááœáẠá¡á á®áááºáá¶á á¬ááá¯ááºááá¯ááºá áááºážáá¡ááŸá áºáá¬áááŸáá·áº áá®ááá¯ááºážááᯠáá°áá®ááẠáá¯á¶áá±á¬ááºáá±á¬á¡áááºážá¡ááŒá áºáá»á¬ážááŸááááºá ááŸáááŸáá¯ááºážáá±ážááŸá°ážááẠááá·áºá¡á¬áž á¡ááœá²á·á¡á ááºážááá¯ááºáᬠááŒá¿áá¬áá»á¬ážááŸáá·áº á¡ááŒá¬ážá¡áá¬áá»á¬ážááᯠáá°áá®ááŒá±ááŸááºážáá±ážáááá·áºáááºá
áááºá áœá²áá»á¬ážááŸáá·áºá¡áá° áá¯á¶áá»á¬ážááᯠá¡áá°ážááá¯ááŒá¯áá«á áá°ááá¯ááºáááẠáá«áááºáá°á¡ááœáẠáá±ážááœá¬áá±á¬áááºá áœá²ááŒá áºááŒá®áž áá±á¬ááŒá±á¬áá°á ááá¯á០á áááºááá¯ááºáá±á¬ááºááẠááá¯á¡ááºáá«áááºá
SPTDC áá»á±á¬ááºáž
ááœá±ážááœá±ážááœá²ááᯠSPTDC áá»á±á¬ááºážááŸáá·áº áá°áá®áá±á¬áá±áá¬á áá»ááºážááááºááŒá áºáá±á¬ááŒá±á¬áá·áº áá»á±á¬ááºážáááºááŸááºáááºáá°áá°ááá¯ááºážá¡ááœáẠáá®áá¬áá¶áááºááŸááºáá»á¬áž - 20% áá»áŸá±á¬á·á á»á±ážááŸáá·áºá¡áá°.
áá»á±á¬ááºážááœáẠá¡ááºá¹áááááºáá¬áá¬ááŒáá·áº áá»ááºážááááºááŒá áºáááŒáá·áº á¡á±á¬ááºáá«á¡ááŒá±á¬ááºážá¡áá¬áá»á¬ážá á¬áááºážááᯠáá±á¬áºááŒáá±ážááá¯ááºáá«áááºá
- áá áºááŒáá¯ááºáááºáž áá±áá¬ááœá²á·á ááºážáá¯á¶áá»á¬áž- ááŸááºáááºááŸá¯ááŸáá·áº áááá±á¬ááºááŸá¯á
- ááááºááŒáááºáá±á¬ááŸááºáá¬ááºá¡ááœáẠá¡ááºáááá¯áá®áááºáá»á¬áž
- ááŒáá·áºáá±áá¬ážáá±á¬ ááœááºáá»ááºááá¯ááºá áœááºážá
- ááŒáá·áºáá±á ááºáááºáá°ááŸá¯;
- ááŒááºáááº-á ááºáá¯á¶áá°ááœá¬ážááŸáá·áº Paxos;
- Byzantine á¡ááŸá¬áž-áááºážáá¶ááŸá¯;
- blockchains á á¡ááºáááá¯áá®áááºá¡ááŒá±áá¶áá»á¬ážá
á¡á±á¬ááºáá±á¬áºááŒáá« áá±á¬ááŒá±á¬áá°áá»á¬ážááẠáá±á¬ááŒá±á¬áááºááŒá áºáá«áááºá
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Brown ááá¹áááá¯ááº);
- Michael Scott (Rochester ááá¹áááá¯ááº);
- Dan Alistarh (IST Austria);
- Trevor Brown (Waterloo ááá¹áááá¯ááº);
- Eli Gafni (UCLA);
- Danny Hendler (Ben Gurion ááá¹áááá¯ááº);
- Achour Mostefaoui (Nantes ááá¹áááá¯ááº)á
áá±á¬ááºá¡ááá·áºáá»á¬áž
áá®áá¬áá¶á¡á
á®á¡á
ááºááᯠáááºáááºááœá²á·á
ááºážáá±áá²ááŒá
áºáááºá Habré ááœáẠááá¯á·ááá¯áẠáá°ááŸá¯ááœááºáááºáá»á¬ážááœáẠááááºážááᯠááá¯ááºáá¬áá« (
á¡áááºá áááºááẠááœááºáááá·áºááᯠá¡ááŸááºáááẠáá¯á¶ááŒááºáá«á (ááá¯á·ááá¯áẠ"Early Bird" áᯠááá¯ááŒááá·áº á¡áá°ážá¡á
áá±ážá á¡ááœáá·áºáá±á¬ááºážááᯠááá°ááá¯áá«á) - ááẠááá¯ááºááᯠááœá¬ážááŒá®ážá
Hydra ááŸá¬ááœá±á·áááºá
source: www.habr.com