Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-09-19

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

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #divine
01:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
02:36 divine-buildbot joined #divine
03:10 divine-buildbot joined #divine
08:19 ilbot3 joined #divine
08:19 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
08:29 xstill_ joined #divine
08:45 yaqwsx joined #divine
08:47 evenfall yaqwsx: no nazdar :-)
08:49 evenfall xstill_: hm, cos provedl s autentizací?
08:50 evenfall xstill_: (nefunguje chsh na arke)
08:51 yaqwsx Čau, poslušně hlásím, že už opět žiju!
08:51 evenfall (sudo zafungovalo, takže heslo jsem psal dobře)
08:51 evenfall yaqwsx: jo, já zase hlásim žes vyrobil zajímavý chyby v pthreadech ;-)
08:52 evenfall nějak jsem to opravil, ale radši si projdi log pro runtime/
08:53 evenfall taky jsem hrábnul do scheduleru kvůli syscallům v atomických sekcích
08:54 xstill_ evenfall: proveld? ono to někdy fungovalo?
08:54 evenfall xstill_: nevim, ale nějak jsem si ten shell minule změnil
08:54 evenfall počítám že mi to deploy přepsal a hle, nefunguje chsh
08:54 evenfall (sudo chsh xrockai zabralo, ale...)
09:32 xstill_ hm, jo on to deploy přepíše, to bys to musel nějak změnit v ldapu
09:33 yaqwsx evenfall: Ok, podívám se na to. Co to bylo za chyby?
09:33 xstill_ jo to asi nefungovalo nikdy
09:34 evenfall xstill_: to nejde (jedině v tom konvertoru)
09:34 evenfall xstill_: hm, jsem si téměř jistý že jsem ten shell naposled změnil bez suda
09:34 evenfall něco jako 99 %
09:35 xstill_ no v pamu to není nastavené aby to šlo na kerberos
09:36 evenfall yaqwsx: 15a647c0efb593ef1f89d58c4f65caa33a08bb06 -- vypadla synchronizace v _pthread_entry, breakMask se změnilo na release
09:37 evenfall yaqwsx: (to druhý v zamykání mutexu)
09:38 evenfall (jo a obě chyby jsem našel a zdebugoval divinem :)
09:42 yaqwsx Cool
09:46 evenfall yaqwsx: jo a taky můžeš zrušit ten svůj hack s externím překladem dios-u
10:05 ilbot3 joined #divine
10:05 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
10:05 evenfall xstill_: víc mě teď ale trápí jiná věc... __vm_interrupt_mem dáváme *za* ten odpovídající load/store
10:06 evenfall xstill_: nepamatuju si proč, ale asi bych potřeboval aby to bylo obráceně
10:06 evenfall xstill_: jak to je teď to není moc kompatibilní se slučováním load-ů (protože když přijdeš na to, že ten který load už potřebuješ oddělit, tak se provedl a je teda pozdě)
10:08 xstill mornfall: upravím až skončí kolegoum
10:25 yaqwsx evenfall: Ad hack na externí překlad DiOSu - co se změnilo?
10:26 evenfall yaqwsx: runtime se překládá počas buildu a nepřekládá se všechno furt (i když to není úplně dokonalé)
10:27 evenfall yaqwsx: tzn. cc --libraries-only už neexistuje
10:28 yaqwsx Super!
10:36 evenfall hm, sice super, ale něco se hrozně rozbilo :D
10:37 evenfall yaqwsx: jo teď jsem pushnul patch kterej opravuje *kde* se ty .bc tvoří
10:38 evenfall takže pokud jsi to teď překládal tak: find runtime -name \*.bc -exec rm '{}' +
10:38 evenfall pak pull a rebuild :)
10:38 evenfall (pokud je už máš a pullneš, tak z toho cmake zblbne)
10:39 yaqwsx Ok, opravím si.
10:44 evenfall xstill: až prohodíš ty __vm_interrupt_mem, měl by se tím spravit pthraed/mutex-missing.c který momentálně failuje
10:44 evenfall xstill: (ve smyslu že tam je chyba kterou divine nevidí protože slepí load a store k sobě)
10:44 evenfall pthread*
12:39 yaqwsx joined #divine
12:51 xstill_ divine už dělá nějakou taustores?
12:51 xstill_ nebo jak je možné, že se to slepí?
13:05 evenfall xstill_: to přece s taustores nesouvisí
13:06 evenfall jen slučuje nezávislý loady
13:20 yaqwsx joined #divine
14:02 evenfall xstill_: ad ty patche na divine-cc, je fakt dobrej nápad mít brick-process a zároveň brick-proc?
14:05 evenfall stejná story jako types::Union::cases, který dělá to stejný co match
14:21 evenfall (to že je jednodušší beru, ale to jediný na co brick-process používáme teď, totiž použít něco jako filtr, to neumí)
14:34 xstill_ evenfall: já bych se brick-process docela rád zbavil, je to hrozně složitý
14:34 evenfall druhá věc která mě moc netěší je ten hack s 'divine divinecc' a magickej symlink...
14:34 evenfall xstill_: no, dobře, ale protlačit text filtrem (dot) potřebujeme
14:38 evenfall navíc teda nevim jestli jsme už navždy zavrhli win32, ale to bude pak taky potřeba zase řešit znovu
14:40 evenfall asi by bylo lepší vzít co tam je, případně zrušit jestli tam je něco vysloveně nepotřebnýho a zbytek zmodernizovat s ohledem na lambdy &c.
14:49 yaqwsx joined #divine
14:50 xstill_ evenfall: tak já to (časem) dám dohromady
14:51 xstill_ a teda ten filtr by docela snadno mohl fungovat i s tím novým (win32 je druhá věc, ale tam je otázka jestli to vůbec dává smysl s tím ubuntu na windows)
14:52 evenfall no, docela snadno... tím že se polovina toho novýho a polovina toho starýho přepíše a slepí se to
14:53 xstill_ no tak ono to nový už umí zachytit stdin
14:53 evenfall stdout myslíš
14:53 xstill_ jo
15:03 evenfall pravdou je, že používáme jen to jednoduchý rozhraní kdy známe všechen text pro vstup dopředu
15:04 evenfall (to je ten jednoduchý případ, kdy stačí vyrobit vlákno který to tam kopíruje)
15:23 xstill_ hm, assertí mi to v runtime-ld
15:26 xstill_ což moc nemůže být tou změnou v interuptech
15:32 evenfall to je to co jsem psal před jednou yaqwsx
15:33 evenfall promaž .bc soubory v source adresáři
15:33 xstill_ aha
15:39 yaqwsx joined #divine
15:43 xstill_ evenfall: co jsou ty testy co jsem měl opravit?
15:44 evenfall xstill_: pokud ti prochází všechno tak je to ok
15:44 evenfall mutex-missing.c failovalo
15:45 xstill_ tam ještě nejsem
15:49 xstill_ jo prošlo
15:49 evenfall tak snad dobrý
15:50 xstill_ máš to zarecordované
18:37 yaqwsx joined #divine
22:39 spito joined #divine
23:51 divine-buildbot joined #divine

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