Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-09-25

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

All times shown according to UTC.

Time Nick Message
00:02 divine-buildbot_ Hey! build divine-current-release #3 is complete: Failure [finished]
00:04 divine-buildbot_ Hey! build divine-next-debug #33 is complete: Failure [finished]
00:39 divine-buildbot_ Hey! build divine-nightly-debug #3 is complete: Failure [finished]
00:45 divine-buildbot_ Hey! build divine-current-debug #3 is complete: Failure [finished]
06:10 xstill ten core netuším
06:17 xstill Sep 10 13:26:24 arke systemd[1]: systemd-journald.service: Watchdog timeout (limit 3min)!
06:17 xstill Sep 10 13:26:24 arke systemd[1]: systemd-journald.service: Killing process 14697 (systemd-journal) with signal SIGABRT.
06:17 xstill na tom je docela divný, že ten journál má v sobě napsáno, že neodpovídá
06:24 xstill aha jasný, ty buildy padly protože tam chybí ten patch co maže brick-process a brick-process nejde zkompilovat kvůli unreachable
06:24 xstill akorát se to teda natáhlo i do current
06:32 xstill teď si říkám aby ten web někdo nepochopil tak, že v divine jde spustit nějakej existující operační systém
06:55 yaqwsx joined #divine
06:58 xstill (dívám se na web a budu drobně doplňovat text, dám vědět až bude hotovo)
07:06 xstill $ cat doc/manual/title.mdwn
07:06 xstill % DIVINE: The Parallel & Distributed Model Checker
07:06 xstill % Luboš Brim; Jiří Barnat; Tomáš Janoušek; Petr Ročkai
07:07 xstill to bude hodně archaický :-D
07:30 divine-buildbot_ build #34 of divine-next-debug started
07:32 mornfall v tom XXX patchi ten text není dobrej (currently yet, branch), navíc to implikuje, že divine 3.x je nějak podporovanej...
07:34 xstill hm, moje angličtina… mě přišlo že tvářit se, že divine kterej umít všechny ty dřívější formáty už není není dobrý
07:35 xstill jinak v introduction "our support for dedicated modelling languages is better and broader than ever." to určitě není pravda, pod support si nepředstavuju to, že si můžeš napsat překladač z toho jazyka do LLVM/DiVM
07:36 mornfall však to je taky manuál k divine 3
07:36 mornfall to že ho je potřeba přepsat už víme dlouho
07:36 xstill aha, tak to jsem z toho nepochopil
07:37 xstill teda dá se to usuzovat tak z toho posledního odstavce, kde chybí zmínka o C++ knihovně
07:39 mornfall na tom není co chápat, toho se prostě nikdo nedotkl
07:40 mornfall chtěl jsem dát někam navrch varování, že je to manuál k 3.3, ale není moc jak to jednoduše udělat
07:40 mornfall nebo teda nevim, ale mělo by to být před obsahem
07:41 mornfall nebo je taky možnost si prostě sednout a napsat aspoň kus manuálu k DIVINE 4
07:42 xstill napsat minimální manuál asi není až tolik práce, otázka je jestli dává smysl abych se o to pokoušel já když pak budeš muset stejně opravovat moji angličtinu
07:54 mornfall já se na to podívám
07:55 mornfall nightly job jsem opravil, stalo se to jediný s čím jsem nepočítal, totiž že make check selže a v list-u bude všechno označený jako passed
07:56 xstill ok, dík; v jakém list-u
07:57 xstill ony asi selhaly jen bricks-unit testy a divine prošly
07:57 mornfall $objdir/test/results
07:58 xstill aha ale tam nejsou unit testy
07:58 mornfall nejsou ale budou
09:55 yaqwsx joined #divine
10:12 divine-buildbot_ Hey! build divine-next-debug #34 is complete: Success [finished]
10:25 xstill hm, RLIMIT_AS není to co chceme?
10:26 xstill potenciálně to může být problém pokud bychom někdy mmapovali velké soubory, ale jinak to vypadá OK
10:30 yaqwsx_cz joined #divine
10:34 mornfall xstill: není no
10:34 mornfall resp. neumíme smysluplně vypočítat _AS podle --max-memory
10:36 xstill co je tam za problém? velikost binárky, nebo ještě něco?
10:36 mornfall máš něco jako 0-100MB podle velikosti locale-archive, 10MB na zásobník každého vlákna, velikosti všech systémových knihoven...
10:37 mornfall můžeš se lehce netrefit o pár set mega
10:37 mornfall aura má locale-archive 95M, arke 1.8M
10:38 mornfall když pustíš 50 vláken to je půl giga adresního prostoru
10:38 mornfall a tak
10:38 xstill hm, ono je ale otázka co ten limit má znamenat, jestli je to limit na velikost paměti který zabírá stavový prostro, nebo na paměť o kterou si divine celkově řekne (protože RLIMIT_AS je to druhý podle mě)
10:39 mornfall není
10:39 mornfall většina tady toho (locale-archive, zásobníky) se nikdy nerealizuje
10:39 mornfall to jsou nemapovaný adresy
10:39 mornfall a faultujou se on-demand
10:40 xstill hm
10:40 mornfall stejně tak velký kusy binárky se reálně nikdy nenačtou
10:41 mornfall (nejspíš)
10:41 xstill ve starém divine byl ten limit udělaný přes nějaké monitorující vlákno, nemůžeme to jen zkopírovat?
10:42 mornfall však ten kód tam furt je
10:44 mornfall mezičasem pokud to potřebujes můžeš si nastavit ten ulimit
10:44 mornfall potřebuješ*
10:44 mornfall na konkrétním stroji to na pár pokusů uhodneš
11:03 xstill hm, co se stalo, že pokud se kompiluje přes make a ne ninju tak to ignoruje -j
11:03 mornfall jaký -j?
11:03 xstill make -j 4
11:04 mornfall to nemůže v principu fungovat (ani nikdy nefungovalo)
11:04 mornfall ani s makefile ani s ninjou
11:04 xstill no pokud se buildí make tak by mohlo, ne?
11:04 mornfall jak?
11:04 xstill stejně jako to funguje v zanořených make v podsložkách
11:05 mornfall tzn. blbě? :)
11:05 xstill to právě většinou funguje, ne?
11:05 mornfall většinou právě ne... proto třeba cmake generuje nerekurzivní makefile
11:05 mornfall aby fungovalo -j
11:06 mornfall nicméně exportovat MAKEFLAGS do prostředí by asi šlo, ale hrozí jiný nepříjemnosti
11:07 mornfall lepší to řešit jako VERBOSE, třeba proměnnou JOBS
11:07 mornfall nebo si rozparsovat MAKEFLAGS
11:08 mornfall nepochybně velmi příjemné
11:25 divine-buildbot_ build #35 of divine-next-debug started
11:32 mornfall jo v tom make patchi máš taky překlep/chybu v názvu (detection failS)
11:34 mornfall (a za RHEL6 by asi měla přijít čárka a určitý člen)
11:39 xstill opraveno
11:45 divine-buildbot_ build #36 of divine-next-debug started
12:25 divine-buildbot_ Hey! build divine-next-debug #35 is complete: Success [finished]
12:30 divine-buildbot_ build #4 of divine-nightly-release started
12:30 divine-buildbot_ build #4 of divine-nightly-debug started
12:30 divine-buildbot_ build #3 of divine-nightly-website started
13:09 yaqwsx joined #divine
13:30 divine-buildbot_ Hey! build divine-nightly-release #4 is complete: Success [finished]
13:31 divine-buildbot_ Hey! build divine-nightly-website #3 is complete: Success [finished]
13:44 xstill tak setjmp se nakonec asi nedá přes tu adresu labelu, protože ten rámec kde byl setjmp už v okamžiku volání neexistuje. Ale i tak jsem to vcelku krátce implementoval s tím unwindem a metadaty co máme.
13:46 xstill počkat, ještě jeden test by to chtělo
13:47 xstill ne, to nejde rozumně napsat v c (zkontrolovat, že to skočí hned za ten call)
14:20 xstill zajímavý, podle hliněných tabulek (teda podle microsoft research) patří SPIN mezi špičkové konference
14:28 divine-buildbot_ Hey! build divine-next-debug #36 is complete: Success [finished]
14:52 yaqwsx joined #divine
15:13 divine-buildbot_ Hey! build divine-nightly-debug #4 is complete: Success [finished]
15:30 divine-buildbot_ build #37 of divine-next-debug started
15:50 divine-buildbot_ build #38 of divine-next-debug started
16:00 divine-buildbot_ build #5 of divine-nightly-release started
16:00 divine-buildbot_ build #5 of divine-nightly-debug started
16:00 divine-buildbot_ build #4 of divine-nightly-website started
16:08 yaqwsx joined #divine
17:01 divine-buildbot_ Hey! build divine-nightly-website #4 is complete: Success [finished]
17:30 divine-buildbot_ build #39 of divine-next-debug started
18:06 divine-buildbot_ Hey! build divine-nightly-release #5 is complete: Success [finished]
18:12 divine-buildbot_ Hey! build divine-next-debug #37 is complete: Success [finished]
18:32 divine-buildbot_ Hey! build divine-next-debug #38 is complete: Success [finished]
18:42 divine-buildbot_ Hey! build divine-nightly-debug #5 is complete: Success [finished]
20:10 divine-buildbot_ build #40 of divine-next-debug started
20:13 divine-buildbot_ Hey! build divine-next-debug #39 is complete: Success [finished]
20:30 divine-buildbot_ build #6 of divine-nightly-release started
20:30 divine-buildbot_ build #6 of divine-nightly-debug started
20:30 divine-buildbot_ build #5 of divine-nightly-website started
20:54 divine-buildbot_ Hey! build divine-nightly-website #5 is complete: Success [finished]
22:00 divine-buildbot_ build #7 of divine-nightly-release started
22:00 divine-buildbot_ build #4 of divine-current-debug started
22:00 divine-buildbot_ build #7 of divine-nightly-debug started
22:00 divine-buildbot_ build #4 of divine-current-dist started
22:00 divine-buildbot_ build #4 of divine-current-release started
22:01 divine-buildbot_ build #6 of divine-nightly-website started
22:01 divine-buildbot_ build #3 of divine-current-website started
22:25 divine-buildbot_ Hey! build divine-current-website #3 is complete: Success [finished]
22:49 divine-buildbot_ Hey! build divine-current-release #4 is complete: Success [finished]
22:52 divine-buildbot_ Hey! build divine-next-debug #40 is complete: Success [finished]
23:01 divine-buildbot_ Hey! build divine-current-dist #4 is complete: Failure [finished]
23:02 divine-buildbot_ Hey! build divine-nightly-website #6 is complete: Success [finished]
23:03 divine-buildbot_ Hey! build divine-nightly-release #6 is complete: Failure [finished]
23:09 divine-buildbot_ Hey! build divine-nightly-debug #6 is complete: Failure [finished]

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