Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-11-25

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

All times shown according to UTC.

Time Nick Message
01:04 divine-buildbot joined #divine
01:53 divine-buildbot Hey! build divine-next-debug #186 is complete: Failure [finished]
02:18 divine-buildbot joined #divine
02:31 divine-buildbot joined #divine
02:39 divine-buildbot joined #divine
03:31 divine-buildbot joined #divine
03:31 divine-buildbot Hey! build divine-next-debug #187 is complete: Success [finished]
03:46 divine-buildbot joined #divine
04:01 divine-buildbot joined #divine
04:11 divine-buildbot joined #divine
04:21 divine-buildbot joined #divine
05:01 divine-buildbot joined #divine
05:34 divine-buildbot joined #divine
08:08 yaqwsx joined #divine
08:50 xstill_ mornfall: ještě ty moje patche by sis mohl pullnout
08:57 yaqwsx joined #divine
09:42 divine-buildbot Hey! build divine-next-debug #188 is complete: Failure [finished]
12:06 mornfall xstill_: a ty bys mohl generovat konzistentní logy (a ideálně i konzistentní jména funkcí v cmake-u)
12:25 xstill_ můžeš konkrétněji?
12:38 mornfall prefix CMake vs cmake, brick_ vs bricks_, a logika toho že dirent = features_no_llvm mi taky trochu uniká
12:59 xstill_ první dvě jsou chyba, u posledního jsem nevědel moc jak to nazvat, nazvat to brick_check_dirrent nebo tak něco by sice šlo, ale já chctěl aby tam případně mohly být i daší věci, pokud by bricks potřeboval
13:01 mornfall bricks_check_dirent, bricks_check_llvm, bricks_check_features?
13:01 mornfall další věci jde dát do dalších funkcí (a je to navíc žádoucí, z přesně stejného důvodu proč se teď dělí ta jedna)
13:05 xstill_ no já chtěl mít právě všechno krom LLVM v jedné funkci, takhle když se něco přidá tak se to bude muset změnit i v DIVINE cmake
13:08 xstill_ opraveno
13:26 yaqwsx mornfall: U mě je patch, který jako první krok boot alokuje rámec hlavního vlákna. Ale nevypadá, že by to fungovalo.
13:28 yaqwsx Pravda, control struktura vlákna (tzn. jeho id dle kterého se sortuje) se alokuje později. Každopádně bych očekával, že druhé spuštěné vlákno bude mít stejné id jak ve verify, tak i v simu - ale to se neděje.
13:41 xstill_ mornfall: btw. na brick-cmd dělá -o trace:threads rozdíl 232 s vs. 226 s (2.8 %), a 6.9G paměti vs 6.6G
13:41 xstill_ co je zajímavý je, že s tím to má o 11 stavů méně
13:46 xstill_ což není až tak divné, protože se tam používá unordered_map a tím pádem je tam dost integerů odvozených od objid
13:47 xstill_ aha ne, ona se nepoužívá
13:48 mornfall yaqwsx: jo, na tls (thread id) jsem jaksi zapomněl
13:49 mornfall yaqwsx: ale to vstupuje do toho hashchainu taky
13:49 xstill_ jak evaluátor ví, co je TLS?
13:50 yaqwsx mornfall: Takže na čem všem bude záležet? Kontrolní struktuře? Na TLS?
13:50 mornfall xstill_: neví, hashuje objid z user2
13:51 mornfall yaqwsx: je možný že to thread id se bude moct vypustit z hashe
13:51 mornfall předtím to tam bylo potřeba, ale teď snad ani ne, jdu to zkusit
13:57 mornfall yaqwsx: můžeš si (dočasně) pullnout aj ten druhej XXX patch a zkusit to s tím?
14:23 yaqwsx J, ještě zarecorduji DiOS fix
14:24 mornfall yaqwsx: jestli někdy dojede překlad tak to otestuju
14:25 mornfall test na to asi nemáme co?
14:26 mornfall (v podstatě to asi chce program co vypíše objid třeba nový alokace a spustit jej v obou módech a srovnat)
14:26 yaqwsx Zatím jsme to testovali na demo/undef
14:26 yaqwsx Ale automatizovaný test na to zatím není (a mohl by být
14:26 mornfall hm, já to testuju na deadlock-partial.2.c, a ani se všema XXX to nefunguje
14:30 xstill_ hm, ty asserty ve ve future jsou ještě lepší, DIVINE je ochotný úspěšně skončit když failne assert
14:30 mornfall ale ten test co jsem teď navrhoval vypadá že prochází, tak proč mi ten deadlock-partial vyhazuje různý protipříklady
14:37 mornfall jo, ale návratová hodnota z __dios_new_thread se liší
14:38 mornfall _start_thread*
14:39 yaqwsx Takže TLS mám taky předalokovávat?
14:39 mornfall ne, to není tím
14:39 mornfall někde se to zamotá ještě jinde
14:46 mornfall xstill_: (a pokud jde o cenu, tak třeba na pthread_attr_init/3-1.3.c to dělá +23 % času, takže to není zas *tak* zanedbatelný)
14:49 yaqwsx mornfall: Co přesně se zamotává?
14:50 mornfall yaqwsx: no ty objid, resp. něco do nich
14:51 yaqwsx Ok - myslel jsem, že máš nějaký konkrétní postřeh k tomu, co DiOS dělá.
15:07 mornfall jaj
15:12 xstill_ hm, dobrý, opravil jsem to čekání ve verify a padá na | [ 0:02] E: .../divine/vm/value.hpp: 205:
15:19 yaqwsx joined #divine
15:20 xstill_ mornfall: pullni si ten wait ode mě + je potřeba doimplementovat ten konstruktor ve Float, to já dělat nebudu, protože protože bych musel zkoumat co to má dělat
16:28 xstill_ i když ono proč je tam vůbec future, když nikde nevyužíváš toho, že je to future? Kdyby tam byl thread tak to asi funguje líp
16:39 xstill_ (předělal jsem to na std::thread)
16:57 xstill_ vždyť to je triviální ta implementace v tom value, proč tam chybí?
17:02 yaqwsx joined #divine
17:04 xstill_ až na to, že je ještě něco blbě v evaluátoru
17:13 xstill_ mornfall: si to pullni obojí
17:35 mornfall ach jo
17:37 mornfall když už to musí být s imperativem, mohlo by to být aspoň dobře
17:52 yaqwsx joined #divine
18:39 xstill co je blbě?
19:17 yaqwsx joined #divine
19:35 yaqwsx joined #divine
20:38 xstill mornfall: jestli čekáš, že ten patch opravím aniž bys mi řekl, kde je chyba, tak to fakt nemám chuť zkoumat, takže neopravím.
20:44 xstill (imperativem by to být nemuselo, ale tvoje stížnost by taky mohla být rozumnější)
21:10 yaqwsx joined #divine

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