มัน เลสลี่ แลมพอร์ต - ผู้เขียนงานพื้นฐานในการคำนวณแบบกระจายและคุณสามารถรู้จักเขาด้วยตัวอักษร La ในคำ LaTeX - "แลมพอร์ตเท็กซ์" เขาเป็นคนที่นำแนวคิดนี้มาใช้เป็นครั้งแรกในปี 1979 ความสม่ำเสมอที่สม่ำเสมอและบทความของเขา "วิธีสร้างคอมพิวเตอร์มัลติโปรเซสเซอร์ที่รันโปรแกรมมัลติโปรเซสเซอร์ได้อย่างถูกต้อง" ได้รับรางวัล Dijkstra (ให้แม่นยำยิ่งขึ้น ในปี 2000 รางวัลนี้ถูกเรียกแบบเก่าว่า "PODC Influential Paper Award") มีประมาณพระองค์ บทความ Wikipediaซึ่งคุณสามารถรับลิงก์ที่น่าสนใจเพิ่มเติมได้ หากคุณรู้สึกตื่นเต้นกับการแก้ปัญหาที่เกิดขึ้นก่อนหรือหลัง ปัญหาของนายพลไบแซนไทน์ (BFT) พวกเขาต้องเข้าใจว่าแลมพอร์ตอยู่เบื้องหลังทั้งหมด

และในไม่ช้าเขาจะมาที่การประชุมใหม่ของเราเกี่ยวกับคอมพิวเตอร์แบบกระจาย - Hydra ซึ่งจะจัดขึ้นในวันที่ 11-12 กรกฎาคมในเซนต์ปีเตอร์สเบิร์ก มาดูกันว่าเป็นสัตว์ชนิดใด

ไฮดรา 2019

หัวข้อต่างๆ เช่น มัลติเธรดเป็นหัวข้อที่ร้อนแรงที่สุดในการประชุมของเรา ซึ่งเคยเป็นมาเสมอ ห้องโถงนี้เพิ่งถูกทิ้งร้าง แต่แล้วก็มีบุคคลปรากฏขึ้นบนเวทีโดยพูดคุยเกี่ยวกับแบบจำลองความทรงจำ เหตุการณ์ที่เกิดขึ้นก่อนหรือการรวบรวมขยะแบบหลายเธรด และบูม! - มีคนไม่ถึงพันคนจับจองพื้นที่ว่างทั้งหมดเพื่อนั่งลงและตั้งใจฟัง สาระสำคัญของความสำเร็จนี้คืออะไร? บางทีความจริงที่ว่าเราทุกคนมีฮาร์ดแวร์บางประเภทที่สามารถจัดระเบียบคอมพิวเตอร์แบบกระจายอยู่ในมือ หรือว่าเราเข้าใจโดยจิตใต้สำนึกว่าเราไม่สามารถโหลดมันได้ตามมูลค่าที่แท้จริงของมัน? มีเรื่องจริงของควอนตัมแห่งเซนต์ปีเตอร์สเบิร์กคนหนึ่ง (นั่นคือนักวิเคราะห์และนักพัฒนาเชิงปริมาณทางการเงิน) ซึ่งลงเอยด้วยคลัสเตอร์คอมพิวเตอร์ในมือของเขา ซึ่งมีเพียงเขาคนเดียวเท่านั้นที่สามารถใช้พลังทั้งหมดได้ และคุณจะทำอย่างไรถ้าคุณต้องทำงานของคุณด้วยความสามารถที่มากกว่าตอนนี้หลายเท่า

เนื่องจากความนิยมนี้ หัวข้อของประสิทธิภาพและการประมวลผลที่มีประสิทธิภาพจึงมีแนวโน้มที่จะแพร่กระจายไปทั่วโปรแกรมการประชุม สามารถทำรายงานเกี่ยวกับประสิทธิภาพได้กี่วัน - หนึ่งในสามสองในสาม ในบางแห่งมีข้อ จำกัด เทียมที่จำกัดการเติบโตนี้: นอกจากประสิทธิภาพแล้ว ยังต้องมีที่ว่างสำหรับเว็บเฟรมเวิร์กใหม่ ๆ สำหรับ devops หรือสถาปัตยกรรมอวกาศ ไม่นะ การแสดง คุณจะไม่กินพวกเราทั้งหมดหรอก!

