Bitcode: какво е, междинен байткод и компилация

Какво е Bitcode в iOS разработката

Bitcode представлява междинно представяне на програмата (Intermediate Representation, IR), което генерира инфраструктурата на компилатора LLVM. Apple въведе поддръжка за Bitcode от Xcode 7 и iOS 9 като задължително изискване за watchOS приложения и опционално за iOS и tvOS. От Xcode 14 задължителността беше премахната за всички платформи с изключение на watchOS.

История на появата на Bitcode

Концепцията за междинно представяне на кода съществува от 2000-те години в рамките на проекта LLVM, основан от Крис Латнър в Университета на Илинойс. Apple адаптира LLVM за Xcode през 2011 г., а през 2015 г. представи Bitcode като начин за актуализиране на приложения без повторно изпращане в App Store. Технологията беше обявена на WWDC 2015 в сесията „What’s New in Xcode”.

Разлика между Bitcode и машинен код

Машинен код — са двоични инструкции за конкретен процесор: arm64, armv7 или x86_64. Bitcode се съхранява в хардуерно независим формат, което позволява на App Store да генерира оптимизирани двоични файлове за различни архитектури от едно изходно представяне. Това е ключовата разлика, която определя всички предимства на технологията.

Bitcode не е изпълним файл. Това е LLVM IR в двоичен формат, който разработчикът изпраща в App Store заедно с метаданните на проекта. Магазинът за приложения стартира процеса на прекомпилиране, адаптирайки кода за всяка целева платформа и версия на операционната система.

Как работи Bitcode при компилиране на iOS

Процесът на генериране на Bitcode започва с фронтенда на компилатора, който преобразува изходния код Swift или Objective-C в LLVM IR. На етапа на свързване Xcode опакова IR във файлове с формат .bc (Bitcode), които след това се изпращат в App Store заедно с архива .xcarchive. App Store от своя страна стартира процеса на прекомпилиране от своя страна.

Етап LLVM и генериране на междинен код

Инфраструктурата на LLVM се състои от три части: фронтенд (Clang за C/ObjC, Swift Frontend за Swift), оптимизатор Middle-End и бекенд (генератор на машинен код). Bitcode — е резултат от първите два етапа без преминаване към генериране на асемблерни инструкции. Middle-End извършва платформено независими оптимизации: премахване на мъртъв код, инлайнване и сгъване на константи.

// Примерен изходен код на Swift
func calculateSum(a: Int, b: Int) -> Int {
    return a + b
}

// LLVM IR след компилиране (опростено)
; define i32 @calculateSum(i32 %a, i32 %b)
; %result = add i32 %a, %b
; ret i32 %result

След генериране на IR, компилаторът извършва серия от оптимизации на ниво представяне: премахване на мъртъв код, инлайнване на функции и сгъване на константи. Тези оптимизации не зависят от архитектурата и се запазват в Bitcode. При прекомпилиране в App Store се добавят архитектурно зависими оптимизации, като пренареждане на инструкции за конкретния процесор.

Прекомпилиране в App Store

App Store Connect приема архива с Bitcode и стартира собствената си инфраструктура за компилиране. Системата определя целевата архитектура на устройството на потребителя и генерира машинен код, допълнително го оптимизирайки за конкретните характеристики на процесора. За arm64e (процесори A12+ и M-серия) се прилагат допълнителни оптимизации за сигурност.

Този процес се нарича App Thinning — технология, която позволява доставяне на устройството само на ресурсите и кода, необходими за неговата архитектура. Потребител на iPhone с процесор A17 Pro получава двоичен файл, оптимизиран за arm64e, без излишни инструкции за остарели архитектури. Това съкращава времето за зареждане и спестява място на устройството.

Предимства от използването на Bitcode

Bitcode предоставя няколко ключови предимства за разработчиците на iOS приложения. Основното от тях — автоматична оптимизация за нови процесори на Apple без повторно публикуване на актуализация в App Store. Това е особено актуално при преход към нови архитектури, като прехода от armv7 към arm64.

Оптимизация за нови архитектури

Когато Apple пусне процесор с нова архитектура, приложенията, изпратени с Bitcode, автоматично се прекомпилират за нея. Разработчикът не трябва да преизгражда проекта и да публикува актуализация — App Store прави това от своя страна при първото изтегляне от потребителя. Това е особено важно за дълготрайни приложения, които се поддържат с години.

Намаляване на размера на двоичния файл

App Thinning в комбинация с Bitcode позволява намаляване на размера на инсталираното приложение с 15–40%. App Store генерира само онези машинни инструкции, които са необходими за конкретното устройство, като изключва код за други архитектури и варианти за различни версии на iOS. На практика това означава, че потребителят с нов iPhone получава компактен двоичен файл.

