Леслі Лампорт

Леслі Лампорт
англ. Leslie Lamport Редагувати інформацію у Вікіданих
Леслі Лампорт
Леслі Лампорт
Леслі Лампорт
Народився7 лютого 1941(1941-02-07) (83 роки)
Нью-Йорк, США США
Країна США Редагувати інформацію у Вікіданих
Діяльністьматематик, інформатик, програміст, інженер, письменник Редагувати інформацію у Вікіданих
Alma materБрандейський університет
ГалузьІнформатика
ЗакладMicrosoft Research
Compaq
Digital Equipment Corporation
SRI International
Науковий ступіньМагістр наук[d] (1963) і доктор філософії (1972)
Науковий керівникРічард Палаіс
ЧленствоНаціональна академія наук США
Американська академія мистецтв і наук
Association for Computing Machinery[1] Редагувати інформацію у Вікіданих
Відомий завдяки:LaTeX
Задача візантійських генералів
Паксос алгоритми
Нагороди
Особ. сторінкаlamport.org Редагувати інформацію у Вікіданих
Висловлювання у Вікіцитатах
CMNS: Леслі Лампорт у Вікісховищі Редагувати інформацію у Вікіданих

Леслі Лампорт (англ. Leslie Lamport; нар. 7 лютого 1941, Нью-Йорк) — американський дослідник в галузі інформатики. Випускник з Вищої школи в Бронксі, здобув ступінь бакалавра математики в MIT 1960 р., та ступінь магістра 1963 р. і Ph.D. 1972 р. з математики в Університеті Брандейса[2]. Його дисертація присвячена сингулярності в аналітичних диференціальних рівняннях з частинними похідними[3]. Лампорт відомий, насамперед, за дослідження розподілених систем та як перший розробник системи LaTeX[4].

Леслі Лампорт працював дослідником в Massachusetts Computer Associates, SRI International, Digital Equipment Corporation та Compaq. 2001 р. перейшов до Microsoft Research в Маунтін-В'ю, Каліфорнія[2].

Дослідження та праці

