ทำไมเคอร์เนล Linux จึงเรียกว่า“ รูปภาพ”

ฉันมักจะได้ยินคนพูดถึงเคอร์เนล Linux ว่าเป็นอิมเมจเคอร์เนล Linux และฉันไม่สามารถหาคำตอบในเครื่องมือค้นหาใด ๆ ว่าทำไมถึงเรียกว่ารูปภาพ

เมื่อฉันนึกถึงภาพฉันสามารถนึกถึงสองสิ่งเท่านั้นไม่ว่าจะเป็นสำเนาของดิสก์หรือภาพถ่าย แน่นอนว่านรกไม่ใช่ภาพที่ถ่ายดังนั้นทำไมถึงเรียกว่าภาพ?

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

มีเพียงสิ่งต่าง ๆ เช่นการบีบอัด (de-) ที่เพิ่มเข้ามาและแม้ว่า bootloaders ที่ทรงพลังกว่าจะมาอยู่ในตำแหน่งนั้น แต่ชื่ออิมเมจนั้นติดอยู่

ภาพคำว่ามีคำจำกัดความ "ไฟล์ที่มีข้อมูลทั้งหมดที่จำเป็นในการผลิตสำเนาทำงานอยู่"

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

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

ไบออสโหลด bootloader ที่ยังเป็นภาพตัวอย่างที่เรียกว่าในกรณีของboot.img grubนั่นboot.imgไม่ใช่ไฟล์ (ถ้าติดตั้งด้วง); เป็นชื่อของส่วนที่อยู่ใน Master Boot Record (MBR) หากคุณถ่ายโอนไฟล์นั้นไปยังไฟล์รูปภาพนั้นจะเป็นรูปภาพในรูปแบบของไฟล์ที่ไม่ได้เขียนไปยังดิสก์ แต่จะเขียนในไฟล์ นี่เป็นการนำเสนอ (รูปภาพ) ของสถานะแรกสุดที่grubสามารถโหลดส่วนที่เหลือของตัวเองได้ grubจากนั้นมีกลไกของตัวเองในการโหลดตัวเองอย่างสมบูรณ์โดยการโหลดภาพอื่น ๆ นี้เป็นตัวแทนจากที่แตกต่างกันขั้นตอนgrubใน หลังจากนั้น bootloader จะโหลดเคอร์เนลอิมเมจโดยแทนที่ตัวเองด้วยเนื้อหาที่ถูกแตกของไฟล์นั้น

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

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

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

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

เคอร์เนล - พื้นฐานเพียงองค์ประกอบจากชุดเดิมที่แมปกับภาพ แต่แผนที่เฉพาะกับองค์ประกอบตัวตนในภาพ โดยทั่วไปองค์ประกอบที่แมปกับ 0 เหมือนสิ่งในภาพ

หากภาพมีขนาดเล็กลงจากนั้นชุดต้นฉบับเราจะเห็นหลายรายการต้องแมปกับองค์ประกอบเดียว ตัวอย่างเช่นอาจมีองค์ประกอบหลายอย่างจากเคอร์เนลที่จับคู่กับภาพและเรารู้อยู่แล้วว่าพวกเขาทุกคนต้องจับคู่กับ 0

เราจะเห็นว่าถ้าเราเลือกชุดดั้งเดิมเป็นลำดับ จำกัด ของไบนารีหรือ 1 และ 0 ของและโคโดเมน (ตั้งค่าแมปเป็น) เพื่อเป็นลำดับของไบนารีแล้วเราสามารถสร้างสิ่งต่าง ๆ ถ้าหากโครงสร้างกลุ่มที่เหมาะสม สามารถกำหนดได้ (ความลึกเล็กน้อยและไม่เกี่ยวข้องกับคำถามที่ถาม)

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