Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-10-08

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

All times shown according to UTC.

Time Nick Message
01:46 _ilbot joined #divine
01:46 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
07:51 spito joined #divine
08:21 mornfall tak jo, záloha se hlásí
08:24 spito super, oba jsme si přečetli mail teď
08:25 mornfall no jej :-)
08:25 spito ale tak co
08:25 mornfall v zásadě vás můžu přijet oprskat ještě jestli moc chcete
08:29 mornfall spito: taky ty jdeš udělat to owcty počítám, ne?
08:29 mornfall xstill: a ty si hraješ s clangem?
08:35 xstill jo no budu se snažit. Už udělám i llvm modul do paměti, ale jen ze souboru a z textových argumentů
08:36 xstill příště bys mohl napsat že nepřijedeš dřív
08:40 spito mornfall: jop, umlátim owcty....klidně kladivem
08:43 mornfall nojo, tak já nevěděl jestli přijedu nebo ne
08:45 mornfall ještě ráno jsem si říkal že hodim počítač do baťohu a přecijen přijedu, ale zase asi je to ještě nakažlivý
08:45 mornfall to nevyhraješ :-)
08:45 xstill hm, já začínám mít docela pocit, že ten clang to jinak než jako stringy nebere ty paramtry
08:47 xstill on je to strašnej hack jenom donutit to aby to neforkovalo clang
08:48 mornfall a používáš ten libclang nebo C++ API?
08:49 xstill používám jako základ example z clangu, C++ api
08:49 xstill libclang je asi dost marnej pro naše použití
08:49 mornfall vyrábíš si vlastní CompilerInstance jo?
08:50 xstill jo to tam mám, tomu musím nějak dodat parametry
08:51 mornfall no, ty bys měl volat setFileManager
08:51 xstill teda pokud bych vyrobil CompilerInvocation tak jsem asi v pohodě
08:51 xstill co, kde to bereš?
08:51 mornfall ve zdrojáku CompilerInstance
08:52 mornfall resp. setSourceManager
08:52 mornfall pak mu teda dáš cesty, ale ty cesty zase dostaneš zpátky až bude volat ten tvůj filemanager
08:52 mornfall nebo aspoň tak si to představuju
08:53 xstill prozkoumám to
08:54 mornfall SourceMgr.getMainFileID()
08:55 mornfall případně pokud chceš aby na všechno krom main hrabal do filesystému (pro začátek), tak InitializeSourceManager, s tím že FrontendInputFile může být buffer
09:05 mornfall blbý asi je, že tady ti manageři zrovna neoplývají virtuálníma metodama
09:08 mornfall ale SourceManager má overrideFileContents
09:08 mornfall to by mohlo na leccos stačit
09:14 xstill no problém je že já nemám asi jak FileManager informovat že nějaký soubor ve filesystému nemá hledat
09:15 mornfall FileManager asi ne, ale SourceManager když zavoláš override tak by na disk na ten soubor koukat neměl
09:16 xstill hm, getVirtualFile by mohlo snačit to nějaké entry udělá
09:16 xstill jen je to divně pojmenované
09:17 mornfall to asi není to co chceš
09:18 mornfall hm
09:18 mornfall možná jo
09:18 mornfall :-)
09:26 mornfall kruci ta ženská mi tam toho lidocainu narvala nějak moc ...
09:27 spito bojí žub?
09:27 mornfall nebolí, ale necítim si půlku hlavy furt :-)
09:27 spito to kdyby sis lépe čistil zuby....
09:28 mornfall už to máš naprogramovaný, že tak ryješ? ;-)
09:28 spito no právě že ne
09:29 spito někde je tam asi chyba
09:29 mornfall kde, jaká?
09:29 spito no, většina funguje
09:29 spito ale test3.dve způsobí masivní generování stavů
09:30 spito jakože se najednou začne cpát tuna věcí do fronty
09:32 mornfall tak pošli darcs diff
09:32 mornfall mi to píše že to je unsupported :-)
09:33 spito :P
09:33 spito tak jasný, když to je vypnutý
09:35 spito http://pastebin.dqd.cz/tAzG/
09:41 spito tools/divine verify --owcty -w 1 --property=LTL --no-reduce ../test/data/test3.dve --shared
09:41 spito toto pak umře
09:41 mornfall jo, mám to v debuggeru už
09:45 mornfall hm, iteration v extension je úplně blbě totiž
09:46 spito coco?
09:46 mornfall d
09:46 mornfall ivine/algorithm/owcty.h:177
09:46 mornfall (gdb) p old
09:46 mornfall $6 = 512
09:46 mornfall (gdb) p shared.iteration
09:46 mornfall $7 = 1
09:46 mornfall otázka je jak se tam těch 512 dostalo :-)
09:51 mornfall ono tam je těch 512 už v initialise
09:55 mornfall no, mrší to Guard
09:56 spito eh?
09:56 spito jakto?
09:56 mornfall to nevim :-)
09:56 mornfall std::cerr << "initialise 0 transition: " << o.extension( to ).iteration() << std::endl;
09:56 mornfall auto guard( o.store().template acquire< Extension >( from, to ) );
09:56 mornfall initialise 0 transition: 0
09:56 mornfall initialise 1 transition: 512
09:56 mornfall std::cerr << "initialise 1 transition: " << o.extension( to ).iteration() << std::endl;
09:57 mornfall asi je bit() v BitLock blbě :-)
09:57 spito ham
09:57 mornfall s tím už si poradíš ne?
09:57 spito jop
10:05 mornfall jo a jak jsem na to koukal, není mi jasný cos chtěl vlastně těma pre/post incrementama ve Virtual říct :-)
10:06 mornfall (protože dělaj oba to stejný, a postincrement není post)
10:06 mornfall hm, ne, postincrement nedělá vůbec nic dokonce :D
10:07 mornfall já bych to psal jako set( get() + 1 ) teda
10:07 mornfall a v post-verzích chceš buď vracet get() - 1, nebo si to prvně uložit
10:08 mornfall set( get()++ ) je set( get() ) a pak increment dočasný proměnný
10:10 mornfall rovnou k nim můžeš napsat unit testy, a dotáhnout unit testy na bitlock ;-)
11:30 mornfall bbiab, zdravotní procházka ;-)
12:20 xstill hm, on je docela problém jak dostat parametry pro cc1
12:20 xstill protože pokud je nechám vytvořit z clang parametrů tak potřebuju aby ty soubory existovali
12:20 xstill a navíc tam dostanu systémové includy což asi nechci
12:21 xstill ale jak bych si je měl vycucat z prstu to nevím
12:36 xstill ach jo teď mi to segví někde v clangu
12:37 mornfall :D
12:37 xstill mornfall: jak udělám v nixu debugovací clang?
12:37 mornfall hm
12:38 mornfall asi si budeš muset přidat parametr a posunout to clangovýmu cmake
12:38 xstill se mi ho nechce jen tak buildovat...
12:38 xstill hmm
12:38 mornfall teď tam je natvrdo -DCMAKE_BUILD_TYPE=Release"
12:40 xstill vidím
12:42 mornfall tak, asi bych nastudoval jak je vyrábí clang, ty parametry :-)
12:43 xstill to je fuj :-(
12:43 mornfall proč?
12:45 xstill prostě se mi to nelíbí je to moc kódu, který se potenciálně může u nich změnit a pak to nejspíš přestane fungovat
12:45 mornfall no ne, z toho stačí vysekat to co potřebujeme ne?
12:45 xstill hm, nix mi na začátek vrazil -DCMAKE_BUILD_TYPE=Release
12:45 mornfall on to generuje podle svých parametrů
12:46 xstill no jo no, tak já zjistím jak to vlastně dělá
12:46 xstill teda se o to pokusím
12:47 mornfall include/clang/Frontend/FrontendOptions.h tohle ne?
12:48 mornfall ten defaultní objekt vypadá docela rozumně
12:48 xstill no já potřebuju poskládat CompilerInovcation asi
12:48 xstill pro cc1
12:48 xstill nebo nevím
12:48 xstill já se v tom ztrácím
12:49 mornfall tak, Invocation se skládá z FrontendOpts, HeaderSearchOpts a pár dalších :-)
12:50 mornfall hm
12:50 mornfall asi vyrobit defaultní CompilerInvocation
12:50 mornfall kterej všechno obsahuje
12:50 mornfall a to co potřebuješ změnit getFrontendOpts().něconěco = cosi...
12:51 xstill hm, tak to zkusím
12:56 xstill jinak tam máš jeden drobnej patch
12:56 xstill schválně jestli poznáš co bylo špatně?
12:58 mornfall PERFORMANCE? :-P
12:58 xstill no ne tak docela, podmínka výberu
13:01 mornfall hmm, a co teda nefungovalo?
13:04 mornfall mezi _Missing a true na pořadí nesejde ne?
13:04 mornfall ale jo, rozumím proč to bylo rozbitý :)
13:05 mornfall to je riziko fallthrough
13:06 xstill no hlavně ono je to nepřehledný protože vůbec není jasný že ten TrackStatistics se vybere vždy pokud je jediný
13:06 mornfall pravda
13:06 mornfall to je skoro ještě větší zrada ;-)
13:07 xstill to je strašná zrada a proto je třeba abych to ještě refaktoroval
13:09 mornfall tak, v zásadě asi stačí aby když vrátí select() na všechno false tak to umřelo
13:13 xstill tak ono to funguje, i s tím umíráním tam kde je třeba jen je to hodně neintuitivní
13:14 mornfall tak teď to zjevně neumírá vždy
13:14 mornfall řekl bych že stačí aby to konzistentně umíralo, to je intuitivní dost
13:18 spito pačé
13:19 spito ale fuj
13:19 spito nic z toho není
13:21 mornfall jo, ++temporary je fuj ;-)
13:21 mornfall proč tam nedáš temporary + 1 jako každej slušnej člověk? :-P
13:22 spito protože ++ nemusí být to samé, jako +1
13:22 spito a vůbec
13:22 spito :P
13:23 mornfall a vůbec co? :)
13:23 spito no, to já jen tak
13:23 mornfall je chvályhodné že se snažíš volat odpovídající operátor z T
13:24 mornfall ale furt máš blbě ty post-operátory...
13:24 mornfall jak tam můžeš napsat return *this?
13:24 xstill hm nemám triple
13:25 mornfall jako x86-gnu-linux?
13:25 spito mornfall: no, nevím, co mám tedy vracet
13:25 spito T?
13:26 mornfall jo
13:26 mornfall post-increment nevrací referenci
13:26 mornfall nemá na co
13:26 xstill už jsem to našel
13:27 xstill už to možná i něco dělá
13:38 spito takaleuž
13:38 spito pačé
13:39 mornfall xstill: otázka je, co
13:39 xstill vytváří llvm modul jednoho cpp (který nevím jestli funguje)
13:39 xstill takže nic...
13:41 mornfall tak, to v podstatě stačí ne? :) resp. je to dobrej začátek
13:41 mornfall spito: nechci buzerovat, ale nešlo by používat stejnou inicializaci u toho result jako u value?
13:42 mornfall spito: ale víc mě teda zajímá co s tím bitlockem?
13:42 xstill jo, teď jdu na cvika
13:43 mornfall hm, to odpovídáš na otázku kterou jsem si jen myslel a nenapsal? :D
14:01 spito mornfall: ještě že mě buzeruješ ;)
14:01 spito šlo
14:02 spito jen si nejdem jistý, jestli úplně všechno dobře funguje právě v bitcopy
14:02 spito *nejsem
14:02 spito zatím mi to vychází, že se dělá všechno, jen ne to, co by se dělat mělo :D
14:29 spito bug found
14:30 spito testy napsány
14:34 mornfall :-)
14:36 mornfall spito: pačééé?
14:37 mornfall hm, bitcopy je zrovna taky jediná věc která se v BitLock nepoužije?
14:38 spito mornfall: jop, už je tu mám
14:38 spito jenom to otestuju s owcty a pak to pustím do světa celé
14:39 spito ale přepsal jsem testy zamykání bitlocku
14:41 spito mornfall: ale jako záloha jsi fakt dobrý ;) :P
14:45 spito hmm, tak to pořád nejede
14:45 spito někde je chyba
14:47 mornfall co? :)
14:47 spito no, jo, je to tak
14:47 spito debugování pokračuje
14:49 mornfall co máš proti mému záložničení? ;-P
14:49 spito nic, je fakt dobré
14:49 spito skoro, jako kdybys tu byl
14:49 mornfall :-) přesto příště radši přijdu
14:50 spito jde nějak nastavit, aby functional test byl owcty a shared?
14:51 mornfall make functional T=owcty-shared
14:51 mornfall resp. shared/owcty
14:51 mornfall T=regexp
14:52 spito dík
14:59 spito je tam race
15:01 spito hmm, counterexample...hmmm
16:04 spito mornfall: jsi tu?
16:16 mornfall da?
16:19 spito owcty.h : 355
16:19 spito o.shared.cycle_found = true;
16:20 spito toto když se provede, tak by se mělo jistě dít to, že master vlákno má v shareds jedno shared, které obsahuje cycle_found == true, že?
16:21 mornfall to by se víceméně stát mělo
16:22 spito (tak proč se to doprdele občas neděje?)
16:23 mornfall to nevim, ale je šance že bych to zjistil kdybys poslal pače :-P
16:24 spito :P
16:25 spito done
16:36 spito mornfall: pro tentokrát občas neprojde test5dve
17:30 spito joined #divine
17:45 spito mornfall: koukal jsi na to, nebo ne?
17:45 mornfall zatím moc ne
17:46 spito a nemáš aspoň nějakou ideu, proč by se to mohlo stávat?
17:47 mornfall než se na to podívám asi nemám
17:49 mornfall ale teď asi musím debugovat něco jinýho
17:49 mornfall zítra bych se k tomu ale měl dostat
17:50 spito no, mě hlavně nejde do hlavy, jak bych to vůbec mohl debugovat
17:50 spito ale to je jedno .)
17:50 spito :)
17:51 mornfall a odkud víš že tohle je to co se stane, když ne z debuggeru?
17:51 spito std""cerr
17:51 mornfall :-)
17:51 spito ::
17:51 mornfall jotak
17:52 spito protože ono se to stane tak 1/5 spuštění
18:26 spito kde může být chyba? na internet se normálně připojím, adresa routru (192.168.1.1) normálně pingá, ovšem na http://192.168.1.1 se nejsem schopný dostat
18:27 spito a nedá se tam dostat ani z jiného PC
18:27 spito ani přes wifi, ani přes kabel
19:14 mornfall a určitě tam něco je? (na tom http://...)
19:15 spito no, dřív to tam bylo
19:16 mornfall nemáš v prohlížeči něco co to přepisuje na https třeba?
19:16 spito ne
19:16 mornfall nmap máš?
19:16 spito ne, jedu na widlích
19:16 mornfall http://nmap.org/book/inst-windows.html
19:16 spito ale to je jedno, až bude nižší provoz, tak bude restart
19:21 spito no, něco to naskenovalo
19:24 mornfall piš rovnou nmap -A
19:25 spito no, to nic neudělá
19:26 spito že chudák nemá žádné IP adresy
19:27 mornfall tak to se rozumí že mu krom -A dáš aj tu IPinu
19:28 spito 23/tcp open  telnet  NASLite-SMB/Sveasoft Alchemy firmware telnetd
19:28 spito toto mi napsal k otevřeným portům
19:29 mornfall tak jestli tam není 80 tak není co řešit :-)
19:30 mornfall ale třeba si s tím můžeš pokecat na telnetu
19:30 spito no, asi se nějak vypla nebo co
19:30 spito jo, ale co bych mu tak mohl říct, aby si zapnul server?
19:30 mornfall mohlo to klidně zdechnout
19:30 mornfall třeba na OOM
19:32 mornfall tak když napíšeš telnet 192.168.1.1
19:32 mornfall a přihlásíš se
19:32 mornfall tak dostaneš nějaký textový menu
19:32 spito jo, už si s tím povídám
19:32 mornfall ale počítám že to nějaká výhra nebude :-)
19:32 spito no, není :D
19:32 spito nic moc to neumí
19:32 spito a nevim, co mám spustit
19:33 mornfall to rebootuj a máš :-)
19:33 spito to neumí
19:33 spito :D
19:33 mornfall 7!
19:33 mornfall podle manuálu ;-)
19:33 spito co 7?
19:34 mornfall v hlavním menu
19:34 mornfall 7  Reboot
19:34 mornfall ale tohle je nějakej fakt historickej manuál
19:34 spito no to tam ale vůbec nemám
19:34 spito vyskočil na mě příkazový řádek
19:35 mornfall jako bash?
19:35 spito jop
19:35 mornfall shutdown -r now
19:35 mornfall ;-)
19:35 spito no, to tam není
19:35 spito kde bych ho mohl najít?
19:35 spito /bin ?
19:35 mornfall /sbin/shutdown spíš
19:36 spito to tam taky není :D
19:37 mornfall /sbin/reboot?
19:37 mornfall on tam je asi busybox
19:37 spito jo, ten tam je
19:43 spito joined #divine
19:43 spito dík
19:44 spito už to chudák rozdýchal
22:12 spito joined #divine
22:17 spito left #divine

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