หรือคุณสามารถไปในทางตรงข้าม ยอมแพ้และจัดการประชุมโดยสุจริตซึ่งจะเกี่ยวกับการประมวลผลแบบกระจายทั้งหมดและเกี่ยวกับพวกเขาเท่านั้น และนี่คือไฮดรา

ยอมรับกันตามตรงว่าทุกวันนี้การคำนวณทั้งหมดเป็นแบบกระจายไม่ทางใดก็ทางหนึ่ง ไม่ว่าจะเป็นเครื่องมัลติคอร์ คลัสเตอร์คอมพิวเตอร์ หรือบริการแบบกระจายขนาดใหญ่ มีกระบวนการมากมายในทุกที่ที่ทำการคำนวณอย่างอิสระแบบคู่ขนานและซิงโครไนซ์ซึ่งกันและกัน วิธีการทำงานในทางทฤษฎีและวิธีการทำงานในทางปฏิบัติจะเป็นจุดสนใจของไฮดรา

โปรแกรมการประชุม

ขณะนี้โปรแกรมอยู่ระหว่างการพัฒนา ควรรวมรายงานจากผู้ก่อตั้งทฤษฎีระบบกระจายและวิศวกรที่ทำงานร่วมกับพวกเขาในการผลิต

ตัวอย่างเช่น เรารู้อยู่แล้วเกี่ยวกับการมีส่วนร่วมของ Leslie Lamport จาก Microsoft Research และ Maurice Herlihy จาก Brown University

มอริส เฮอร์ลิฮี - ศาสตราจารย์ด้านวิทยาการคอมพิวเตอร์ที่มีชื่อเสียงและเป็นที่นับถือมากก็มีเรื่องราวเกี่ยวกับเขาเช่นกัน หน้าวิกิพีเดียซึ่งคุณสามารถไปที่ลิงก์และผลงานได้ คุณสามารถสังเกตเห็นรางวัล Dijkstra ได้มากถึงสองรางวัล รางวัลแรกสำหรับการทำงาน "การซิงโครไนซ์โดยไม่ต้องรอ"และอย่างที่สองล่าสุด - "หน่วยความจำธุรกรรม: การสนับสนุนทางสถาปัตยกรรมสำหรับโครงสร้างข้อมูลที่ปราศจากการล็อค". ยังไงก็ตาม ลิงก์ไม่ได้นำไปสู่ ​​SciHub ด้วยซ้ำ แต่คุณสามารถเปิดและอ่านไปยัง Brown University และ Virginia Tech University ได้

มอริซกำลังจะจัดงานปาฐกถาพิเศษที่ชื่อว่า "Blockchains จากมุมมองของคอมพิวเตอร์แบบกระจาย" หากสนใจ คุณสามารถดูบันทึกรายงานของมอริซจาก JUG เซนต์ปีเตอร์สเบิร์ก ประเมินว่าเขาถ่ายทอดหัวข้อได้ชัดเจนและเข้าใจเพียงใด

ประเด็นสำคัญที่สองที่เรียกว่า "Dual Data Structures" จะอ่าน ไมเคิล สก็อตต์ จากมหาวิทยาลัยโรเชสเตอร์ และคาดเดาอะไร - เขาก็มีของเขาเช่นกัน หน้าวิกิพีเดีย. ที่บ้านในวิสคอนซิน เขาเป็นที่รู้จักจากผลงานในตำแหน่งคณบดีแห่งมหาวิทยาลัยวิสคอนซิน-แมดิสัน และในโลกนี้ เขาคือชายที่ร่วมกับดั๊ก ลี พัฒนาอัลกอริธึมแบบไม่ปิดกั้นและคิวซิงโครนัสที่ไลบรารี Java เรียกใช้ . เขาได้รับรางวัล Dijkstra Prize สามปีหลังจาก Herlihy สำหรับผลงานของเขา "Algorithms for scalable synchronization on shared-memory multiprocessors" (ตามคาด เธอนอนเปิด ที่ห้องสมุดออนไลน์ของมหาวิทยาลัยโรเชสเตอร์)

