Status: Darling - aplikace pro OS X na Linuxu

12.9.2012 12:30 | Přečteno: 1727× | Linux | | poslední úprava: 12.9.2012 13:01

Z nedávného nápadu vytvořit vrstvu, která bude umět spouštět binárky pro OS X/Darwin, se stala má budoucí diplomová práce. A něco málo už i funguje.

Práce na tomto projektu má několik etap, které jsem stanovil:

1. Funkční libSystem a další běžné "céčkové věci" jako systémová volání.
2. Funkční výjimky v C++.
3. Běh aplikací v Objective C.
4. Reimplementace chybějícího API (frameworků) - vzdálená budoucnost.

Aktuálně jsem ve fázi 1 s tím, že zkoumám možnosti ve fázích 2 a 3. Darling dokáže spustit wget pro OS X a s drobnými fígly dokáže jakž takž spustit mc. U MC je hlavím problémem GSlice v glib, který začne dělat v paměti blbosti a pak spadne. Přitom jediné důležité volání je v něm posix_memalign(), ve kterém ale nevidím žádný problém. GSlice se dá ale zakázat, pak jsou alokace nahrazeny mallocem(), který funguje dobře. MC má pak ještě další obtíže - nějaké bufferování stisknutých kláves a chybějící text v editoru, ale to jsou relativně už jen drobnosti.

Výjimky v C++

Pro funkčnost výjimek je nutné mít libc++abi (poskytuje __cxa_throw volané z kódu), libunwind od Apple a podpůrné funkce v dynamickém loaderu. Hlavní překážkou je to, že výjimka není fakticky "hozena" z místa, kde je příkaz throw, ale o dvě volání dále v libunwind. Throw aktuálně selže na tom, že dynamický loader Mach-O nedokáže poskytnout informace pro výjimky právě pro tato dvě volání navíc. Ta jsou už v ELF.

Nabízejí se dvě řešení: upravit házení tak, aby k němu fakticky docházelo ze skutečného umístění throw, anebo zkompilovat libc++abi/libunwind pro Darwin, to ale komplikuje build.

Objective C runtime

ObjC runtime GNU a Apple nejsou kompatibilní. Zatím nevím, do jaké míry přesně, na první pohled má Applí runtime více funkcí pro posílání zpráv a symboly jsou jinak nazývány. Zatímco linuxový Clang/GCC názvy "metod" krásně dekoruje, Applí GCC se neštítí strkat do názvů symbolů mezery a další hegeš.

Dá se ale očekávat, že nekompatibilita půjde ještě hlouběji. I k Hello worldu vypsaném z třídy ObjC bude asi daleko.

Takovou jednoduchou aplikací, kterou bych rád viděl funkční "do dvou let", je The Unarchiver, grafické klikátko pro rozbalování archivů.

Ladění aplikací

Abych si ulehčil ladění aplikací (s GDB to není úplně ono), kompletně jsem přepsal funkci "trampolín" z původního maloaderu. Ještě to nemá všechny schopnosti, které bych rád viděl, navíc je třeba to přeportovat na 32bitové x86, ale je to pěkné.

Oč jde? Dynamický loader nahradí všechny bindy (volání mezi Mach-O objekty, tedy mezi binárkami/knihovnami) svým wrapperem, který pak na základě souboru s definicemi dokáže zobrazovat, jaká funkce byla zavolána, s jakými parametry a co vrátila.

g_strdup(?)
 strlen(0x7fff380c4327 "/bin/bash")
 -> 9
 malloc(10)
 -> 0x14aa9e0
 memcpy(0x14aa9e0, 0x7fff380c4327, 10)
 -> 0x14aa9e0
-> ?

Detailnější ukázku můžete vidět zde. Posledními novinkami jsou podpora procesů, co se forkují, a vypisování časových údajů k voláním.

       

Komentáře

[xvasek]

Myslím, že zásadní otázka (podobně jako u Wine) - fungují Bulánci? (Tím, že není klon pro Mac si tuto diskusi nebudeme kazit, ne?)

A kdy pojede Steam z MacOSu?

[Luboš Doležel (Doli)]

Tím, že není klon pro Mac si tuto diskusi nebudeme kazit, ne?

Bacha na to, pro OS X je Darwine (port Wine).

[smazáno]

Vypada to skvele. Takhle rychle prijit s funcknim zakladem pousteni osx binarek na linuxu Nechapu .

[AsciiWolf]

Vypadá to dost hezky. Dobrá práce!

[pavel]

Už na tom jede Misrosoft Office 2010?

[tomvec]

Ten si strč tam, kam slunce nesvítí. Navíc MS Office 2011 je nativně pro OS X. Mě by zajímalo, kdy na tom pojede Tumult Hype.

[Limoto]

 

Navíc MS Office 2011 je nativně pro OS X.

No, kdyby nebyl, tak by ten dotaz postrádal smysl, nemyslíš?

 

[Luboš Doležel (Doli)]

To je jako ptát se kutila, co staví vlastní auto a má už podvozek, kdy to auto bude řídit samo.

[David Jaša]

U MC je hlavím problémem GSlice v glib, který začne dělat v paměti blbosti a pak spadne. Přitom jediné důležité volání je v něm posix_memalign(), ve kterém ale nevidím žádný problém.

G_SLICE=always-malloc ?

[Luboš Doležel (Doli)]

Takhle to obcházím, ale to není řešení.

[Luboš Doležel (Doli)]

Nuže, výjimky v C++ už fungují.