Дослідження Лампорта заклали фундамент в теорію розподілених систем. До його відомих праць належать, зокрема:

  • «Time, Clocks, and the Ordering of Events in a Distributed System» (Час, годинники та впорядкування подій в розподіленій системі),[5] що отримала премію Дейкстри за 2000 рік[6]
  • «How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs» (Як створити багатопроцесорний комп'ютер, який правильно виконує багатопроцесові програми)[7], яку він визначив як послідовну узгодженість,
  • «The Byzantine Generals Problem» (Задача візантійських генералів),[8]
  • «Distributed Snapshots: Determining Global States of a Distributed System» (Розподілені знімки: визначення глобальних станів розподіленої системи),[9] та
  • «The Part-Time Parliament» (Парламент на не повну ставку)[10].

Ці статті присвячені таким поняттям, як логічні годинники (та відношення трапилось до) та Задача візантійських генералів. Вони належать до числа найцитованіших праць в галузі інформатики[11], в них описані алгоритми розв'язання багатьох фундаментальних проблем розподілених систем, зокрема:

Лампорт також відомий завдяки дослідженням часової логіки, де він розробив часову логіку дій (TLA)[12][13].

До останніх розробок належить TLA+, логіка для специфікації та дослідження багатопотокових та реактивних систем, яку він описав в книзі «Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers» (Специфікація систем: мова та засоби TLA+ для розробників програмного і апаратоного забезпечення)[14] та називає «донкіхотською спробою подолати відразу інженерів до математики».[15]

Відзнаки

Лампорт отримав чотири ступені почесного доктора від Європейських університетів: Університет Ренн та Кільський університет в 2003, Лозанни в 2004 та Університет Лугано в 2006.[2] 2004 р., здобув нагороду імені Емануеля Піора від IEEE.[16] 2005 р., стаття «Reaching Agreement in the Presence of Faults» (Досягнення згоди за відсутності збоїв)[17] отримала приз імені Дейкстри[18]. На відзнаку 60-ти років з дня народження Лампорта була організована серія лекцій на 20-му симпозиумі з принципів розподілених обчислень (PODC 2001).[19]. 2013 року став лауреатом Премії Тюрінга[20].

Різне

Лампорт автор афоризму[21]:

Розподілена система — це система в якій комп'ютер, про існування якого ви навіть не здогадувались, може зробити ваш комп'ютер непрацездатним.

Див. також

Джерела

  1. ↑ https://www.acm.org/media-center/2015/january/fellows-2014
  2. ↑ а б в Lamport, Leslie (19 грудня 2006). My Writings. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
  3. ↑ Lamport Leslie. The Analytic Cauchy Problem with Singular Data. — 1972. Архівовано з джерела 16 серпня 2007. Процитовано 2007-02-02.
  4. ↑ Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 0-201-15790-X. Процитовано 2 лютого 2007.
  5. ↑ Lamport, Leslie (July 1978). Time, Clocks and the Ordering of Events in a Distributed System. Communications of the ACM. 21 (7): 558—565. doi:10.1145/359545.359563. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  6. ↑ Neiger, Gil (23 січня 2003). PODC Influential Paper Award: 2000. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
  7. ↑ Lamport, Leslie (1979). How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Program. IEEE Trans. Comput. 28 (9): 690—691. doi:10.1109/TC.1979.1675439. ISSN 0018-9340. Архів оригіналу за 5 серпня 2011. Процитовано 3 грудня 2010.
  8. ↑ Lamport, Leslie; Robert Shostak, Marshall Pease (July 1982). The Byzantine Generals Problem. ACM Transactions on Programming Languages and Systems. 4 (3): 382—401. doi:10.1145/357172.357176. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  9. ↑ Chandy, K. Mani; Leslie Lamport (February 1985). Distributed Snapshots: Determining Global States of a Distributed System. ACM Transactions on Computer Systems. 3 (1): 63—75. doi:10.1145/214451.214456. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  10. ↑ Lamport, Leslie (May 1998). The Part-Time Parliament. ACM Transactions on Computer Systems. 16 (2): 133—169. doi:10.1145/279227.279229. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  11. ↑ Most cited articles in Computer Science. 2006-09. Архів оригіналу за 9 липня 2013. Процитовано 8 жовтня 2007.
  12. ↑ Lamport Leslie. A Temporal Logic of Actions. — 1990. — 1 квітня. Архівовано з джерела 16 серпня 2007. Процитовано 2007-02-02.
  13. ↑ Lamport, Leslie (May 1994). The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems. 16 (3): 872—923. doi:10.1145/177492.177726. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  14. ↑ Lamport, Leslie (2002). Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley. ISBN 0-321-14306-X. Архів оригіналу за 11 грудня 2008. Процитовано 2 лютого 2007.
  15. ↑ The International Conference on Dependable Systems and Networks keynote speaker biography. Архів оригіналу за 9 липня 2013. Процитовано 6 березня 2007.
  16. ↑ IEEE Emanuel R. Piore Award Recipients. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
  17. ↑ Pease, Marshall; Robert Shostak, Leslie Lamport (April 1980). Reaching Agreement in the Presence of Faults. Journal of the Association for Computing Machinery. 27 (2). Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  18. ↑ Edsger W. Dijkstra Prize in Distributed Computing: 2005. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
  19. ↑ PODC 2001: Lamport Lecture Series. Архів оригіналу за 9 липня 2013. Процитовано 2 липня 2009.
  20. ↑ LESLIE LAMPORT. Архів оригіналу за 16 січня 2016. Процитовано 25 серпня 2014.
  21. ↑ Lamport, Leslie (28 травня 1987). Distribution e-mail. Архів оригіналу за 9 липня 2013. Процитовано 16 квітня 2007.

Посилання

Read other articles:

Ludwigsburg

Ludwigsburg Istana Ludwigsburg, pekarangan dalam Lambang kebesaranLetak Ludwigsburg NegaraJermanNegara bagianBaden-WürttembergWilayahStuttgartKreisLudwigsburgPemerintahan • MayorWerner SpecLuas • Total43,33 km2 (1,673 sq mi)Ketinggian293 m (961 ft)Populasi (2021-12-31)[1] • Total93.117 • Kepadatan21/km2 (56/sq mi)Zona waktuWET/WMPET (UTC+1/+2)Kode pos71634–71642Kode area telepon07141Pelat kendaraanLB...

 

Pudjiwati Sajogyo

Artikel atau bagian artikel ini kemungkinan telah disalin dan disisipkan bulat-bulat dari https://sajogyo-institute.org/pudjiwati-sajogyo/, dan mungkin melanggar kebijakan hak cipta Wikipedia. Silakan perbaiki artikel ini dengan menghapus konten berhak cipta tidak bebas dan menggantinya dengan konten bebas dengan benar, atau tandai konten untuk dihapus. (periksa) (Februari 2023) Artikel ini membutuhkan rujukan tambahan agar kualitasnya dapat dipastikan. Mohon bantu kami mengembangkan artikel ...

 

S/2007 S 2

Diagram ini menunjukkan orbit satelit iregular Saturnus. Di tengah, orbit Titan, sebuah satelit yang regular, ditandai dengan warna merah sebagai perbandingan. S/2007 S 2 adalah satelit alami dari planet Saturnus. Saturnus memiliki 62 satelit, dengan 53 di antaranya telah dinamai dan hanya 13 di antaranya memiliki diameter lebih besar dari 50 kilometer. Referensi http://solarsystem.nasa.gov/planets/profile.cfm?Display=Sats&Object=Saturn Diarsipkan 2014-04-16 di Wayback Machine.

Santo Tomas, La Union

Peta menunjukan lokasi Santo Tomas Data sensus penduduk di Santo Tomas Tahun Populasi Persentase 199528.192—200031.2042.20%200733.6041.03% Santo Tomas adalah munisipalitas yang terletak di provinsi La Union, Filipina. Pada tahun 2010, munisipalitas ini memiliki populasi sebesar 38.469 jiwa atau 7.693 rumah tangga. Pembagian wilayah Secara administratif Santo Tomas terbagi menjadi 24 barangay, yaitu: Ambitacay Bail Balaoc Balsaan Baybay Cabaruan Casantaan Casilagan Cupang Damortis Fernando L...

 

Coppa del Presidente degli Emirati Arabi Uniti

Coppa del Presidente degli Emirati Arabi UnitiAltri nomiUAE President's Cup Sport Calcio Tiposquadre di club FederazioneUAEFF Paese Emirati Arabi Uniti ContinenteAsia OrganizzatoreFederazione calcistica degli Emirati Arabi Uniti Cadenzaannuale Aperturasettembre Chiusuraaprile Partecipanti16 FormulaFase a gironi poi eliminazione diretta StoriaFondazione1974 Detentore Sharjah Record vittorie Al-Ahli  Sharjah (10) Edizione in corsoCoppa del Presidente degli Emirati Arabi Unit...

 

Taj Hotels

Chain of luxury hotels based in India Taj HotelsCompany typeSubsidiaryIndustryHospitalityFounded1902; 122 years ago (1902)FounderJamsetji TataHeadquartersExpress Towers, Nariman Point, Mumbai, Maharashtra, IndiaNumber of locations200+ hotels (according to their website)Key peopleNatarajan Chandrasekaran(Chairman)Puneet Chhatwal(MD & CEO)ServicesHotels and resortsParentIndian Hotels Company LimitedWebsitewww.tajhotels.com Taj Hotels is a chain of luxury hotels and a subsi...

تقويم كردي

جزء من سلسلة مقالات حولتاريخ الكرد وثقافتهم التاريخ القديم السلالات الكردية باقردا زابديسين موكسوين دار كايس جوتيون العصور الوسطى شهرزور صديقيون الأمير جعفر الداسني عيشانيون ديسم شداديون راوندية حسنويون عنازيون مروانيون هذبانيون هزاراسبيون أيوبيون بدليسيون أردلانيون...

 

سهمية كلبية

اضغط هنا للاطلاع على كيفية قراءة التصنيف السهمية الكلبية السهمية الكلبية دودة بالغة المرتبة التصنيفية نوع  التصنيف العلمي المملكة: حيوان الشعبة: ديدان اسطوانية الطائفة: سيسيرنينتيات الرتبة: صفريات الفصيلة: السهميات الجنس: السهمية النوع: السهمية الكلبية الاسم العلمي Tox...

 

Are, Saare County

Village in Estonia Village in Saare County, EstoniaAreVillageAreCoordinates: 58°30′00″N 23°00′44″E / 58.50000°N 23.01222°E / 58.50000; 23.01222Country EstoniaCountySaare CountyParishSaaremaa ParishTime zoneUTC+2 (EET) • Summer (DST)UTC+3 (EEST) Are is a village in Saaremaa Parish, Saare County, in western Estonia.[1][2] Before the administrative reform in 2017, the village was in Pöide Parish.[3] References ^ Classi...

Elliott Smith

Elliott Smith Steven Paul Elliott Smith (6 Agustus 1969-21 Oktober 2003) merupakan seorang penyanyi berkebangsaan Amerika Serikat sampai kematiannya pada tahun 2003 akibat dua tusukan pada dadanya. Otopsi memperkirakan bahwa luka tusukan tersebut kemungkinan besar sengaja dibuat sendiri olehnya dan menjadi kontroversi tentang kemungkinan bunuh diri. Dia memainkan piano, gitar, harmonika, dan bas. Berkarier di dunia musik sejak 1993. Diskografi Dirilis tanggal Album Label 14 Juli 1994 Roman Ca...

 

Luigi Gregori

Italian painter (1819–1896) Luigi GregoriBorn(1819-11-04)November 4, 1819BolognaDiedNovember 4, 1896(1896-11-04) (aged 77)FlorenceNationalityItalianEducationGiovanni Battista Frulli, Tommaso MinardiKnown forPaintingNotable workColumbus murals (1881–1884)MovementPurismo Luigi Gregori (1819–1896) was an Italian artist who worked at the Vatican and served as artist in residence and professor at the University of Notre Dame. Biography He was born in Bologna, Italy, in 1819, where ...

 

Daftar Rektor UIN Sunan Kalijaga Yogyakarta

Rektor Universitas Islam Negeri Sunan Kalijaga YogyakartaPetahanaProf. Dr. Phil. Al Makin, S.Ag., M.A.sejak 19 Februari 2020[1]Pemegang pertamaProf. K.H.R. Muhammad AdnanDibentuk1951 Daftar Rektor UIN Sunan Kalijaga Yogyakarta adalah sebagai berikut: No. Rektor Mulai Menjabat Akhir Menjabat Keterangan 1. Prof. K.H.R. Muhammad Adnan 1951 1959 Rektor Perguruan Tinggi Agama Islam 2. Prof. Dr. H.Mukhtar Yahya 1959 1960 - 3. Prof. Mr.R.H.A Soenarjo[2][3] 1960 1972 Rekt...

Ryan Moloney

Australian actor Ryan MoloneyMoloney 2007Born (1979-11-24) 24 November 1979 (age 44)[1]Victoria, Australia[citation needed]EducationHeathmont College/Emmaus CollegeOccupationActorYears active1993–presentSpouse Alison Hayward ​(m. 2003)​Children2 Ryan Moloney (born 24 November 1979) is an Australian actor, known for his portrayal of the fictional character Jarrod Toadfish Rebecchi in the Australian soap opera Neighbours from 1995 until h...

 

USS LSM(R)-196

USS LSM(R)-196 LSM(R)-196 (foreground), LSM(R)-190 (middle) and LSM(R)-199 (background) firing rockets off Tokishi Shima, March 1945 History United States NameUSS LSM(R)-190 Laid down13 September 1944 Launched12 October 1944 Commissioned8 December 1944 Decommissioned26 March 1946 Honors andawardsOne Battle Star FateSold, 11 September 1947 General characteristics Class and typeLSM(R)-188-class Landing Ship Medium (Rocket) Length203 ft 6 in (62.03 m) Beam34 ft (10 m) D...

 

Ганне-сюр-Луар

КоммунаГанне-сюр-ЛуарGannay-sur-Loire Герб 46°43′55″ с. ш. 3°36′40″ в. д.HGЯO Страна  Франция Регион Овернь Департамент Алье Кантон Шевань Мэр Bernadette Deveau(2008–2014) История и география Площадь 32,29 км² Высота центра 193–240 м Часовой пояс UTC+1:00, летом UTC+2:00 Население Население 416 ...

Constitution of the Republic of China

Supreme law of the East Asian country For the provisions currently applying in Taiwan, see Additional Articles of the Constitution of the Republic of China. This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources:&...

 

Dimanche

Pour les articles homonymes, voir Dimanche (homonymie) et Jour du Seigneur. Un dimanche, par Paul Signac, 1890. Le dimanche est le jour de la semaine privilégié pour le repos hebdomadaire dans plusieurs pays du monde, dont la France. La norme internationale ISO 8601 considère que le dimanche clôt la semaine[1], et le code avec le chiffre 7. Pour les religions bibliques, le dimanche est le premier jour de la semaine juive et chrétienne. Pour les chrétiens, le dimanche est le jour de la ...

 

Helium

This article is about the chemical element. For other uses, see Helium (disambiguation). 2He redirects here. For the isotope of helium with two nucleons (2He), see Helium-2. Chemical element with atomic number 2 (He)Helium, 2HeHeliumPronunciation/ˈhiːliəm/ ​(HEE-lee-əm)Appearancecolorless gas, exhibiting a gray, cloudy glow (or reddish-orange if an especially high voltage is used) when placed in an electric fieldStandard atomic weight Ar°(He)4.002602±0.000002[1&#...

Stefan Lazarević

14/15th-century Serbian despot and saint For the basketball player, see Stefan Lazarević (basketball). SaintStefan LazarevićСтефан ЛазаревићFresco of Stefan Lazarević from Manasija monasteryKtetor Stefan the TallVenerated inEastern Orthodox Church[1]Canonized1 August 1927 by Eastern Orthodox ChurchFeast1 August (O.S. 19 July)AttributesChurch builderDespot of SerbiaReignKnez (1389–1402)Despot (1402–1427)PredecessorLazar of SerbiaSuccessorĐurađ BrankovićBor...

 

Perl

Interpreted programming language first released in 1987 For other uses, see Perl (disambiguation). Not to be confused with PEARL (programming language). PerlParadigmMulti-paradigmDesigned byLarry WallDeveloperLarry WallFirst appearedDecember 18, 1987; 36 years ago (1987-12-18)[1]Stable release5.40.0[2] / 9 June 2024; 3 months ago (2024-06-09)5.38.2[3] / 29 November 2023; 10 months ago (2023-11-29) Preview ...