Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-11-22

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

All times shown according to UTC.

Time Nick Message
09:42 spito joined #divine
10:56 mornfall xstill: jak vypadá ta instanciace? :)
10:56 mornfall xstill: jestli něco máš a nemáš čas to dotáhnout tak mi to pošli a já to třeba dodělám
10:57 mornfall (jo, hrozně se mi nechce dodělat tu hashcompaction...)
10:58 mornfall hlavně jsem zjistil že asi potřebujeme přidat reachabilitu bez protipřikladů (která vypíše jen ten cílovej stav bez trace), protože při HC ty tracy stojí cca +100% paměti
11:06 mornfall ha, +200% vlastně :-)
11:06 mornfall protože jinak to dokážu nacpat všechno do tabulky a nemít žádný bloby
11:07 mornfall i když to dokážu i s extension, teoreticky, jen prakticky to bude bolet
11:08 mornfall jinak mám pocit že to uvolňování paměti s hc+shared vyřešit jde
11:08 mornfall chce to teda dva bity v tagu asi
11:10 mornfall nebo možná stačí jeden, pokud bychom přístup na tabulku úplně serializovali, to je nakonec asi taky možnost
11:10 mornfall teda na jedný buňce... jen to bude ještě o něco míň lockfree než už to je :-P
11:11 mornfall (ale zase to může být aktivní jen když se používá HC...)
11:13 mornfall spito: to by ses mohl zamyslet, jestli jde udělat raii iterátory, který budou držet zámky na buňkách
11:13 mornfall když se na tabulku poleze vždycky iterátorem tak to je pak asi OK
11:14 mornfall až na to že nechceme iterátory ale nějaký jiný proxy
11:15 mornfall protože to budem muset cpát do fronty
11:15 mornfall achjo :-)
11:15 mornfall ještě to budu muset promyslet...
13:16 spito hmm
13:17 xstill mornfall: něco mám a čas jsem neměl doteď :-D
13:18 xstill bude lepší když si to dotáhnu sám
13:20 xstill mornfall: ty chceš cpát zamktnutý buňky do fronty?
13:20 xstill nebude to problém? Nebude je v průběhu chtít číst někdo jinej?
13:21 mornfall ne zamknutý, jen zamykatelný
13:21 xstill aha tak
13:24 mornfall až na to že problém je ve skutečnosti jen v edge
13:24 mornfall takže jediný co je asi potřeba je v edge tu buňku zamknout počas volání transition/expansion
13:25 mornfall dokud je něco ve frontě jako „from“ tak to stejně nejde discardnout
13:26 xstill hm, takže vlstně budeš mít 2 formy zámku, na extension a na buňku
13:26 xstill to by asi mohlo fungovat
13:28 mornfall má to jen jeden drobnej háček
13:28 mornfall nechce se mi to implementovat :D
13:33 xstill tak s tím ti nepomůžu
15:48 Erbureth joined #divine
17:58 xstill hm, zdá se, že kdyby se generovaly opravdu všechny možné kombinace, měl by divine cca 6k instancí
17:59 mornfall :-)
17:59 xstill (to je včetně blbostí typu LLVM + POR)
18:10 spito xstill: kolikátý jsi v IA006? já 20. až 26.
18:19 xstill spito: takové osobní údaje po mě chceš :-D? 5-10. Takže jsi celkem dost těsně za mnou podle bodů.
18:20 xstill jinak nikdo neměl maximum
18:20 xstill taky zajímavý
21:10 spito left #divine
21:25 xstill poznámka pro poučení: ukládat si initializer_list není dobrý nápad

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