จะลบสัญลักษณ์ C / C ++ ที่ไม่ได้ใช้ด้วย GCC และ ld ได้อย่างไร?

ฉันต้องการปรับขนาดของไฟล์ปฏิบัติการของฉันให้เหมาะสมอย่างรุนแรง ( ARMการพัฒนา) และฉันสังเกตเห็นว่าในรูปแบบการสร้างปัจจุบัน ( gcc+ ld) สัญลักษณ์ที่ไม่ได้ใช้ของฉันจะไม่ถูกตัดออก

การใช้งานของarm-strip --strip-unneededสำหรับที่เกิด executables / ห้องสมุดไม่เปลี่ยนขนาดการส่งออกของปฏิบัติการที่(ผมมีความคิดว่าทำไมไม่มีบางทีมันก็ไม่ได้)

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

ฉันจะไม่นึกถึงสิ่งนี้ด้วยซ้ำ แต่สภาพแวดล้อมที่ฝังอยู่ในปัจจุบันของฉันไม่ได้ "ทรงพลัง" มากนักและประหยัดได้แม้จะ500Kไม่ได้2Mผลลัพธ์ในการเพิ่มประสิทธิภาพการโหลดที่ดีมาก

อัปเดต:

น่าเสียดายที่gccเวอร์ชันปัจจุบันที่ฉันใช้ไม่มี-dead-stripตัวเลือกและ-ffunction-sections... + --gc-sectionsสำหรับldไม่ได้ให้ความแตกต่างอย่างมีนัยสำคัญสำหรับผลลัพธ์ที่ได้

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

สำหรับ GCC สามารถทำได้ในสองขั้นตอน:

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

-fdata-sections -ffunction-sections

เชื่อมโยงหน่วยการแปลเข้าด้วยกันโดยใช้แฟล็กการเพิ่มประสิทธิภาพตัวเชื่อมโยง (ซึ่งทำให้ตัวเชื่อมโยงทิ้งส่วนที่ไม่ได้อ้างอิง):

-Wl,--gc-sections

ดังนั้นหากคุณมีไฟล์หนึ่งชื่อ test.cpp ที่มีสองฟังก์ชันที่ประกาศอยู่ แต่หนึ่งในนั้นไม่ได้ใช้งานคุณสามารถละเว้นไฟล์ที่ไม่ได้ใช้โดยใช้คำสั่งต่อไปนี้เป็น gcc (g ++):

gcc -Os -fdata-sections -ffunction-sections test.cpp -o test -Wl,--gc-sections

(โปรดทราบว่า -Os เป็นแฟล็กคอมไพเลอร์เพิ่มเติมที่บอกให้ GCC ปรับขนาดให้เหมาะสม)

หากจะเชื่อเธรดนี้คุณจะต้องระบุ-ffunction-sectionsและ-fdata-sectionsไปยัง gcc ซึ่งจะทำให้แต่ละฟังก์ชันและอ็อบเจ็กต์ข้อมูลอยู่ในส่วนของตัวเอง จากนั้นให้และ--gc-sectionsให้ GNU ld เพื่อลบส่วนที่ไม่ได้ใช้ออก

คุณจะต้องตรวจสอบเอกสารของคุณสำหรับ gcc & ld เวอร์ชันของคุณ:

อย่างไรก็ตามสำหรับฉัน (OS X gcc 4.0.1) ฉันพบสิ่งเหล่านี้สำหรับ ld

-dead_strip

ลบฟังก์ชันและข้อมูลที่ไม่สามารถเข้าถึงได้โดยจุดเข้าใช้งานหรือสัญลักษณ์ที่ส่งออก

-dead_strip_dylibs

ลบ dylib ที่ไม่สามารถเข้าถึงได้โดยจุดเข้าหรือสัญลักษณ์ที่ส่งออก นั่นคือระงับการสร้างคำสั่งคำสั่ง load สำหรับ dylibs ซึ่งไม่มีสัญลักษณ์ใด ๆ ในระหว่างการเชื่อมโยง ไม่ควรใช้ตัวเลือกนี้เมื่อเชื่อมโยงกับ dylib ซึ่งจำเป็นในรันไทม์ด้วยเหตุผลทางอ้อมบางประการเช่น dylib มีตัวเริ่มต้นที่สำคัญ