ยังมีเวลาอีกมากจนถึงกลางเดือนกรกฎาคม เราจะบอกคุณเกี่ยวกับผู้พูดคนอื่นๆ และหัวข้อของพวกเขาในขณะที่เราปรับแต่งโปรแกรมและย่างเข้าสู่เดือนกรกฎาคม

โดยทั่วไปแล้วคำถามเกิดขึ้น - ทำไมเราถึงสร้างไฮดราในฤดูร้อน เพราะนี่คือช่วงปิดฤดูกาล วันหยุดนักขัตฤกษ์ ปัญหาคือมีอาจารย์มหาวิทยาลัยอยู่ท่ามกลางผู้บรรยาย และเวลาอื่นๆ ก็ยุ่งสำหรับพวกเขา เราไม่สามารถเลือกวันที่อื่นได้

โซนการสนทนา

ในการประชุมอื่น ๆ ผู้พูดอ่านสิ่งที่จำเป็นและออกไปทันที ผู้เข้าร่วมไม่มีเวลาค้นหา - หลังจากนั้นรายงานฉบับต่อไปก็เริ่มต้นขึ้นโดยแทบไม่มีช่องว่าง มันเจ็บปวดมาก โดยเฉพาะอย่างยิ่งเมื่อมีบุคคลสำคัญอย่างแลมพอร์ต เฮอร์ลิไฮ และสก็อตต์อยู่ที่นั่น และคุณไปประชุมเพื่อพบพวกเขาและพูดคุยเกี่ยวกับบางสิ่ง

เราได้แก้ไขปัญหานี้แล้ว ทันทีหลังจากรายงาน ผู้พูดจะไปยังพื้นที่สนทนาพิเศษที่มีไวท์บอร์ดพร้อมเครื่องหมายเป็นอย่างน้อย และคุณมีเวลาค่อนข้างมาก อย่างเป็นทางการ ผู้พูดสัญญาว่าจะอยู่ที่นั่นอย่างน้อยในช่วงพักระหว่างรายงาน ในความเป็นจริงพื้นที่การสนทนาเหล่านี้ สามารถ ยืดเป็นเวลาหลายชั่วโมงในตอนท้าย (ขึ้นอยู่กับความต้องการและความอดทนของผู้พูด)

สำหรับแลมพอร์ต ถ้าผมเข้าใจถูกต้อง เขาต้องการโน้มน้าวใจผู้คนให้ได้มากที่สุด ส.ส.ท.+ - นี่เป็นสิ่งที่ดี (บทความเกี่ยวกับ TLA+ บนวิกิพีเดีย). บางทีนี่อาจเป็นโอกาสที่ดีสำหรับวิศวกรในการเรียนรู้สิ่งใหม่และมีประโยชน์ เลสลี่เสนอตัวเลือกนี้ - ใครก็ตามที่สนใจสามารถดูการบรรยายที่ผ่านมาของเขาและมีคำถาม นั่นคือ แทนที่จะเป็นประเด็นสำคัญ อาจมีเซสชันถามตอบเฉพาะ และโซนสนทนาอีกโซนหนึ่ง ฉัน googled เล็กน้อยและพบสิ่งที่ยอดเยี่ยม หลักสูตร TLA+ (ขนานนามอย่างเป็นทางการ เพลย์ลิสต์บน youtube) และการบรรยายหนึ่งชั่วโมง “คิดเหนือรหัส” กับ Microsoft Faculty Summit

หากคุณคิดว่าคนเหล่านี้เป็นชื่อที่หล่อด้วยหินแกรนิตจากวิกิพีเดียและบนปกหนังสือ ก็ถึงเวลาพบกับพวกเขาแบบสด ๆ แล้ว! พูดคุยและถามคำถามที่หน้าบทความทางวิทยาศาสตร์จะไม่ตอบ แต่ผู้เขียนยินดีที่จะติดต่อ

โทรสำหรับเอกสาร

