Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-07-21

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

All times shown according to UTC.

Time Nick Message
05:56 xbarnat joined #divine
06:45 xstill spito: dostal jsem /home/xstill/DiVinE/mainline_tso/bricks/brick-hashset.h: 815: assertion `internal error' failed;
06:58 xstill spito: je tam Found pravděpodobně
06:59 xstill což teda není dobrý při rehashi
07:00 xstill spito: model aura:ltl-tso.bc, divine verify -p progress ~xstill/ltl-tso.bc --comp --fair
09:29 mornfall xstill: brick-benchmark?
09:29 mornfall (ad benchmarky co se dají pustit)
09:39 mornfall teda benchmark-bricks asi
09:46 spito xstill: to je pěkně škaredý
10:11 mornfall 'pěkně škaredý' :D
10:11 spito ještě řekni, že není
10:11 spito :P
10:13 spito mornfall: když chci použít darcs na auře, tak je potřeba ho zkompilovat?
10:28 mornfall je tam nix
10:29 spito a venku svítí sluníčko
10:30 mornfall svítí je docela understatement
10:33 spito (jemně jsem ti naznačil, že mi tvoje odpověď vůbec nic neřekla)
10:35 spito mornfall: configure mi na auře zdechne
10:35 spito /nix/store/ihmkc7z2wqk3bbipfnlh0yjrlfkkgnv6-bash-4.2-p45/bin/bash:
10:35 spito BASH_FUNC_module(): dek 0: chyba syntaxe pobl neoekvanho
10:35 spito tokenu )
11:03 spito xstill: a počítám, že coredump jaksi nemáš
11:09 mornfall spito: s tebou je taky pořízení...
11:09 spito co jsem zase (ne)udělal?
11:09 mornfall jednak /usr/bin/darcs, druhak /nix/integration/profile.sh
11:10 spito to je jedno, stejně jsem to na auře vzdal
11:12 mornfall ne že bych chápal co děláš, ale divine jde na auře zkonfigurovat úplně normálně
11:13 spito no, mně to nešlo
11:13 spito snažím se přijít na to, jak mohl xstill dostat tu chybu, kterou dostal
11:14 spito ale to prostě nedává smysl
11:14 mornfall jakto?
11:16 spito no, chyba nastala tak, že při přehashování se objevil duplicitní prvek
11:16 mornfall ano
11:17 spito tzn muselo dojít k násobnému vložení
11:17 mornfall nebo překryvu segmentů
11:17 spito no, to taky nedává smysl
11:17 mornfall nojo, v tom kódu chyba být nemůže a xstill má halucinace :-)
11:17 spito takhle jsem to nemyslel
11:18 spito zkouším najít místo, kde to může takhle selhat
11:18 spito ad segmenty - napočítá se počet segmentů
11:19 spito a každé vlákno si vezme svůj segment
11:19 spito velikost segmentu je compiletime konstanta
11:21 spito krom toho - každá buňka se při přesunu poznačí jako nevalidní
11:36 xbarnat pouzij divine, on ti vygeneruje protipriklad
11:56 xbarnat co si myslite o preneseni vyvoje divine na git ?
11:56 xbarnat github potazmo treba ...
12:02 mornfall ... proč?
12:08 mornfall z mojeho pohledu to je dost těžkej downgrade a nevidim tu zásadní výhodu co by to vyvážila?
12:30 xbarnat decka, kdo my vysvetli jak funguje divine ... uaaa
12:46 mornfall mi*
12:46 mornfall čemu nerozumíš?
13:06 xbarnat nycemu
13:34 mornfall to není mnoho
13:45 xbarnat vidim to tak, ze si vezmu vladu na jeden den a on to bude muset se mnou projit a vytrpet ...
13:53 mito_ joined #divine
14:31 spito mornfall: ty applový fixy už jsou nahraný?
14:32 mornfall asi jo
14:33 spito je možné apple přesvědčit, aby měl zároveň LLVM 3.6 a LLVM 3.4?
14:34 mornfall macports?
14:34 spito já nevím, ale slečna s OS X je trochu bezradná
14:35 spito a upřímě - já v podstatě taky
14:35 mornfall google zná? macports.org
14:36 spito tzn virtuálka?
14:36 mornfall ?
14:37 mornfall co s váma poslední dobou je?
14:37 mornfall macports.org, je tam napsaný jak se tím instaluje software
14:37 mornfall ať si nainstaluje LLVM jaký chce, tímhle
14:38 spito no tak pracuješ občas s blbcema...zvykej si
14:38 mornfall configure by llvm z macports (3.3 nebo 3.4) měl najít sám
15:47 xstill spito: ten model by ti měl fungovat celkem kdekoli asi (pokud jsi to ještě nerozchodil)
15:47 xstill byl kompilovanej u mě a pouštěnej na auře (jen to chce llvm 3.4)
15:48 xstill spito: a core jsem měl, ale nebyl v něm jedinej symbol vidět (stacktrace tam stejně není protože exception handler)
16:39 xstill akorát mě teda moc nenapadá jak zjistit co tomu vlastně je
16:41 xstill nějakej dump by se tam dát dal
16:42 xstill říkáš teda, že to musí být dvojitě vloženej element?
16:43 mornfall no
16:44 mornfall ono to klidně může být i přepsanej blob
16:45 xstill no to by bylo taky veselý
16:45 xstill hlavně by se to blbě zjišťovalo
16:45 mornfall ano
19:45 mito_ joined #divine
19:52 xstill spito: čas od času se to stane i třeba ve 2 vláknech najednou ten assert
19:53 mornfall hm, to docela nebývalo ale
19:53 mornfall zní to dost jako novej bug
19:54 xstill no, nějak to souvisí s fairness taky, bez ní to funguje
19:54 xstill teda může souviset
19:54 mornfall hmm
19:54 xstill a v tabulce se nic neměnilo
19:55 xstill jen nevidím, že by fairness někde něco přepisovala, co by mělo být v tabulce už
19:55 mornfall měnilo, relaxed na počítadle
19:55 xstill jo, ale to to fakt udělat nemohlo
19:55 mornfall čistě teoreticky to mohlo změnit výsledek nějaký optimalizace
19:55 mornfall takže bych to zas tak kategoricky nevylučoval
19:55 mornfall nicméně fairness je lepší kandidát
19:57 mornfall fairness se myslím vůbec netestuje
19:58 xstill to je docela chyba
20:01 xstill fakt nevidím kde by ta fairness zapisovala kromě generování následníků
20:02 mornfall no, už jednou byl problém s nastavením slacku ve fairness
20:03 mornfall ani nevim jestli a jak se to opravilo
20:03 mornfall a tak
20:03 mornfall chyba to je
20:04 xstill jako jo, to mě taky napadlo, že kdyby byl slack různě nastavený tak je to průšvih
20:05 xstill jenže zrovna hasher je zdá se sdílenej
22:29 mito_ joined #divine

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