Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-04-13

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

All times shown according to UTC.

Time Nick Message
07:06 mornfall spito: já vim že Jiřík říkal že to submitne jak to je... ale kdybys měl chvíli rozšířit a lépe popsat pseudokód nebylo by to na škodu (benchmarks se může pokrátit)
08:28 spito Dnes ne, musím si vyrobit slajdy
08:45 mornfall do patku
08:47 spito To by mohlo jít.
09:29 xstill mornfall: mohl bys pushnout ten patch co jsem poslal
09:30 mornfall az skonci orchestr
09:50 mornfall musíš trochu počítat s latencí, jsem byl v posteli když to přišlo a od tý doby jsem mail neviděl
10:07 xstill nojo, já zkusím zmenšit počet buildů pokud to na kolegiu budu zvládat
10:22 xstill mornfall: má vlastně nějaký extra přínos mít tolik buildů, které jsou v inkluzi?
10:22 mornfall no, teď už právě moc ne
10:22 xstill a proč to tak bývalo?
10:23 mornfall bývalo to proto aby bylo rychle jasný co se rozbilo (protože nebyl [details] a člověk to musel proklikávat
10:23 mornfall )
10:23 xstill aha, takže to můžu prořezat radikálně?
10:23 mornfall asi docela jo
10:24 xstill ok
10:24 mornfall má asi smysl mít malej/střední/velkej build pro gcc a pro clang
10:24 mornfall plus virtuálky
10:25 mornfall případně ty 'malý' buildy nemusí nutně pouštět testy (jen jestli se přeloží)
10:26 mornfall no nějak to vymysli :-)
10:26 mornfall já jdu asi do offlinu zase
10:26 xstill ok
11:42 xstill mornfall: jak velkej prosimtě deď je ephemeral blok? (a kde je to napsaný?)
11:43 xstill aha blocksize v lake (je to dost schovaný)
11:50 spito http://divine.fi.muni.cz/status/log/5fib0mbd9hwpbawg9yq19qq5nfx7k2k4-divine-fedora20_relwithdebinfo_x64-3.3.1+pre5873.drv
11:51 spito http://divine.fi.muni.cz/status/log/47xrbv9gwb1hzajkgbdcqlwn36lk2if4-divine-clang_med_relwithdebinfo_x86-3.3.1+pre5873.drv
12:50 xstill poslal jsem patche, ale teď se ještě snažím vyřešit jeden nedeterministickej assert v shared+tree
13:00 xstill mornfall: ten tvůj exception handler v brick threadech způsobuje, že core je dost na nic :-/
13:16 mornfall já vim no, zase to má tu výhodu že to vypíše víc než aborted
13:16 mornfall těžko říct co s tím
13:21 mornfall můžu to ještě zkusit s tím set_terminate
13:21 mornfall (ten zachová backtrace v core)
13:21 mornfall (ale pokud to nedokáže nic vypsat tak to taky není zrovna výhra)
13:23 mornfall xstill: jaký je rozdíl mezi full a all?
13:23 xstill proč by terminate handler nedokázal nic vypsat?
13:24 mornfall protože current_exception mi vrací null
13:24 xstill mornfall: all obsahuje všechno, full jen to co je normálně zapnuté (full se neměnil)
13:24 xstill možná by to chtělo jinak pojmenovat…
13:24 mornfall tak bych přejmenoval full na def ještě
13:24 mornfall min, def a all (a clang_med zrušit)
13:24 xstill clang_med bych zrovna nerušil, to spíš clang_min
13:25 mornfall no, clang_med by měl být clang_def
13:25 xstill clang_med je v podstatě full bez gui
13:25 mornfall a gcc49 taky _def
13:25 mornfall i když bych možná asi spíš chtěl _all pro všechny non-default překladače?
13:25 mornfall (tzn. clang, gcc49)
13:26 mornfall a _gui se asi může zrušit když je v _all?
13:26 xstill hm, pak bych pro ně ale nechal jen all asi
13:27 mornfall jo, to asi stačí
13:27 mornfall jestli chceme clang_def třeba nevím (bude asi hotovej výrazně rychlejc)
13:27 xstill tak u toho gui jsem myslel, že tam se právě hodí vydět, že se nezbuildilo
13:27 mornfall vidět* :D
13:27 mornfall ale ono zhavaruje aj ten _all když bude rozbitý gui
13:28 mornfall a na gui stejně nikdo moc nehrabe, takže na to nepotřebuje moc odezvu
13:28 mornfall nicméně, bbl :-)
13:38 xstill tak já nakonec vyhodím i MPI build, ten je tady obsaženej v def
13:40 xstill dostaneme 9 build + virtuálky
13:40 xstill
13:43 xstill takže teď by to bylo 9 místo 17 buildů (+ 8 virtuálek)
13:44 xstill nechal jsem {gcc,clang}_{min,def,all}, gcc49_all a llvm_{33,34} buildy
13:48 xstill sakra ten timed je takovej paskvil
13:58 xstill mornfall: máš tam patch na timed
14:09 xstill mornfall: se divím, že to doteď fungovalo…
14:59 mornfall trochu jsem se těšil žes vyřešil tu pomalost :P
14:59 mornfall (jen jsem viděl 'timed' na telefonu v IRCu)
14:59 mornfall hm, to je dost hustý ten static vektor :-)
15:02 xstill tak ta pomalost se mi řešit nechce
18:05 xstill hm, /nix/store/b1kjb88dfxmg2lns0y88269vy44v8fi0-binutils-2.23.1/bin/ld: failed to set dynamic section sizes: Memory exhausted
18:12 xstill to je docela na nic, že to nejsme schopní slinkovat na x86, a to ani není all build, ty to asi nedaj vůbec :-/
20:44 spito mornfall: glibc je dynamicky linkovaný k programu, že?
20:47 xstill spito: ldd ./tools/divine | grep glibc  říká, že jo
20:50 spito no, ale jsem se chtěl ujistit, že překladač má někde defaultně seznam symbolů, které exportuje, aby to provázal
20:51 spito a ještě teda - je linker, který se případně stará o glibc, stejný jako ten, který se stará o linkování dalších případných knihoven?
20:51 xstill teď to nechápu
20:51 spito no aby to mohl dynamicky slinkovat, tak potřebuje znát indexy jednotlivých funkcí
20:52 spito protože když to neznáš, tak musíš tahat adresy přes dlopen a dlsym
20:52 spito (teda aspoň to tak chápu)
20:54 xstill no ne dlopen je něco jiného než likování při kompilaci podle mě
20:54 xstill a glibc by měla být klihovna jako každá jiná
20:55 xstill to by se všechno co se likuje dynamicky při kompilaci mělo chovat stejně snad
20:55 spito nojo, ale tipicky musíš vědět, jaké symboly to které *.so obsahuje, abys to mohl provázat
20:56 xstill tak to vyhledáváš symboly co sám nemáš, ne?
20:56 xstill (jako jistej si nejsem)
20:57 spito no já si pamatuju, že když jsem tohle dělal na widlích, tak se 1) buď musely exportované symboly vypsat do externího souboru
20:57 spito , nebo 2) se označili jako declspec(export) a declspec
20:58 spito (dllimport)
20:58 spito podle toho, jestli to bylo v *.c nebo v *.h
20:58 xstill mám pocit, že na linuxu existuje spíš něco co umí symboly skrývat, ale já s .so nikdy nic nedělal

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