ไม่มีความลับใด ๆ ที่หลาย ๆ คนที่กำลังอ่านบทความนี้ไม่รังเกียจที่จะบอกสิ่งที่น่าสนใจพอ จากมุมมองทางวิศวกรรม จากมุมมองทางวิทยาศาสตร์ จากมุมมองใดๆ การประมวลผลแบบกระจายเป็นหัวข้อที่กว้างและลึกมาก ซึ่งมีที่สำหรับทุกคน

หากคุณต้องการเล่นร่วมกับแลมปอร์ต มันเป็นไปได้โดยสิ้นเชิง ในการเป็นวิทยากร คุณต้องมี ตามลิงค์อ่านทุกอย่างอย่างละเอียดและทำตามคำแนะนำ

ใจเย็นๆ ทันทีที่คุณเชื่อมต่อกับกระบวนการนี้ คุณจะได้รับการช่วยเหลือ คณะกรรมการโครงการมีทรัพยากรเพียงพอที่จะช่วยเหลือเกี่ยวกับตัวรายงาน สาระสำคัญ และการออกแบบ ผู้ประสานงานจะช่วยคุณจัดการกับปัญหาขององค์กรและอื่นๆ

ให้ความสนใจเป็นพิเศษกับรูปภาพพร้อมวันที่ เดือนกรกฎาคมเป็นวันที่ค่อนข้างไกลสำหรับผู้เข้าร่วม และผู้พูดจำเป็นต้องเริ่มแสดงทันที

โรงเรียนสพป

การประชุมจะจัดขึ้นในสถานที่เดียวกันกับโรงเรียน SPTDC ดังนั้นสำหรับทุกคนที่ซื้อตั๋วสำหรับโรงเรียน ตั๋วการประชุม - พร้อมส่วนลด 20%.

โรงเรียนภาคฤดูร้อนเกี่ยวกับการปฏิบัติและทฤษฎีของคอมพิวเตอร์แบบกระจาย (SPTDС) - โรงเรียนที่มีหลักสูตรหลากหลายทั้งภาคปฏิบัติและทฤษฎีของระบบกระจาย ซึ่งสอนโดยผู้เชี่ยวชาญที่ได้รับการยอมรับในสาขาที่เกี่ยวข้อง

โรงเรียนจะจัดเป็นภาษาอังกฤษ ดังนั้นนี่คือรายการหัวข้อที่ครอบคลุม:

• โครงสร้างข้อมูลพร้อมกัน: ความถูกต้องและประสิทธิภาพ;
• อัลกอริทึมสำหรับหน่วยความจำไม่ลบเลือน
• ความสามารถในการคำนวณแบบกระจาย;
• การเรียนรู้ของเครื่องแบบกระจาย
• การจำลองแบบของเครื่องจักรของรัฐและ Paxos;
• ความทนทานต่อความผิดพลาดของไบแซนไทน์
• พื้นฐานอัลกอริทึมของบล็อกเชน

วิทยากรต่อไปนี้จะพูด:

• เลสลี่ แลมพอร์ต (ไมโครซอฟท์);
• Maurice Herlihy (มหาวิทยาลัยบราวน์);
• Michael Scott (มหาวิทยาลัยโรเชสเตอร์);
• Dan Alistarh (IST ออสเตรีย);
• เทรเวอร์ บราวน์ (มหาวิทยาลัยวอเตอร์ลู);
• Eli Gafni (ยูซีแอล);
• Danny Hendler (มหาวิทยาลัย Ben Gurion);
• Achour Mostefaoui (มหาวิทยาลัยน็องต์)

เพลย์ลิสต์ พร้อมรายงานของโรงเรียนก่อนหน้าสามารถดูได้อย่างอิสระบน YouTube:

ขั้นตอนถัดไป

โปรแกรมการประชุมยังคงถูกสร้างขึ้น ติดตามข่าวสารทาง Habré หรือในโซเชียลเน็ตเวิร์ก (fb, vk, พูดเบาและรวดเร็ว).

หากคุณเชื่อมั่นในการประชุมจริง ๆ (หรือต้องการใช้ประโยชน์จากราคาเริ่มต้นพิเศษอย่างที่พวกเขากล่าวว่า "Early Bird") - คุณสามารถไปที่ไซต์และ ซื้อตั๋ว.

เจอกันที่ไฮดรา!

ที่มา: will.com