และตัวเลือกที่เป็นประโยชน์นี้

-why_live symbol_name

บันทึกห่วงโซ่การอ้างอิงไปยัง symbol_name ใช้ได้เฉพาะกับ-dead_strip. สามารถช่วยแก้จุดบกพร่องได้ว่าเหตุใดสิ่งที่คุณคิดว่าควรเป็นแถบที่ตายแล้วจึงไม่ถูกลบออก

นอกจากนี้ยังมีหมายเหตุใน gcc / g ++ man ว่าการกำจัดรหัสตายบางประเภทจะดำเนินการเฉพาะเมื่อเปิดใช้งานการเพิ่มประสิทธิภาพเมื่อคอมไพล์

แม้ว่าตัวเลือก / เงื่อนไขเหล่านี้อาจไม่สามารถใช้ได้กับคอมไพเลอร์ของคุณ แต่ฉันขอแนะนำให้คุณมองหาสิ่งที่คล้ายกันในเอกสารของคุณ

นิสัยการเขียนโปรแกรมก็ช่วยได้เช่นกัน เช่นเพิ่มstaticฟังก์ชันที่ไม่สามารถเข้าถึงได้จากภายนอกไฟล์ที่ระบุ ใช้ชื่อที่สั้นกว่าสำหรับสัญลักษณ์ (ช่วยได้เล็กน้อยไม่น่าจะมากเกินไป) ใช้const char x[]เมื่อเป็นไปได้ ... บทความนี้แม้ว่าจะพูดถึงวัตถุที่ใช้ร่วมกันแบบไดนามิก แต่สามารถมีคำแนะนำที่หากปฏิบัติตามสามารถช่วยให้ขนาดเอาต์พุตไบนารีสุดท้ายของคุณเล็กลง (หากเป้าหมายของคุณคือ ELF)

คำตอบคือ-flto. คุณต้องส่งต่อไปยังขั้นตอนการคอมไพล์และลิงค์มิฉะนั้นจะไม่ทำอะไรเลย

มันใช้งานได้ดีมาก - ลดขนาดโปรแกรมไมโครคอนโทรลเลอร์ที่ฉันเขียนให้น้อยกว่า 50% ของขนาดก่อนหน้า!

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

แม้ว่าจะไม่เกี่ยวกับสัญลักษณ์อย่างเคร่งครัด แต่หากต้องการขนาดให้คอมไพล์ด้วย-Osและ-sแฟล็กเสมอ -Osปรับโค้ดผลลัพธ์ให้เหมาะสมสำหรับขนาดที่สามารถปฏิบัติการได้ขั้นต่ำและ-sลบตารางสัญลักษณ์และข้อมูลการย้ายออกจากไฟล์ปฏิบัติการ

บางครั้ง - หากต้องการขนาดเล็กการเล่นกับแฟล็กการเพิ่มประสิทธิภาพที่แตกต่างกันอาจมีความสำคัญหรือไม่ก็ได้ ตัวอย่างเช่นการสลับ-ffast-mathและ / หรือ-fomit-frame-pointerบางครั้งอาจช่วยคุณประหยัดได้หลายสิบไบต์

สำหรับฉันแล้วดูเหมือนว่าคำตอบที่นีโมให้ไว้นั้นถูกต้อง หากคำแนะนำเหล่านั้นใช้ไม่ได้ผลปัญหาอาจเกี่ยวข้องกับเวอร์ชันของ gcc / ld ที่คุณใช้เนื่องจากแบบฝึกหัดที่ฉันรวบรวมโปรแกรมตัวอย่างโดยใช้คำแนะนำตามรายละเอียดที่นี่

#include <stdio.h>
void deadcode() { printf("This is d dead codez\n"); }
int main(void) { printf("This is main\n"); return 0 ; }

จากนั้นฉันรวบรวมรหัสโดยใช้สวิตช์การลบรหัสตายที่ก้าวร้าวมากขึ้นเรื่อย ๆ :

gcc -Os test.c -o test.elf
gcc -Os -fdata-sections -ffunction-sections test.c -o test.elf -Wl,--gc-sections
gcc -Os -fdata-sections -ffunction-sections test.c -o test.elf -Wl,--gc-sections -Wl,--strip-all

พารามิเตอร์การคอมไพล์และการเชื่อมโยงเหล่านี้สร้างไฟล์ปฏิบัติการขนาด 8457, 8164 และ 6160 ไบต์ตามลำดับผลงานที่สำคัญที่สุดมาจากการประกาศ 'สตริป - ออล' หากคุณไม่สามารถทำการลดขนาดที่คล้ายกันบนแพลตฟอร์มของคุณได้แสดงว่า gcc เวอร์ชันของคุณไม่รองรับฟังก์ชันนี้ ฉันใช้ gcc (4.5.2-8ubuntu4), ld (2.21.0.20110327) บน Linux Mint 2.6.38-8-generic x86_64

strip --strip-unneededทำงานบนตารางสัญลักษณ์ของไฟล์ปฏิบัติการของคุณเท่านั้น มันไม่ได้ลบโค้ดปฏิบัติการใด ๆ

ไลบรารีมาตรฐานบรรลุผลลัพธ์ที่คุณต้องการโดยการแยกฟังก์ชันทั้งหมดออกเป็นไฟล์อ็อบเจ็กต์แยกซึ่งรวมเข้าด้วยกันโดยใช้ar. หากคุณเชื่อมโยงไฟล์เก็บถาวรผลลัพธ์เป็นไลบรารี (เช่นให้ตัวเลือก-l your_libraryเป็น ld) จากนั้น ld จะรวมเฉพาะไฟล์อ็อบเจ็กต์เท่านั้นดังนั้นสัญลักษณ์ที่ใช้จริง

คุณอาจพบคำตอบบางส่วนสำหรับคำถามการใช้งานที่คล้ายคลึงกันนี้

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

ข้อมูลเพิ่มเติม (และวิธีการปรับเม็ดเล็กสำหรับเช่นห้องสมุด) ที่มีอยู่ในวิกิพีเดียจีซี

จากคู่มือ GCC 4.2.1 หัวข้อ-fwhole-program:

สมมติว่าหน่วยคอมไพล์ปัจจุบันแสดงถึงโปรแกรมทั้งหมดที่กำลังคอมไพล์ ฟังก์ชันสาธารณะและตัวแปรทั้งหมดยกเว้นmainและสิ่งที่ผสานโดยแอตทริบิวต์externally_visibleจะกลายเป็นฟังก์ชันคงที่และในผลกระทบจะได้รับการปรับให้เหมาะสมมากขึ้นโดยเครื่องมือเพิ่มประสิทธิภาพระหว่างกระบวนการ แม้ว่าอ็อพชันนี้จะเทียบเท่ากับการใช้staticคีย์เวิร์ดอย่างเหมาะสมสำหรับโปรแกรมที่ประกอบด้วยไฟล์เดียวร่วมกับอ็อพชัน--combineแฟล็กนี้สามารถใช้เพื่อคอมไพล์โปรแกรม C ขนาดเล็กส่วนใหญ่เนื่องจากฟังก์ชันและตัวแปรกลายเป็นโลคัลสำหรับหน่วยคอมไพล์รวมทั้งหมดไม่ใช่สำหรับ ซอร์สไฟล์เดียวนั้นเอง

คุณสามารถใช้สตริปไบนารีบนอ็อบเจ็กต์ไฟล์ (เช่นไฟล์ปฏิบัติการ) เพื่อดึงสัญลักษณ์ทั้งหมดออกจากไฟล์

หมายเหตุ: มันเปลี่ยนไฟล์เองและไม่สร้างสำเนา