Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-03-24

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

All times shown according to UTC.

Time Nick Message
11:49 mornfall no
11:49 mornfall já nevim co s 3.1, concurrentset nefunguje, mám prostě celý --shared vyhodit a udělat final verzi?
13:20 mornfall xstill: nechceš se na to podívat? ;-)
13:21 xstill na co?
13:21 mornfall na concurrentset.(test.)h
13:21 xstill na ten nezníčitelnej bug co se objevuje v hydře?
13:21 mornfall jj
13:22 mornfall fakt to vypadá jako bug v tabulce
13:22 mornfall a jestli tam fakt je tak cokoliv s --shared není tak docela korektní
13:23 xstill hm, jako rozum mi říká, že do 9. dubna bych neměl. Ale to neznamená, že se na to nepodívám.
13:23 mornfall :-) co je 9. dubna?
13:24 xstill zkouška z norštiny, a těsně před tím je deadline projektu z operačních systémů (analyzujeme prefetchery v simulátoru)
13:24 mornfall :-)
13:24 mornfall však uvidíš
13:24 mornfall až na to někdo přijde tak můžem vesele udělat 3.1 a zapomenout na to
13:25 mornfall mně přijde blbý to --shared vypínat
13:25 xstill jo to mě taky
13:25 mornfall ani nevim co bych napsal do changelogu
13:25 xbarnat joined #divine
13:26 xstill mornfall: a "many existing tools" == DIVINE?
13:26 mornfall xstill: kde? :)
13:26 mornfall s LARTem?
13:26 xstill ale to takhle koukám na github jednou...
13:26 xstill jo
13:27 mornfall no, ideálně třeba i lldb, llbmc, nbis a tak
13:27 mornfall nebo i clee
13:28 xstill co je nbis a clee? (není to úplně snadno googlitelný)
13:28 mornfall https://github.com/hguenther/nbis
13:29 mornfall clee je nějakej analyzátor kterej taky nikde na webu nevidim :-)
13:29 mornfall ale na CAVu se o tom ještě povídalo tak to třeba neumřelo úplně
13:30 xstill aha
13:30 mornfall no a nakonec třeba i valgrind, když to přeložíš až na x86
13:31 xstill zajímavý
13:32 xstill ten LART to je to co děláš ve vídni?
13:32 mornfall jo
13:37 xstill hm, to se tak člověk divý, že dostává divný výsledky když testuje něco úplně jiného než si myslí
14:12 xstill mornfall: ten bug není snadlo reprodukovatelnej, že?
14:14 mornfall xstill: moc snadno ne
14:14 mornfall xstill: objevuje se dost sporadicky a ne úplně na všech mašinách, zdá se mi
14:15 xstill no super
14:28 mornfall v hydře to padá v release mode
14:28 mornfall ale na mým laptopu to nevypadá že by to chtělo spadnout
14:40 xstill je to to /concurrentset.test.h: 23: assertion `!set.insert( i ).isnew()', že? Možná to padá jen s gcc nebo tak
14:40 mornfall jo
15:17 xstill hm reprodukováno (je potřeba zároveň buildovat nixos :-D)
17:06 mornfall xstill: :D
17:34 xstill jo no. on prej scheduler snižuje kvanta při vyšším zatížení, takže to dává smysl
17:44 mornfall hmm, valgrind umí kvanta nastavit (ale nevim jestli se to v tom jeho simulátoru vůbec projeví)
17:50 xstill já mám obavu že valgrind/helgrind tu bude dost na nic, pokud nějak neopravili to jak (ne)řeší atomické instrukce
18:58 xstill jako aspoň to tada padá i s clangem a v debugu. takže za to  nemůže gcc
19:00 xstill (hm, tak to nebyl debug)
20:00 mornfall potřebuju něco-jako --track-origins... v divinu
20:01 xstill co je mode -o?
20:01 xstill a co je --track-origins?
20:02 mornfall -o = deop
20:02 mornfall (+o = op)
20:02 xstill aha, koumám, zmizel ti @
20:02 mornfall hmm, --track-origins ve valgrindu si pamatuje kde vznikla hodnota
20:02 xstill aha
20:02 mornfall ale špatně jsem to pojmenoval, já potřebuju (jen) pamatovat si kdo tu paměť alokoval
20:03 xstill jako za běhu, nebo při analýze protipříkladu?
20:03 mornfall asi aj za běhu
20:03 xstill aha, protože v protipříkladu by se to mělo dát vystopovat, ne?
20:03 mornfall mělo, ale nedá :-)
20:04 mornfall teda dá, ale jen když umíš interpretovat LLVM
20:04 mornfall (a máš kanonizátor stavů z divinu navíc)
20:04 mornfall každopádně já to potřebuju kontrolovat jako vlastnost v každým stavu
20:05 xstill proč?
20:05 mornfall mám v llvm metadatech zapsaný množiny objektů na který může nějaká hodnota ukazovat, a chci aby divine ověřil že tam skutečně ukazuje
20:05 mornfall a na to potřebuju nějak perzistentně pojmenovat všechny alokace
20:06 mornfall tu haldu nám byl čert dlužnej
20:08 xstill aha, a to celý je proč?
20:09 mornfall no, abych mohl nějak rozumně testovat AA analýzu v LARTu :-)
20:09 xstill aha :-)
20:09 mornfall upřeně se dívat na 2.5M llvm assembleru se jeví jako dost neefektivní testovací metoda
20:09 xstill :-D
20:33 xstill (po dlouhém čekání to padlo i v debugu)
20:37 xstill hm, přemejšlím jestli by nebylo vhodný mít verzi reachability která by šla spíš do hloubky než do šířky, mohla by v praxi být možná rychlejší na širokých grafech s víc chybnýma běhama (za cenu delšího protipříkladu asi)
20:42 mornfall to by asi nebyl problém
20:43 mornfall doufám že máš core ;-)
20:43 mornfall mám pocit že divine 3.2 bude vyžadovat clang 3.5 ...
20:44 xstill proč clang 3.5 sakra?
20:44 xstill core mám, ale core je asi dost na nic tady
20:46 xstill hlavně ve chvíli kdy ten assert selže tak já už nemám šanci vidět do tho co ten set vrátil
20:46 xstill hm, ten test by totiž bylo potřeba přepsat tak aby to šlo
20:46 xstill toho jsem si sakra mohl všimnout než jsem ho pustil
20:55 xstill co je tak super na clang 3.5?
20:55 mornfall no, to ještě nevím
20:56 mornfall ale až ho budu mít tak to zjistim :-)
20:56 mornfall předběžně to vypadá že má relativně příčetný VFS API
20:56 xstill což je?
20:56 mornfall takže se nemusí hrozivě zhackovat aby sis mohl překládat strom uloženej v RAMce
20:57 xstill hmm, že bysme se vrátili k idei zabuildovat si clang do divine?
20:57 xstill pokud by to měli rozumný tak by to za to stálo
20:57 mornfall no, já se té myšlenky nikdy nevzdal :-)
20:58 mornfall a momentálně používám divine na překlad .c -> .bc v testsuitě v lartu, tak jsem si říkal že by to divine mohl dělat míň dementně
20:58 xstill tak ono by to bylo fain, jen s tím akutálním llvm by to bylo dost zhackovaný pokud by to vůbec šlo (což asi nakonec jo)
20:59 xstill máš nějaké info k tomu VFS?
21:00 mornfall no, jen to co jsem vyčet ze zdrojáků :)
21:00 xstill ok

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