Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-05-03

| 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/
09:24 mornfall xstill: fallback_malloc není jen rename? nevypadá to že by mělo existovat aj .cpp aj .ipp
09:24 mornfall xstill: (zejména pak ty změny co děláš v tom .cpp jsou v tom .ipp už jednou udělaný)
09:27 mornfall navíc teda ta existující verze mění chování asi o dost míň než ta nová
09:28 xstill_ je pravda, že jsme nezkontroloval, jestli nějaké soubory nesmazali, podívám se na to
09:29 mornfall ne že nesmazali, ten soubor je importovanej jako novej ale obsahuje zhruba to stejný co bylo předtím v tom .ipp
09:29 mornfall takže by bylo výrazně lepší mít to jako rename
09:31 divine-next 2 new patches validated [xstill]
09:32 mornfall to cc -a pullovat nebudu ale ty testy na -l bych rád, tak je prosím dej zvlášť (teď je to dohromady s testem na cc -a)
09:32 xstill_ jo takhle, to mi příjde skoro zbytečný drbání s tím přejmenováním
09:33 mornfall no to určitě není zbytečný
09:33 mornfall ten soubor obsahuje lokální změny
09:33 mornfall (který jsi udělal znovu a jinak, aniž by o tom byl jakýkoliv záznam)
09:46 mornfall yaqwsx: 2 věci k patchům -- vloudilo se tam pár jazykových chyb (configuration-aware v názvu patche se píše se spojovníkem a 'option overriding' jako error je dost divný), druhá -- chápu že kontrolovat konzistenci mezi komponentami moc jinde než v helpu nejde, ale bylo by pak dobrý mít test kterej pustí help ve všech konfiguracích, aby ta kontrola k něcemu sloužila (možná existuje a jen
09:46 mornfall jsem ho přehlédl)
09:48 xstill_ mornfall: ok, cc -a zničím, jak se dá vyřešit to přejmenování?
09:50 mornfall asi se to neobejde bez unrecordu
09:51 mornfall (každopádně se to musí udělat v kontextu kde ty lokální změny ještě neexistujou, tzn. v tom repu kde jsi recordoval ten import)
09:53 yaqwsx mornfall: Ok, dopíšu test na help.
09:53 yaqwsx mornfall: Jak lépe pojmenovat option overriding?
09:55 mornfall yaqwsx: option conflict?
09:55 mornfall nevím :)
09:56 divine-next 6 new patches validated [xstill]
10:10 divine-next 1 new patch validated [yaqwsx]
11:13 xstill_ mornfall: testy jsou vyseparované a ten bricks + VM je nezávislý na tom libc++/static
11:13 xstill_ libc++ bude muset chvíli počkat
11:17 xstill_ pořád mi ale není jasný jak se to má správně udělat, jakože vyčistit repo do stavu před našimi změnami, přejmenovat ten soubor a pak přeplácnout libc++
11:17 xstill_ ?
11:17 mornfall jak jsi resolvoval konflikty mezi libc++ 4.0 a naší verzí?
11:18 mornfall když recorduješ patch který updatuje libc++, tak součástí toho patche by měl být ten rename
11:18 xstill_ no vyrevertoval jsem to do čistého importu, přeplácl a pak natáhl naše patche a zarecordoval resolve
11:19 mornfall takže postup se nijak nemění, jen ten update patch bude krom modify/add obsahovat aj jeden rename
12:47 mornfall yaqwsx: potřebovali bychom umět zevnitř implementace syscallu říct reschedule/continue i když podle tabulky je to ta druhá věc... zatím nejlepší nápad je místo návratové hodnoty Syscall:handle si tuto informaci pamatovat jako bit ve _VM_CR_Flags
12:48 mornfall yaqwsx: (problém: v replay módu se může stát že potkáme syscall který zrovna nelze spustit a chceme umět udělat cancel, což sice funguje i teď, ale spoléhá to na to, že mezi tím syscallem a nejbližším interruptem se nestane žádná chyba)
12:49 mornfall yaqwsx: (kdyby ten syscall uměl říct RESCHEDULE tak se toho problému zbavíme)
12:49 mornfall teda cancel + reschedule
12:49 mornfall druhá možnost by byla kontrolovat jak návratovou hodnotu tak jestli není nastavenej _VM_CF_Cancel (ale ta první se mi asi líbí víc)
12:58 yaqwsx mornfall: Bit bude určitě nejjednodušší, ale nebude to nepřehledné?
13:03 mornfall yaqwsx: nevim, asi to není moc rozdíl proti tomu jak je to teď
13:04 mornfall yaqwsx: možná bys pak mohl do divine/vm/divm.h přidat nějakou konstantu na první user-defined bit (_VM_CF_*)
13:05 mornfall aby to nebylo až tak nadivoko
13:05 yaqwsx Napadlo mě ještě ze syscallu vracet std::pair, ale to je ještě divočejší
13:06 mornfall to bys musel změnit každou jednu implementaci syscallu :p
13:06 mornfall a ano, navíc škaredý
13:07 yaqwsx A s tím bitem si to představuješ tak, že syscall wrapper to nastaví na defaultní hodnotu a implementace ten bit případně přehodí?
13:11 mornfall yaqwsx: sounds like a plan
13:14 yaqwsx mornfall: Pokud to mám implementovat, jak moc to pospíchá?
13:18 mornfall yaqwsx: no, kdyby to bylo do pátku vůbec bych se nezlobil
13:18 mornfall osmého je deadline na článek, já už si to pak nějak zmerguju
13:26 yaqwsx Ok, to by mohlo jít.
13:32 mornfall danke schön
13:38 mornfall -        if ( ptr.type() == PointerType::Heap && !heap().shared( ptr ) )
13:38 mornfall +        if ( ptr.heap() && !heap().shared( ptr ) )
13:38 mornfall nevermind
14:06 divine-next 1 new patch validated [xstill]
14:26 divine-next validate failed (1 test), 2 patches pending [xstill]
14:27 mornfall ## vanilla: sim/2.trace.sh
14:52 divine-next validate failed (24 tests), 4 patches pending [xstill]
15:23 xstill_ hm a co jsi pullnul?
15:40 xstill_ (u mě functional prošlo)
17:51 kejsty joined #divine
17:52 kejsty xstill: ping
18:08 mornfall xstill_: chybí mi jen ten refactor/cleaning patch (kterej teda asi mění chování, protože to teď padá na assert v .../next-staging/bricks/brick-data: 158)
18:11 mornfall ten jsem netahal protože má podivně zmatenej commit log (a jazykově taky nic moc)
19:36 xstill co je na něm jazykově špatně?
19:38 xstill hm, a brick-data:158 neexistovalol v momentě kdy ten patch vzniknul
19:38 xstill co na tom padá?
19:38 xstill máš ten lart patch?
19:40 xstill a co je špatně na jeho commit logu?
19:40 xstill ten patch sice vznikal poněkud pochybně, ale nevidím co je v něm divné
19:41 xstill ideálně mi sem hoď adresu toho repa kde to máš stažené

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