Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-05-26

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

All times shown according to UTC.

Time Nick Message
08:08 Erbu joined #divine
08:26 xstill mornfall: díky
08:35 Erbu bré ráno
09:18 spito joined #divine
10:25 mornfall hh
10:28 mornfall xstill: Máš tam ICE, zdá se.
10:28 xstill sakra, ještě pořád...
10:29 xstill podívám se na to
10:29 mornfall j, dík
10:29 mornfall hydra je dost nespokojená totiž
10:52 xstill mornfall: já jsem s gcc 4.7.2 udělal make all bez problému
10:52 xstill není nějaký problém v hydře?
10:52 mornfall no, padá to úplně konzistentně
10:52 mornfall [ 93%] Building CXX object divine/CMakeFiles/divine-test.dir/divine-test-generated-_tmp_nix-build-divine-minimal-2.96+pre3765.drv-0_divine-2.96+pre3765_divine_graph_visitor.cpp.o
10:52 mornfall Internal compiler error: Error reporting routines re-entered.
10:53 xstill hmm
10:53 mornfall jdu to zkusit lokálně
10:53 xstill nainstaluji si stejné gcc a uvidím
10:54 mornfall no, je spíš možný že máš jiný flagy
10:54 xstill no já nixovej build nezreprodukuju stále...
10:55 xstill kdyby tam alespoň byla přesnější specifikace kde je problém
10:55 mornfall jo, to by dost pomohlo :) ale gcc zarytě mlčí
11:00 xstill sakra nemůžu přeinstalovat gcc v nixu protože mám kolizi mezi as-em z clangu a gcc
11:01 mornfall hm, můžeš dočasně odinstalovat clang asi
11:04 xstill nějak se mi podařilo nastavit priority, třeba to bude fungovat...
11:04 xstill mornfall: poč má hydra zároveň flagy -DCMAKE_BUILD_TYPE=Release i -DCMAKE_BUILD_TYPE=RelWithDebInfo
11:05 xstill ?
11:10 mornfall hm
11:10 mornfall divné :)
11:17 mornfall aha, to Release tam asi dává nix automaticky
11:17 mornfall a to druhý má přednost
11:21 xstill a proč děláme RelWithDebInfo a ne Release? (je to mainline-release)?
11:21 mornfall no, protože to generuje stejnej kód ale máš tam debuginfo?
11:21 mornfall takže když to spadne tak z toho dostaneš aspoň backtrace...
11:22 xstill ok, to to dává smysl
11:25 xstill už to spadllo
11:27 mornfall super :-)
11:28 xstill ale získal jsem tím asi tak 0 informací navíc
11:28 mornfall no, koukal bych po nových lambdách
11:28 xstill teda vyblilo to na mě spoustu warningů z MPI
11:29 xstill jo podívám se, ale nejsem si vědom toho, že bych nějakou přidával do stestu
11:29 mornfall no, to bude spíš v headeru
11:31 xstill navíc teda ten ICE s lamdbou alespoň řekl, že chyba je v lambdě, to tady nevidím...
11:32 mornfall pravda
11:32 mornfall ale s 4.7.2 to nepadá ani tady
11:33 xstill to je super
11:33 xstill existují asi tak 2 verze kompilátorů, které umějí zkompilovat divine
11:34 mornfall a když tomu dáš -w tak to spadne taky?
11:35 mornfall hlásí v tom souboru clang nějakej warning?
11:35 xstill pokud vím tak ne, ale příjde mi, že můj clang všebecně warningy moc nehlásí
11:35 xstill skusím -w
11:38 mornfall aha já su idiot taky :D
11:38 mornfall jsem napsal make divine misto make unit
11:38 mornfall ale i to prošlo
11:39 mornfall /home/mornfall/dev/divine/mainline/divine/toolkit/parallel.h:233:5: предупреждение: base class «struct divine::WithID» should be explicitly initialized in the copy constructor [-Wextra]
11:39 mornfall nemůže to být tohle?
11:41 xstill hmm, nevím jestli jsem v tomhle ohledu něco měnil ale podívám se na to
11:47 xstill mornfall: s -w to jede ale když inicializuje WithID tak to taky jede
11:47 mornfall :-)
11:47 mornfall už jsem to tady změnil
11:47 mornfall pushuju
11:47 xstill ok
11:48 mornfall dafuq ... darcs-monitor: error while loading shared libraries: libgmp.so.10: cannot open shared object file: No such file or directory
11:48 mornfall co jsem zase změnil :-)
11:49 xstill jakto, že se ti to stalo když máš nix?
11:49 mornfall no to se stalo na anně, a darcs-monitor je asi někde v ~/bin
11:49 xstill aha
11:50 xstill mornfall: provedl jsi něco ošklivého tracu, říká, že se nemůže dostat k tvému repozitáří
11:51 mornfall :-)
11:53 mornfall GC sežralo libgmp
11:53 mornfall achjo, zrovna dneska :-P
11:58 mornfall tak nebudou chvíli chodit maily
11:59 mornfall a na trac jsem teda úplně zapomněl, nevim co s ním
11:59 mornfall obávám se že se rozjedou čísla commitů
12:01 mornfall nebo možná to bude fungovat jak to je
12:01 mornfall práva jsem opravil
12:01 mornfall a pro divine jsem dneska už mrtvej, mám bohužel jinou práci ...
12:11 xstill já to tady ohlídám, jinak nevím jestli jsi měl v plánu přijet zítra ale já mám od 14 do 16:30 zkoušku z návalu a spito počítám taky.
12:28 mornfall uvidíme
12:28 mornfall možná to přesuneme na středu
12:28 mornfall nebo něco
12:37 Erbu další divine coding marathon?
12:38 mornfall marathon by to bylo kdyby to trvalo týden :D
12:38 Erbu tak sprint
12:57 spito xstill: jo, mám zkoušku
12:57 spito už ses na to koukal?
12:57 xstill záleží na definici koukání se ;-)
12:58 xstill nějak se nemůžu motivovat, raději bych programoval
12:59 spito hehe, to znám
13:00 spito proč myslíš, že jsem chytnul E z Pelikána?
13:02 xstill má na tvůj prospěch divine negativní vliv? ;-)
13:04 Erbu :D
13:04 Erbu Taky bych radši programoval než psal text
13:14 spito spíš bych řekl, že práce má negativní vliv
13:58 xstill hej proč jsou v divine/CMakeLists.txt vypnuté některé warningy?
13:59 mornfall dobrá otázka
13:59 xstill já se potom divím, že je nevidím
13:59 xstill mornfall: vyhodím ty -Wno-* a pošlu to jako patch
14:00 xstill to je asi kvůli release 3.0 ale teď už by to mělo být zase zapnuté
14:01 mornfall nemyslím že by to bylo
14:01 mornfall to tam už je dva roky :)
14:02 xstill "sranda" je že gcc to nějak moc neovlivňuje
14:02 xstill stejně bych to zapnu;
14:03 mornfall jo to asi jo
14:04 mornfall ono to má vliv jen na .cpp soubory v divine/
14:04 mornfall i když těch je taky dost
14:04 mornfall cojávim :)
14:04 xstill to je většina kompilace (algoritmy)
14:07 xstill taky to podle toho vypadá...
14:59 spito ha, bittuple je na světě :)
15:19 spito LockableBitTuple je na světě
15:37 xstill :-) tobě se asi fakt nechce učit nával co?
15:38 xstill (mě taky ne)
15:38 spito ne
15:38 spito ale ty šablony jsou fakt pěkný peklo
15:39 mornfall sám seš peklo :-)
15:40 spito http://pastebin.com/YbpT04tS
15:40 spito zatím to umí jenom položky do velikosti 8 bytů
15:41 spito a nevím, jestli by bylo dobrý umět rozložit BitTuple vevnitř....asi ne
15:41 mornfall wtf
15:42 spito to je na ten kód?
15:43 mornfall :-) jo no :-)
15:43 spito co se ti nelíbí?
15:43 mornfall asi jsem úplně nečekal že to bude takhle složitý
15:44 spito tak jediná magie je přístup na bity
15:44 spito jinak je to celkem jednoduchý
15:44 spito jo a umí to jenom jednoduchý typy
15:44 xstill to je nějaká strašná magie
15:45 spito ?
15:46 spito řádky 152-165 popisují, jak se to používá
15:47 mornfall proč si *reinterpret_cast< MemoryItem * >( x ) nějak civilizovaně nepojmenuješ?
15:47 mornfall stejně tak TI::offset % 8, TI::offset / 8, etc.
15:47 spito tak tohle je nástřel
15:47 mornfall OK :)
15:48 spito ale použití je pak celkem snadné....a intuitivní, doufám
15:48 mornfall bylo by dobrý pak umět aj BitTuple< BitField< ... >, BitTuple< ... >, BitField< ... >, ... >
15:49 spito jo, to zatím nevím, jak udělat
15:49 mornfall stačí aby BitTuple měl (bit)length
15:49 spito musí se vejít do 8 bytů
15:50 mornfall to budeš muset vyřešit jinak no :-)
15:51 mornfall já bych ten storage řešil jako uint32_t a[ bitsize / 32 ]; uint8_t b[ (bitsize % 32) / 8 ] asi
15:52 mornfall co se stane když teď uděláš BitTuple< BitField< uint64_t, 63 >, BitField< uint64_t, 63 > >?
15:52 xstill proč chceš storage dělat po 32 bitech?
15:53 mornfall xstill: to je jedno, jde o princip
15:53 xstill jen mi to přišlo divný
15:53 mornfall proč?
15:53 xstill protože je to zbytečné kratší než slovo běžného procesoru
15:54 mornfall xstill: když tam dáš 64b tak všechny bittuply menší než 64b budou přistupovat po bajtech
15:54 mornfall to taky není úplně win
15:54 mornfall a programovat se s celou kaskádou je taky nic moc
15:54 xstill ok
15:55 spito mornfall: co by se mělo stát?
15:55 spito normálně to funguje
15:56 spito sežere to 16 bytů
15:56 spito a samozřejmě to nezarovnává
15:59 spito mornfall: já se chtěl při přístupu vyhnout cyklům
15:59 spito protože ty to budou zpomalovat řekl bych
15:59 mornfall spito: no, protože ten druhej bitfield je rozhozenej přes 9 bajtů
16:00 mornfall tak by mě zajímalo jak to může fungovat
16:00 spito i když....optimalizace by je mohly rozhodit, protože tam je snad všechno staticky spočítatelný
16:00 spito mornfall: proto je při vkládání i čtení podmínka
16:01 mornfall aha, proto je tam ten kód nakopírovanej 2x
16:01 mornfall :D
16:01 spito tak nějak, ale jsou tam jiné posuny
16:02 mornfall cyklus tam klidně napiš, branch prediction to zvládne
16:02 mornfall i kdyby tam ve výsledku byl
16:02 mornfall co není úplně pravděpodobné
16:02 spito teď ale ne
16:02 mornfall :-)
16:02 spito (to jenom, aby bylo vidět, že občas i něco málo udělám)
16:02 mornfall snad se nejdeš učit? :)
16:02 spito btw máš pocit, že to na C++ kurzu někdo zvládne?
16:03 spito :P
16:03 mornfall tak já si furt myslim že ta výsledná implementace bude jednodušší
16:04 mornfall všechny shifty a blity se schovají do jednoho bitshiftovanýho memcopy ne?
16:04 spito jo, to je možný
16:04 mornfall a ta šablonová struktura není zas tak zničující
16:04 mornfall někdo by to dát mohl, snad :-)
16:15 xstill hmm je nějak rozbitý zeno.xml na mapu s NTree, a to od včera.
16:16 mornfall to jsem nebyl já... ;-)
16:17 mornfall ale compression buildy jsou v hydře zelený?
16:17 xstill no protože jsou bez timed...
16:17 xstill takže to schytal jen full
16:17 xstill jsem si toho taky nevšiml, protože jsme měl timed vypnutý
16:18 xstill a hydra nějak time-outuje
16:18 mornfall používej raw log, než to ten pretty upočítá tak to nginx vzdá
16:19 xstill :-)
16:20 mornfall to vypadá na docela zábavnej bug
16:20 xstill začalo to failovat přesně po tom mém MPI
16:20 mornfall já mam zase rozbitý compile --llvm na 32b
16:20 mornfall ale to budu řešit ... nevím, snad v úterý
16:55 xstill ještě že už aura obvykle idlí :-)
16:56 mornfall jo, konec deadlinů, nikoho to nezajímá :-)
16:56 mornfall takže můžem vesele benchmarkovat
16:57 xstill jo, bohužel zkompilovat tam llvm se zdá momentálně dost nemožné
16:59 mornfall wieso?
17:00 xstill protože ty binutils co jsem tam udělal nějak nefungují, zdá se
17:00 mornfall to je ovšem zrada
17:00 xstill asi zkusím přenést tam bytecode od sebe
17:00 mornfall jo to by mělo zabrat
17:00 xstill teď se mi to nechce až tak zkoumat
17:00 mornfall teď už máš stejný llvm ne?
17:01 xstill snad jo
17:01 mornfall měl bys napsat na unix@ že tě to už fakt prudí a ať se nějak rozmyslí :D
17:05 Erbu xstill: budeš dělat dneska nějaké benchmarky kolem 4. ráno? :)
17:05 xstill Erbu: pokud potřebuješ měřit můžu všechno zastavit klidně hned, je to jen takový pokus.
17:06 Erbu xstill: nn, až v noci budu měřit :) pokud to stihnu
17:06 mornfall co chceš měřit vlastně? :)
17:06 Erbu nový vs. starý interpret
17:06 mornfall ah :-)
17:06 mornfall to su fakt zvědavej no
17:06 mornfall to náš benchmarker už asi nepobere
17:07 Erbu je třeba na auře dělat nějaká harakiri na zkomilování mainline a 2.5.2?
17:07 mornfall no, potřebuješ sehnat nějaký fungující GCC
17:07 mornfall jinak asi ne, pokud vypneš LLVM
17:08 Erbu 4.7/4.8 na mainline a 4.6 na 2.5.2
17:08 mornfall timed
17:08 mornfall a tak
17:08 mornfall 4.8 bych nedoporučoval :D
17:08 mornfall i když
17:08 mornfall bez LLVM by to mohlo fungovat
17:08 Erbu teď ji používám na služebním noťasu
17:08 mornfall ale na execution.cpp má nepříjemnou tendenci se zacyklit
17:08 xstill Erbu: na auře je fungující modul gcc 4.7.2
17:08 Erbu xstill: supr, thx :)
17:08 Erbu mornfall: celkem tam vychytali to hlášení chyb
17:08 xstill a jsou tam i nějaký starší ale ty jsem nedělal já
17:09 mornfall Erbu: Já používám clang...
17:09 Erbu mornfall: ten jsem nezkoušel... v Debianu není default, a GCC funguje, tak jsem zatím neměl potřebu
17:10 Erbu mornfall: podíval by ses mi prosím na první dvě kapitoly diplomky?
17:11 mornfall není úplně nejvhodnější doba, ale můžu to prolítnout
17:11 Erbu jenom jestli máš čas :) díky
17:12 mornfall každopádně mi je budeš muset nějak doručit :-P
17:12 mornfall jestli je mám číst
17:14 Erbu mornfall: anna:/home/xkriho/diplomka.pdf
17:15 mornfall it's -> its poslední věta abstraktu :-)
17:15 Erbu to tam mám víckrát, přepíšu to :)
17:16 mornfall hm, asi bych se vyhnul pojmu meta-modelling
17:17 mornfall protože to znamená něco jinýho než myslíš
17:17 mornfall (co sice nikdo neví, ale určitě to není tohle :D)
17:17 Erbu aha. Co bys dal místo toho? :D
17:18 mornfall to nevím, něco :-)
17:18 Erbu model parametrization elements třeba?
17:18 mornfall model templates
17:18 mornfall nebo
17:20 mornfall high-level to dává smysl
17:20 mornfall dvě věci -- až budeš blíž popisovat DVE, tak to navaž na tu Kripke strukturu
17:20 mornfall a, odevzdáváš už zítra? :)
17:20 Erbu jj, to s Kripke strukturou mám v plánu
17:21 Erbu doufám, že to stihnu
17:21 mornfall to bude perných 14 hodin ;-)
17:22 mornfall no nic, gl, jdu cvičit než bude zase noc
17:22 Erbu jj. Už mám připravenou většinu obrázků, a zbytek je hlavně popis kódu
17:22 Erbu díky moc
17:22 xstill spito: co se stane shared tabulce až bude mít velikost 4G položek a realokuje se?
17:22 spito Erbu: to ještě nemáš napsaný?
17:23 spito nic, pojede dál
17:23 Erbu spito: nj, programování zabralo trochu víc času :)
17:23 xstill to je dobře, očekávám že v tomhle testu k tomu dojde.
17:24 spito xstill: ono to umře buď, když přetečeš počítadlo, tj 62. realokace, nebo pokud ti systém nedá paměť
17:24 spito tak, vyzkoušej to, a uvidíš
17:24 spito xstill: ale on to je normální vektor
17:25 xstill :-) to je dobré, a co hash, nezníčí se to úplně tím, že je jen 32 bit? Ale asi ne když je tam kvadratic probing.
17:25 xstill musím předělat statistiky na
17:25 xstill 64bit
17:32 spito xstill: zničí
17:32 spito nebude se to umět naadresovat
17:33 xstill hmm, to je nemilé
17:34 spito tak, můžu to předělat
17:35 xstill v čem je tam problém?
17:39 spito v indexaci
17:39 spito metoda index
17:39 spito pošlu patch
17:41 xstill jo ono je to unsigned
17:49 spito xstill: čím to překládáš?
17:49 spito v debug módu máš mrtě warningů v assertech
17:49 spito Erbu: a ty taky :P
17:50 xstill no clangem, nepushnum Mornfall ten patch co zapne warningy?
17:50 Erbu spito: já je přes ten valgrind nevidím O:-)
17:51 xstill je jich tam moc... vím o nich
17:52 spito Erbu: kompiluješ přes valgrind?
17:52 Erbu spito: ne, gccčkem
17:52 Erbu ale ty pooly to dělají
17:52 xstill spito: jakej by mělo smysl kompilovat přes valgrind?
17:53 spito právě, taky jsem si říkal....
17:55 xstill miliarda stavů za hodinu v timed, to celkem jde :-)
17:56 xHire joined #divine
18:05 mornfall xHire: brývečer?
18:05 xHire dobrý :c)
18:05 xHire odchytáváte nově příchozí, koukám :-D
18:06 xHire (no, taky to dělám, když je na kanále lidí počet menší, než je prstů na ruce, ale zpravidla to nestihnu)
18:06 mornfall já se omylem zrovna vrátil k počítači
18:07 spito mornfall: něco jsem poslal
18:07 mornfall něco přišlo, ale od Vláďu :D
18:07 spito něco přijde i ode mě
18:08 mornfall soon
18:08 xstill mornfall: to už je nějakou dobu to moje
18:08 xstill ale bude další
18:08 mornfall :-)
18:08 spito mornfall: většina je oprava warningů
18:09 mornfall doufám že pragma gcc funguje s clangem... :-)
18:09 spito jo, proč jsi neposlal můj patch, co upravoval dummy generátor?
18:09 spito mornfall: vzhledem k tomu, že tam tahle pragma už je jinde v kódu
18:09 mornfall protože jsem zlej :-)
18:09 spito a nikdo si nestěžoval....
18:09 spito mornfall: to není důvod
18:10 mornfall xHire: a kdo teda jsi a co nabízíš? ;-)
18:10 mornfall spito: je :-)
18:10 mornfall spito: já bych to pak zase musel upravovat dolů kdybych si to chtěl pustit jako test
18:10 mornfall spito: když to musí být, tak tu konstantu liftni do cmake-u
18:11 spito mornfall: tak to jsem ještě nedělal :D
18:11 mornfall spito: všechno musí být někdy poprvé
18:11 xstill spito: nejjednodušší je asi nadefinovat si to jako C makro
18:11 spito nenene
18:11 spito třeba travka, herák, perník, hašiš...ty nemusí být ani poprvé
18:11 xstill jen nevím jak se mu v cmake nastavuje hodnota
18:12 mornfall xstill: add_definitions( něco=${něco} )
18:12 mornfall možná -Dněco=${něco}
18:13 xHire mornfall: budu stavět rozsáhlejší a poměrně dost roztříštěný (co se vláken/subsystémů týče) systém, který by fakt neměl spadnout na nějaké blbé chybě. a model-checking mi přišel jako dobrá volba, tož jsem si stáhl DiVinE (mimochodem, to demo nad Cčkovým kódem, co je na webu, je fakt dobrý). ostatně, co taky jiného, když jsem z FI. ;c) zatím jsem se rozhodl, že se zkusím podívat na DVE, abych se s tím aspoň nějak
18:13 xHire seznámil a věděl tak nějak, co od toho můžu čekat. ale checking přímo kódu hodlám také vyzkoušet
18:13 xstill tak to je potom jednoduché
18:13 xHire a jen tak mě napadlo, jestli nemáte kanál na freenode :c)
18:14 xHire teďka jsem uprostřed zkouškového, takže tu budu spíš jen tak idlit, než se k něčemu skutečně dostanu
18:15 mornfall Okej. :-) Sounds good.
18:15 mornfall Krucipísek. Musím vyrobit nějakej tag. :-)
18:15 mornfall Ty kontexty jsou teď nekonečný.
18:16 xHire pak si dopřečtu manuál a asi projdu příklady z knihovny (beem)
18:17 mornfall xHire: Fajn, mohl bys ho rovnou aj dopsat. :D
18:17 mornfall xHire: To máš jako nějakou práci/projekt na FI?
18:17 xHire můj soukromý projekt
18:17 mornfall Zajímavé.
18:19 Erbu jedu do Brna, budu tu za dvě hoďky cca :)
18:19 Erbu zatím
18:19 mornfall :D
18:19 spito hoj
18:20 xstill asi potřebuju statistiku vnitřních tabulek v NTree...
18:20 mornfall xstill: doporučuju to nějak zakomponovat do TrackStatistics
18:21 xstill nějak se o to časem pokusím, ale dost mě to zajímá
18:21 mornfall tak tam není moc co spekulovat
18:21 mornfall asi
18:22 xstill ono když má člověk 80GB paměti a ví, že vnější tabulka má 32GB...
18:22 xstill teď se to realokovalo a vyskočil peak na dvojnásobek
18:22 xstill ale reálná pak zase spadla
18:23 mornfall to se uvolnila ta předchozí tabulka
18:23 xstill takže už jsem na 4G tabulce, to je 64GB jen na hlavní tabulku, na ostatní a data zbývá nějakých 60GB
18:24 mornfall brzo ti dojdou hashe :-)
18:24 xstill jo no
18:24 mornfall spito: Nechtěl jsi nám dodat spookyhash nebo tak něco? ;-)
18:24 spito chtěl
18:24 mornfall napíšeme ti to do tracu?
18:24 spito klidně
18:24 mornfall taky se mi zdá žes chtěl upravit trigger na růst tabulky
18:24 xstill mornfall: ono zatím není takový průšvih, že ty hashe dojdou, průšbvih je, že index je 32 bit
18:25 xstill ale to už spito opravil
18:25 mornfall aby používal nějakej approximate load
18:25 mornfall xstill: jo viděl jsem
18:25 mornfall a já spravil darcs-monitor tak to jdu pushnout
18:25 spito mornfall: kdy jsi dodal do CMakeLists.txt -isystem?
18:25 mornfall snad nespadne svět :-)
18:25 xstill teď to roste při 65% tak zhruba i v těhlech velikostech
18:25 mornfall spito: nevim, dávno
18:25 xstill mornfall: doufám, že nám nepošleš všechno znova ;-)
18:26 mornfall xstill: jo, to je asi škoda, 75% by bylo lepší
18:26 spito mornfall: ono to je ccca 66% - 75%
18:29 xstill hmm jenže tak jak tak aura nedá zvětšení z 8G na 16G záznamů, protože by měla najednou 256 + 128GB tabulek...
18:29 xstill to znamené, že fischer15 asi nedojede...
18:30 spito když nastavíš velikost od začátku, tak  to projde
18:30 xstill taky fakt ;-)
18:32 xstill ono by taky pomohlo kdyby to systém nemusal přidělit celý rovnou...
18:32 mornfall tomu stejně neutečeš
18:32 mornfall když je load 75 tak 99.5 % stránek bude stejně použitých
18:33 mornfall jediný v co bys mohl doufat je odmapovávat tu starou po kusech
18:33 xstill jo ale problém je, že bude většina použitých asi i po resize...
18:34 mornfall no, počas resize budou právě použitý obě celý ty tabulky
18:34 xstill jo no
18:34 xstill je to marný
18:34 mornfall ono to může odswapovat kus něčeho jinýho prozatím a pak to zase naswapovat
18:35 xstill aura ani nemá swap...
18:36 mornfall aura je lame
18:37 mornfall kdyby swap měla a nastaví se overcommit, tak je to juggernaut...
18:37 mornfall takhle se na ni člověk škaredě podívá a lehne
18:38 xstill zkusím někdy odchytit Tomáše
18:38 mornfall do pytle :-)))
18:38 mornfall a ne že ho pustíš než nám slíbí nix
18:38 xstill :-D
18:39 mornfall kruci, vystydlo mi kafe
18:39 mornfall teda půlka
18:39 xstill půlka?
18:39 mornfall kafe
18:39 xstill a ta druhá je furt teplá? :-D
18:40 mornfall ta je vypitá :-)
18:40 xstill škoda, to by bylo vtipný
18:40 mornfall občas mám pocit že jsem Dr. Jekyll... a že programovat umí Mr. Hyde :-)
18:41 xstill spito: znáš nějaký Johnsonův algoritmus?
18:48 xstill mornfall: patch na statistiky a signed v NTree.
18:50 spito xHire: vůbec
18:50 spito xstill: vůbec
18:50 spito xHire: sorryx, ale pleteš se
18:50 xstill spito: kolize :-)
18:50 spito jop
18:50 mornfall musíš se naučit psát 2 písmenka
18:50 xHire spito: pochopeno. prostě tu dřív nikdo další na x nebyl :c)
18:50 xstill spito: loňská písemka...
18:50 mornfall ta distribuce tady je taková veselá
18:51 mornfall x, jedno z nejvzácnějších písmen co máme...
18:51 mornfall a polovina nicků tím tady začíná :-)
18:53 xstill zpomaluje to, za další hodinu to dalo jen 700M stavů...
18:54 mornfall xstill: pull! :-)
18:55 mornfall darcs vyrábí půlmegabajtový kontexty protože nemáš tag
18:56 mornfall asi
18:56 xstill co? jaký kontexty?
18:56 mornfall v patchi cos poslal
18:56 xstill tag jsem neměl no...
18:56 mornfall ten mail má 600KB
18:56 mornfall ono je to proto že jsem včera prohodil repo
18:56 mornfall kvůli wibble
18:57 xstill to se dá aniž by tí přestali remote fungovat?
18:57 mornfall snad když pullneš ten tag tak to začne fungovat líp :-)
18:57 mornfall no já z něj nic pryč nedal
18:57 mornfall ale potřeboval jsem přeuspořádat patche
18:57 mornfall protože duplicate hunky maj takovou zrádnou vlastnost
18:57 mornfall a já tam nějaký schválně narval
18:58 xstill jakou vlastnost?
18:58 mornfall no, ten merge algoritmus co je teď v darcsu s nima nedokáže pracovat úplně správně
18:58 mornfall jako když to spočítá tak dobře, ale někdy to vzdá
18:59 mornfall v případech že by musel prohodit duplikát a originál
18:59 mornfall cca
18:59 xstill aha to je nemilé
18:59 mornfall ono je pravděpodobný, že teoreticky byla chyba dávat tam dup hunky jako takový
18:59 mornfall teď se to hodilo
18:59 mornfall protože jinak bych musel přepsat historii
19:00 xstill to by nepotěšilo
19:00 mornfall kdybych měl nekonečně moc času, tak dodělám patchlib a ten darcs na to portuju ať se kdo chce vzteká jak chce :-)
19:01 xstill co je patchlib?
19:01 mornfall to je nová implementace primitivních patchů pro darcs, teda momentálně
19:01 mornfall hunky a tak
19:01 xstill aha
19:01 mornfall a chtěl jsem nad tím postavit nějakej systém kterej by netrpěl na "cross" závislosti
19:02 mornfall tzn. že bych mohl rozdělit patch v historii aniž by se cokoliv rozbilo
19:02 mornfall ale ENOTIME
19:04 mornfall nic, jdu chvíli laškovat s Telemannem... se vrátim
19:04 mornfall xstill: (ale v rámci otestování toho že ten tag fakt pomohl bys mohl ty statistiky z ntree nějak udělat ;-)
19:17 xstill dneska fakt ne, musím se alespoň trochu naučit na tu zkoušku
19:21 xstill 2G stavů, počítadlo odhadované paměti se otočilo snad už 5x ;-)
19:21 xstill (140GB)
19:35 xstill tak a už mám -2130973777 stavů :-D
19:52 mornfall to se máš
19:54 xstill zítra pustím tu verzi s patchema, ale teď čekám až to lehne po resize na 8G položek.
20:02 Erbu joined #divine
20:02 xstill spito: dokáže se ta tabulka začís zvětšova znovu v průběhu zvětšování?
20:03 xstill *začít zvětšovat
20:03 mornfall dost o tom pochybuju
20:04 xstill ona se o to totiž pokusí, protože až se resizne na 8G položek, tak zjistí, že je tam stále maxcollisions...
20:04 xstill (to je bez toho patche)
20:05 mornfall jo, to je pochopitelné
20:05 mornfall ten index prostě overflowne a použíje to první polovinu tabulky
20:05 mornfall to je taky důvod proč to zvětšovat podle loadu btw :-)
20:05 xstill tak mě zajímalo, jestli se to začne zvětšovat jako blázen, nebo to lehne a v kódu se mi hledat nechce
20:06 xstill jo no
20:06 Erbu mornfall: ilustrační příklad nového DVE do diplomky: http://pastebin.com/ZjLPBPX3
20:06 xstill ale tohle stejně vyřeší 64bit hash
20:08 mornfall Erbu: jo, vypadá to docela dobře, jen to bude potřebovat popis
20:08 Erbu mornfall: jasný, s tím počítám
20:08 mornfall taky by nebylo do budoucna zlý mít možnost grupovat transitiony podle hlavy
20:08 mornfall prepare -> prepare
20:09 mornfall { ... }
20:09 mornfall { ... }
20:09 Erbu vypadá to, že mám práci na červen :)
20:13 spito xstill: pokud je potřeba při zvětšování se zvětšit, tak se tabulka zabije
20:13 mornfall spito: a pak půjde do pekla
20:14 spito no, to podle toho, jestli začne generovat core-dump
20:15 xstill spito: to naštěstí ne měl by tak 250GB ;-)
20:15 xstill to by ze mě měl unix@fi radost
20:17 xstill spito: jak jsi na tom s učením na zkoušku?
20:20 xstill hmm bad_alloc
20:22 Erbu mornfall: akorát to je pěkně rozsáhlý model :) při jednom studentovi a jedné otázce a artificial limitu na max. naučenost a požadavky 10 to má 1385 stavů
20:23 Erbu 879 po POR
20:24 xstill spito: load při zvětšení byl 60% pokud se to teda zvětšovala tahle při tom bad_alloc (což asi jo)
20:26 xstill problém je že pokud nechám tabulky předalokovat, tak se předalokují všechny a to je 192GB
20:26 mornfall xstill: tak vymysli nějakej koeficient :-)
20:26 xstill budu muset
20:26 spito který jsou největší?
20:27 xstill já jsem věděl, že tady tenhle problém je, a že je špatně vyřešený
20:27 xstill spito: no ta vnější, protože ta mělo 64GB sama a celé to mělo 160GB
20:27 xstill takže na tak velké vnitřní místo fakt nebylo
20:27 xstill ta spodní je podle mě dost malá
20:27 xstill a ta prostřední je někde mezi, ale nemám tušení kolik
20:28 xstill potřebuju statistiky
20:28 mornfall :D
20:28 xstill zvláštní je že když se o tu prealokaci jen pokusím tak dostanu SEGV
20:31 spito prealokaci u čeho?
20:31 xstill všech tabulek
20:31 xstill na 2^32
20:31 spito a ten dostaneš kde?
20:31 xstill v insertCell
20:31 spito a jak provádíš prealokaci?
20:32 xstill -i 32
20:32 xstill setSize
20:32 spito to by mělo normálně fungovat
20:32 spito proč to umře???
20:32 spito chjoi
20:32 xstill mělo a pro -i 31 to dokonce funguje
20:32 mornfall protože tomu dojde paměť neasi :-P
20:32 mornfall ah
20:33 mornfall tam bude cestou nějakej signed int zase :-)
20:33 xstill to by byl spíš bad_alloc
20:33 xstill mornfall: v setSize?
20:33 spito ne, tam je unsigned
20:33 xstill protože samo se to na to normálně zvětšilo...
20:33 spito aspoň u mě
20:34 xstill divine/graph/store.h:69:    void setSize( int size ) { this->table().setSize( size ); }
20:34 spito a máš ji
20:35 mornfall intptr_t :-)
20:35 xstill já pak mám size_t takže dostanu 2^64 :-D
20:35 xstill udělám patch
20:36 mornfall nechci nic říkat, ale nakonec doiterujeme aj k těm statistikám, jak tak sleduju vaši chuť do učení :-))
20:37 spito :P
20:38 xstill teda až na to, že set size obsahuje v tomhle případě 32 ;-)
20:39 xstill chyba je ve shared totiž
20:40 spito chyba je ještě v meta
20:41 spito poslal jsem patch
20:41 xstill no ne. protože tam je všudo log2
20:41 xstill žejo
20:41 xstill chyba je v shared
20:41 spito není
20:41 xstill je
20:41 xstill protože si fillneš unsigned
20:41 spito a?
20:42 spito to jenom zarovnám na mocniny 2
20:42 xstill dostaneš 0
20:42 xstill ten tvůj patch je zbytečný na uložení log2 velikosti tabulky nepotřebujeme 64bit typ
20:42 xstill poslal jsem patch
20:42 spito ona se neukládá log2
20:42 spito ale celá velikost
20:43 xstill podívej se do tabulky
20:43 xstill jsem si to taky myslel
20:44 spito a kam přesně se mám podívat?
20:44 xstill sharedhashset.h:88
20:44 xstill nebo na ten patch co jsem poslal
20:45 xstill a nebo možná taky ne
20:45 spito jo, to vidím, ale tam je celá velikost
20:45 xstill kecám
20:46 spito ty se podívej na divine.cpp:655
20:46 mornfall božíčku :-)
20:46 spito mornfall: flame, co?
20:46 mornfall zmatek
20:46 xstill ok
20:46 spito ale vůbec
20:48 xstill takhle to dopadá, když se člověk fakt neche učit ;-)
20:50 spito a ještě jsem upravil store.h
20:50 spito protože ten by to taky zabil
20:51 spito xstill: ale fuj, byl jsi rychlejší
20:51 xstill to už jsem udělal
20:51 spito :P
20:51 spito ale já se už fakt jdu učit
20:51 spito opravdu
20:51 spito mám 2 dny zpoždění
20:51 spito (divajn je návykový)
20:51 spito měl by na sobě mít tuhle nálepku....
20:52 spito mornfall: ty z nás musíš mít radost....
20:55 xstill hej něco je špatně, teď jsou všechy paměti ve statistice záporný...
20:58 spito no na mě nekoukej
20:59 xstill však ne,ale něco tam přičítá jako int nebo co
21:01 xstill ono jsem to totiž neopravil úplně
21:04 mornfall spito: btw. "make meta preallocate more than 2^31 items..." jako popis toho patche vůbec nedává smysl
21:05 spito chjo
21:05 spito už zase
21:05 mornfall ale jako fakt :-)
21:05 spito já se to prostě nenaučim
21:06 mornfall tohle je natolik zavádějící že to prostě nejde
21:06 spito já vim
21:07 mornfall meta jednak nic neprealokuje a druhak ne make xxx a make xxx possible není zdaleka to stejný
21:09 mornfall -ne
21:13 xstill spito: našel jsem ten Johnsonův algoritmus u nejkratších cest mezi věmi vrcholy grafu
21:13 xstill asi jsme fakt měli na ty přednášky chodit
21:14 spito no, mornfall neměl jezdit v pondělí
21:14 spito :P
21:15 mornfall spito: nezapomínej že musíš ještě obhájit :D
21:15 spito tak, F mi snad nenavrhneš
21:15 spito s čistým svědomím....
21:17 Erbu joined #divine
21:17 xstill mornfall: znovu jsem opravil statistiky na 64bit.
21:17 spito xstill: uč se
21:17 xstill a teď už to zdá se skutešně funguje
21:17 xstill však se učím
21:18 xstill ale asi spíš půjdu spát
21:20 * mornfall počítá s tím že zítra se nic nekoná
21:22 spito mornfall dělá dobře
21:24 xstill sakra to, že musím mezi strákami otočit sešit o 180^o tomu učení fakt nepomáhá...
21:25 mornfall zajímavě koncipovaná čárka, ovšem
21:26 xstill no to jo...
21:34 spito tyjo, přemýšlím, že to posunu
21:34 spito zkoušku...
21:34 spito o týden
21:35 xstill bych měl strach jestli to stihnou opravit do 12.
21:37 xstill protože pokud ne, tak buď natahuješ nebo si z toho musíš nechat dát F
21:40 mornfall já se na to určitě neučil jak se znám, a nejspíš jsem měl i míň bodů za domácí úkoly
21:40 mornfall a mám tam B
21:41 mornfall bych z toho nedělal takový haló :-)
21:41 mornfall jen jak na to koukám, brzo to bude 7 let... tyjo
21:42 spito mornfall: ale ty jsi chytrý...oproti mě
21:42 xstill no ale ty algoritmy vymyslíš na počkání a ty známý taky znáš
21:42 mornfall a vy ne? :)
21:43 xstill mornfall: no znáš Jonahsonův algoritmus?
21:43 mornfall Ne. :-)
21:43 xstill ok, já třeba neznám pořádně ani Push-Relabel ale spito ho zná...
21:44 xstill tak to mě trochu uklidnilo
21:44 spito xstill: push-relabel je tak primitivní, že to pochopí cvičená opička
21:44 xstill že ten algoritmus taky neznáš
21:45 mornfall ale je to docela elegantní (ten Johnson)
21:45 xstill si to musím přečíst, ale je toho moc
21:59 xstill hm ten Jonsnův algoritmus je ispirovaný A*, ne? Jen mě teda nenapadlo, že A* by se dal použít k opravení záporných hran...
22:00 xstill sakra
22:02 mornfall Bellman Ford
22:02 mornfall http://en.wikipedia.org/wiki/Johnson%27s_algorithm :-)
22:09 xstill já už se to rači doučím zítra.
22:09 xstill jdu spát.
22:10 xstill teda spíš ráno...
22:10 mornfall gn
22:55 spito hejhou, taky chrním
22:55 mornfall :-)
22:55 mornfall spi sladce :-)
22:56 spito dík
22:56 spito a kdyby se ti chtělo, tak můžeš vzít ten patch, co jsem poslal, upravit popisek, a poslat do repozitáře :)
22:57 spito pokud se ti tedy bude chtít a neudělal to už vláďa
22:57 mornfall no, nejdřív někdy ... nevim :) v úterý, nebo zejtra večer, teda dneska večer
22:57 mornfall teď debuguju LVM
22:57 spito left #divine

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