ตัวตรวจสอบการใช้งาน ABI ที่สร้างไว้ล่วงหน้า

ไลบรารีที่ใช้ร่วมกันของ Android มีการพัฒนาเป็นครั้งคราว การปรับปรุงไบนารีที่สร้างไว้ล่วงหน้าให้ทันสมัยอยู่เสมอต้องใช้ความพยายามอย่างมาก ใน Android 9 หรือเก่ากว่า ไบนารีที่สร้างไว้ล่วงหน้าซึ่งขึ้นอยู่กับไลบรารีที่ถูกลบออกหรือ ABI จะลิงก์ไม่ได้ในขณะรันไทม์เท่านั้น นักพัฒนาซอฟต์แวร์ต้องติดตามบันทึกเพื่อค้นหาไบนารีที่สร้างไว้ล่วงหน้าที่ล้าสมัย ใน Android 10 มีการแนะนำตัวตรวจสอบการใช้งาน ABI ที่ใช้สัญลักษณ์ ตัวตรวจสอบสามารถตรวจจับไบนารีที่สร้างไว้ล่วงหน้าที่ล้าสมัยในขณะสร้าง เพื่อให้นักพัฒนาไลบรารีแบบแบ่งใช้สามารถรู้ได้ว่าไบนารีที่สร้างไว้ล่วงหน้าตัวใดที่อาจเสียหายจากการเปลี่ยนแปลง และไบนารีที่สร้างไว้ล่วงหน้าตัวใดที่ต้องสร้างใหม่

ตัวตรวจสอบการใช้งาน ABI ที่ใช้สัญลักษณ์

ตัวตรวจสอบการใช้งาน ABI ที่ใช้สัญลักษณ์จะจำลองตัวเชื่อมโยงไดนามิกของ Android บนโฮสต์ ตัวตรวจสอบเชื่อมโยงไบนารีที่สร้างไว้ล่วงหน้ากับการขึ้นต่อกันของไบนารีที่สร้างไว้ล่วงหน้า และตรวจสอบว่าสัญลักษณ์ที่ไม่ได้กำหนดทั้งหมดได้รับการแก้ไขหรือไม่

ขั้นแรก ตัวตรวจสอบจะตรวจสอบสถาปัตยกรรมเป้าหมายของไบนารีที่สร้างไว้ล่วงหน้า หากไบนารีที่สร้างไว้ล่วงหน้าไม่ได้กำหนดเป้าหมายสถาปัตยกรรม ARM, AArch64, x86 หรือ x86-64 ตัวตรวจสอบจะข้ามไบนารีที่สร้างไว้ล่วงหน้า

ประการที่สอง การขึ้นต่อกันของไบนารีที่สร้างไว้ล่วงหน้าจะต้องแสดงรายการอยู่ใน LOCAL_SHARED_LIBRARIES หรือ shared_libs ระบบบิลด์แก้ไขชื่อโมดูลให้เป็นรูปแบบที่ตรงกัน (เช่น core vs vendor ) ของไลบรารีแบบแบ่งใช้

ประการที่สาม ตัวตรวจสอบจะเปรียบเทียบรายการ DT_NEEDED กับ LOCAL_SHARED_LIBRARIES หรือ shared_libs โดยเฉพาะอย่างยิ่ง ตัวตรวจสอบจะแยกรายการ DT_SONAME จากไลบรารีที่แบ่งใช้แต่ละรายการ และเปรียบเทียบ DT_SONAME เหล่านี้กับรายการ DT_NEEDED ที่บันทึกไว้ในไบนารีที่สร้างไว้ล่วงหน้า หากมีข้อมูลไม่ตรงกัน ระบบจะแสดงข้อความแสดงข้อผิดพลาด

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

คุณสมบัติโมดูลที่สร้างไว้ล่วงหน้า

ต้องระบุการขึ้นต่อกันของไบนารีที่สร้างไว้ล่วงหน้าด้วยวิธีใดวิธีหนึ่งต่อไปนี้:

  • Android.bp: shared_libs: ["libc", "libdl", "libm"],
  • Android.mk: LOCAL_SHARED_LIBRARIES := libc libdl libm

หากไบนารีที่สร้างไว้ล่วงหน้าได้รับการออกแบบให้มี สัญลักษณ์ที่ไม่ได้กำหนดซึ่งแก้ไขไม่ได้ ให้ระบุรายการใดรายการหนึ่งต่อไปนี้:

  • Android.bp: allow_undefined_symbols: true,
  • Android.mk: LOCAL_ALLOW_UNDEFINED_SYMBOLS := true

หากต้องการให้ไบนารีที่สร้างไว้ล่วงหน้าข้ามการตรวจสอบไฟล์ ELF ให้ระบุข้อใดข้อหนึ่งต่อไปนี้:

  • Android.bp: check_elf_files: false,
  • Android.mk: LOCAL_CHECK_ELF_FILES := false

เรียกใช้ตัวตรวจสอบ

หากต้องการรันตัวตรวจสอบ ให้ตั้งค่าตัวแปรสภาพแวดล้อม CHECK_ELF_FILES เป็น true และรัน make check-elf-files :

CHECK_ELF_FILES=true make check-elf-files

หากต้องการเปิดใช้งานตัวตรวจสอบตามค่าเริ่มต้น ให้เพิ่ม PRODUCT_CHECK_ELF_FILES ลงใน BoardConfig.mk :

PRODUCT_CHECK_ELF_FILES := true

ที่สร้างไว้ล่วงหน้าจะถูกตรวจสอบโดยอัตโนมัติในระหว่างกระบวนการสร้างของ Android:

make