Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-05-04

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

All times shown according to UTC.

Time Nick Message
01:49 ilbot3 joined #divine
01:49 Topic for #divine is now DIVINE | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
03:13 xstill_ joined #divine
06:27 yaqwsx mornfall: U mě na Arke je patch na syscally.
06:33 mornfall yaqwsx: diky, podivam se jak budu mit chvili (asi az vecer)
07:38 xstill_ mornfall: bez highlightu neodpovídáš?
07:45 mornfall nemam ted cas to resit (chapu to tak ze kdyz ten patch unpullnes tak ti to funguje)
07:46 xstill_ ani nemáš čas mi poslat adresu repozitáře kde ty patche máš?
07:48 xstill_ nezkoušel jsem to unpullnout protože nevím co všechno máš a nemáš (a u mě je ten assert v kódu který neexistoval v době kdy jsem rekordoval ten patch co nemáš)
07:59 mornfall next-staging (ucim)
08:04 xstill_ ok, zkusím
09:18 xstill_ btw. http://rr-project.org/
09:22 xstill_ tak když to unpullnu tak ten trace test pořád prochází
09:22 xstill_ pouštím ještě validate na kopii next-staging ale to se teprve buildí
09:41 xstill_ aha už to vidím, ale je to v jiném testu
09:46 xstill_ zjistím po obědě
10:33 xstill_ bylo by dost užitečné kdyby validátor vypsal i které testy spadly
10:40 xstill teď byl teda problém v tom, že jsem u sebe před tím spouštěl release testy asi, ale ten trace co jsi psal skutečně nepadá ani v debugu
10:53 xstill aha už to vidím
11:02 xstill mornfall: chyba byla v "VM: Track loaded pointers for tau reduction precisely, not just object ids.", amendnul jsem ho
11:03 xstill (end nebyl weak ale start ano)
11:06 mornfall jak to mohlo procházet testy (bez ohledu na ten refactor patch)?
11:07 xstill protože jsem pouštěl ten test co jsi sem pastnul jeho jméno
11:09 xstill a v release se to neprojevilo protože sym testy jsou sekvenční takže je to jedno
11:09 mornfall no ten jeden padnul v tom prvním běhu
11:09 mornfall ale, make validate?
11:11 xstill ten jsem pouštěl až potom; při vývoji jsem běhal functional, ale asi v release, ačkoli jsem si myslel, že jsem pouštěl semidbg
11:12 xstill protože předpokládám, že functional + unit je nadmožinou validate
11:12 mornfall to se pak ale nesmíš divit že jsem zmatenej
11:13 xstill nemám problém se zmateností, jen se mi zdálo, že jsi mohl odpovědět když už jsi odepisoval Honzovi
11:17 mornfall to jsem zrovna vystupoval z vlaku
11:18 mornfall jedna věc je odepsat 'později' druhá udělat něco konstruktivního
11:20 blurry_ joined #divine
11:21 mornfall (next-staging jsem střelil od boku, na mobilu to taky nemám moc jak zkontrolovat)
11:23 xstill nojo, ale i to by bylo užitečný; ale dobře, asi jsem prostě moc náročný na komunikaci
11:29 xstill anyway; co ten patch na manuál? ten se tam válí ještě o dost dýl
11:29 mornfall užitečný to je asi jen když to je správně... já jsem zase náročný na samostatnost, času mám málo a prioritizuju méně zkušené lidi, protože to prostě potřebujou víc
11:29 divine-next 4 new patches validated [xstill]
11:30 mornfall manuál by potřeboval jazykovou korekturu :\
11:31 mornfall (teda ten patch... minule jsem u yaqwsx udělal chybu že jsem to pullnul v nějakém polohotovém stavu a je to tam tak doteď...)
11:32 xstill samostatnost se dost špatně realizuje pokud nedostanu žádné informace v tom, co je špatně ani co přesně máš v čem je ta chyba. (to že tady jsem spouštěl špatné testy je moje chyba, ale to nic nemění na tom, že jsem neměl od čeho začít když jsem byl přesvědčený, že mi testy prochází)
11:32 xstill "ten patch" je manuál, nebo ještě něco dalšího?
11:33 mornfall manuál
11:33 blurry_ mornfall: na ten manual patch sa mozem pozriet ked nikto nema nic proti
11:33 blurry_ xstill: ^
11:33 * mornfall určitě nic proti nemá
11:33 xstill blurry_: zrovna jsem ti psal jestli by jsi se na to mohla podívat
11:33 mornfall blurry_: ~xstill/DIVINE/divine4 (prvý patch oproti next-u)
11:34 mornfall blurry_: korekcie môžu byť nový patch nad tým, pullnem to potom spolu
11:34 xstill blurry_: ideálně jestli bys udělala patch který opraví angličtinu asi
11:34 blurry_ j, po denotacni semantice :p
11:34 xstill :-)
11:34 xstill dík
11:37 mornfall (a teda vědět kde začít je základ samostatnosti, je snad běžný že není koho se zeptat a nějak se hnout z místa musím...)
11:42 xstill no, kdyby se nebylo koho zeptat tak by asi ani neexistovalo ani orákulum, která mi nadává, že to nefunguje, ale neřekne mi naprosto proč. A můj čas taky není neomezený
11:44 mornfall říká 'validate failed' a existuje 'make validate' (a to orákulum je skript a ne člověk)
11:47 xstill ano, říká, a já byl přesvědčený o tom, že jsem pouštěl nadmnožinu validate a prošla. to je sice moje chyba, ale nic to nemění na tom, že v situaci kdy máš neznámou podmnožinu patchů a u mě by testy skutečně procházeli nemám bez tvé odpovědi od čeho začít, leda náhodně unpullovat patche nebo hledat kde máš repo
11:49 mornfall řekl jsem zcela přesně kterej jeden patch tam není
11:56 xstill spíš mi řekni co je na tom patchi špatně
14:19 yaqwsx mornfall: Narazil jsem na problém detekce faultů při bootu a snažím se ho opravit. Mám problém vyrobit error hranu. Vytvářím jí tak, že nastavím error bit, nastavím scheduler, který nastaví cancel bit a hned vrátí. Jenže toto DIVINE považuje za program bez faultu.
14:19 yaqwsx Co DIVINU chybí? Hlavní rámec?
14:22 mornfall mohl by stacit error bit a nenastaveny sched
14:23 mornfall boot error to resi specialne (aspon doufam)
14:23 mornfall nekde na to byl tusim i test
14:24 blurry `0^2 2^4` means the first two
14:24 blurry choices returned 0 and the following 4 returned 4
14:24 blurry sure?
14:24 xstill_ jo
14:25 xstill_ mornfall, yaqwsx: no jak se dívám do explore.hpp/setup.hpp tak bych skoro čekal, že při chybě bootu se prostě nezačne nic prozkoumávat protože se nenastaví iniciální snapshot
14:29 blurry a podla akeho RLE ste sa inspirovali preboha
14:31 yaqwsx xstill_: Ok, teď se na to také dívám, ale očividně to funguje jinak. No, počkám si 30 minut, než se mi zkompiluje debug verze DIVINu, abych se na to podíval v debuggeru.
14:31 xstill_ yaqwsx: a co to dělá?
14:32 yaqwsx Zavolá to scheduler a tváří se to, jakoby žádná chyba nenastala. Možná mi někde uniká nějaká cesta, kdy se ten bit přeskočí nebo vynuluje.
14:32 yaqwsx A když nastavím scheduler na nullptr, tak DIVINE zasegví.
14:42 xstill_ to je divný
14:42 yaqwsx Jak budu mít debug build, budu vědět více.
16:01 yaqwsx xstill_, mornfall: postboot check se pouští jenom při verify. Při runu to i při CF error pokračuje. A sim nezobrazí žádnou chybu, jen nenabootuje...
16:01 yaqwsx A pravděpodobně (ještě jsem nezkoumal) naše testy hledají backtrace, ale ve výpisu je jenom "error found: boot"
16:15 mornfall yaqwsx: test/vm/2.badboot* něco testují, ale určitě to zaslouží rozšířit
16:15 mornfall yaqwsx: error found: boot se kontroluje jen okrajově v lib/test/check
16:16 mornfall yaqwsx: taky by to asi šlo vylepšit
16:16 yaqwsx mornfall: test/lib/check:180 je špatně.
16:16 yaqwsx Už jsem to opravil.
16:16 mornfall yaqwsx: sim by mohl umět bootovat když uděláš setup --debug-kernel nebo něco takovýho
16:16 mornfall yaqwsx: teda stepovat boot
16:17 yaqwsx mornfall: Jj, ale podle mě by sim měl umět říci, že nezvládl nabootovat. Teď mlčm.í. Ve volné chvíli dodělá
16:17 yaqwsx *Teď mlčí. Ve volné chvíli dodělám.
16:18 mornfall yaqwsx: jo, nefunkční __boot se moc netestuje a sim by taky zasloužil mnohem lepší pokrytí testama
16:18 mornfall yaqwsx: kdyby ta oprava zahrnovala test bylo by to super :)
16:19 mornfall yaqwsx: je tam aj jakýsi udělátor na testy pro sim
16:19 mornfall yaqwsx: run se pro jistotu netestuje vůbec, veškerá iniciativa v tomto směru je vítána *wink*
16:20 yaqwsx mornfall: Ta oprava odhalila jiný problém... Když tracuji help, končím chybou, aby se help zobrazil jako trace. Když najdu konflik, končím chybou... Takže na to potřebuji stejně napsat spešl test.
16:20 mornfall (ono by se normálně člověku nemělo běžně stávat že nefunguje boot, ale je určitě lepší když to bude fungovat dobře :)
16:20 mornfall yaqwsx: hmm
16:21 yaqwsx mornfall: Přemýšlím, jestli by to nechtělo systematičtější řešení.
16:21 mornfall yaqwsx: končíš chybou i když to vypisuješ protože -o help?
16:21 yaqwsx jj, přesně tak.
16:22 mornfall možná by dávalo smysl aby šlo mít prázdnej stavovej prostor a aby to zároveň nebyla chyba
16:22 mornfall (cancel vs error?)
16:22 yaqwsx Otázka je, jestli by se to vlastně nemělo chovat úplně jinak. Jaký je use-case helpu? Bude se pouštět stejně jenom z runu/simu, kde se traceuje i bez chyby.
16:23 yaqwsx Takže neměl by DiOS po traceování helpu pouze vyrobit prázdný stavový prostor a nenastavovat chybu?
16:23 mornfall ono by zase nebylo úplně zlý aby verify -o help taky zafungovalo
16:23 yaqwsx Jak "zafungovalo"?
16:23 mornfall ale je pravda že to je trochu divný
16:23 mornfall no vypsalo ten help :-)
16:24 yaqwsx mornfall: Spešl kategorie pro traceování, která se zobrazí vždy?
16:25 mornfall heh, teď jsem zrovna z verify dostal   ERROR: Unused option debug:help
16:25 mornfall v next-u
16:25 mornfall ale řekl bych že verify by to jinak normálně vypsalo jako součást error trace
16:25 yaqwsx mornfall: Jak se ti to povedlo?
16:26 mornfall yaqwsx: divine verify -o help test.c
16:26 mornfall ale nemám ty patche cos minule posílal na komponentizaci
16:26 mornfall takže to může být proto
16:26 mornfall a teď musím zmizet
16:26 yaqwsx Jj, to bude tím.
16:27 mornfall (myslím že help klidně může končit chybou, ale mohl by končit jinou chybou než konflikt a rozšířil bych testy tak aby šlo testovat na boot chyby)
16:28 mornfall gl&hf
22:35 divine-buildbot_ Hey! build divine-nightly-release #108 is complete: Failure [finished]

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