Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-09-13

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
03:48 xstill joined #divine
04:23 xstill joined #divine
06:41 xbarnat joined #divine
06:42 xbarnat compact.test.h:16:51: error: unable to deduce ‘auto’ from ‘<expression error>’
07:10 xstill xbarnat: je možný, že jsem testy rozbil, mrknu na to
07:11 xstill hm, já jsem totiž vyhodil mrtvej kód jenže on se v testech používal
07:16 xstill poslal jsem patch
08:10 mornfall jo no, je to komplet červený :-P
08:10 mornfall už to tam tlačím
08:17 xstill jo ještě bych mohl vypnout compact v SMALL
08:31 xstill máme nějaký problém s manifestem: https://divine.fi.muni.cz/hydra/jobset/paradise/manifest-next#tabs-errors
08:40 mornfall no jej
08:49 mornfall no, pushnul jsem něco na github, třeba to pomůže :)
09:59 xstill hm, je to pořád rozbitý ale jinak
10:01 mornfall vím o tom
10:04 mornfall rozbitá je teda antea, takže to bude někde v její konfiguraci
11:38 mornfall v examples/llvm je taky pěknej mrdník zase jednou
11:38 mornfall a na pthread userspace nemáme žádný rozumný testy
11:38 mornfall je to kříž
11:42 mornfall xstill: proč máme gcc_compact aj gcc_compaction? :) to je lehce matoucí
11:43 mornfall a obojí mají name = "compaction"
11:43 xstill protože gcc_compaction je hash compaction
11:43 xstill o protože mě nenapdlo to měnit
11:43 mornfall :D
11:43 mornfall asi gcc_hashcompact nebo tak něco
11:43 xstill aha sorry, já jsem zkopíroval expression a nezměnil jméno
11:43 xstill předělám
11:44 xstill sem si toho nejšiml vůbec
11:44 mornfall já uvažuju jestli existuje lepší jméno pro ten algoritmus
11:46 xstill možná by to chtělo ;-)
11:46 mornfall divine gen-explicit? divine generate? (a možná dcess -> dess?)
11:46 mornfall ono na tom formátu není nic moc kompaktního
11:46 mornfall explicitní grafy se zhruba takhle reprezentujou odjakživa
11:46 xstill hm, no není to matice, ale to je asi celkem jasná věc
11:47 xstill divine generate se mi asi líbí víc
11:48 xstill ok tak já to přejmenuju
11:53 xstill nicméně ten formát bych asi dal do složky divine/explicit a generátor grafu bych taky nazval explicit asi
11:54 xstill i když potom by zase dávalo větší smysl aby se ten algoritmus jmenoval gen-explicit...
12:11 mornfall :)
12:35 xstill sakra nemůžu mít namespace explicit, ani proměnou explicit :-(
12:35 mornfall zrada
12:36 mornfall je to klíčový slovo no
12:36 xstill to teda
12:43 xstill hm, jsem se tak radoval že už nemáme warningy a oni zajím byli jen vypnuté
12:44 mornfall :D
13:00 xstill jak moc mám ty patche dělit?
13:02 mornfall přiměřeně :-)
13:03 xstill to jsi mi pomohl :-D
13:04 mornfall kdykoliv :D
14:03 spito joined #divine
14:54 mornfall hm, to gdb je úplně k ničemu
16:03 xstill "V idealnim pripade by meli studenti chodit na cviceni pripraveni, tj. znat
16:03 xstill zakladni definice, vety, algoritmy. Idealni pripad nenastava." :-D
16:03 xstill to je fakt
16:39 mornfall jo, no
16:51 xstill fuj SVN, proč fakulta nemůže podporovat něco jiného
16:55 xstill hej v TeXu v NixOSu je vlna :-)
16:59 mornfall je, no :)
17:00 mornfall a má manuál plnej špatný anglický gramatiky :D
17:18 mornfall hm, koukám že TLS v našich pthreadech je úplně blbě :-)
17:26 xstill jakto?
17:27 xstill hm, přístup k TLS je další co by se dalo verifikovat
17:28 mornfall ah, není to až tak zlý
17:31 xstill hm, nevyžaduje TLS (alespoň tak jak je v C++11) podporu backendu?
17:31 mornfall ne nutně
17:31 mornfall co konkrétně myslíš?
17:34 xstill static thread_local X y; nebo tak něco by mělo být
17:35 mornfall to vygeneruje volání do pthread knihovny, klidně
17:35 xstill otázka teda je na co to kompilátor přeloží
17:35 mornfall ono už teď se static X y; překládá na pthread_once nebo něco takovýho
17:35 xstill taky fakt
17:35 xstill zajímavý
17:37 xstill nojo ono jinak by se asi konstruktor volal dost špatně
18:19 xstill mornfall: ještě jsi ty patche neposlat?
18:19 xstill mornfall: jestli ne tak počkej
18:20 xstill nevím jak se mi to povedlo ale je tam syntax error v definitions
18:22 xstill zdá se že jsem zapoměl na poslední rebuild
18:25 mornfall zatím ne
18:26 mornfall teda ty přejmenovávací ne
18:26 xstill jo ty
18:27 xstill jo máš tam nové, ty už snad jsou v pořádku
18:27 mornfall teď něco přišlo
18:28 mornfall jo :)
18:29 xstill nechápu jak se mi to povedlo, ale chyběla mi tam půlka řádku...
18:29 mornfall specifying se píše s y :) (pushnu to jak to je, to jen tak pro budoucnost)
18:31 xstill sakra, měl bych používat spellcheck
18:33 mornfall jinak teda ten flip_coin bych radši viděl jako test než jako example :) dáme to Jiříkovi za úkol nebo tak něco
19:09 mornfall src/c++11//debug.cc:527:6: error: static_cast from 'const char *' to 'int' is not allowed
19:09 mornfall ten náš assert furt není moc dobře :-P
19:09 mornfall nemělo by to být __divine_assert( x != 0 )?
19:35 mornfall xstill: koukni se do usr-pthread.cpp na ř. 129
19:36 mornfall a zkus mi vysvětlit co tímhle memcpy chtěl autor říct :D
19:40 xstill no nevím, a nevím proč jsou tam dvě verze
19:40 xstill a ten komentář na 127 je taky mimo
19:40 xstill navíc teda static_cast< void * > je zbytečnost
19:41 mornfall no, co static_cast, ale co je v něm
19:41 mornfall &new_ptr
19:41 xstill ah :-D
19:41 xstill jsem slepej
19:41 mornfall hustý ne :)
19:42 xstill proto ten static_cast, protože to nefungovalo
19:42 mornfall to je dobrej NEW_INTERP_BUG ...
19:42 xstill navíc hlavně ten for jde napsat na 1 řádek pomocí std::copy
19:43 mornfall no, to bylo zase psaný asi v době kdy jsme žádný std:: neměli
19:44 xstill já měl za to, že to jsou Milanovi funkce
19:44 mornfall -y, a jo, jsou, ale jsou už docela dlouho
19:45 xstill ah, jasný už mi to došlo
19:46 xstill a my nemáme realloc jako takovej?
19:46 mornfall je možný že nemáme
19:49 xstill asi máme
19:49 mornfall divine/llvm/usr-glue.cpp:void *realloc( void *ptr, size_t size ) throw() { __divine_assert( 0 ); return 0; }
19:50 mornfall cojávim :]
19:50 xstill jo právě jsem to našel
19:50 xstill to by nemělo být těžký napsat ne?
19:50 mornfall nemělo
19:50 mornfall kdyby tam to memcpy bylo dobře tak to je v podstatě realloc
19:52 xstill tak on v podstatě on může vždycky alokovat, tím se to zjednodušuje
19:52 xstill protože chování realloc standard asi negarantuje
19:53 mornfall no, realloc musí mít možnost to přesunout, vždycky
19:53 xstill tak já to napíšu
19:57 xstill co dělají ty trace?
19:57 mornfall nic
19:57 mornfall žádný trace není :)
19:57 mornfall kdysi byl
19:57 xstill :-D
19:58 xstill hm, ono to není tak triviální protože potřebuju zjistit starou velikost toho pointru
19:58 mornfall ah, pravda :)
19:58 mornfall to je až tak netriviální že to nejde
19:59 xstill nejde protže na to není interface předpokládám
19:59 xstill protože interpreter to ví ne?
19:59 mornfall interpret to ví, ale nepoví, no
20:01 xstill chceš to do tracu?
20:01 mornfall asi jo
20:01 mornfall já mam hroznou averzi přidávat __divine_* fce
20:01 mornfall takže si musim rozmyslet jestli to vůbec dělat tak
20:01 mornfall nebo to řešit v userspace malloc-u
20:02 xstill jasný, jen mě nenapadá jak to udělat jinak -- trac dám na realloc
20:02 mornfall no, můžeš v mallocu přidat 4 k velikosti, na začátek objektu uložit velikost a vrátit pointer + 4
20:02 mornfall a realloc si to pak přečte před pointrem
20:02 mornfall jen to máš 4 bajty na alokaci navíc
20:03 xstill právě
20:05 xstill hm, ten komentář /* includes */ na začátku usr-cstdlib.cpp je taky dobrej
20:05 mornfall už tam není, neboj :-)
20:06 mornfall jen musím všechno zarecordovat
20:07 xstill ten komentář mi připomíná základní kurz javy
20:09 mornfall tak to je jasný, typickej javista by bez komentáře nepoznal kde začínaj importy
20:12 xstill hm, nedal by se u koncovýho stavu protipříkladu vyblít celej call stack?
20:12 mornfall to je žel docela k ničemu
20:12 mornfall protože ten callstack tam je zrovna dost prázdnej :-)
20:13 mornfall tena jak kdy
20:13 mornfall teda*
20:13 xstill no u assertu ne
20:13 xstill a někdy není jasné kde k němu došlo
20:13 xstill zvlášť když je v internal, redukce je dost efektivní
20:13 mornfall problém je, že ten assert je flag
20:14 mornfall a jede se dál, takže ten backtrace může být už o kus dál než ten assert tripnul
20:14 mornfall teď jsem vygeneroval hranu na který bylo asi 8 bad dereference a dva asserty
20:15 mornfall ono by to chcelo ten interaktivní debugger
20:15 xstill aha, a při tom flagu se nemůže ukončit stav, protože to nemusí nikoho zajímat...
20:15 xstill jaký debugger?
20:15 mornfall kde by člověk mohl dělat jak smallstep tak bigstep :)
20:15 mornfall no, hlavně se nemůže ukončit stav protože to může být uprostřed atomický sekce
20:16 mornfall alternativa by byla kdyby assert vždycky zabil program
20:16 mornfall no, nějakej divine debugger :-]
20:18 xstill :-)
20:41 xstill hm, zase blbě
20:42 xstill ten explicit.cpp nemá makra na vypnutí
20:43 xstill proč sakra musím patche posílat na dvakrát
20:46 xstill jak mi najednou může chybě std::ceil když jsem includy neměnil
20:48 xstill sakra to jsem nechtěl poslat
20:53 xstill spito bude mít dneska veselo
21:43 mornfall hm, s tím cmath jsme zdá se vyrobili kolizi

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary