Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-10-26

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

All times shown according to UTC.

Time Nick Message
00:02 mornfall a stejně tak všechny ostatní C++ modely
06:42 xstill mornfall: operator bool by měl fungovat v if-u i když je explicitní
06:46 xstill má pocit, že if ( ... ) dělá explicitní bool kontex, a možná i !
06:51 xstill mornfall: tak opravdu funguje obojí
06:52 xstill takže neexplicitní operator bool by člověk asi v životě neměl použít...
08:41 xstill mornfall: SQL reporty na cestě
08:43 xstill ještě bycm mohl ten ODBC driver na sqlite dokopat a poslat do nixu
09:04 mornfall ha, já tušil že na to musí něco být :-]
09:07 mornfall xstill: tam ty explicit-y můžeš dát :-)
09:09 xstill hm, jaký je v makefile rozdíl mezi ${x} a $(x)?
09:09 xstill že by se mi chtělo to se teda říct nedá
09:10 mornfall tak, já si je tam klidně dám
09:11 mornfall nezdá se mi že by ${x} bylo legální?
09:11 mornfall není tam \?
09:11 mornfall to by byla shell expanze pak
09:11 xstill hm
09:12 xstill no nebo já je tam dám ty operátory a podívej se mi na patche
09:12 mornfall hm, ona to je shell expanze asi i tak protože ${ neexistuje (v make)
09:12 mornfall už se dívám
09:14 mornfall já bych tu cmake option nazval SQL(_REPORT) -- database je až moc obecný
09:14 xstill ok
09:15 mornfall hm a vlastně ReportPair mi minule přišlo že by mohlo být spíš ReportItem?
09:15 mornfall nebo ReportLine?
09:16 xstill možná ale to už nezaamenduju, musal by to být samostatný patch
09:16 xstill ReportLine zní líp asi
09:16 mornfall jo to nevadí
09:16 mornfall počkej já to pushnu a pak se to doladí
09:17 mornfall +        if ( s.empty() ) return meta::Algorithm::Compression::Tree;
09:17 mornfall to je schválně?
09:17 mornfall aha, kruci
09:17 mornfall to vlastně dává smysl :-)
09:19 mornfall jo dobrý
11:00 mornfall xstill: možná bys mohl updatovat 3.4 v manuálu :-) nebo to hodit na Jiříka ...
11:01 xstill co 3.4?
11:01 mornfall sekci
11:02 mornfall http://divine.fi.muni.cz/manual.html#configuring-the-parallel-model-checking-engine
11:02 mornfall není tam zmíněná komprese
11:02 mornfall (zato --disk-fifo by se mělo vyhodit)
11:08 xstill to by chtělo aktualizovat, když už jsem si s tím dal tolik práce
11:08 spito joined #divine
11:09 mornfall nazdar kominíku
11:09 mornfall už jsi zjistil kam má ukazovat llvm-config? :-P
11:10 spito :P
11:10 spito zhruba tam, kam llvm
11:10 spito už mi běží verifikace tak asi 10 hodin a žere fakt dost paměti
11:10 mornfall :-)
11:10 spito jenom mi to pořád nešlo přeložit
11:10 mornfall kompresi máš zapnutou?
11:11 spito jistě, nejsem tukan
11:12 mornfall shared nebo neshared?
11:12 spito shared
11:12 mornfall tomu nějak věříš :-))
11:12 spito no, zatím to vyrobilo 3m stavů
11:13 spito a alokovalo necelý 40g paměti
11:13 mornfall 13M na stav? to jako fakt?
11:13 spito tak ne
11:14 spito 400g paměti
11:14 mornfall 130M? wat :-)
11:14 spito zase kecám
11:14 mornfall to bych skoro řekl že někde je zásadní chyba
11:15 spito 3m stavů jsou ve frontě
11:15 mornfall ale jo, 350G to má alokovaný
11:15 mornfall a v tabulce?
11:15 spito vyrobilo to 24m stavů
11:15 mornfall to je furt hrozně málo
11:15 spito musí se komprese explicitně zapnout?
11:15 mornfall jistě
11:15 spito chmm
11:15 mornfall ale aj bez komprese to je docela dost
11:16 mornfall tys to zabil!
11:16 spito jo
11:16 spito to se nesmí?
11:16 mornfall trest smrti
11:16 mornfall :D
11:17 spito udělá se core soubor? no to by neměl
11:17 mornfall ne
11:20 xstill spito: doufám, že alespoň používáš --max-memory
11:20 xstill že nechceš auru zabít
11:22 spito jak se měří max memory?
11:22 spito v megabytech?
11:22 mornfall --max-memory=<val>               maximum memory to use in MB (default: 0 =
11:23 mornfall (use the help, Luke!)
12:36 xstill mornfall: ten DATABASE patch mám zaamendovat jo?
12:36 xstill že jsi ho neposlal
12:38 xstill tak jsem ti to poslal
12:38 Erbureth joined #divine
12:38 mornfall poslal
12:38 mornfall myslim
12:39 mornfall aha fakt neposlal :D
12:44 xstill tak to máš doamendovaný
12:44 xstill takže to už bude fakt fungovat
12:45 mornfall super
12:47 spito btw: ODS se asi bohužel dostane do sněmovny
12:47 mornfall to bys chtěl asi moc, ne? :)
12:48 spito no, tak já nevim
12:48 spito ale už abychom kupovali červené vlaječky se srpy a kladivy
12:48 spito možná se nám to bude hodit :D
12:49 mornfall http://dialog.ihned.cz/komentare/c1-61067920-petr-fischer-o-co-se-hraje-ve-volbach náhodou
12:50 mornfall má pravdu že stigmatizace KSČM nikam nevede
12:51 mornfall zejména to přispívá k neschopnosti sestavit stabilní vládu... zachvíli to tady bude jak v Belgii :-P
12:51 mornfall KSČM buď teda fakt zakázat nebo to nechat být...
12:53 mornfall stejně se mi nejvíc líbí hláška od zelených „vypustit kuřata z Babišovych klecí“ :D
12:56 spito :D
12:56 mornfall už vidím ten zlepenec co nám bude vládnout
12:57 mornfall jak to tady bývá s rychlostí sčítání? na Slovensku jsou města vždycky sečtená dřív, takže tak do poloviny to vypadá že vyhrává pravice a pak je Fico převálcuje :-P
12:58 xstill no fuj teda zatím
12:58 mornfall no, tu pětikoalici na kterou to zatím vypadá si nechci ani představovat
13:00 spito stačí snad čssd+ano+ksčm
13:00 mornfall toho Okamuru nám byl čert dlužnej :-)
13:00 spito no, nevim, proč ho lidi volili
13:00 mornfall spito: Babiš a KSČM v jedný koalici nebudou
13:00 spito možná mu to ale žerou i s navijákem
13:00 spito :D
13:00 spito to se ještě uvidí
13:01 mornfall no, pro Babiše by to byla politická sebevražda
13:01 mornfall KSČM jako obvykle nemá co ztratit
13:01 spito no, navenek to tak možná nebude
13:02 spito ale co si domluví, o tom se nedovíš
13:02 spito no nic, jdu ven
13:02 mornfall :D
13:03 xstill zatím se ty výsledky dost melou
13:06 mornfall dřív než za 2 hodiny nic moc jistýho nebude :-)
13:07 mornfall zrovna teď maj pirátí víc než zelení
13:07 mornfall a SPOZ propadá úplně nehorázně
13:08 xstill dobře jim tak
13:08 mornfall jestli budou mít piráti 2x víc hlasů než SPOZ zaslouží medajli :-)
13:18 Erbureth i Svobodní mají víc než spoz
13:30 xstill prej zatím nejsou velká města...
13:31 mornfall asi to tady funguje nějak obráceně :)
13:32 Erbureth Praha je vždy poslední a většinou se to na poslední chvíli trochu zvrátí k pravici
13:32 mornfall V Praze podle všeho vládne Kalousek. :-)
13:33 Erbureth Takže Lihovci?
13:33 mornfall TOPka
13:35 mornfall Zatím suverénně nejlepší koalice je ČSSD + KSČM + Úsvit. :D
13:35 Erbureth To navrhl kdo? :D
13:35 mornfall Nikdo, to je jedna z kombinací nad 100.
13:36 xstill já teda nevím co od Okamury čekat
13:36 mornfall Víc keců. :D
13:36 mornfall Nevim, je to euroskeptik, tím to pro mě víceméně hasne.
13:39 mornfall Nějak mi úplně nesedí ta představa, že by ČR měla podobnou vyjednávací pozici jako Švýcarsko (jak svorně všichni euroskeptici tvrdí).
13:39 Erbureth Proto se chtějí svézt s VB
13:40 mornfall Teď jsem myslel pro jakoukoliv bilaterální náhradu volného trhu/kapitálu/...
13:41 mornfall Na tom má zájem ČR mnohem větší než v podstatě všichni potenciální partneři.
13:42 mornfall Takže to bude bolet. Ale tak co, v krajném případě to tady střelím a přestěhuju se někam kde mě budou chtít. :-)
13:53 xstill a to by bylo kam?
13:54 mornfall No, jsem občan EU ale nikoliv ČR.
13:54 mornfall Takže můžu pracovat v EU.
13:55 xstill já měl za to že jsi občan Slovenska
13:56 mornfall To jo, ale Slovensko je v EU zašprajcovaný docela napevno.
13:59 mornfall Problém je, že jakmile by nebyla EU tak pracovat/bydlet v ČR se značně prodraží, o administrativě navíc ani nemluvím.
14:00 mornfall Teď můžu v podstatě cokoliv... jediná komplikace je pořídit si paušál k mobilu. :-)))
14:01 xstill jak nebylo EU, pokud EU nezkrachuje tak pochybuju, že z něj ČR vystoupí
14:02 mornfall Žádný povolení k pobytu, pracovní povolení, platit dvojí zdravotní pojištění, komplikace se sociálním, ...
14:02 mornfall No, je tady dost stran které z EU vystoupit chcou. :)
14:02 mornfall To je právě ten fór.
14:03 mornfall Zatím to naštěstí není reálný a snad ani nebude.
14:04 xstill hm, Babiš se teď moc v rozhovoru nepředvedl
14:04 mornfall Jen ti lidi to typicky prezentujou jako že ČR je druhý Švýcarsko a že EU je nám jen na obtíž. :)
14:05 mornfall Pro high-tech průmysl by to třeba byla těžká rána.
14:07 mornfall No nic, jdu radši cvičit. Třeba si najdu nějaké úplně jiné uplatnění až tady to naše IT zkrachuje. ;-)
14:08 xstill jak někdo mohl Babiše volit?
14:09 mornfall :-)))
14:09 mornfall Má spoustu peněz. To se počítá.
14:09 mornfall A já si uvařim kafe, to se taky počítá.
14:11 xstill asi nejlepší, já mám čaj
14:42 xstill mornfall: jak je možné, že pri LTL má model 1 stav ale bez property má mnoho stavů
14:46 xstill už nic
14:47 xstill jen teda žádný příkad nemá správně LTL verifikaci (enum APs)
14:50 xstill fakt potřebujeme lepší specifikaci LTL
14:57 mornfall no, asi by bylo dobrý staticky skontrolovat všechna volání ap
14:57 mornfall zkontrolovat, navíc
14:58 xstill co je špatně na formuli G( cond1Wait -> F( cond1Signal ) )?
14:58 mornfall samo o sobě asi nic
14:58 xstill divine říká že je tam syntax error
14:59 mornfall W
14:59 mornfall a S
14:59 mornfall řekl bych
14:59 mornfall W je nějakej weak release, jestli to umíme
14:59 mornfall nevim, ten LTL parser je úplně k ničemu :-P
14:59 mornfall překladač LTL nakonec taky
14:59 xstill jo ale já v tom modelu chci future
15:00 mornfall no já tim myslim ty velký písmena uprostřed názvů propozic
15:00 xstill jo no ale je nás málo na to aby někdo mohl napsat LTL překladač
15:00 xstill do kelu
15:00 xstill už zase
15:02 xstill jo už to jede
15:02 xstill je to děs ten LTL parser
15:15 xstill a sakra
15:18 xstill v mainline je chyba linkování
15:18 mornfall čeho?
15:18 mornfall ha, pravda, nanodbc :D
15:19 xstill patch je na cestě
15:23 xstill spito: zdá se že se ti občas zastaví některá vlákna v shared
15:23 mornfall on něco psal do tracu včera
15:23 xstill a jako že docela často tak po pár stech stavů
15:24 mornfall někde je nejspíš bug
15:25 mornfall počítám že jsme to vyrobili někdy v těch posledních dvou větších změnách
15:26 xstill zase se nečtou enumy v protipříkladu
15:32 mornfall no, Babiš tvrdí že jde do opozice -- zajímavé :)
15:41 mornfall to je fakt pat jako prase
15:42 xstill je to fuj
15:44 xstill hm, jasný  G( mutex1lock -> ( !mutex1lock U mutex1unlock ) ) vlastně nemůže platit
15:44 mornfall /home/mornfall/dev/divine/mainline/external/nanodbc/nanodbc.cpp:29:10: fatal error: 'sql.h' file not found
15:44 mornfall někde je chyba
15:44 xstill otázka je jak to vyjádřit
15:44 xstill mornfall: asi se builduje nanodbc bez ODBC
15:44 mornfall co tím chceš říct?
15:44 mornfall (tou LTL
15:45 mornfall )
15:45 xstill že se mutex nebude znova zamykat dokud se neodemkne
15:45 mornfall mutex1lock je událost zamčení jo?
15:45 mornfall a unlock stejně tak
15:45 xstill jo
15:46 xstill těsně před/za volání pthread_mutex_*
15:46 mornfall možná bys tam mohl dát X
15:46 mornfall není to úplně čistý...
15:46 xstill aha já myslel že je to někde zakázaný ale ono to je nemá dobrou sémantiku, že?
15:47 mornfall asi tak :)
15:49 xstill aha tak AP se demanglují, jsem blbě koukal/nepochopil trace
15:53 xstill chová se to strašně divně
15:54 xstill mám G( mutex1lock -> X( !mutex1lock U mutex1unlock ) ) a dostanu protipříklad kompletně bez mutex1lock
15:54 xstill hm, CE-Cycle: 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1
15:54 mornfall jak to pouštíš?
15:54 xstill shared
15:54 xstill to bude asi ten problém
15:55 xstill ale teda je to strašně rozbitý
15:55 mornfall :D
15:55 mornfall tak to víme
15:55 mornfall ale spito se šel kamsi flákat
15:55 mornfall a já řešil jiný věci
15:56 xstill jenže partition mi sežere všechnu paměť nejspíš
15:56 xstill alokujeme teda dost divoce
15:57 mornfall a není v shared nějakej leak?
15:58 mornfall ty čísla co posílal spito jsou úplně odvěci
15:58 mornfall nevím teda co v těch modelech máte...
16:02 xstill tak ono se to chová dost divně i bez shared
16:03 xstill virtual skočí na 7GB téměř okamžite (part + ntree)
16:04 mornfall asi to vyrábí hodně různých velikostí, to se pak předalokuje hodně bloků
16:04 mornfall s ntree nejspíš ocásky
16:04 xstill asi
16:06 xstill ono to v podstatě nevadí pokud někdo nemá striktní overcommit
16:07 xstill a pokud je to skutešně pool tak s tím asi moc nenaděláme
16:10 xstill zdá se že budu potřebovat auru
16:20 xstill co to chybějící sql.h?
16:20 xstill hm teď jsem ho dostal na auře
16:20 mornfall no, odbc_config cmake našel
16:21 xstill jo problém je, že odbc_config funguje ale ta hlavička tam není
16:21 xstill (na auře)
16:21 xstill jak se to může stát v nixu fakt nenvím
16:21 mornfall no, ale já ji mam
16:21 mornfall -I/nix/store/yljf8j2w3prkcbdm09aalqkjbvw4256k-unixODBC-2.3.1/include --> sql.h tam je
16:21 mornfall (v odbc_config --cflags)
16:21 xstill co řekne odbc_config --include-prefix?
16:22 mornfall /nix/store/yljf8j2w3prkcbdm09aalqkjbvw4256k-unixODBC-2.3.1/include
16:22 xstill divné
16:25 xstill můžeš mi dát make nanodbc VERBOSE=1?
16:26 mornfall cd /tmp/mornje-build/divine/mainline/default/external/nanodbc && /nix/store/m4y0jd5y9m0ryz4m52ikm5pdxk8a3g8h-clang-wrapper-3.3/bin/clang++   -DPOSIX -DO_SMALL -DO_DVE -DO_POOLS -DO_TIMED -DO_LLVM -DO_MPI -DO_SQL_REPORT -DNANODBC_USE_CPP11 -DNANODBC_USE_CPP11 -O0 -g -Wall -Wno-unused -Wno-sign-compare  -std=c++11 -Wold-style-cast -g -I/nix/store/j4rb80w9gv1k5vzlxa587rk6qjicq8np-valgrind-3.8.1/include/valgrind -I/nix/store/injcp9kk3k6bzshpnrq368xg
16:26 mornfall z nějakýho důvodu to tam vůbec není
16:26 xstill divné
16:28 xstill ještě co říká ODBC_INCLUDE_DIRS v cache?
16:28 mornfall prázdný
16:28 mornfall zrovna na to koukám
16:28 xstill wtf
16:28 xstill to nedává smysl
16:28 xstill opsal jsem FindLLVM
16:29 mornfall když jsem tu hodnotu z cache smazal tak podruhé to napočítal správně už
16:29 mornfall nevim proč :)
16:29 mornfall aj se to přeloží teď
16:31 xstill těžko říct proč...
16:31 mornfall xstill: ještě jsi teda rozbil GUI :-) těma meta patchema
16:31 xstill jo to jsem si říkal
16:31 xstill ještě jsem se k tomu nedostal
16:33 mornfall hm, tady ty volby to je hotový Game of Thrones
16:33 mornfall otázka je kdo je Littlefinger
16:39 xstill ok ten fix gui byl jednoduchý
16:40 mornfall :-)
16:41 xstill ach jo zase instance-5.cpp:(.text._ZN6divine4llvm7BitCodeC2ESs[_ZN6divine4llvm7BitCodeC5ESs]+0x9d): undefined reference to `llvm::ParseBitcodeFile(llvm::MemoryBuffer*, llvm::LLVMContext&, std::string*)
16:41 mornfall hm
16:42 mornfall to je docela podezřelý
16:42 mornfall máš headery a knihovny ze stejnýho llvm?
16:42 xstill jp
16:42 xstill *jo
16:43 mornfall jaká verze?
16:44 xstill 3.3
16:44 mornfall to musí fungovat ...
16:45 xstill hm, v knihovně je llvm::ParseBitcodeFile(llvm::MemoryBuffer*, llvm::LLVMContext&, std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >*)
16:45 xstill teda o parametr víc
16:45 mornfall o kterej?
16:45 xstill ten alokátor
16:45 mornfall alokátor je parametr string-u
16:46 xstill tak nic
16:46 xstill jsem slepej
16:46 xstill tak nevím
16:46 mornfall a nepřekládáš to náhodou gccčkem že ne? :)
16:46 xstill ano
16:46 mornfall :D
16:46 xstill hm vidím...
16:46 mornfall libstdc++ a libc++ nemaj kompatibilní ABI
16:47 mornfall takže nelze míchat
16:47 xstill jasný
16:47 xstill jo neže clangSelf mi na auře nejede správně
16:47 xstill musím sehnat normální llvm
16:47 mornfall jakto že nejede?
16:48 xstill dává nějakej divnej error že mu chybí něco v glibc
16:48 xstill já ho musím nabuildovat tam a ne dělat copy-closure
16:49 xstill (ještě jsem neaktualizoval expressions)
16:49 mornfall to by mělo fungovat tak jako tak ne?
16:49 xstill mělo
16:49 mornfall systémový glibc se nepoužívá
16:49 xstill já nevím co je špatně
16:50 mornfall kterej by to měl být?
16:50 xstill co?
16:50 mornfall clang
16:50 mornfall že bych se podíval co to dělá
16:51 mornfall /nix/store/dgknakab5ynn8fmy9wyx910nymqbak46-clang-3.3/bin/clang asi
16:51 xstill /nix/store/m4y0jd5y9m0ryz4m52ikm5pdxk8a3g8h-clang-wrapper-3.3/bin/clang
16:51 xstill nejspíš
16:52 xstill protože ten mám u sebe a odsud jsem ho kopíroval
16:54 xstill jo což je ten clang co říkáš
17:36 spito__ joined #divine
17:36 spito__ joined #divine
17:40 spito__ joined #divine
17:43 spito__ joined #divine
17:43 spito__ To je ten shareware asi hrozně moc rozbitej
17:44 spito__ *shared
17:47 spito__ Xstill: ty vlákna umírají i po stovce vygenerovaný stavů?
17:47 xstill jak jsi dosáhl takového překlepu?
17:47 spito__ Mobil
17:47 xstill tak zhruba po 300-700
17:48 spito__ To je dost divny
17:48 xstill po pár vteřinách
17:48 xstill čili ne hned
17:48 xstill je to pozorovatelné že chvíli jedou
17:48 xstill (LLVM)
17:48 spito__ Obyčejně se může stát, že umřu hned na začátku
17:49 xstill to máš blbý
17:49 spito__ Ale nemělo by se stávat, ze umřou v prubehu
17:50 spito__ xstill: zase mobil.
17:50 spito__ ...
17:55 xstill podívám se jestli to nastane i v debugu
17:55 xstill každopádně to dokázalo najít něco co vůbec nemělo existovat
18:04 spito__ joined #divine
18:08 spito__ Tohle chování ale shared před patchema na vynulování fronty nestávalo
18:10 mornfall 17:25 (@ mornfall ) počítám že jsme to vyrobili někdy v těch posledních dvou větších změnách
18:13 mornfall cmake v nixu na auře je nějakej vadnej
18:13 mornfall CMake Error: Could not find CMAKE_ROOT !!!
18:14 xstill hm já mám cmake-cursesUI z nixu a funguje
18:14 xstill myslím
18:14 mornfall 20:14:25 | xroc@aur:~/dev/divine/mainline/_aura -> readlink -f $(which cmake)
18:14 mornfall /nix/store/avb4ypsyjiyrf82qvn9p1z021k8zw5vz-cmake-cursesUI-2.8.9/bin/cmake
18:15 xstill mám totéž
18:16 xstill nemáš náhodou zároveň cmake modul?
18:17 mornfall nevím, ale načetl jsem znovu shellovej profil a už to funguje
18:17 mornfall dost divný
18:18 xstill no tak mrkni na module list
18:24 * spito__ už zase mizí
18:24 mornfall ... :-P
18:24 mornfall nojo
18:25 spito__ No musím se dostat domu
19:52 mornfall hm, já ten reset toho counteru napsal samozřejmě blbě :-)
19:53 mornfall že se nikdo neozve že to není atomický :P
20:02 xstill no, máme v tebe důvěru...
20:07 mornfall blbý je že to není ten bug
20:08 mornfall to děláte ovšem zásadní chybu
20:08 mornfall zase se rozbilo gdb
20:08 mornfall to je takovej krám...
20:15 mornfall no ale každopádně je to v tom terminate
20:15 mornfall když to v OWCTY ve FindCycle zakomentuju tak to funguje jak víno :-)
20:31 xstill co když zakomentuješ?
20:32 mornfall ten return ...Terminate
20:34 xstill hm, ale jak to může rozbít visitora, vždyť vlastně to celé FindCE by se v tém době kdy to začne blbnout zdaleka volat nemělo
20:34 mornfall on začne blbnout až potom
20:34 mornfall nebo možná máš ještě nějakej jinej bug
20:35 xstill no mě blbnul na modelu kterej má na auře podle všeho > 65M stavů
20:35 xstill a blbnul po pár sekundách
20:35 xstill mimochodem 65M stavů na
20:36 xstill 3 vlákna 3 mutexy a 3 podmínkové proměnné dělající 1 bariéru je fakt moc
20:36 mornfall není :-)
20:36 mornfall pusť si to bez redukce
20:36 mornfall to se můžem začít bavit o tom co je moc :)
20:36 xstill o tom nemluvím, říkám, že to není prakticky použitelné
20:37 xstill ale je to s teda s dost velkou formulí
20:37 xstill předpokládám že stavy Buchy automatu se do toho taky započítávají
20:37 xstill teda že je to product vlastně
20:37 mornfall no to se roznásobuje
20:38 xstill možná jsem mohl udělat nejdřív metrics bez buchy
20:38 mornfall buchi
20:38 mornfall (resp. büchi)
20:39 mornfall já nějak nemůžu pochopit jak byl ten SetupOverride myšlenej
20:39 mornfall on prostě ten BListener úplně ignoruje?
20:40 xstill no visitory jsou z těch věcí v kterých se pořád úplně nevyznám
20:45 xstill jediné co vidím, že používá BListener je Partitioned::transitionFilter. On ten shared asi nijak do prohledávání zasahovat nepotřebuje
20:45 mornfall jo, já už tomu přišel na kloub
20:45 mornfall je to blbě ale :)
20:46 xstill co je teda špatně?
20:47 mornfall no, všechno to kolem Interruptible -- mělo by to být v tom SetupOverride
20:47 mornfall resp. ten Interruptible se musí volat, jak v Partitioned tak Shared
20:48 xstill aha a on se nevolá protože by se musal volat v SetupOverride?
20:49 mornfall jo, nebo v Ours
20:49 mornfall kde se asi někdy původně volal a pak jsem to nejspíš někdy rozbil
20:49 mornfall asi hrozně dávno
21:01 spito tak jo
21:01 spito mornfall: mám se tím problémem zastavení zabývat?
21:01 spito nebo jsi to už vyřešil?
21:02 spito xstill: ty asi něco hrozně moc verifikuješ :D
21:02 mornfall spito: asi nemusíš
21:02 mornfall problém zastavení :D
21:03 xstill spito: je úkol do iv112
21:03 xstill spito: a pokud bys vyřešil problém zastavení tak nám docela rozbiješ všechno co nás naučili
21:06 xstill ale nezdá se že bych měl šanci ho zverifikovat
21:07 mornfall ty funkce maj úplně vadný prototypy pro jistotu :-)))
21:09 xstill Iterrubptible? Jsou tam asi dost dlouho bez použití...
21:10 mornfall no to je chyba, ono se to mělo používat vždycky, ale nějakým bugem to vypadlo a už to musí být nějakej pátek -- zhruba v době kdy se naposled předělával store
21:10 xstill jak se amenduje v gitu?
21:10 mornfall git commit --amend
21:10 xstill dík
21:10 mornfall (-p případně)
21:11 xstill wtf git, ne jen že automaticky amenduje poslední patch ale ještě to nejde stornovat
21:11 mornfall git rebase -i :-)
21:11 mornfall asi jedině
21:12 xstill jsem ty vyresetoval o ten commit, je jednoduchý
21:13 mornfall myslel jsem když chceš amendovat něco co není poslední
21:13 xstill jo no, jsem ten poslední zrušil
21:13 xstill byl můj a krátký
21:14 xstill ale teda darcs je mnohem lepší než git
21:15 mornfall utekla mi hvězdička
21:15 mornfall dvacet obrazovek chyb z toho...
21:21 spito mornfall: čím je ten approximate counter chybný?
21:22 mornfall spito: mohl by to vynulovat víc než jednou, teoreticky
21:22 mornfall měl by tam být compare_exchange_strong
21:23 spito hmm
21:23 mornfall ono se to reálně nestane
21:23 spito kde je teda chyba?
21:23 mornfall teď jsme to řešili
21:23 mornfall Interruptible
21:26 mornfall no to bychom měli opravený
21:26 mornfall a v partitioned to i funguje
21:26 mornfall v shared ne tak docela :-))
21:26 mornfall teda už to volá interrupt()
21:28 xstill mornfall: budeš se zlobit když ti zrušíme úterní hack-fest ve prospěch učení se na automaty II?
21:29 mornfall podle toho který
21:30 xstill no možná už tohle
21:31 mornfall hm, pátýho by to bylo znatelně lepší
21:32 xstill tak ještě je varianta že ti to nezrušíme a uděláme to jindy
21:32 xstill spito: jak jsi na tom ve čtvrtek
21:32 xstill ?
21:32 spito no, jako obvykle
21:33 spito školu mám 16:00-18:00
21:33 spito a pak jdu asi plavat
21:33 xstill takže klidně můžeš automatovat 10-16 dejme tomu?
21:33 mornfall máte vnitro?
21:33 spito pokud překonám vnitřní odpor, tak můžu i od 8
21:33 spito jop
21:33 mornfall kdy?
21:33 spito 7
21:33 spito ?
21:34 spito asi
21:34 xstill jo 7.
21:34 spito jop, 7.11
21:34 mornfall to by 5. úplně stačilo ne? :)
21:34 spito :D
21:34 spito ty jsi ale vtipálek
21:34 mornfall (chápu že 3.12. už je na to pozdě, to nemůžu já...)
21:34 spito zapomínáš na to, že jsme šprti
21:35 mornfall no, zrovna automaty 2 jsem napsal dost blbě (ale nepamatuju že bych se na to vůbec učil, zase...)
21:36 mornfall ale co pamatuju tak na vnitru to byla jedna blbost větší než druhá
21:36 mornfall asi hlavně tabla
21:36 mornfall to se dost možná ale změnilo od tý doby
21:39 xstill no je tam (S)LL, (S|LA)LR
21:41 spito takže aby to pochopili i ti navrdlí - LL(k) a LR(k) s sebou musí tahat kontext, aby to fungovalo, kdežto SLL(k) a SLR(k) s sebou tahají pouze globální follow
21:41 spito ?
21:41 spito S jako globální, to si pamatuju :D
21:41 spito SLL a LL jsou pro k=0 ekvivalentní
21:41 mornfall vybrané kapitoly jsou mnohem zajímavější
21:41 mornfall ty automaty 2 jsou furt dost divný
21:42 mornfall tady tyhlety formy gramatik jsou všechny hrozně technický a navíc v podstatě k ničemu
21:42 spito a SLR a LR jsou pro k=0 taky ekvivalentní, že?
21:42 spito *LL pro k=1
21:42 xstill tohle jsou vybrané kapitoly
21:43 mornfall je asi dobrý tomu na nějaký úrovni rozumět, ale trochu mi to přijde ekvivalentní s učením se manuálových stránek u yenyu
21:43 spito xstill: mám ty tvrzení aspoň trochu dobře?
21:43 xstill SLL(0) = LL(0) a SLR(0) = LR(0) asi
21:43 mornfall xstill: myslel jsem IA052
21:43 spito neplatí SLL(1) <=> LL(1) náhodou?
21:44 xstill ne pokud vím
21:45 xstill a ano S je jako globální to nás Jiřík pěkně naučil
21:45 mornfall světový? :-P
21:45 xstill hm IA052 byla naposledy na jaře 2011
21:46 xstill doufám že to nevypíšou znova na jaro 2014
21:46 xstill to by mě fakt naštavili
21:47 xstill stačí že mi uteče vyčíslitelnost
21:57 mornfall no zdá se že to funguje
21:57 mornfall ale ty spousty nul v protipříkladu s tím zdá se nesouvisí
21:59 spito mornfall: tak pošli patch
21:59 spito rád bych se podíval
22:00 mornfall vydrž
22:00 spito držím
22:05 mornfall spito: tak že jseš tak zvědavej tak za odměnu uděláš review j? :)
22:06 mornfall kruci a zase jsem tam zacommitoval debug hlášku
22:10 spito mornfall: a když se mi nebude líbit třeba pojmenování, můžu ho změnit? :P
22:10 mornfall můžeš to navrhnout
22:20 xstill sakra já měl zase pocit, že je o hodinu míň
22:20 mornfall no, ono bude
22:20 mornfall za 3 hodiny :-)
22:20 spito :)
22:21 spito mornfall: myslíš, že by šlo udělat názvy typů takový, že z toho jde vyčíst, co to je?
22:21 mornfall dost o tom pochybuju, proč? :)
22:21 spito tak nic
22:22 mornfall který typ se ti nezdá?
22:23 xstill tak to jsem samozřejmě nemyslel zimní čas
22:23 spito ono to je teď už asi jedno
22:23 spito jenom že kdyby to pak viděl člověk, který divine nikdy neviděl, tak uteče, protože typy A, B, S mohou být dost neintuitivní
22:24 xstill spito: viděl jsi zadání 4 úlohy do iv112?
22:24 spito ale chápu, že člověk formátu mornfall, xstill a další to hravě zvládnou ;)
22:24 spito xstill: jo, namátkou jsem se na podíval
22:24 spito xstill: plán mám takový, že úlohu 4 a 6 umlátim nějak instantně
22:25 spito pak dokopu 7
22:25 spito a zbytek času budu bojovat s 5
22:25 spito a 8
22:26 spito mornfall: jo, S2 vypadá taky hezky _
22:26 xstill no ono hlavně ta 4 je do 5. to se nám blíží
22:27 spito :)
22:27 spito xstill: já vím
22:27 spito v úterý je deadline pro možnost kontroly
22:27 spito xstill: btw: nevíš, jak je na tom eva?
22:27 spito nevzdala to náhodou
22:27 spito ?
22:28 mornfall 00:27:44 | morn@ald:~/dev/iv112/openmp -> wc -l sequential.cpp parallel.cpp 20 sequential.cpp 27 parallel.cpp
22:28 mornfall to máte hned ;-)
22:28 xstill nevzdala ale moc nestíhá, ale mám pocit, že si o radu neřekne
22:28 spito :D
22:29 spito mornfall: 00:24spitoale chápu, že člověk formátu mornfall, xstill a další to hravě zvládnou
22:29 xstill mornfall: tak mohl jsi A pojdmenovat Algorithm a B Visitor a S Setup
22:29 xstill ono se to docela vyplatí to mít čitelné
22:29 mornfall hm, jenže A není Algorithm a B není Visitor -- aspoň zdaleka ne nutně
22:30 mornfall mohl jsem to pojmenovat ListenerA a ListenerB
22:30 mornfall nebo 1 a 2
22:30 xstill tak to asi moc nepomůže
22:32 xstill proč máme dělat tranzitivní uzávěr přes násobení matic? Nedá se to dělat přes floyd-wardshallův algoritmus?
22:32 xstill teda O(n^3) namísto O(n^3 log n)
22:32 xstill i když to asi zase nepůjde paralelně
22:33 mornfall to hlavně počítá něco úplně jinýho ne?
22:33 mornfall no, úplně ne
22:33 xstill no tak ten f-w lze upravit aby počítal tranzitivní uzávěr myslím
22:34 mornfall počítat to máte aby to nebylo ani úplně primitivní ale ani moc složitý
22:37 mornfall jestli chceš challenge, tak to implementuj v O(n^2.4 log n)
22:38 mornfall n^0.4 logn by mohlo i růst pomaleji než n
22:39 xstill mornfall: myslel jsi O(n^2.3727 log n) :-D?
22:39 mornfall (a kdybys chtěl fakt challenge, tak n^2 log^2n ;-)
22:40 xstill to bych asi potřeboval víc času než 10 dní :-D
22:40 mornfall klidně i 2.5
22:40 mornfall těch algoritmů je dost
22:41 mornfall a do 2.5 se jich vleze asi víc než jeden
22:41 mornfall do 2.4 nevim jistě
22:41 xstill tak O(n^2.807 log n) by ještě mohlo být datelný
22:41 mornfall (proto tam je napsaný n^3, aby si tim lidi zbytečně nelámali hlavu...)
22:42 xstill ale dál ať si s tím hraje někdo jiný
22:43 spito mornfall: čemu dát přednost - typedef, nebo using?
22:43 mornfall using
22:43 spito já to věděl :)
22:43 mornfall proč?
22:43 spito to já jen tak...
22:43 mornfall je to moderní :)
22:51 xstill hm tohle mi připomíná tu přednášku na PV192 o tom jak je násobení matic na nic pro chache
22:51 spito :D
22:51 spito ale to tě, řekl bych, v IV112 nezajímá
22:52 xstill tak, můžu chtít být nejrychlejší
22:52 xstill ale na to jsem asi líný
22:52 xstill a musal bych se dozvědět jak dopadli ostatní
22:53 xstill mornfall: co dělá $@ v makefile?
22:56 xstill ach jo bitreference nemá operator |=
23:02 spito no, bitový jsem nedodělal
23:02 spito to mě nenapadlo, sry
23:03 xstill :-D to nebylo na tebe ale na tvůrce STL
23:03 xstill (std::vector< bool >)
23:03 spito jo, já myslel, že to je v bittuple
23:08 xstill mornfall: hádám dobře, že parallel.cpp se od sequential.cpp liší jen v omp parallel for?
23:11 spito + bych řekl, že tam bude něco, jako synchronizace
23:12 mornfall xstill: zhruba
23:12 xstill "The fastest worst-case methods, which are not practical, reduce the problem to matrix multiplication."
23:13 mornfall zhruba takový byl záměr
23:20 xstill hm, úspěšně jsem implementoval algoritmus který vůbec nefunguje
23:21 mornfall :D
23:21 mornfall stává se
23:31 xstill floyd-warshall je zhruba 10x rychlejší než matrix multipliciation
23:34 xstill a jeho vnitřní cyklus může jet paralelně a nerozbije to korektnost
23:34 mornfall to by člověk skoro řekl že máš něco blbě
23:36 mornfall nebo teda matici 1000x1000 by to asi dávalo smysl
23:36 xstill tak, možný to je :-P
23:36 xstill ta matice je dost velká
23:37 xstill jo 1000
23:37 mornfall tak, log2 z 1000 je kolik? :)
23:39 xstill 9.96
23:39 mornfall další otázky? :)
23:41 xstill ale lze to optimalizovat pro hustý grafy
23:42 xstill ať žije optimalizace (aneb z 20s na 40ms)
23:43 mornfall násobení 2.807 se vyplatí zhruba od 6000000 :-)
23:43 xstill to jsem asi přehnal, nebude co vyhrát paralelizací
23:43 xstill :-D hm a to je jen to rekurzivní
23:43 xstill co potom ty další
23:44 mornfall no, 2.5 se vyplatí už při 20
23:44 xstill ten random generátor dělá moc hustý grafy
23:44 xstill zajímavé
23:44 mornfall (asymptoticky oproti f-w teda)
23:45 xstill aha asymptoticky
23:46 mornfall nějaký konstanty navíc tam budou, ale počítám že nebudou moc velký
23:49 xstill čas jít spát nebo se mi stratí další hodina
23:50 mornfall hm, to co tady mám je na OMP 2x pomalejší než sequential :-)))
23:51 xstill :-D
23:51 mornfall ale tak to je laptop
23:51 mornfall na větším SMP to nějak fungovalo, zdá se mi
23:53 mornfall (jinak je teda jasný, že kdybys to „vektorizoval“ tak to bude nesrovnatelně rychlejší...)
23:53 mornfall | a & jsou fakt rychlý instrukce
23:57 mornfall taky jdu spát

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