Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-07-09

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

All times shown according to UTC.

Time Nick Message
09:52 spito ha
09:52 spito he
09:52 mornfall ho
09:52 mornfall hu
09:54 spito myslím, že tam ten if je správně
09:54 mornfall proč?
09:54 mornfall resp. čemu vadí while?
09:54 spito no, asi zbytečný call
09:55 mornfall nene, je to výrazně rychlejší :-)
09:55 mornfall s whilem
09:55 spito jo?
09:55 spito tak jo, nemělo by to vadit
09:55 spito korektnost by měla být zachována
09:55 mornfall no, ono se mi fakt děje dost furt že ty vlákna spadnou do toho spinlocku zatímco v grow() se alokuje řádek
09:55 spito a teď zase zdrhám
09:55 mornfall nojo :-)
09:55 spito MoR
09:55 mornfall neumři tam
09:55 spito a pak budu bez PC
09:55 spito neumřu
09:56 spito neboj
09:56 mornfall já si pustim Nightwish :P
09:56 spito ti tam nebudou
09:56 spito ale ani nijaký normální kapely
09:56 spito ale co...stane se
09:56 mornfall :-)
09:57 spito :P7
09:57 spito :P
09:57 spito a vím, pobyt v dánsku zničil mé, i tak slabé, pracovní návyky
09:57 spito měl bych začít něco dělat
09:57 spito někdy.... :D
09:58 mornfall jindy :-)
09:58 mornfall nojo, to přijde
09:59 spito musí
09:59 spito už si musím vyzvednout i diplom bakaláře
10:00 spito ten svět je nějak divnej
10:00 spito no
10:01 spito hušá
10:01 spito left #divine
14:12 ilbot3 joined #divine
14:12 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
19:30 xstill hele vy jste tu normálně mluvili :-D
19:31 xstill a ty jsi asi mohutně pracoval
19:31 xstill co je brics?
19:31 xstill briks
19:31 xstill *bricks
19:31 xstill :-D
19:31 xstill to není na mojí chopnost čtení
19:36 xstill to je novej wibble?
19:38 mornfall asi, no
19:39 xstill wibble už se ti nelíbil?
19:39 mornfall no, má to spoustu nevýhod
19:39 mornfall hlavně je to teda neskladný
19:39 xstill (mě tam pár věcí taky štve, hlavně kolik toho je v C++98)
19:39 xstill jako velký?
19:40 xstill a dost věcí bych asi udělal jinak
19:40 mornfall http://paradise.fi.muni.cz/~xrockai/plot5.pdf tohle leze z brick-benchmark ;-)
19:42 mornfall a udělal jsem unit testy který nepotřebujou perl
19:42 xstill vypadá to pěkně, ještě kdybych věděl co jsou ty zkratky
19:42 xstill co potřebujou?
19:43 mornfall CCS = ConcurrentCompactSet, CFS = ConcurrentFastSet, CUS = concurrent_unordered_set, CHM = concurrent_hash_map
19:43 xstill jen mě teda bude štvát psát ASSERT místo assert
19:43 mornfall SCS = (sequential) CompactSet
19:43 xstill (dál jsem se ještě nedostal ve čtení patchů a dnes už se mi nechce)
19:43 mornfall no, nechci svinit globální namespace víc než už je
19:45 mornfall každopádně jsem ještě nic nepřeportoval (krom harness na shelltesty, kterou jsem tím rozbil na windows, počítám)
19:45 xstill vydím z těch grafů správně že compact set je rychlejší než fast set?
19:46 mornfall tak, je to všechno na intech, takže v tomhle to není moc smysluplný srovnání
19:46 mornfall udělám tam pointrový klíče a pak to všechno pustim
19:46 mornfall je tam těch benchmarků tak stovka už teď :)
19:46 mornfall x2, 3 grafy na stranu to mám sto stran :P
19:47 xstill no každopádně zatím to vypadá, že to concurrent-set dost dává
19:47 xstill concrurrent_hash_map je co?
19:47 mornfall intel :)
19:47 xstill aha
19:47 mornfall stejně tak concurrent_unordered_set
19:48 mornfall trochu mě překvapuje jak rychlý to maj s těma seznamama
19:48 mornfall navíc je to teda všechno z mojeho laptopu kterej má jen 2 core
19:48 mornfall takže threads:4 je takový všelijaký
19:49 mornfall jo a je to všechno normovaný na item a na vlákno
19:49 xstill no docela zajímavý jak nás dojedou na 4 threadech, chtělo by to výsledky z arke
19:49 mornfall tzn. že na 4 vláknech je to výrazně rychlejší než na 2, když bereš celkový čas
19:50 mornfall až to bude komplet tak to tam pustim
19:50 mornfall ale tak v limitě (16M) jsme furt 3x rychlejší, to ujde
19:51 xstill to jo, porazit intel :-)
19:51 xstill ale dost nám to tam lítá
19:51 xstill na těch 4
19:51 mornfall to je ten hyperthreading
19:51 xstill to bude ten spin-lock, jen teda nevím jak to maj oni
19:52 xstill no ty vlny jsou dost pravidelné na efekt HT
19:52 mornfall ty vlny jsou amortizace resizu
19:52 xstill jasný no
19:57 mornfall hm, ten plot soubor má 3.5M :-)
20:10 xstill to není úplně málo
20:11 mornfall tak, jednak ty data interpoluju a druhak tam musí být každá sada asi 5x
20:11 mornfall protože gnuplot :-)

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