Според данни от Apple WWDC 2015 Session 102, използването на Bitcode и App Thinning може да намали размера на изтегленото приложение средно с 25% в сравнение с универсален двоичен файл, съдържащ всички архитектури. За приложение с размер 100 MB, икономията може да достигне до 40 MB на устройството на потребителя.

• Автоматична адаптация към нови процесори без преизграждане на проекта от разработчика
• Намаляване на времето за зареждане на приложението на устройството на потребителя
• Опростяване на дистрибуцията — един архив за всички архитектури, един набор от метаданни
• Бъдеща съвместимост — приложението работи на все още неиздадени процесори на Apple

Как да включите Bitcode в проект на Xcode

Настройка на Bitcode се извършва в конфигурацията за компилиране на Xcode. Параметърът Enable Bitcode се намира в настройките Build Settings и по подразбиране е включен за нови проекти, но разработчиците могат да го изключат за отстраняване на грешки или при използване на библиотеки на трети страни без поддръжка на Bitcode.

Настройка чрез Build Settings

// Build Settings -> Apple Clang - Code Generation
// Enable Bitcode = YES

// Или чрез Info.plist за отделни target-ове
@property (nonatomic, assign) BOOL enableBitcode;
- (void)configureBuildSettings {
    // Проверка на статуса на Bitcode в конфигурацията
    if (self.enableBitcode) {
        NSLog(@"Bitcode is enabled for this target");
    } else {
        NSLog(@"Bitcode is disabled");
    }
}

За да проверите дали архивът съдържа Bitcode, отворете файла .xcarchive чрез Xcode Organizer или изпълнете командата otool -l в Терминала. Наличието на секция __LLVM в двоичния файл потвърждава, че Bitcode е включен и правилно опакован. Ако секцията липсва — Bitcode не е генериран по време на компилиране.

Проверка чрез терминал

# Проверка за наличие на Bitcode в архива
otool -l YourApp.app/YourApp | grep __LLVM

# Резултат: ако има секция __LLVM — Bitcode присъства
# Ако резултатът е празен — Bitcode не е включен или не е генериран

# Може също да се провери чрез командата size
size -m -l YourApp.app/YourApp | grep __LLVM

Когато използвате библиотеки на трети страни чрез CocoaPods или SPM, уверете се, че всички зависимости са компилирани с Bitcode. Ако поне една библиотека не поддържа Bitcode, Xcode ще генерира грешка при свързване на етапа на архивиране. За CocoaPods проверете флага bitcode_enabled в podspec-овете или използвайте use_frameworks! с enable_bitcode.

Ограничения и капани на Bitcode

Bitcode не е универсално решение за всички видове iOS проекти. Технологията има ограничения, които разработчикът трябва да вземе предвид, преди да включи опцията в конфигурацията за компилиране. Разбирането на тези ограничения помага да се избегнат проблеми на етапа на архивиране и публикуване.

Съвместимост с библиотеки

Не всички библиотеки на трети страни се доставят с поддръжка на Bitcode. Ако библиотека се разпространява само като компилиран двоичен файл без Bitcode, проектът с включена опция няма да се компилира. В този случай разработчикът ще трябва или да изключи Bitcode, или да поиска от доставчика версия с Bitcode. Това е особено актуално за стари библиотеки, които вече не се актуализират.

Отстраняване на грешки и отчети за сривове

Отчетите за сривове от приложения, компилирани с Bitcode, изискват допълнителна обработка. Символите (dSYM) за прекомпилирания код се генерират от App Store и са достъпни за изтегляне чрез Xcode Organizer. Без изтегляне на съответните dSYM файлове, стекът на извикванията в отчетите за сривове ще бъде нечетлив, което затруднява диагностицирането на проблеми.

• Изтегляне на dSYM — задължително за декодиране на логове за сривове от App Store след прекомпилиране
• Размер на архива — .xcarchive с Bitcode заема повече място на диска на разработчика
• Време за компилиране — генерирането на Bitcode увеличава етапа на компилиране на проекта с около 10–15%
• macOS — Bitcode не се поддържа за macOS и watchOS приложения
• Остарели проекти — миграцията на големи проекти може да изисква актуализиране на всички зависимости

Към iOS 17 и Xcode 15, Apple не изисква задължително включване на Bitcode за публикуване в App Store. Въпреки това, за watchOS приложения Bitcode остава задължително условие, установено на ниво правила на App Store Connect. Препоръчително е разработчиците да включат Bitcode за нови проекти, ако всички зависимости го поддържат.