Darling progress report - listopad 2012 (diskuse)

[ewew]

Existuju nejaké vzorky kódu Applu a opensource verzie ?

Dôvod portovania linuxu na hardvér applu ?

[Luboš Doležel (Doli)]

Existuju nejaké vzorky kódu Applu a opensource verzie ?

opensource.apple.com a git.dolezel.info. Tohle není úplně 100% ukázka, ale první díl tohoto souboru (až po #else) a tento můj soubor to také trochu ilustrují. Nebo třeba masochismus Applu, který se dá nahrazovat minimem assembleru pro snazší portování.

Hodně věcí v Applu se šije horkou jehlou, bez rozmyslu. Pak jsou výsledkem hacky kvůli zachování ABI, nahodile vlepované kusy kódu do jiného kódu, duplicity apod.

Dôvod portovania linuxu na hardvér applu ?

Nejak jsem nepochopil otázku. Já Linux neportuju, Linux na ppc dávno chodí.

[Bedňa]

Tak to je hack, na iBook nainštalovať Linux a na ňom spúšťať aplikácie pre Apple

[ET]

ja bych mozna mel pixlu s ppc od macka za dovoz - ale je to starej desktop, procak ~400MHz, kdybys chtel tak se po nem kouknu...

[ET]

*za odvoz

[Luboš Doležel (Doli)]

To ale nebude s OS X, že ne?

[ET]

mno naposled tam byl debian, ale uloz.to to jisti ne? ;)

[smazáno]

ja bych nekde nasel Mac LCIII+ ale to ti asi moc nepomuze

[luky]

Nesly by ty Mach Ports implementovat v userspace pomoci posilani filedeskriptoru pres unixove sockety?

[Luboš Doležel (Doli)]

Ne úplně. Ports mají systém práv a různé vlastnosti, které nejde bez asistence jádra pořádně naimplementovat.

Příklad z mnoha: porty se při exec() nedědí, ale předává se tzv. bootstrap port. Další věcí je ale samotné posílání práv k portu, například send-once.

[kralyk z abclinuxu]

Rozepsal by ses maličko o těch výjimkách? Ta zmínka o setjmp/longjmp mě mírně děsí

[Luboš Doležel (Doli)]

Hehe, počkej si rok a půl a bude to popsaný v diplomce

Stručně jde o to, že zatímco 64bit ObjC výjimky používají "standardní" mechanismus výjimek na bázi libunwind a spol., takže to jde stejnou cestou jako výjimky C++, na 32bit to mají z nějakého historického důvodu jinak.

Každý vstup do try bloku se tedy mění na volání objc_exception_try_enter, kterému se předá výstup funkce setjmp() volané hned před tím, a výstup z try bloku se analogicky mění na objc_exception_try_exit. Je-li hozena výjimka, runtime si vezme poslední try blok, který má na interním stacku, a udělá na něj longjmp(). To vede k tomu, že se program vrátí na to volání setjmp(), ale tentokrát ta funkce vrátí jinou hodnotu, což indikuje, že bylo skočeno zpět - tzn. došlo k výjimce.

Na to vygenerovaný kód programu reaguje skokem do oblasti catch handlerů. Tam se kód ptá pomocí objc_exception_match(), jestli handler pro typ XYZ může handlovat výjimku, kterou si to získalo přes objc_exception_extract(). Pokud tam takový handler není, tak se opět - nanovo - volá objc_exception_throw(), které tu výjimku hodí přes try blok o úroveň níž.

[kralyk z abclinuxu]

Aha, takže oni to mají už v ObjC (na 32b) řešeno pomocí setjmp, já to ze zápisku špatně pochopil tak, žes nasadil setjmp z vlastního rozhodnutí. Takže to pak jó samozřejmě

No každopádně, "zajímavě" to mají v tom ObjC pánové vyřešeno, jen co je pravda

[luky]

Tak ono bylo ObjC pomerne dlouhou dobu implementovano jako preprocesor pro Ccko, takze to je vpodstate celkem primocare reseni.

[Salamek]

Pokud mas zajem mohl bych dodat iBook 4G s MAC OS X Tiger a Debianem (vice mene se tu vali kolem)

[Luboš Doležel (Doli)]

Tohle by bylo úžasný

[Salamek]

Jabber at se muzem domluvit ? :)

[Luboš Doležel (Doli)]

lubos@dolezel.info

[Bedňa]

A už si slávny

[Luboš Doležel (Doli)]

A bylo to i na Slashdotu

[Bedňa]

Tak to gratulujem.

[kotyz]

Dneska už ho probírají i na Google+ v Archlinux community.

[Luboš Doležel (Doli)]

