พิมพ์เขียวโปรแกรมที่เก็บไว้

เครื่องจักรโปรแกรมที่เก็บไว้ (สถาปัตยกรรม EDVAC/IAS)
จอห์น ฟอน นอยมันน์ (ร่วมกับเอคเคิร์ต, มอคลี, โกลด์สไตน์, เบิร์คส์ และคนอื่นๆ) (1945)การออกแบบโปรแกรมที่เก็บไว้ของฟอน นอยมันน์ใส่บังเหียนให้กับฟ้าผ่า คำสั่งและข้อมูลใช้พื้นที่หน่วยความจำเดียวกัน—'ที่เก็บใหญ่'—ทำให้เครื่องสามารถปรับเปลี่ยนขั้นตอนของตัวเอง วนซ้ำ แยกสาขา และทำให้เป็นสากล พลังสร้างสรรค์ดิบของการคำนวณ (สวรรค์) ถูกวางไว้ภายใต้การควบคุมอย่างรอบคอบ (ภูเขา): นาฬิกาควบคุมพลังงาน หน่วยควบคุมปรับจังหวะการทำงาน เรจิสเตอร์และบัสสร้างระเบียบ จากการควบคุมอย่างมีวินัยนี้ ระบบปฏิบัติการสมัยใหม่ คอมไพเลอร์ และแนวคิดทั้งหมดเกี่ยวกับซอฟต์แวร์ในฐานะศักยภาพที่จัดระเบียบไหลออกมา จิตวิญญาณเดียวกันนี้ควบคุมการเคลื่อนไหวอื่นๆ ของเขา: การคำนวณที่เชื่อถือได้จากส่วนประกอบที่ไม่เชื่อถือได้ (ความซ้ำซ้อนและตรรกะเสียงข้างมาก), การควบคุมความขัดแย้งแบบทฤษฎีเกม และตัวสร้างสากล—กฎที่มีโครงสร้างที่ทำให้รูปแบบสามารถทำซ้ำได้โดยไม่เกิดความโกลาหล
Practical Integration
คุณกำลังจ้องมองพลังการคำนวณดิบที่ไม่มีโครงสร้างรองรับ ระบบสามารถทำอะไรก็ได้—ซึ่งหมายความว่ามันกำลังจะทำทุกอย่างอย่างโกลาหล จนกว่าบางอย่างจะพัง ภูเขาอยู่เหนือสวรรค์: พลังสร้างสรรค์กำลังขึ้นสู่ด้านบน ต้องการวินัยก่อนที่มันจะมีประโยชน์ ความเข้าใจของฟอน นอยมันน์ไม่ใช่การสร้างเครื่องที่เร็วกว่า แต่เป็นการใส่บังเหียนให้กับฟ้าผ่า กลางทศวรรษ 1940 ตามมาด้วยรายงาน EDVAC การออกแบบโปรแกรมที่เก็บไว้ของฟอน นอยมันน์ปรากฏขึ้น: คำสั่งและข้อมูลใช้พื้นที่หน่วยความจำเดียวกัน—'ที่เก็บใหญ่' ในช่วงต้นทศวรรษ 1950 ที่สถาบันการศึกษาระดับสูงในพรินซ์ตัน เครื่อง IAS แสดงสถาปัตยกรรมนั้นในรูปแบบฮาร์ดแวร์ สิ่งนี้ฟังดูเป็นเทคนิค แต่นัยยะนั้นรุนแรง—เครื่องสามารถปรับเปลี่ยนขั้นตอนของตัวเองได้ มันสามารถวนซ้ำ แยกสาขา เขียนตัวเองใหม่ระหว่างการทำงาน พลังสร้างสรรค์ (สวรรค์) โดยไม่มีข้อจำกัดจะเป็นเพียงความโกลาหลที่แพง การมีส่วนร่วมของฟอน นอยมันน์คือข้อจำกัด: นาฬิกาควบคุมพลังงาน หน่วยควบคุมปรับจังหวะการทำงาน เรจิสเตอร์และบัสสร้างระเบียบ ศักยภาพกลายเป็นทิศทาง นี่คือรูปแบบในแง่องค์กร: คุณจ้างวิศวกรผู้ยอดเยี่ยม ระดมทุนจำนวนมาก ระบุตลาดขนาดใหญ่ ภูเขาอยู่เหนือสวรรค์—ความสามารถมหาศาลที่ถูกจำกัดโดยโครงสร้าง รอการนำทาง ฮกเซกแรมเตือน: พลังที่ไม่มีบังเหียนจะสิ้นเปลืองตัวเอง คุณต้องการโครงสร้างก่อนความเร็ว ฟอน นอยมันน์รู้เรื่องนี้ สถาปัตยกรรมโปรแกรมที่เก็บไว้ไม่ได้เกี่ยวกับการคำนวณดิบ แต่เกี่ยวกับการคำนวณที่มีวินัย ดึง-ถอดรหัส-ดำเนินการเป็นพิธีกรรม: ขั้นตอนเล็กๆ ที่ชัดเจน ทำซ้ำอย่างเชื่อถือได้ ไม่มีความฉลาดแบบรวมศูนย์ที่พังในการผลิต ข้อความคลาสสิก: 'การฝึกฝนพลังแห่งความยิ่งใหญ่ รวบรวมและเก็บไว้ จากนั้นปล่อยอย่างมีการวัดผล' แปลว่า: สะสมความสามารถ จากนั้นควบคุมวิธีการใช้งาน ทีมวิศวกรของคุณต้องการสร้างทุกอย่างใหม่ใน Rust ทีมขายของคุณต้องการสัญญาฟีเจอร์ที่คุณยังไม่ได้สร้าง โครงสร้างพื้นฐานของคุณสามารถขยายไปสู่อนันต์หากคุณเพียงแค่ลบขด จำกัดอัตรา ทั้งหมดนี้คือพลัง ไม่มีอันใดถูกฝึกฝน คำตอบของฟอน นอยมันน์: นาฬิกา ท่อส่ง เส้นทางควบคุม กลไกที่ปรับจังหวะการทำงานเพื่อไม่ให้การเพิ่มขึ้นที่ไม่ได้ควบคุมทำลายระบบ สิ่งที่ผู้คนพลาดคือ: ความน่าเชื่อถือจากส่วนประกอบที่ไม่น่าเชื่อถือ ฟอน นอยมันน์พิสูจน์ว่าคุณสามารถสร้างการคำนวณที่เชื่อถือได้จากชิ้นส่วนที่ไม่สมบูรณ์แบบโดยใช้ความซ้ำซ้อน ตรวจสอบความสมดุล ตรรกะการลงคะแนน หลอดสุญญากาศแต่ละหลอดล้มเหลว แต่ระบบไม่ล้มเหลว เพราะโหมดความล้มเหลวถูกออกแบบเข้าไปในโครงสร้าง ทีมของคุณมีมนุษย์ที่ไม่สมบูรณ์แบบ โครงสร้างพื้นฐานของคุณมีเครื่องจักรที่ไม่สมบูรณ์แบบ คำถามไม่ใช่วิธีทำให้พวกเขาสมบูรณ์แบบ คำถามคือ: โครงสร้างใดที่ทำให้ระบบประสบความสำเร็จแม้ว่าส่วนประกอบจะล้มเหลว? ฮกเซกแรมแสดงสวรรค์ (พลังสร้างสรรค์) อยู่ใต้ภูเขา (ความนิ่งสงบ การควบคุม) ไม่ใช่ภูเขาบดขยี้สวรรค์ แต่ภูเขานำทางมัน การเก็บรักษาทำให้พลังเข้าถึงได้เมื่อต้องการ ในรูปแบบที่ไม่ทำลายสิ่งที่พวกเขาต้องการสร้าง ตัวสร้างสากลของฟอน นอยมันน์—กฎเซลลูลาร์ออโตมาตาที่อนุญาตให้มีการทำซ้ำโดยไม่เกิดความโกลาหล—แสดงหลักการนี้ที่ขอบ: แม้แต่ระบบที่ปรับเปลี่ยนตัวเองและทำซ้ำตัวเองก็ต้องการกฎหมาย มิฉะนั้นจะล่มสลายเป็นสัญญาณรบกวน คุณกำลังสร้างสิ่งที่ทรงพลังในตอนนี้ โค้ดเบส ทีม ผลิตภัณฑ์—มันมีศักยภาพ อันตรายไม่ใช่การขาดความสามารถ อันตรายคือการปล่อยความสามารถนั้นโดยไม่มีวินัยในการนำทาง ดึง-ถอดรหัส-ดำเนินการ: แบ่งงานออกเป็นขั้นตอน จับเวลา: ปรับจังหวะการปล่อย อย่าวิ่งจนพัง ความซ้ำซ้อนและการลงคะแนน: ออกแบบสำหรับความล้มเหลวบางส่วน อย่าคาดหวังความสมบูรณ์แบบ หน่วยความจำเป็นที่เก็บใหญ่: รักษาสถานะ ทำให้ระบบสามารถกำหนดค่าตัวเองใหม่ตามสิ่งที่มันเรียนรู้ งานทฤษฎีเกมของฟอน นอยมันน์—ทฤษฎีบทมินิแมกซ์ การใช้เหตุผลเชิงกลยุทธ์—ก็ใช้ได้ที่นี่เช่นกัน ก่อนที่คุณจะปล่อยพลัง ให้ใช้เหตุผลเกี่ยวกับขีดจำกัด ต้นทุนความซับซ้อน ข้อจำกัดด้านความจุ พฤติกรรมเชิงกลยุทธ์ภายใต้การแข่งขัน ความเก่งไม่ได้อยู่ที่พลังเอง ความเก่งอยู่ที่การเข้าใจขอบเขตที่พลังสามารถใช้ได้โดยไม่ทำลายตัวเอง ภูเขาอยู่เหนือสวรรค์ พลังที่ได้รับการเพาะปลูก ผู้ชาญฉลาดเก็บความรู้ไว้พร้อม—รหัส นาฬิกา การตรวจสอบ—เมื่อต้องการการกระทำ มันจะแม่นยำและไม่ผิดพลาด คุณได้สะสมความสามารถแล้ว ตอนนี้ฝึกฝนมัน สร้างโครงสร้างให้กับฟ้าผ่าก่อนที่คุณจะปล่อยมัน เครื่องจักรโปรแกรมที่เก็บไว้ประสบความสำเร็จเพราะมันรวมหน่วยความจำและกำหนดการควบคุม ระบบของคุณจะประสบความสำเร็จด้วยเหตุผลเดียวกัน หรือล้มเหลวเพราะขาดมัน