Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-12-02

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

All times shown according to UTC.

Time Nick Message
10:35 xstill jen tak pro zajímavost, zkusil jsem zkompilovat modely z nasa článku o redukcích, ta čísla tam jsou podezřele malá, včetně těch bez redukce
10:56 mornfall no, to se těžko srovnává, je to z doby divine-llvm.h
10:57 mornfall žádný libc, žádný libc++
10:59 mornfall minipthread.h :-))
10:59 xstill jo no
11:02 mornfall Milanovy pthready jsou novější než ty čísla v článku, takže počítám že jsem tam měl nějakou dočasnou implementaci, ten interpret jsem psal docela paralelně s tím článkem
11:04 mornfall však tam ta implementace aj je
11:05 mornfall minipthread.c
11:05 xstill aha, každopádně i ty redukovaný čísla jsou dneska o něco větší, ale vzhledem k tomu, že v tom článku není žádnej větší model tak se špatně poznává jestli to není třeba jen konstantní rozdíl
11:06 xstill aha už ji vidím, ona není u modelů
11:06 mornfall no to žádný větší model nebyl žejo :)
11:06 xstill nojo
11:07 mornfall s interpretem o iteraci dřív to mělo miliony stavů a se všema redukcema to padlo na 200 :)
11:07 xstill jojo :-D
11:08 xstill ty čísla jsou veselý
11:08 mornfall ale je pravda že k loadům se to chovalo nesprávně, podle NEWS to bylo opravený až skoro o rok pozdějš
11:09 mornfall ten paper je teda dost starej
11:12 mornfall ono celkově by bylo lepší kdyby ta detekce viditelnosti fungovala jinak (ne podle instrukce a adresy)
11:13 mornfall asi to časem tak dopadne
11:14 xstill a podle čeho by to mělo být?
11:14 mornfall no ideálně by všechen přístup do paměti v interpretu šel skrz něco co to bude hlídat
11:14 mornfall a to že se provedla viditelná akce se může vlaječkovat
11:15 xstill asi to teď nechápu, ale to můžeme řešit jindy, jdu se zase snažit psát diplomku
13:34 mornfall ha, možná ani nebudu muset kolabovat cykly v haldě
13:35 mornfall což je možná dobře protože jinak by to asi moc nefungovalo :D
14:53 xstill aha, tak to mi zítra řekneš?
14:55 xstill mornfall: dá se nějak připojit k tomu raid bazmeku na antee ze systému?
15:17 xstill ono to totiž píská…
15:59 xHire joined #divine
15:59 xstill joined #divine
15:59 spito joined #divine
15:59 mornfall joined #divine
16:46 xHire joined #divine
16:46 xstill joined #divine
16:46 spito joined #divine
16:46 mornfall joined #divine
16:51 ilbot3 joined #divine
16:51 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
17:04 ChanServ joined #divine
21:43 xtomast1 joined #divine
21:50 xtomast1 ahoj, tak ja mam teda napsanych par tisic radku, ktere umoznuji verifikovat MPI programy, ale ma to par nedostatku, co se tyce user-friendliness a zacleneni do DIVINE, se kterymi bych potreboval pomoct
21:51 xtomast1 hlavni je ten, ze MPI verifikace se nastavuje makrem #define MPI v entry.cpp
21:53 xtomast1 coz asi nebude akceptovatelne reseni, aby se pro zapnuti/vypnuti MPI verifikace musel prebuildit DIVINE
21:53 xtomast1 no a druhy problem je podobny, hned pod timto makrem je druhe na definici poctu MPI procesu :)

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