ทฤษฎีคือการที่คุณรู้ทุกอย่างแต่ไม่มีอะไรทำงาน
การฝึกฝนคือเมื่อทุกอย่างได้ผล แต่ไม่มีใครรู้ว่าทำไม
ระบบกระจาย, รวมทฤษฎีและการปฏิบัติเข้าด้วยกัน:
ไม่มีอะไรทำงานและไม่มีใครรู้ว่าทำไม
เพื่อพิสูจน์ว่าเรื่องตลกในบทนี้ไม่มีสาระ เราจึงจัด SPTDC (โรงเรียนเกี่ยวกับการปฏิบัติและทฤษฎีการคำนวณแบบกระจาย) เป็นครั้งที่สาม เกี่ยวกับประวัติของโรงเรียน Petr Kuznetsov และ Vitaly Aksyonov ผู้ร่วมก่อตั้งรวมถึงการมีส่วนร่วมของ JUG Ru Group ในองค์กร SPTDC เรามีอยู่แล้ว บอก บน Habr ดังนั้นวันนี้จึงเกี่ยวกับโรงเรียนในปี 2020 เกี่ยวกับการบรรยายและอาจารย์รวมถึงความแตกต่างระหว่างโรงเรียนและการประชุม
โรงเรียน SPTDC จะจัดขึ้นระหว่างวันที่ 6 ถึง 9 กรกฎาคม 2020 ที่กรุงมอสโก
การบรรยายทั้งหมดจะเป็นภาษาอังกฤษ หัวข้อการบรรยาย: การประมวลผลพร้อมกันแบบถาวร เครื่องมือการเข้ารหัสสำหรับระบบแบบกระจาย วิธีการที่เป็นทางการในการตรวจสอบโปรโตคอลที่สอดคล้องกัน ความสอดคล้องกันในระบบขนาดใหญ่ การเรียนรู้ของเครื่องแบบกระจาย
คุณเดาได้ทันทีหรือไม่ว่าตัวละครในภาพมีทหารยศอะไร? ฉันชื่นชอบคุณ.
อาจารย์และการบรรยาย
นีรชาวิทย์ (Nir Shavit) เป็นศาสตราจารย์ที่ MIT และ Tel Aviv University ผู้เขียนหนังสือยอดเยี่ยมเล่มหนึ่ง ศิลปะแห่งการเขียนโปรแกรมมัลติโปรเซสเซอร์, เจ้าของ รางวัล Dijkstra เพื่อการพัฒนาและการนำไปปฏิบัติ หน่วยความจำธุรกรรมซอฟต์แวร์ (สท.)และ รางวัลโกเดล สำหรับผลงานการประยุกต์โทโพโลยีเชิงพีชคณิตกับการจำลองการประมวลผลหน่วยความจำที่ใช้ร่วมกัน ผู้ร่วมก่อตั้งบริษัท ประสาทเมจิกซึ่งสร้างอัลกอริทึมแมชชีนเลิร์นนิงที่รวดเร็วสำหรับซีพียูทั่วไป และแน่นอนว่ามีอัลกอริทึมเป็นของตัวเอง หน้าวิกิพีเดีย กับการถ่ายภาพสุดแซ่บและแซ่บเว่อร์ Nir เข้าร่วมโรงเรียนของเราแล้วในปี 2017 ซึ่งเขาได้ทบทวนเทคนิคการบล็อกอย่างละเอียดถี่ถ้วน (ส่วนหนึ่งของ 1, ส่วนหนึ่งของ 2). สิ่งที่ Nir จะพูดถึงในปีนี้เรายังไม่รู้ แต่เราหวังว่าจะได้รับข่าวจากวิทยาศาสตร์ที่ทันสมัย
ไมเคิล สก็อตต์ (Michael Scott) เป็นนักวิจัยใน มหาวิทยาลัยโรเชสเตอร์เป็นที่รู้จักของนักพัฒนา Java ทุกคนในฐานะผู้สร้าง อัลกอริทึมที่ไม่ปิดกั้นและคิวแบบซิงโครนัส จากไลบรารีมาตรฐาน Java แน่นอนด้วยรางวัลการออกแบบของ Dijkstra อัลกอริธึมการซิงโครไนซ์สำหรับการประมวลผลหน่วยความจำที่ใช้ร่วมกัน และเป็นเจ้าของ หน้าวิกิพีเดีย. เมื่อปีที่แล้ว Michael บรรยายที่โรงเรียนของเราเกี่ยวกับโครงสร้างข้อมูลที่ไม่ปิดกั้น (ส่วนหนึ่งของ 1, ส่วนหนึ่งของ 2). ปีนี้เขา จะบอก เกี่ยวกับการเขียนโปรแกรมโดยใช้ หน่วยความจำไม่ลบเลือน (NVM) ซึ่งช่วยลดความซับซ้อนของโปรแกรมและโอเวอร์เฮดหน่วยความจำเมื่อเทียบกับหน่วยความจำเข้าถึงโดยสุ่ม (DRAM) "ปกติ"
ไอดิท เคียดาร์ (Idit Keidar) - ศาสตราจารย์ที่ Technion และเจ้าของ ดัชนีเฮิร์ช ประมาณ 40 (ซึ่งมากมาก) สำหรับ บทความทางวิทยาศาสตร์สองร้อยบทความ ในด้านการประมวลผลแบบกระจาย มัลติเธรด และความทนทานต่อข้อผิดพลาด Eidit เข้าร่วมในโรงเรียนของเราเป็นครั้งแรกโดยที่เธอ ให้การบรรยาย เกี่ยวกับลักษณะพื้นฐานของการทำงานของคลังข้อมูลแบบกระจาย: การจำลองหน่วยความจำแบบกระจาย การพัฒนาฉันทามติ และการเปลี่ยนแปลงการกำหนดค่า
โรดริโก้ โรดริเกซ (Rodrigo Rodrigues) - ศาสตราจารย์ที่ Técnico สมาชิกของห้องปฏิบัติการ รหัส INESC และผู้เขียน งานวิจัย ในด้านระบบกระจาย ปีนี้ที่โรงเรียน Rodrigo ของเรา จะบอก เกี่ยวกับความสอดคล้องและการแยกออกจากกันในคลังข้อมูลแบบกระจาย และจะวิเคราะห์โดยใช้ ทฤษฎีบท CAP ความเป็นไปได้ในทางปฏิบัติของรูปแบบต่างๆ ของความสอดคล้องและการแยกตัว
เฉิน ชิง (จิง เฉิน) เป็นศาสตราจารย์แห่งมหาวิทยาลัยแห่งรัฐนิวยอร์กที่สโตนี บรู๊ค ผู้เขียน งานวิจัย ในสาขาบล็อกเชนและเป็นนักวิทยาศาสตร์ชั้นนำใน Algorand — บริษัทและแพลตฟอร์มบล็อกเชนที่ใช้อัลกอริทึมที่สอดคล้องกันทั้งหมด หลักฐานการเดิมพัน. ปีนี้ที่โรงเรียนของเรา Chen จะพูดคุยเกี่ยวกับ Algorand blockchain และวิธีในการบรรลุคุณสมบัติที่น่าสนใจ: ทรัพยากรการประมวลผลเครือข่ายไม่ต้องการมาก ความเป็นไปไม่ได้ที่จะแยกประวัติการทำธุรกรรม และรับประกันการสิ้นสุดของการประมวลผลธุรกรรมหลังจากที่เพิ่มเข้าไปใน blockchain
คริสเตียน คาชิน (คริสเตียน คาชิน) เป็นศาสตราจารย์แห่งมหาวิทยาลัยเบิร์น หัวหน้ากลุ่มวิจัยด้านการปกป้องข้อมูล ผู้ร่วมเขียนหนังสือ "ความรู้เบื้องต้นเกี่ยวกับการเขียนโปรแกรมแบบกระจายที่เชื่อถือได้และปลอดภัย” ผู้พัฒนาแพลตฟอร์มบล็อกเชน ผ้า Hyperledger (เกี่ยวกับเธอด้วยซ้ำ โพสต์เกี่ยวกับ Habré) และผู้เขียน งานวิจัย ในด้านการเข้ารหัสและการรักษาความปลอดภัยในระบบกระจาย ในปีนี้โรงเรียนคริสเตียนของเรา ให้การบรรยาย ในสี่ส่วนเกี่ยวกับเครื่องมือเข้ารหัสลับสำหรับการประมวลผลแบบกระจาย: การเข้ารหัสแบบสมมาตรและอสมมาตร และอื่น ๆ การเข้ารหัสคีย์ที่ใช้ร่วมกัน, ตัวเลขสุ่มหลอกและ การสร้างตัวเลขสุ่มที่ตรวจสอบได้.
มาร์โค วูโคลิช (Marko Vukolic) เป็นนักวิจัยที่ IBM Research ผู้เขียน ของงาน ในบล็อกเชนและผู้พัฒนา Hyperledger Fabric เรายังไม่รู้ว่า Marco จะพูดถึงอะไรที่โรงเรียนของเราในปีนี้ แต่เราหวังว่าจะได้เรียนรู้เกี่ยวกับการพัฒนาล่าสุดของเขาในด้านบล็อคเชน: การวิจัย การเสื่อมประสิทธิภาพ โปรโตคอลฉันทามติแบบกระจายบนคลัสเตอร์สูงสุด 100 เครื่อง ออกอากาศ โปรโตคอลเมียร์ ด้วยคำสั่งระดับโลกและ ความอดทนต่อความผิดพลาดของไบแซนไทน์ หรือบล็อกเชนไร้บล็อก สตรีมเชนลดเวลาดำเนินการธุรกรรม
ปราสาท Jayanti (ปราสาด Jayanti) เป็นศาสตราจารย์ที่ Dartmouth College ซึ่งเป็นส่วนหนึ่งของชนชั้นสูง ไม้เลื้อยลีกและผู้แต่ง งานวิจัย ในด้านอัลกอริธึมแบบมัลติเธรด ในปีนี้โรงเรียนของเรา Prasad ให้การบรรยาย เกี่ยวกับการซิงโครไนซ์เธรดและอัลกอริทึมสำหรับการใช้ตัวเลือกต่างๆ มิวเท็กซ์: ด้วยฟังก์ชันอินเตอร์รัปต์หรือกู้คืนในโมเดลหน่วยความจำแบบไม่ลบเลือน และด้วยการดำเนินการอ่านและเขียนที่แยกจากกัน
อเล็กซี่ ก็อตแมน (Alexey Gotsman) เป็นศาสตราจารย์ที่ IMDEA และนักเขียน งานวิจัย ในด้านการตรวจสอบอัลกอริทึมของโปรแกรม เรายังไม่รู้ว่า Alexey จะบรรยายอะไรที่โรงเรียนของเราในปีนี้ แต่เรากำลังรอคอยหัวข้อที่จุดตัดกันของการตรวจสอบซอฟต์แวร์และระบบกระจาย
เหตุใดที่นี่จึงเป็นโรงเรียนและไม่ใช่การประชุม
ประการแรก อาจารย์พูดในรูปแบบวิชาการและอ่านการบรรยายใหญ่คู่ละสองคู่: "ชั่วโมงครึ่ง - พัก - อีกชั่วโมงครึ่ง" หลายปีหลังออกจากวิทยาลัย ด้วยพฤติกรรมการพูดคุยในการประชุมนานหลายชั่วโมงและวิดีโอ YouTube ความยาว 10 นาที อาจเป็นเรื่องยุ่งยาก ผู้บรรยายที่ดีจะทำให้ทั้งสามชั่วโมงน่าสนใจ แต่ทุกคนมีหน้าที่รับผิดชอบต่อพลาสติกในสมองของตนเอง
คำแนะนำที่เป็นประโยชน์: ฝึกฝนการบันทึกวิดีโอการบรรยายของโรงเรียนใน ปี 2017 และ ปี 2019. ลาก่อนงาน - สวัสดีนายพลไบแซนไทน์
ประการที่สอง อาจารย์มุ่งเน้นไปที่การวิจัยทางวิทยาศาสตร์และพูดคุยเกี่ยวกับพื้นฐาน ระบบกระจายและการคำนวณแบบขนาน ตลอดจนข่าวสารจากวิทยาการล้ำสมัย หากเป้าหมายของคุณคือการเขียนโค้ดบางอย่างอย่างรวดเร็วและปรับใช้กับการผลิตในวันรุ่งขึ้นหลังเลิกเรียน การดำเนินการนี้ก็อาจเป็นเรื่องยากเช่นกัน
คำแนะนำที่เป็นประโยชน์: ค้นหาเอกสารการวิจัยของอาจารย์ของโรงเรียนได้ที่ Google Scholar и arXiv.org. ถ้าคุณชอบอ่านเอกสารทางวิทยาศาสตร์ คุณก็จะสนุกกับโรงเรียนเช่นกัน
ประการที่สาม โรงเรียน SPTDC 2020 ไม่ใช่การประชุม เนื่องจากการประชุมเกี่ยวกับระบบกระจายและการคำนวณแบบขนานนั้น ไฮดรา 2020. เมื่อเร็ว ๆ นี้บนHabréมีการโพสต์ด้วย ทบทวนโปรแกรมของมัน. ปีที่แล้ว SPTDC และ Hydra จัดขึ้นพร้อมกันและในสถานที่เดียวกัน ปีนี้พวกเขาจะไม่ทับซ้อนกันในวันที่ ดังนั้นพวกเขาจึงไม่แข่งขันกันเพื่อเวลาและความสนใจของคุณ
เคล็ดลับที่เป็นประโยชน์: ตรวจสอบโปรแกรมการประชุม Hydra และลองเข้าร่วมการประชุมหลังเลิกเรียนด้วย นี่จะเป็นสัปดาห์ที่ดี
ไปโรงเรียนยังไง?
- จดวันที่ตั้งแต่วันที่ 6 กรกฎาคมถึง 9 กรกฎาคม 2020 ลงในปฏิทิน (หรือดีกว่าคือภายในวันที่ 11 กรกฎาคมเพื่อไปประชุมไฮดราหลังเลิกเรียน)
- ตั้งสติ เตรียมตัวให้พร้อม
- เลือกตั๋ว และไปโรงเรียน
ที่มา: will.com