Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-06-24

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

All times shown according to UTC.

Time Nick Message
08:53 xstill hm, a failuje ná 32 bit ubuntu (13.10, 14.04)
08:53 xstill gold to tam nějak nechce slinkovat
08:55 xstill teda koukám, že mít někde funkční binutils s podporou pluginů je dost zázrak
08:57 xstill hm, tohle je ovšem zajímavější problém (3.1 branch): http://divine.fi.muni.cz/hydra/build/5931897/log/raw
08:57 xstill shared dostal SIGABRT
08:58 xstill pravděpodobně ale při generování protipříkladu
08:58 xstill aha on je to assert
08:59 xstill divine/graph/ltlce.h: 213: assertion `int( t.extension( from ).iteration() ) == t.shared().iteration' failed;
08:59 xstill to je divný
09:00 xstill 3.1 už má zámky na extension ne?
09:02 mornfall snad jo
09:02 mornfall jo, je to tam
09:14 xstill je to divnej race, docela nechápu jak může vidět from s neaktualizovanou iterací, vždyť z něj musal přijít, mohlo to sice být na jiném vlákně ale stejně, ten from musal být zamčenej v okamžiku, kdy se měnil
09:14 xstill mornfall: můžeš se podívat, jestli má 3.1 v FindCycle::transition (ltlce, okolo 201) guard?
09:15 mornfall má guard přesně na 201 :-)
09:15 xstill jo, tak fakt nevím
09:15 mornfall jinak http://divine.fi.muni.cz/darcs/branch-3.1 :-)
09:15 xstill jo
09:16 xstill to je dost záhadný
09:17 xstill škoda, že to alespoň není assert_eq
09:18 xstill zkusím jestli donutím mainline na tom taky spadnout
09:19 xstill víš zpaměti jak nastavit afinitu na cpu procesu z commandline?
09:20 mornfall fuha :-)
09:20 xstill tak já si to najdu
09:21 mornfall proces můžeš zahnat do cpuset cgroupy
09:23 xstill taskset -c <čísla prcesorů> <program>
09:23 xstill jo to mě taky napadlo, ale musal bych zřizovat cgrupu
09:24 xstill když jsme u toho, co nám chybí do 3.1 release?
09:25 mornfall pokud se vykašlem na ty windows tak asi nic, nebo nevím
09:26 xstill a ty windows to je jen nějakej krám s cestama?
09:27 xstill hm, tam se vlastně dá čekat, že celý llvm nebude fungovat
09:27 mornfall windows je to že se to neslinkuje
09:27 mornfall pokud zapneš llvm
09:27 mornfall undefined reference to `wibble::sys::fs::mkdirIfMissing(std::string const&, unsigned short)'
09:28 mornfall pak tam je ještě bad reloc address 0x55 in section něco se stringtable, těžko říct jak moc je to error a jestli to bude padat když se opraví ty undefined reference
09:30 mornfall ale to že ta desynchronizace je v CE je dost veselý
09:31 xstill supr, kdyby s těma windos alespoň byla rozumná řeč
09:41 mornfall žejo...
09:41 mornfall je to na mašli
09:49 xstill nezdá se, že by to úplně chtělo spadnout
09:51 mornfall ono to nerado padá když se díváš
09:51 mornfall paralelní programy jsou ostýchavý :-)
09:54 xstill no proto mi to běží ve dvou oknech ve while na stejném cpu, a stejně pořád nic
10:55 xstill tak alespoň mám na windows testy ktere se neslinkují, to je trochu pokrok
10:55 xstill (ten ltlce ještě nespadl)
13:18 xstill mornfall: máš na mailu patch kterej by měl opravit to linkování na windows
17:29 xstill hm, tak failnuly v tom buildu skoro všechny testy (včetě algoritmů, a celý LLVM)
17:32 xstill aha tak všechno to padlo kvůli llvm
17:37 xstill jen teda není vůbec jasný kvůli čemu padly testy co s assemblovanýho bitkódu, jeden z nich má v protipříkladu spoustu nul, ale v ostatních nevidím vůbec nic
17:43 mornfall tak, pokrok nezastavíš :-)))
17:43 mornfall já dneska celej den řeším typový chyby
17:47 xstill kde?
17:48 xstill tak pokrok je, že se to slinkuje, nicméně je tam někde chyba v tom co jsem dodělal
17:48 mornfall tak, mimo jiné tam ještě nemáme clang, takže llvm testy projít nemůžou... a jaký jsou tam binutils ani nechci vědět
17:49 xstill :-), no neprocházej ani ty co překládaj z .ll
17:49 mornfall jo, pochopil jsem
17:59 mornfall ten haskell začíná docela připomínat rozsypanej čaj
17:59 mornfall results $ ((,) Nothing) <$> (fetch_results =<< rev)
17:59 xstill :-D
18:29 xstill super, z MSDN: "If path contains the location of a directory, it cannot contain a trailing backslash. If it does, -1 will be returned and errno will be set to ENOENT"
18:35 xstill hm, fakt je tam nastavená iterace 1 a má tam být 3
18:36 xstill (ten bug v ltlce)
18:40 mornfall zajímavý
18:42 xstill hm, jenže core je mi k ničemu žejo, protože z něj extension nevyčtu
18:43 xstill hm, coredump by měl obsahovat všechny vlákna, ne?
18:43 mornfall jo
18:43 mornfall info threads
18:43 xstill jenže já tam vidím jen 2, to který zdechlo a master
18:43 mornfall no a běželo nějaký jiný?
18:44 mornfall ltlce je docela sekvenční
18:44 xstill tak byl to FindCE
18:44 xstill a pokud by neběžel paralelně tak k té chybě snad nemohlo vůbec dojít
18:47 xstill přece pokud momentálně běží transition( from = A, to = B ), tak to znamená, že už před tím musalo proběhnout transition( from = X, to = A ), ne?
18:47 xstill jo začínám to chápat
18:48 xstill to je vtipný:
18:49 xstill thread a: transition( A, B ), B je ce.initial, transition vrátá Terminate. Jenže mezi tím už jsou potomci B ve frontě, thread 2: vytáhne B z frony, vygeneruje následníky, volá trasition( B, C ). B je zamčené takže čeká. Mezi tím 1 vrátí Terminate a odemkne; 2 pokračuje a zdechne na asertu
18:50 xstill není divu že to moc nenastává
18:50 mornfall dobrý no
18:50 xstill podle mě je to ono, opravím to
18:53 xstill hm, jenže ten vrchol by se ale potom neměl dostat do fronty, ne?
19:03 xstill nechápu to
19:49 mornfall ale terminate je v tom skoro určitě zapletený
19:54 xstill shared hodí initial do fronty několikrát, to ale asi nevadí
20:36 xstill poslal jsem ti ty patche znova (všechny), je tam jeden novej ostatní jsou nezměněný
20:36 mornfall jdu se na to podívat
20:37 xstill (teď už se ten LLVM build dostane k tomu, že nemá clang)
20:37 mornfall unabiguous -> unambiguous ;-)
20:39 mornfall (už jsem to pushnul)
21:04 xstill hej to je hodně vtipný, ono ten ce.initial má smyčku a není z něj dosažitelné nic dalšího
21:05 xstill tím spíš nechápu jak ten assert může selhat
21:07 xstill hm, to je jinej
21:08 xstill ale ten na kterým to padlo má totéž
21:16 xstill ale potom není sakra vůbec možný se dostat na řádek 213, kde je ten assert

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