Tak zase, kdyby to bylo "pokud pouzivate moji knihovnu, musite misto break; pouzivat terminate;", tak mi to az tak moc nevadi.
Pokud ale bude tohle platit jen kdyz si v remember a ne v celym programu (tj. terminate mimo remember nefunguje jako break), tak to je pruser.

REDGUY: Toto mi konkretne prijde jako showstopper jak blazen. Ze je k dispozici krom zasobniku a mallocu nejaky mechanismus kontextu, no budiz, proc ne. Ale ty maskovany fory jsou proste pruser.

XCHAOS: Pockej, co ti prijde na Cckovym GC krajne neprakticke? Mark-sweep neni spatnej algoritmus. Neni to tak chytry jako java (kde ti to treba new ve smycce "vyhodi" pred smycku), ale narozdil od tvejch kontextu to umi treba zabit spojak na kterej ztratis pointer.

ANT_39: Presne tak. Ten samej kus kodu, co bude volat ukladani jump bufferu, bude taky volat odblokovani signalu, s tim ze se do nejaky globalni nebo thread-local promenny ulozi oldset (viz man sigprocmask).

XCHAOS: Je, samozrejme, ostatne stary linuxovy thready se implementovaly pres signaly -- tusim ze to bylo neco jako ze signal handler byl vicemene scheduler yield + context switch.

XCHAOS: Az na to, ze "jednodussi" samozrejme take neni - uz proto, ze porad musis v urcitych situacich pouzivat malloc/free. Cili i kdyby kontexty byly super jednoduche (coz nejsou), porad znamenaji pridanou slozitost nad free/malloc. Docela bizarni, v jazyce urcenem pro zacatecniky.

Btw, kdyz napisu tohle:

while (foo()) {
    blabla();
    if (bar()) {
        remember {
            allocate_memory_and_do_stuff()       
            if (baz1()) {
                break;  // chci ukoncit cyklus while
            }
            if (baz2()) {
                continue; // chci spusti dalsi iteraci while
            }
        }
    }
}

Bude to fungovat? Nebude? Co budu muset napsat aby to fungovalo? Vzhledem k tomu jaky bastl predpokladam ze ke remember mam urcitou teorii, ale rad si to poslechnu od tebe 8)

XCHAOS: Jestli se ti nezda nespecificky except kvůli Ctrl+C, tak doporučuju vyrazit směrem SyntaxError ;-)

DAVIDOWITCH: tohle už tu probehlo aspoň 2x .. princip chápu, ale pro množství paměti, které dnes může být alokováno, mi to přijde už krajně nepraktické.. nemluvě o vyswapovaných programech, apod.

REDGUY: já bych zůstal u toho "jednodušší" , do bezpečnostních debat bych se nerad pouštěl (zvlášť ne v tomhle klubu / při použití C)

víceméně, pokud runtime aspoň občas něco dealokuje, aniž by ses o to musel sám zasloužit - tak to podle mě jednodušší je.

ANT_39: Pocinaje tusim 10.5 je v OSX Objective-C s garbage collectorem, ale vzdycky jsem myslel ze GC se tyka jen Objective-C objektu. Ale na druhou stranu tomu houby rozumim protoze ObjCuju jen na iPhone a tam GC jeste neni.

DAVIDOWITCH: Ja si vlastne vybavuju ze ObjC jde kompilovat s garbage collectorem (misto toho retain/release a releasepoolu z GNUStep). Tak mozna to jde zapojit i do normanich appek...

ANT_39: No ja mam prave dojem, ze nabizi nejakou GC podporu i kompilovany aplikaci (pamatuju si to z nejakejch zprav ze tim resej firefoxi memory leaky na linuxu). Ale jistej si tim nejsem, not that kind of engineer :-)

XCHAOS: protože prostě nedokážeš vyvrátit výrok, že "v C lze snadno napsat potenciálně nebezpečný či chybný kód, který se bez varování přeloží" - ano, to nedokazu, proto se o to ani nesnazim. Na druhe strane, vyrok "XChoas se uspesne snazi navrhnout system, ktery alokaci pameti v C zjednodussi a ucini ji bezpecnejsi" lze vyvratit zcela trivialne, poukazem na jednu z mnoha chyb v designu jeho systemu.

ISTEVE: Otazka zni, jak ty signaly po longjmpu odblokujes? V tu dobu uz jsi jinde... Hmm, hadam, ze kdyz to bude maskovany v tech makrech, tak by to za tebe mohlo expandovat makro za kazdym try { a catch {.

DAVIDOWITCH: Tak tomuhle nejak nerozumim. GCC ma preci GC pri kompilaci, jak to pomuze?

http://www.hpl.hp.com/personal/Hans_Boehm/gc/
(asi najdes lepsi zdroje, ale tohle vypada jako slusnej zacatek)

DAVIDOWITCH: no tak o tomhle toho moc nevím, nahoď odkaz

Tak muzes do gcc pridat nejaky hooky, ted uz to zvlada jakous takous garbage collection, tak treba se prilipnout k tomu...

ISTEVE: no, já bych skoro řekl, že signal-safety je dost podobné téma, jako thread safety... dost problémy stejného druhu, hlavně s globálními proměnnými.

(kdysi jsem krátce spolupracoval s jednou firmou, jejíž hlavní starost byla, abych ze svého zdrojáku vyházel všechny globální proměnné ... víceméně, bylo to dost poučné, no...)

ISTEVE: tak já se především o odchytávání signálů zatím nikdy nepokusil... zatím jsem nepsal nic takového, co by to potřebovalo. (nejčastější mi přijde znovunačtení konfigurace po odchycení HUP - hangup ... a možná nějaké korektní ukončení při odchycení TERM ... ale já to zatím nikdy nedělal)

nebo ještě jinak - z předchozího příkladu v Pythonu nevyplývalo jasně tohle:
>>> a=[1,2]
>>> b=a
>>> b[1]=3
>>> a
[1, 3]

víceméně - podle mě každý začátečník, který se dostane v Pythonu takhle daleko, je velmi zhruba zralý přejít na můj dialekt C<<1. zatímco aby přešel na tradiční "liturgické C", které obajuje id REDGUY, tak by toho musel chápat výrazně víc.

DAVIDOWITCH: mno, víceméně... jak říkám, Python dělá něco podobného: rovnítko vytváří referenci na objekt, zatímco + alokuje nový objekt pro kopii toho původního:

Python 2.7.1+ (r271:86832, Apr 11 2011, 18:05:24)
[GCC 4.5.2] on linux2
Type "help", "copyright", "credits" or "license" for more information.
>>> a=(1,2)
>>> b=a
>>> b
(1, 2)
>>> a=a+b
>>> a
(1, 2, 1, 2)
>>> b
(1, 2)
>>> b
(1, 2)

tedy... víceméně, mě se + jako operátor konkatenace moc nelíbí, protože
mojí základní myšlenkou pro C<<1 je jednotný alokátor, který by ideálně měl stejnou syntaxi pro alokaci jednoho objektu i pro concatenaci.

např. str s=get(str,"text") je téměř identické s str s="text" - takový zápis je nesmysl. ale pro zřetězení, např. tr s=get(str, a," ", b) už to smysl dává.

víceméně, kde jsem se zasekl je, že dnes jsou v módě nejen iterátory přes kontejnery, ale i generátory - např. v pythonu takové to pole=[prvek for prvek in ...] ... a udělat nejen univerzální iterační, ale i univerzální generační makro - tzn. takové, které by výsledek operace ve scope na konci PŘIDALO do kontejneru - na tom jsem se zasekl, to už v C vymyslet nedovedu :-)