Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-04-08

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

All times shown according to UTC.

Time Nick Message
09:14 xstill mornfall: takže to chápu dobře, že jsi v CESMI rezervoval 5 flagů pro interní použití?
09:14 xstill (proč zrovna 5?)
09:17 xstill hm, jak nám to mohlo vůbec fungovat pokud se nezapočítal slack? to měl být rozbitej i POR, ne?
09:30 xstill a teda jako moc nechápu, proč to najednou jsou masky, zbytečně se to komplikuje
09:35 mornfall co se komplikuje?
09:36 xstill tak že se najednou pro každý stav musí ty flagy překládat v gen-explicit
09:37 mornfall no, to by se asi muselo i tak ne? pointa toho že jsou to čísla byla že si je generátor může očíslovat jak chce
09:37 xstill no budiž, spíš mi řekni proč jsi rezervoval zrovna 5 fagů v cesmi
09:37 mornfall aby si je gen-explicit očísloval je určitě robustnější než aby každej generátor musel řešit že musí být sekvenční
09:38 mornfall to jsem ti už myslím vysvětloval :D
09:38 xstill nevím o tom
09:38 mornfall chtěl jsem rezervovat prvních 8 bitů, ale pak gen-explicit padá protože flag > 64
09:38 mornfall teda padá test protože ty flagy prostě zahodí
09:38 xstill aha, takže mám upravit gen-explicit a pak to změnit na 8?
09:39 mornfall 23:38 (@ mornfall ) xstill: nejspíš chceš zvýšit hodnotu cesmi_first_user_flag, ale budeš muset upravit gen-explicit aby nepoužíval hodnotu flagu jako
09:39 xstill no jsem zaznamenal, ale ne proč, žejo
09:39 mornfall aha, myslel jsem že to je ti jasný když jsi to programoval :-)
09:40 xstill tak jako nespojil jsem si to s magickým číslem 5, žejo
09:41 mornfall jako *někdo* ty masky a sekvenční čísla převádět musí, jestli to bude dělat cesmi nebo explicit moc kódu neušetří
09:41 mornfall a kdyby se mělo omezit flagy na „malý“ čísla tak se tam může dát uint8_t místo toho short-u
09:42 xstill ale to chápu, jen jsem nechápal, proč je tam ta hodnota 2 << 4
09:42 xstill a už to chápu
09:42 mornfall ok
09:58 mornfall hm, README v tý lock-free-hastable: The code doesn't work on its own as one has to plugin the SMR machinery.
09:58 mornfall kde se ta SMR machinery vezme tam už ale není
09:59 mornfall no nic, stejně na to teď nemám čas
11:02 mornfall spito: Doplňuju NEWS, jak to teď je s VFS?
11:03 mornfall je na to asi milion patchů ale plusminus žádná dokumentace? :P
11:03 xstill on je na cvičení nebo tak něco
11:03 mornfall však se vrátí
11:06 xstill to bych tak nějak očekával no
11:07 mornfall (a ano, por bylo taky rozbitý a v DVE defaultně zapnutý)
11:08 xstill a testy na to nepřišly, to je taky chyba no
11:09 mornfall no, celkově je potřeba napsat mnohem víc testů
11:11 xstill jen se divím, že testy na por, který máme, tohle nezachytí
11:11 mornfall většina DVE co se testuje má jen jeden proces
11:11 mornfall tam se to nemohlo projevit
11:12 mornfall je tam haoEEDM ale je klidně možný že tam všude platí ample == enabled
11:12 mornfall navíc to nemá LTL a šance že se to rozbije na safety je dost malá
11:12 xstill hm? však tam se musela někde korumpovat paměť, buď stav nebo extension, to by se mělo projevit, ne?
11:13 mornfall ale kecám, POR fungovalo
11:13 xstill jakto?
11:13 mornfall ne, problém nebyl korupce, jen co se už hashuje a co ještě ne
11:13 mornfall tzn. číslo kopie v fairness je součást stavu, ne extension
11:13 xstill jo takhle
11:13 mornfall ale bralo se to jako extension, tzn. každej stav mohl mít max jednu kopii
11:14 mornfall (por takhle stavy rozšiřovat nepotřebuje)
11:14 xstill jo tak to je ještě komplikovanější než jsem myslel
11:37 xstill hm, jsem to nějak rozbil ty flagy
11:58 spito mornfall: no, k VFS jsem nic než VFS nenapsal
11:58 spito asi by to chtělo dodat testy a manuál, že?
12:04 mornfall aspoň jeden malej example by byl fakt užitečnej :)
12:04 mornfall pak testy a pak manuál, asi
12:36 spito malý example do složky examples, nebo do manuálu?
12:36 spito jinak jo, počítám s tím, ale teď potřebuju udělat úkol - navrhnout RAID a spočítat jeho parametry
12:37 mornfall myslel jsem do examples/llvm
13:18 xstill hm, mám v tom dessu nějakou haluz teď
13:19 xstill dostanu z dve flag 131072 (2 << 16)
13:52 mornfall (jo, když budeš upravovat ten enum tak bys mohl opravit 2 na 1 << 1 a ten druhej shift taky napsat od jedničky)
14:08 xstill ach ty off-by-one chyby
14:55 xstill co se to teď děje na maillistu?
14:57 xstill už mám skoro ty explicit patche
14:59 xstill ještě bych možná vyexportoval accepting jako vyditelný flag
15:00 mornfall teď zrovna nic (nebo co myslíš?)
15:01 xstill no dneska kolem 12, ale tak já si to přetu čase
15:01 xstill *časem
15:02 mornfall asi si to přečti, bude to rychlejší než to sem opisovat :D
15:04 xstill co ten accepting? přidat jako čitelnej flag, ať to tam není zadrátované jako číslo?
15:05 xstill poslal jsem první část patchů
15:21 xstill hm ten accepting je blbost asi
15:23 xstill teda exportovat ho můžeme, ale asi můžeme jen kontrolovat v generátoru, že se to nezměnilo
15:34 mornfall co s accepting je blbost?
15:35 mornfall jsem lehce zmaten
15:35 mornfall accepting se exportuje a jde podle toho dělat owcty/ndfs/... ne?
15:35 xstill no jo, ale není vidět, ve smyslu, že není pojemnovaný v dessu
15:36 xstill je zadrátovaný jako číslo
15:38 mornfall hm, to by asi bylo lepší exportovat jménem no
15:40 mornfall možná nejlepší by bylo exportovat goal a accepting s nějakým jiným prefixem
15:43 xstill to se děje
15:43 xstill ten prefix
15:44 mornfall tzn. je to pod o:?
15:44 mornfall o:accepting, o:goal?
15:44 xstill o:goal neexistuje, teda neexportuje se
15:44 mornfall jen se to nesype do tý mapy v dess-u?
15:44 xstill jo
15:45 xstill o:goal je v podstatě virtuální
15:45 mornfall hm, jen to je docela novinka že je... ale možná to tak může být
15:45 mornfall asi by bylo dobrý to někam napsat
15:46 xstill tak goal je v podstatě alias a každý generátor si ho může interpretovat jinak
15:46 xstill on by tam ani nemusel být v podstatě možná, dá se to udělat asi i líp
15:46 mornfall já právě uvažuju jestli je to tak že platí že o:goal je implikován nějakou konjunkcí přes g:/G:
15:47 xstill teď jo
15:47 xstill a to kterou indikuje property
15:47 mornfall no, možná spíš výrokovou formulí nad
15:47 mornfall (teď je to spíš disjunkce než konjunkce)
15:48 mornfall asi to chce vytahat ten kód z llvm generátoru kterej tohle řeší do nějakýho common
15:48 mornfall ne teda teď hned
15:49 xstill jo tak to se dá nechat
15:49 mornfall jen není úplně jasný jestli to chceme nějak zaručovat
15:50 mornfall nicméně to asi můžem minimálně poznačit jako požadavek na generátory a pak to dál řešit
15:50 mornfall tzn. z pohledu dess-u o:goal nadále neexistuje a časem se možná zruší úplně
15:52 mornfall asi by to šlo udělat tak že defaultní properties/useProperty se naimplementuje pomocí enumerateFlags
15:53 mornfall a kdyby se upravilo DVE & spol. tak aby exportovali propozice...
15:53 mornfall tak by asi nebyl problém vytáhnout aj celý roznásobování s Buchi, včetně konverze z LTL
16:02 xstill to by bylo docela zajímavý no vytáhnout to roznásobení
16:02 xstill jako já uvažoval, že useProperty by mohla vygenerovat seznam flagů, které odpovídají tomu, co je teď o:goal (což on to je seznam flagů reálně, ale drží si ho generátory interně)
16:04 mornfall jo, tak něco jsem tím myslel
16:05 mornfall seznam (= disjunkce) asi úplně stačí, zrovna teď to umí jen LLVM beztak
16:05 xstill jo, to by se pak vytáhlo někam nejspíš do meta
16:05 mornfall no, spíš někam do graph/ něco... asi
16:05 mornfall nebo nevim
16:05 mornfall otázka jestli chceme aby to řešil graph nebo algorithm
16:06 mornfall ale to můžem probrat v pátek
16:06 xstill jo to stačí
16:06 mornfall uděláš ještě ten o:accepting do mapy nebo v tom je nějaká zrada?
16:06 xstill exportovat ho není zrada, to už mám
16:06 mornfall pak bych to všechno pushnul a projdou-li testy udělal release
16:06 xstill jen jsem našel pěkný bug v generování dessu
16:07 xstill pokud generuješ do stejného souboru, kde už byl dess tak se jeho obsah nesmaže, a flagy pak dělají |= takže tam zůstane bordel z minulého desu
16:07 xstill hm, to je možná to na co narazil Jiřík
16:07 mornfall :D to je dost hustý no
16:07 mornfall aha, jo, to je ono
16:07 mornfall dává to smysl
16:07 xstill no protože on ten soubor namapuje a resizuje, ale nesmaže
16:08 xstill a dokud tam nebyly ty flagy tak to nevadilo, protože všechno tu paměť přepsalo
16:08 mornfall a tím že je všechno zarovnaný stejně tak to takhle dopadne
16:08 mornfall jsem docela rád že se to nakonec vyřešilo :-)
16:08 xstill teď jsem posunul selkci a najednou koukám, že v tom mám bordel, a že když to vygeneruju znova tak to je ok
16:08 xstill (do jiného souboru)
16:08 xstill no zarovnání bylo taky špatně, ale to je separátní bug (už odeslanej)
16:09 xstill flagy nebyly zarovnaný
16:09 mornfall jo to jsem viděl
16:10 xstill ale to nemá vliv na to, že to mohlo nastat
16:10 mornfall no, typicky to bylo tak že Jiřík editoval .cpp a sypal to furt do stejnýho .dess-u
16:10 mornfall takže se měnil stavovej prostor ale jinak nic
16:11 mornfall tzn. to přesně odpovídá tomuhle
16:11 xstill no pokud se zmenšil stavovej prostor, tak to mohlo udělat parádní bordel
16:11 xstill flagy se orovaly ke starému obsahu stavů :-D
16:11 mornfall to se mu nejspíš nepovedlo (nebo jo a pak dostal nějakou megahaluz z prismu...)
16:16 xstill tak on divine neznámé flagy celkem ingoruje (to byl i ten případ toho mého flagu 131072), ten vzninul když jsem přidal to zarovnání
16:16 xstill tam jsem si to ale ještě neuvědomil, pak se mi to povedlo podruhé a konečně mi to došlo
16:18 mornfall :-)
16:18 xstill odesláno, až na to teda, že pořád explicit generátor nekontroluje jestli graph::flags::accepting je ekvivalentní o:accepting
16:18 xstill což nevím co dělat kdyby nebyl kromě toho to vypsat jako warning, že to není kompatibiní dess
16:19 xstill nevím totiž jestli dává smysl to nějak překládat
16:19 mornfall asi radši nic (tzn. jen warning)
16:19 xstill ok, to ještě dodělám
16:19 xstill ale teď si skočím do menzy na večeři, jinak to nestihnu
16:19 mornfall :)
16:19 xstill hm ###       failed: [vanilla] llvm/exceptions.sh
16:20 mornfall nestraš
16:21 xstill no to je zase ten logic_error vs. exception (nereferencí)
16:21 mornfall je nějaká šance že se popletl timestamp na libdivinert.bc?
16:22 xstill podívám se pak
16:50 xstill mornfall: co je ten edge case zmiňovanej v fairness ticketu?
16:51 xstill už plánujeme i 3.5, jo?
16:55 mornfall to je to že jsem se úplně nezamýšlel nad tím co se děje (resp. má dít) v momentě kdy skončí proces
16:56 mornfall to je asi potřeba namalovat a rozmyslet se jestli to je nebo není správně jak to je
16:57 mornfall já mam trochu zmatek co vlastně znamená milestone 3.3.x ... jestli to je 'to co bude v 3.3.1' nebo 'to co bude v 3.3.x pro libovolné x'
16:58 mornfall protože podle použití mi to přijde spíš první a podle jména spíš druhý
17:00 xstill hm, jako to co tam máme teď spíš odpovídá tomu prvnímu no, možná to chce nazvat jinak, nebo rozmyslet, protože zase dává smysl mít tickety na patchlevel verze
17:00 xstill ad exceptions, zdá se že to byl nějaký bordel s testy, teď to prošlo
17:22 xstill poslal jsem patch s tím warningem v explicit generátoru

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