Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-09-26

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

All times shown according to UTC.

Time Nick Message
00:07 divine-buildbot_ Hey! build divine-nightly-release #7 is complete: Success [finished]
00:43 divine-buildbot_ Hey! build divine-current-debug #4 is complete: Success [finished]
01:08 divine-buildbot_ Hey! build divine-nightly-debug #7 is complete: Success [finished]
05:46 xstill nechám buildbota vypisovat jen failnuté buildy do IRC
05:49 divine-buildbot joined #divine
06:20 yaqwsx joined #divine
07:41 yaqwsx joined #divine
07:53 mornfall xstill: jsem si právě říkal že failnuté current buildy by mohl posílat i na divine@
07:54 xstill_ to by mohli
08:07 mornfall líbilo se mi ale, že pro ten next to fungovalo jako notifikace, že se něco změnilo; je pravda, že mít notifikaci skutečně na to by asi bylo lepší
08:24 xstill_ on ten IRC bazmek je hrzoně blbě konfigurovatelnej, třaba nejde nastavit různé notifikace na různé buildy
08:56 xstill_ mornfall: co je ten unwind na tabuli (u mě)?
10:43 mornfall je tam u toho něco víc?
10:45 divine-buildbot build #41 of divine-next-debug started
10:47 xstill_ ne
11:04 mornfall tak se to asi může smazat, nevim :)
11:06 yaqwsx mornfall: právě jsme navrhli nové rozhraní na ovládání failů/nedeterminismu; co si o něm myslíš? Možnosti: "ignore:{fault}", "detect:{fault}" (detekuje fault a pak pokračuje), "abort:{fault}" (detekuje fault a ukončuje), "nooverride:{fault}" (zakáže API pro konfiguraci faultů), "simulate:{event}" - simuluje selhání (např. "mallocfail", "networkfail", atd.)
11:19 mornfall za ty {} nás budou uživatelé nenávidět
11:19 yaqwsx ty {} jsou placeholdery pro vysvětlovátko
11:20 mornfall jo tak
11:20 yaqwsx Použití je "ignore:arithmetic"
11:20 mornfall místo detect bych se asi držel report, protože detekuje se to tak jako tak
11:20 mornfall jen se o tom mlčí
11:20 mornfall (to bude rozdíl u věcí, které lze nedetekovat, třeba leaky)
11:21 yaqwsx Ok, to zní rozumně
11:21 mornfall ignore, report, abort ok
11:22 mornfall nooverride je takové nešikovné
11:22 mornfall z pohledu kódu je to trochu víc práce, ale co mít force-ignore, force-detect a force-abort?
11:22 yaqwsx Nepřipadá mi to o tolik více práce a dává to smysl.
11:25 mornfall k faultům se mi pozdává nofail:malloc, ale nemůžu přijít na to jak dobře pojmenovat to opačný
11:25 mornfall fail:malloc zní jako že má selhat vždy
11:26 mornfall a mayfail je taky divný
11:26 mornfall allowfail:malloc?
11:26 yaqwsx simulate (potažmo sim) se ti nepozdává?
11:26 mornfall přijde mi to hrozně přetížený
11:26 mornfall a co ten opak? nosimulate:mallocfail?
11:27 yaqwsx Ok, dobrý postřeh.
11:27 yaqwsx Jak by vypadal opak od allowfail?
11:27 mornfall nofail
11:28 mornfall nofail:malloc, allowfail:malloc
11:28 mornfall nofail mi přijde dobrý a jasný, spíš ten allowfail je takovej ne 100%
11:28 mornfall letfail:malloc?
11:29 mornfall no nebo teda simfail:malloc :)
11:30 yaqwsx simfail mi dává nejjasnější představu, co to dělá
11:31 mornfall asi jo no
11:31 yaqwsx Ok, budiž tedy: ignore, report, abort + force varianty, nofail a simfail
11:31 mornfall nofail a simfail asi chce mít taky force- verzi?
11:32 mornfall resp. asi by to mělo být taky primárně nastavitelný programem?
11:32 yaqwsx I toto chceme ovládat z programu?
11:32 mornfall ještě vyvstává možnost vrátit něco jako bylo divine-cflags
11:33 mornfall ale určitě by bylo dobrý mít nějakou možnost mít co nejucelenější zadání v jednom souboru
11:33 mornfall už z hlediska našich funkčních testů a příkladů
11:33 yaqwsx divine-cflags bylo co?
11:34 mornfall v divine 3 šlo do .c přidat komentář, kterej specifikoval nějaký commandline switche
11:34 yaqwsx Jo takhle. To by mohlo být užitečné.
11:35 mornfall ale když máme api na faulty, asi by mělo smysl mít obdobné api na faily
11:36 yaqwsx Když nad tím ale tak přemýšlím, stálo by za to dát přiřadit simfaily do stejné číselné řady jako faulty a konfigurovat je přes jedno API
11:36 mornfall asi jo :)
11:36 yaqwsx Ok, spáchám.
11:37 mornfall jen se k té konfiguraci musí nějak dostat userspace (tzn. asi bude dios muset nastavit nějakou globální proměnnou na kterou se bude malloc dívat, etc.)
11:37 mornfall (hnát všechny malloc-y skrz dios syscall je asi zbytečný?)
11:37 yaqwsx Jj, s tím počítám - o tom jsme se baviliy, že simfaily budou globálně viditelné.
11:38 mornfall mezi náma holkama ;-)
11:38 yaqwsx Sakra :D
11:39 mornfall pravda teď až vidím že jsou tam obě iy :)
12:15 divine-buildbot build #42 of divine-next-debug started
12:19 xstill_ jakto, že to reportuje, když mu říkám ať to nedělá
12:19 xstill_ divine-buildbot: notify list
12:19 divine-buildbot The following events are being notified: []
12:20 xstill_ super…
12:20 divine-buildbot build #43 of divine-next-debug started
12:25 mornfall :D
12:25 mornfall chytrej bot
12:31 divine-buildbot joined #divine
12:31 xstill_ divine-buildbot: notify list
12:31 divine-buildbot The following events are being notified: []
12:33 xstill_ je to divný
13:29 divine-buildbot Hey! build divine-next-debug #41 is complete: Failure [finished]
13:36 xstill_ mornfall: proč jsi nepullnul ten patch na úpravu unwindu?
13:36 xstill_ (ten může za ten spadlý build)
14:16 yaqwsx joined #divine
14:26 xstill_ mornfall: jak to vypadá s tím článkem na VM interface? Napadlo mě, že se v tom interface nejspíš ještě projeví detekce leaků a taky že by nemuselo být marné mít možnost zrušit ukazatele (tj. říct shadow, že dané místo paměti neobsahuje ukazatel, to by se pak dalo použít třeba při implementaci MPI/IPC obecně)
14:28 mornfall xstill_: jo, to jsem nepochopil že bude bez toho padat :) chtěl jsem navrhnout vyamendovat to 'did not found' když už se do toho hrabalo :)
14:29 yaqwsx joined #divine
14:29 xstill_ můžu, ale zatím mi nedochází co je tam blbě
14:29 mornfall článek na VM napíšu :P myslím, že to základní rozhraní tím ovlivněno nebude, ale jo, nějaká rozšíření přichází v úvahu
14:30 mornfall xstill_: no 'did not found' znamená 'nezaložil' :)
14:30 mornfall teda blbě je jen ta hláška co tam už byla
14:30 mornfall ale když už se posouvala...
14:32 xstill_ a jak to má být správně?
14:32 mornfall did not find
14:32 mornfall (the) target frame
14:33 xstill_ hm ajo
14:34 xstill_ amendnuto
14:34 mornfall pullnuto
14:35 xstill_ jinak mám podezření, že evaluátor/verify dělá něco hodně divnýho když je rámec nevalidní (uvolněný) pointr, protože v tom stactrace jsou dost náhodné funkce bez toho patche
14:35 mornfall taky se tam projeví dosažitelnost paměti (taustores)
14:35 xstill_ to bude nějak vidět ve VM interface?
14:35 xstill_ rooty?
14:36 mornfall no nějak se to ten VM dovědět musí
14:36 mornfall pokud to má brát do úvahy
14:36 xstill_ jo no
14:37 mornfall leaky se naopak nemusí projevit úplně nutně, možná jen flagem
14:37 mornfall záleží jak to chceme řešit
14:37 mornfall kontrolovat je z userspace je hodně drahý
14:37 mornfall nebo teda i z diosu
14:38 mornfall ono teda teď je to zrazu drahý tak nějak z principu
14:39 mornfall protože nám jinak nic co by bylo O(n) ve velikosti haldy nezbylo
14:41 mornfall (všechno je buď lineární k velikosti změny, nebo k počtu objektů, celá halda se prochází jen docela výjimečně)
14:47 xstill_ to jsme nějak vymysleli, že stačí sledovat které pointry se přepsali, ne? I když pak to nalezení jestli na to ještě někdo ukazuje je pořád lineární…
14:49 mornfall ano
14:51 mornfall nicméně by na to šlo nasadit nějaké občasné kontroly
14:53 mornfall nebo teda skutečně to jednou projít když se ztratí ukazatel na něco co není uvolněný
14:53 mornfall ale to asi fakt musí dělat VM
14:53 mornfall nebo aspoň nevidim jak to dostat ven
14:56 mornfall druhá věc je, že pokud bychom protipříklad procházeli 2x i tak, tady by nám to mohlo docela pomoct
14:56 mornfall jen to chce nějakou dobrou metodu jak spustit hledání nedosažitelných objektů
14:56 xstill_ jak to souvisí s procházením protipříkladu?
14:57 mornfall tak, že když najdeš leak 'pozdě' ale budeš procházet protipříklad podle výběrů, tak můžeš nechat leaky kontrolovat stále a případně ho najít na té trase dřív
14:59 mornfall hm, kruci, to má ale háček
14:59 divine-buildbot Hey! build divine-next-debug #42 is complete: Failure [finished]
15:00 mornfall ten buildbot interface je děsivě pomalej
15:00 mornfall nicméně failuje furt unwind-invalid-frame
15:02 xstill_ to ještě není build po tom cos to pullnul myslím
15:02 mornfall aha, ono běží ještě 2 další
15:03 xstill_ jo, build trvá tak 3 hodiny
15:04 mornfall ono ty běžící jsou jinde než ty hotové totiž
15:04 divine-buildbot Hey! build divine-next-debug #43 is complete: Failure [finished]
15:04 mornfall jsem našel na homepage divine-next-debug a tam nic neukazuje
15:04 mornfall co vlastně web?
15:04 xstill_ ono by to chtělo aby to vypsalo třeba poslední patch, nebo tak něco
15:11 xstill_ jo, začátek manuálu dobrý od kapitoly 3 bych ho asi zatím úplně odstřihnul, nebo aktualizoval, takhle to vypadá divně. Status je fajn. Jinak za mě docela OK (jakože logo mi nepříjde žádnej zázrak, ale s touhle verzí dokážu žít, zbytek designu je podle mě pokrok proti staré verzi). Ostatní mají připomínek víc, ale počítám, že ti je neřekli… hlavně k logu a některým se
15:11 xstill_ přišel ten původní design (jmenovitě rámeček se zvýrazněným "co je divine") přehlednější.
15:12 mornfall no, dobře, tak tam necháme navěky to co tam je teď, to mám fakt radost
15:12 mornfall kapitola 4 je updatovaná
15:14 mornfall (a nic dalšího tam není)
15:16 mornfall každopádně jsem čekal 4 měsíce a už mě to nebaví... další příležitost na změnu loga třeba u divine 5
15:19 xstill_ no to právě nechci aby tam zůstalo navěky to staré
15:19 xstill_ aha, tak to jsem se v manuálu blbě koukal, tak už jen ten jeden odstavec za nadpisem 3
15:20 xstill_ ten zmiňuje pořád DVE a spol.
15:25 xstill_ jinak bych to pak zveřejnil
15:26 mornfall pak?
15:28 xstill_ až zmizí ta zmínka o DVE z manuálu
15:30 mornfall ...
15:30 mornfall ale mrtvej odkaz na homepage, --disk-fifo v manuálu a podobný haluze co tam jsou teď jsou OK
15:35 xstill_ no není
15:39 xstill_ taky už mě to štve, akorát mi příjde, že když už nasadíme něco co je jasně nová verze (oproti tomu, že teď je dost jasný, že je to starý) tak mi příjde, že by to rovnou moho být aktuální celý a ne že je tam náhodně jeden starej odstavec
15:42 mornfall *cokoliv* je lepší než projekt kterej vypadá jako že je 2 roky mrtvej
15:46 xstill_ point, cokoliv asi úplně ne, ale tohle jo
15:48 mornfall asi jediná horší možnost je expirovaná doména s reklamami/malwarem
17:45 xstill_ zveřejněno, nicméně bych ocenil kdybys ten odstavec přeformuloval
21:54 yaqwsx joined #divine
23:01 divine-buildbot Hey! build divine-current-dist #5 is complete: Failure [finished]

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