Jen je smutné, že když už lidi nechtějí pomoci, tak tě od toho aspoň zrazují, co to jen jde.

[ewew]

Je vidieť ako ľudia chránia vyvojárov pred super ultra mega užasným Apple systémom. Ktorý je tak úžasne súper, že si užívateľia nechaju diktovať čo je správne a čo nie. Alebo nemôžu zniesť, že by ich užasné MAC aplikácie fungovali na inom systéme ako len jedinom správnom systéme.

[Ovocníček]

Lidi myslí i dobře. Protože přece jenom, programovat velký problém člověku sežere hodně času, a když mu to aspoň neobstarává živobytí, tak je samozřejmě otázka, jestli to tak trochu není ztráta času. (Což platí o spoustě dalších hobby činností, nejen o programování FOSS věcí.)

Takže radím si z toho nic nedělat, pokud to máte promyšlené. Naopak si z toho vemte, že některým těm týpkům na vás v podstatě záleží, což je hezké. Naopak by se dalo říct, že lidi, kteří dobrovolníka povzbuzují, protože hodlají jeho práci používat, jsou tak trochu neupřímné potvory - chcou, aby někdo zabil spoustu času kvůli jejich pohodlí :D

[kotyz]

WTF? To ti tam píšou že to nemáš dělat? Místo aby byli rádi že se udělá něco užitečnýho...

[Luboš Doležel (Doli)]

Dozvěděl jsem se, že je to k ničemu a že to vzdám dřív, než z toho bude něco užitečnýho

[Ovocníček]

Jo mimochodem, viděl jsem na phoronixu tohle: "As for LGPL/BSD: I do not use the BSD or similar license for a purpose. You wan't to make money off this? You either give me a cut or share your code with others. I find it fair."

Jestli Luboš uvažuje o tom, že by to jednou mohlo mít komerční užití, tak by možná nebylo od věci se inspirovat u x264 (http://mailman.videolan.org/pipermail/x264-devel/2010-July/007508.html)

Jde v podstatě o to, že kód je GPL, ale pokud firma má komerční projekt a ráda by ho použila (to znamená, že chce knihovnu linkovat do uzavřené aplikace), tak si koupí licenci a dostane tím vyjímku. Podmínku je, že jakékoliv distribuované změny musí dát k dispozici upstreamu.

Pokud vím, tak úspěch tohoto licencování zdaleka předčil očekávání. Firmy mají očividně velký zájem - očividně raději platí, než aby se přizpůsobily GPL, byť by tou cestou dostaly ten samý kód zadarmo. Je to pěkné, komunita má všecko zadarmo, ale vývojáři zároveň můžou podojit komerční firmy (i dost velké). Třeba by si Luboš mohl takhle jednou vydělávat. Na druhou stranu nemám představu, jak velký je pro takovéhle věci trh (tj. jak moc je firem, které by na tom chtěly vydělávat a tzn. koupit si licenci). V případě x264 je trh dost velký, přirozeně.

Protože to komerční licencování odstartovalo dost pozdě, bylo třeba sehnat všechny autory kódu a dostat od nich souhlas. Taky přispěvatelé musí podepsat, že souhlasí s tím dvojím licencováním.

[Luboš Doležel (Doli)]

Přesně tak nějak jsem to myslel.

Jinak teď se mi ozvali z Ukrajiny, že se dřív už neveřejně pokoušeli o něco podobnýho a že bychom mohli spojit síly. Tak vida, evidentně se to musí dostat na Slashdot, aby se to rozšířilo

[Tomáš]

Při čtení jsem si vzpoměl na jeden velmi zajímavý článek implementaci vyjímek v C. Je založeno na této neuvěřitelné konstrukci, kterou si dovolím okopírovat:

   register n = (count + 7) / 8;      /* count > 0 assumed */

   switch (count % 8)
   {
   case 0:        do {  *to = *from++;
   case 7:              *to = *from++;
   case 6:              *to = *from++;
   case 5:              *to = *from++;
   case 4:              *to = *from++;
   case 3:              *to = *from++;
   case 2:              *to = *from++;
   case 1:              *to = *from++;
                      } while (--n > 0);
   }

Toto je validní C kód ( žádná chyba ).

[kralyk z abclinuxu]

V tom článku ale tuhle konstrukci nepoužívají, když se podíváš, tak oni mají switch vevnitř v do, ne obráceně jako v Duff's device. Duff's device slouží k ompimalizaci - částečnému rozbalení smyčky, kdežto v tom článku ten switch slouží k rozlišení výstupu setjmp(). Celej ten switch mají ještě obalen v do { ... } while(0), nejspíš proto, aby tím vznikl vlastní sub-scope pro jmp_buf.