Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-07-02

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

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
06:15 zak111 joined #divine
10:05 zak111 joined #divine
10:32 xstill mornfall: __divine_heap_object_size je vždy přesně velikost se kterou to bylo alokované?
10:34 mornfall doufám že jo :)
11:14 xstill hm, co provedou ty store buffery tau redukci?
11:15 mornfall no v zásadě asi nic, mělo by to fungovat transparentně (pokud je každá ta komponenta sama o sobě korektní)
11:16 zak111 joined #divine
11:16 mornfall jdeme teda do toho?
11:17 xstill no jo, snad to stihnem
11:17 mornfall ok udělal jsem kopii 2014 -> 2015 v SVNce
11:18 mornfall hm, až na to že jsem to udělal blb
11:18 mornfall ě
11:18 xstill jakto?
11:19 mornfall protože mi tam ujelo main.tex; snad už to je OK :)
11:21 mornfall spito: mám pocit že ftello/fseeko nemůžou být #define
11:22 spito je pro to nějaký důvod?
11:22 mornfall spito: (pokud něco může být makro, bývá to v dokumentaci explicitně napsaný)
11:22 mornfall ano, makro nejde překrýt funkcí
11:23 mornfall v žádném namespace
11:23 mornfall nejde mít stejnej název proměnný, struktury, ničeho
11:23 mornfall teda když je funkční tak to je trochu míň hrozný
11:23 mornfall (to brání jen funkcím/metodám stejného jména)
11:23 spito no, a právě proto všem funkcím chybí označení weak symbol
11:23 spito ok, změním to
11:24 mornfall no, problém je že pak nejde napsat std::ftello() třeba
11:24 mornfall co by jít mělo pokud děláš #include <cstdio>
11:25 mornfall i když s tou definicí jak je to asi náhodně zafunguje...
11:26 mornfall nicméně makra jsou fuj :-)
11:26 mornfall nejlepší je když někdo do veřejný hlavičky napíše #define true 1 a pak se nestačíš divit když to #includuješ do C++
11:30 spito mornfall: už se můžeš uklidnit, opravím to na funkci
11:30 spito ;)
11:31 mornfall já su docela klidnej :P
11:31 mornfall ale mám hlad
11:35 mornfall spito: přivedeš nám v pátek ukázat nějaký úlovek? ;-)
11:35 mornfall (to teda s tím hladem nesouvisí)
11:36 spito jaký úlovek?
11:36 spito co mám ulovit,
11:36 spito ?
11:36 spito jako myslíš toho studenta, který dělá verifikaci boostu
11:36 spito ?
12:27 mornfall ano
12:43 spito pačé
12:43 spito se studentem jsme domluvený na úterky
12:43 spito ale můžu mu říct, že to dáme na pátek
12:44 spito další schůzku teda máme až 14. 7. v 15:00
12:45 mornfall nemyslel jsem pravidelně
12:46 mornfall ale někdy by nám mohl udělat pětiminutovou prezentaci nebo tak něco :)
12:46 spito prezentaci čeho?
12:46 spito jako toho, co dělá?
12:46 spito jak na tom je?
12:46 spito zatím se rozkoukává
12:46 spito snaží se pochopit C++ v boostu
12:47 mornfall jo, něco o divinu, co je v boostu k verifikaci, co je potřeba udělat...
12:48 spito a to by bylo v pátek na divine schůzce, nebo bokem?
12:52 mornfall jo, asi některý pátek
12:56 spito 10. 7. jsem pryč (stejně jako xstill)
13:29 xstill mornfall: nešlo by aby když naalokuju dynamicky pole aby se ve výpisu v protipříkladu vypsalo celé a ne jen první element?
13:30 mornfall no, je to dost problém
13:31 xstill proč? velikost asi znáš, a typ zjevně taky vzhledem k tomu že to formátuješ
13:31 mornfall jo, ale ten typ říká že to je ukazatel a ne pole
13:31 mornfall a nemůžeš předpokládat že když ukazatel ukazuje někam do většího objektu je to vždycky pole
13:31 xstill no jo, ale když se podíváš, jak je ten blok velkej a vydělíš to velikostí typu, tak zjistíš jestli to je pole
13:32 mornfall nezjistiš
13:32 mornfall ale můžeš mít štěstí :)
13:32 xstill no dobře, v obskurních případech v tom bude maglajs
13:32 xstill ale to by mohlo vadit míň než to co je tam teď
13:33 xstill takhle máš prostě kousky paměti co nikdy nevidíš
13:33 mornfall jako můžeš se tam podívat, ale ten kód je dost silně pekelnej už teď
13:33 mornfall to budeš mít vždycky, pokud nechceš mít jeden stav na 4 obrazovky
13:34 xstill no to jo, ale tohle by mohlo trochu pomoct
13:34 mornfall tam je to řešení úplně jiný, jednak se bude muset interpretovat debuginfo a druhak to mít interaktivní
13:34 xstill nojono
13:35 mornfall hacky jako hádat že je něco pole protože to má třeba délku dělitelnou 4 (to má skoro všechno) mi přijde kontraproduktivní
13:35 mornfall navíc musíš vymyslet jak to formátovat, jestli ukazovat jen to kam to ukazuje a dál, nebo od začátku objektu a nějak indikovat kam přesně ukazuje ten ukazatel
13:35 xstill no ne dělitelnou 4, dělitelnou velikostí typu, i když ještě může být problém s zarovnáním
13:36 mornfall jenže ukazatelů na int je všude spousta
13:36 mornfall a ukazujou leckam
13:36 xstill hm, ajo sakra
13:36 mornfall o ukazatelích typu char nemluvě
13:37 mornfall spito: šlo by toho 10. přesunout na čtvrtek před?
13:38 xstill mornfall: ne
13:38 spito no, ani mně, ani xstillovi to nepomůže
13:39 mornfall hm, to bude s tím memicsem dost perný
13:40 xstill nojo, od 8. do 13. tu nejsme
13:41 mornfall ok, to asi můžem radši zrušit a pokusit se teď něco dát dohromady co nejdřív
13:42 xstill no, máš v rukávu něco co už je hotové?
13:42 mornfall ne, kdo by v tomhle hicu nosil dlouhý rukávy :)
13:43 mornfall možná si programování můžem rozdělit, že bys udělal tu userspace část kterou si můžeš ladit nezávisle a já udělám odpovídající transformaci
13:44 xstill no já jsem už něco programovat začal (userspace)
13:44 mornfall a já asi zkusim dát dneska dohromady nějakej úvod nebo něco
13:44 mornfall ok
13:46 xstill no ještě to bude chtít nějaké příklady, a ty moc nevím kde brát
13:46 mornfall typickej příklad je peterson :)
13:47 mornfall (ten navíc jednoduše upravíš aj ručně)
13:47 xstill nj. něco reálnýho jsem mysle
13:47 mornfall no a pak máme fifo třeba
13:47 zak111 nechci projizdet tu historii, zeptam se trapne, zitra ano?
13:47 mornfall který je dost malý bez, takže by se s mohlo vejít
13:48 mornfall zak111: zítra ano
13:48 xstill 9:15 zase?
13:49 mornfall jo
13:50 zak111 díky
15:50 xstill hm super, assertion `econtext.validate( from, mf.get() == MemoryFlag::HeapPointer )' failed;
15:50 xstill a to nastává i v čisté mainline
15:52 xstill ale teď musím do hospody, vyřešíme zítra
15:54 mornfall heh

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