abclinuxu.cz AbcLinuxu.cz itbiz.cz ITBiz.cz HDmag.cz HDmag.cz abcprace.cz AbcPráce.cz
AbcLinuxu hledá autory!
Inzerujte na AbcPráce.cz od 950 Kč
Rozšířené hledání
×
    včera 23:44 | Nová verze

    Byla vydána nová verze 2.56.0 distribuovaného systému správy verzí Git. Přispělo 104 vývojářů, z toho 39 nových. Přehled novinek v příspěvku na blogu GitHubu a v poznámkách k vydání.

    Ladislav Hagara | Komentářů: 0
    včera 21:22 | Bezpečnostní upozornění

    Hackerská skupina ShinyHunters oznámila průnik do informačních systémů FBI, prostřednictvím zero-day zranitelnosti v platformě Oracle PeopleSoft, kterou úřad využívá mimo jiné pro náborový portál FBIJobs.gov. Útočníci tvrdí, že získali až 3 TB dat o současných i bývalých zaměstnancích a uchazečích o práci. Jako důkaz zveřejnili vzorek přibližně 5 000 záznamů obsahující jména, adresy, telefonní čísla, data narození, čísla

    … více »
    AfD 💙 | Komentářů: 1
    včera 21:11 | Zajímavý článek

    Doba kompilace linuxového jádra se díky rychlejšímu hardwaru a optimalizacím kbuildu snižuje k deseti sekundám. Nejnovější patche Lorenza Stoakse (vznikají i s pomocí SI) zkrátily na testovacím stroji dobu sestavení z dlouhých 22 vteřin na pouhých 15, a to bez použití RAMdisku. Testovací systém tvořily dva procesory AMD EPYC 9575F (oba dohromady poskytují celkem 128 jader a 256 vláken), čtyřiadvacet 64GB DDR5-6400 paměťových modulů a

    … více »
    AfD 💙 | Komentářů: 3
    včera 01:33 | Komunita

    Před rokem a půl vývojáři postmarketOS informovali, že pro projekt hledají nové jméno. Včera bylo oznámeno: postmarketOS se nově jmenuje Nura.

    Ladislav Hagara | Komentářů: 5
    27.9. 13:44 | Zajímavý projekt

    Hra Factorio dorazila na Printables. Hned teď si můžete stáhnout 65 různých modelů a nechat celou mimozemskou planetu oživnout na svém stole.

    Ladislav Hagara | Komentářů: 13
    26.9. 19:22 | Nová verze

    GNU Project Debugger aneb GDB byl vydán ve verzi 18.1. Podrobný přehled novinek v souboru NEWS.

    Ladislav Hagara | Komentářů: 0
    25.9. 23:33 | Humor

    Prezident USA Donald Trump během svého projevu na valném shromáždění OSN 22. září 2026 prohlásil, že umělá inteligence 'bude dále oficiálně nazývána superinteligencí', zkráceně SI. Svůj návrh zdůvodnil takto: 'Použití slova artificial činí inteligenci falešnou. Ona falešná není, ve skutečnosti je úžasná'. Zároveň ve svém proslovu prohlásil, že Spojené státy kategoricky odmítají jakékoliv pokusy o vytvoření 'globalistického

    … více »
    AfD 💙 | Komentářů: 26
    25.9. 23:22 | Nová verze

    Čínská technologická firma Xiaomi představila novou verzi 2.6 svého modelu MiMo, váhy modelů MiMo‑V2.6‑Pro‑RL a MiMo‑V2.6‑Flash‑RL jsou dostupné na HuggingFace pod licencí MIT. Výkonnější varianta Pro má přes bilion parametrů, z toho 42 miliard aktivních, úspornější Flash 309 miliard parametrů, z nichž se při generování aktivuje přibližně 15 miliard. Oba modely mají délku kontextového okna milion tokenů. Tyto MoE modely zvládají

    … více »
    AfD 💙 | Komentářů: 0
    25.9. 03:33 | Komunita

    Proběhl Snapdragon Summit 2026. Společnost Qualcomm se mimo jiné pochlubila během Linuxu na čipech Snapdragon X2. Zatím pouze v ranní verzi vhodné pro vývojáře linuxových distribucí a přispěvatele do jádra Linux.

    Ladislav Hagara | Komentářů: 0
    24.9. 21:11 | Nová verze

    Byla vydána nová verze 2.0 klienta F-Droid určeného pro instalaci bezplatných a otevřených mobilních aplikací do Androidu ze softwarového repozitáře F-Droid (Wikipedie). Jedná se o alternativu k Google Play.

    Ladislav Hagara | Komentářů: 7
    Které desktopové prostředí na Linuxu používáte?
     (9%)
     (7%)
     (4%)
     (21%)
     (29%)
     (8%)
     (5%)
     (2%)
     (14%)
     (20%)
    Celkem 2742 hlasů
     Komentářů: 31, poslední 13.8. 00:27
    Rozcestník

    Zásobník nadivoko

    12.4.2007 22:15 | Přečteno: 1664× | Dev/Tech/Gnu | Výběrový blog

    Minule jsem tu psal o Pypy, implementaci Pythonu v jazyce samém, a o neuvěřitelné flexibilitě, kterou tato hračka nabízí.

    Též jsem psal, že Pypy umí variaci na Stackless Python, tedy oprostění se od limitů systémového zásobníku. Rekurze omezená jen velikostí paměti je jen začátek. Program může explicitně manipulovat se svým zásobníkem. Je možné rozličným způsobem přepínat zásobníkové rámce funkcí atd. Následující kód mi hlava dost dlouho nebrala :-):

    from pypy.rlib.rstack import yield_current_frame_to_caller
    
    def g():
        print 2
        frametop_before_5 = yield_current_frame_to_caller()
        print 4
        frametop_before_7 = frametop_before_5.switch()
        print 6
        return frametop_before_7
    
    def f():
        print 1
        frametop_before_4 = g()
        print 3
        frametop_before_6 = frametop_before_4.switch()
        print 5
        frametop_after_return = frametop_before_6.switch()
        print 7
        assert frametop_after_return is None
    
    
    def entry_point(argv):
    	print "ahoj"
    	f()
    	return 0
     
    def target(*args):
    	return entry_point, None
    

    Tento program vypíše "ahoj" a pak čísla od 1 do 7 (uspořádaně). Jen je potřeba to přeložit Pypáckým translátorem do C. Ty výsledné divočiny se zásobníkym se provádějí až v céčku. Jenže v C byste si to asi netroufli naprogramovat, v Pythonu je to bezpečné :-).

    $ python translate.py --stackless --batch targetstack.py
    ...
    [translation] Done.
    $ ./targetstack-c
    ahoj
    1
    2
    3
    4
    5
    6
    7
    
    Přepínáním rámců to nekončí, je například možné vzít zásobník s běžícím výpočtem, zabalit a poslat dopočítat na jiný stroj - taková serializace říznutá kontinuací.        

    Hodnocení: 100 %

            špatné • dobré        

    Tiskni Sdílej: Linkuj Jaggni to Vybrali.sme.sk Google Del.icio.us Facebook

    Komentáře

    Vložit další komentář

    12.4.2007 22:20 outsider
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    Jsem jedinej, kdo netusi, k cemu by to mohlo byt dobry? Umi to aspon uvarit kafe?
    12.4.2007 22:32 paskma | skóre: 13 | blog: Paskmův blog
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    No ty korutiny a zelená vlákna se hodí, když si chceš naprogramovat MMORPG (čti: statisíce vláken, které je potřeba migrovat mezi stroji).
    13.4.2007 08:13 Hynek (Pichi) Vychodil | skóre: 43 | blog: Pichi | Brno
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    Hmm a co takhle na to použít erlang a máš to odladěné bezmála 20 lety v průmyslovém nasazení.
    XML je zbytečný, pomalý, nešikovný balast, znovu vynalézané kolo a ještě ke všemu šišaté, těžké a kýčovitě pomalované.
    13.4.2007 09:06 paskma | skóre: 13 | blog: Paskmův blog
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    Jo, erlang je sice robustní a masivní paralelismus zvládající, ale Python má tu výhodu, že je to obyčejný imperativní jazyk.
    13.4.2007 09:53 Hynek (Pichi) Vychodil | skóre: 43 | blog: Pichi | Brno
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    ... ale Python má tu výhodu, že je to obyčejný imperativní jazyk.
    A je to skutečně výhoda? V tom vidím jedinou výhodu, umí v tom kódit každej jouda.
    XML je zbytečný, pomalý, nešikovný balast, znovu vynalézané kolo a ještě ke všemu šišaté, těžké a kýčovitě pomalované.
    13.4.2007 11:07 paskma | skóre: 13 | blog: Paskmův blog
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    V podstatě jo :-). Znám spousty chytrých lidí, co nemají s Pythonem problém, ale o Erlangu v životě neslyšeli. Ne že by se chytří lidi nedovedli Erlang naučit, ale zkus si podat inzerát, že hledáš makáče na Erlang...
    13.4.2007 12:38 Ladicek | skóre: 28 | blog: variace | Havlíčkův brod
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    No a pak existujou lidi jako valeon :-))
    Ještě na tom nejsem tak špatně, abych četl Viewegha.
    13.4.2007 11:01 podlesh | skóre: 38 | Freiburg im Breisgau
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    Ty děláš něco s MMORPG v takovém měřítku?
    13.4.2007 11:05 paskma | skóre: 13 | blog: Paskmův blog
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    Nop. Já se snažím vyrobit model-checker :-)
    12.4.2007 22:32 Ladicek | skóre: 28 | blog: variace | Havlíčkův brod
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    Nad tímhle kódem začínám chápat, proč někteří lidé považují texty markýze de Sade za umění…
    Ještě na tom nejsem tak špatně, abych četl Viewegha.
    12.4.2007 22:35 paskma | skóre: 13 | blog: Paskmův blog
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    Tak to si ještě počkej. Příště napíšu o fork() na úrovni Pythoňáckých korutin. S tím pak jde dělat takový nechutný backtracking, že si člověk připadá jako v Prologu. :-)
    13.4.2007 00:55 Messa | skóre: 39 | blog: Messa
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    No a odkaz na vygenerovaný Céčkový zdroják? :-)
    13.4.2007 08:59 paskma | skóre: 13 | blog: Paskmův blog
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    Céčkový zdroják nic moc, je to stavový automat vygenerovaný z grafové reprezentace...
    long pypy_g_slp_entry_point(struct pypy_list0 *l_argv_0) {
            bool_t l_v12; bool_t l_v16; bool_t l_v6; long l_v17; long l_v18;
            long l_v4; struct pypy_object0 *l_v3;
            struct pypy_object_vtable0 *l_v15; struct pypy_object_vtable0 *l_v2;
            struct pypy_object_vtable0 *l_v5;
    
        block0:
            l_v4 = pypy_g_entry_point(l_argv_0);
            l_v5 = (&pypy_g_ExcData)->ed_exc_type;
            l_v6 = (l_v5 == NULL);
            if (!l_v6) {
                    goto block3;
            }
            goto block1;
    
        block1:
            /* kept alive: l_argv_0 */ ;
            l_v18 = l_v4;
            goto block2;
    
        block2:
            RPY_DEBUG_RETURN();
            return l_v18;
    
        block3:
            l_v3 = (&pypy_g_ExcData)->ed_exc_value;
            l_v2 = (&pypy_g_ExcData)->ed_exc_type;
            (&pypy_g_ExcData)->ed_exc_value = ((struct pypy_object0 *) NULL);
            (&pypy_g_ExcData)->ed_exc_type = ((struct pypy_object_vtable0 *) NULL);
            /* kept alive: l_v3 */ ;
            /* kept alive: l_argv_0 */ ;
    
    
    13.4.2007 09:08 paskma | skóre: 13 | blog: Paskmův blog
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    BTW: Jediný důvod, proč je v Adě goto je ten, že by ho mohli ocenit generátory kódu :-)
    13.4.2007 08:18 Tom.š Ze.le.in | skóre: 21 | blog: tz
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    Výborně, je to jistě krok správným směrem. I když mi přijde zbytečné mluvit pořád o tom zásobníku. Pokud to má být konsistentní, tak by to mělo fungovat i když se f i g inlinují (i když nevím, jestli to v Pythonu jde) a žádný zásobník ve hře není (a, popravdě řečeno, bych od "sufficiently advanced" kompilátoru očekával, že to vystreamlinuje do print 1...print 7 během kompilace). Nebo to je opravdu implementačně závislé na manipulace se zásobníkem v C a s "pravými" kontinuacemi to nepracuje?
    13.4.2007 09:35 Kyosuke | skóre: 28 | blog: nalady_v_modre
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    Hmm, a co aspoň takhle ocenit, že si aspoň někdo po všech těch letech (kromě smalltalkerů a lisperů, samozřejmě :-)) všiml, že není třeba se omezovat na lineární zásobník? ;-)

    (Mimochodem, to mi připomíná...prosím Tě, jak že to děláš s Lispem ve Vimu? Pořád nějak nemůžu přijít na to, jak lidsky hackovat závorky v tom modálním zázraku. :-))
    13.4.2007 10:59 Tom.š Ze.le.in | skóre: 21 | blog: tz
    Rozbalit Rozbalit vše OT - lisp ve vimu

    Vždyť jsem to v první větě ocenil. A v seznamu chybí forthisti - ti se omezují na dva zásobníky :)

    Asi nadešel čas na coming out. Pro psaní v lispu jsem přešel na emacs... po tuctu let s vimem. Pořád to ještě bolí, a ostatní věci dělám ve vimu, ale je to schizofrenní. Slime je slime. Zkoušel jsem kde co - konfiguraci vimu, propojení clispu a vimu přes readline mapování kláves, různé doplňky (vim+ecl a slim-vim), viper, ale prostě to není ono.

    13.4.2007 11:27 Kyosuke | skóre: 28 | blog: nalady_v_modre
    Rozbalit Rozbalit vše Re: OT - lisp ve vimu
    Ksakru, a já se těšil, že mě konečně naučiš, jak že to efektivně děláš s Lispem ve Vimu a ono takhle. :-) Možná by to chtělo, až bude použitelný Climacs, v něm reimplementovat Vim - ale celý, ne jen nějakou náhražku. Já se přiznávám, že jsem taky schizofrenní. Nu což, co se dá dělat. :-)
    13.4.2007 12:18 deda.jabko | skóre: 23 | blog: blog co se jmenuje "každý den jinak" | za new york city dvakrát doleva a pak už se doptáte
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    huh, pekna prasarna... ale dokazu ocenit ty kouzla... i kdyz fakt se s tim lip pracuje, kdyz je to prirozeny konstrukt jazyka, nez kdyz se explicitne hrabe na zasobnik.... btw. v jave 7 se uvazuje o implementaci kontinuaci... takze takoveto pokusy na realnych jazycich nejsou vubec od cesty....
    Asi před rokem se dostali hackeři na servry Debianu a ukradli jim zdrojové kódy.
    13.4.2007 14:14 Hynek (Pichi) Vychodil | skóre: 43 | blog: Pichi | Brno
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    Teda, když to srovnám s tímhle v erlangu:
    -module(switch).
    -export([start/0]).
    -define(print(X), io:format("~p~n", [X])).
    -define(switch(X), X ! switch, receive switch -> ok end).
    
    g() ->
    	?print(2),
    	F = receive PID when is_pid(PID) -> PID end,
    	?switch(F),
    	?print(4),
    	?switch(F),
    	?print(6),
    	?switch(F).
    
    f() ->
    	?print(1),
    	G = spawn(fun g/0), G ! self(),
    	receive switch -> ok end,
    	?print(3),
    	?switch(G),
    	?print(5),
    	?switch(G),
    	?print(7),
    	G ! switch,
    	ok.
    
    start() ->
    	io:format("ahoj~n"),
    	f().
    Tak je to celkem nic moc ten python a to se to ještě musí přeložit a spustit jinak než obvykle, rozuměj taky zkompilovat. Přičemž zkompilovat v erlangu znamená:
    > c(switch).
    {ok,switch}
    > switch:start().
    ahoj
    1
    2
    3
    4
    5
    6
    7
    ok
    >
    
    XML je zbytečný, pomalý, nešikovný balast, znovu vynalézané kolo a ještě ke všemu šišaté, těžké a kýčovitě pomalované.
    14.4.2007 11:04 paskma | skóre: 13 | blog: Paskmův blog
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    Hm, pěkné. Ale já jsem neříkal, že Python přináší něco unikárního. Kontinuace jsou ve funkcionálních jazycích normálka. Akorád že tohle je skoro-mainstreamový Python a navíc to jde přeložit do céčka.
    16.4.2007 08:23 Hynek (Pichi) Vychodil | skóre: 43 | blog: Pichi | Brno
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    ... Kontinuace jsou ve funkcionálních jazycích normálka. ...
    Na tom je vtipné, že v erlnagu kontinuace nejsou. Krom toho, kdykoliv narazím na problém s kontinuací, vždy bych se zamyslel, jestli to není chyba designu a nakonec je tu vždy možnost řešit to jako v erlangu thready, ale to musí být aspoň tak tenké jako v erlangu. V podstatě je to takový syntaktický cukr, akorát, že zatraceně sladký a i výkonostně jsou kontinuace trochu jinde než thready byť erlangovsky výkonné.
    XML je zbytečný, pomalý, nešikovný balast, znovu vynalézané kolo a ještě ke všemu šišaté, těžké a kýčovitě pomalované.
    14.4.2007 10:54 Ondrej 'SanTiago' Zajicek
    Rozbalit Rozbalit vše Re: Zásobník nadivoko
    No a pomoci call-with-current-continuation se da docilit toho sameho a navic mnohem elegantnejsim zpusobem.

    Založit nové vlákno • Nahoru

    ISSN 1214-1267   www.czech-server.cz
    © 1999-2015 Nitemedia s. r. o. Všechna práva vyhrazena.