Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-09-30

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

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #divine
01:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
06:17 evenfall yaqwsx: záleží kde, ale radši <dios/fault.hpp>
06:43 yaqwsx Ok
06:49 xstill__ joined #divine
07:02 yaqwsx joined #divine
07:32 xstill__ joined #divine
07:33 yaqwsx Patche zarecordovány
09:53 yaqwsx joined #divine
10:32 evenfall někde je asi nějakej nedobrej redirect, píše mi to Warning: c['BuildbotURL'] is misconfigured to (...)
10:32 evenfall should be: https://paradise.fi.muni.cz//builds/ (dvě lomítka, kdoví proč)
10:35 xstill no ne, tím myslí, že na to lezeš z té adresy se dvěma lomítky
10:38 evenfall nj, ale já ji nikam nepsal
10:39 xstill a jak jsi se tam dostal?
10:39 evenfall http -> autoredirect na https -> auth -> warning
10:39 evenfall jenže teď když jsem autentizovanej tak to nedělá
10:39 xstill aha
10:40 evenfall (což by třeba fungovalo takhle kdyby bylo zaplý hsts)
10:40 evenfall (teda že ten problém zmizí po prvním redirectu)
10:41 xstill jo, potvrzeno, že za to může http -> https redirect
10:45 xstill tak snad opraveno
10:54 evenfall hm, yaqwsx tam má konflikty, řekl bych
10:56 yaqwsx joined #divine
10:56 evenfall yaqwsx: hned v tom prvním patchi
10:56 yaqwsx Mám rozbitého IRC klienta a mé zprávy asi neodešly... - mám zarecordovat resolve?
10:57 evenfall yaqwsx: buď, nebo amenduj   * UI: Add systemopts command to WithBC.
10:57 evenfall yaqwsx: to by asi bylo lepší
10:57 evenfall (ještě jsem to nepullnul)
10:57 evenfall zdá se že na tom jinak nic závislost nemá
10:57 yaqwsx Ok, provedu.
11:00 yaqwsx Hotovo
11:36 evenfall yaqwsx: ten jeden patch co ti tam zůstal viset má v názvu Imlement
11:37 yaqwsx Opravím
11:37 yaqwsx Chápu správně, že __md_get_pc_meta předhodím pointer na funkci a dostanu _MD_Function *?
11:37 evenfall yaqwsx: ano
11:40 yaqwsx Opraveno
11:58 yaqwsx xstill: V posledním týdnu se mi doma začalo padat ssh na arke - cca po 10 minutách přestane odpovídat a za dalších 5, pokud jej nechám vypíše "packet_write_wait: Connection to xxx.xxx.xxx.xx port 22: Broken pipe". Dříve to nedělalo - nezměnilo se něco?
12:11 mornfall ty 1-2 hodinový website buildy jsou asi zbytečný, ne?
12:11 mornfall (počítám že to překládá clang)
13:12 yaqwsx joined #divine
13:43 yaqwsx mornfall: U mě jdou další patche (které odstraňují _DiOS_FunPtr a zjednodušují tak api pro práci s vlákny)
13:45 yaqwsx *jsou
13:49 mornfall mám
14:04 mornfall divine to ale tuším nerozdýchal
14:04 yaqwsx Co se mu rozbilo?
14:05 mornfall isa<> na null pointer, něco s DICompositeTypeBase
14:05 mornfall zjistím, opravím
14:06 mornfall počítám že se poprvé potkal s polem :-)
14:06 yaqwsx Tak to ho možná rozsekalo to pole o délce 0
14:38 yaqwsx joined #divine
14:38 divine-buildbot Hey! build divine-next-debug #55 is complete: Failure [finished]
16:41 yaqwsx joined #divine
16:52 divine-buildbot Hey! build divine-next-debug #56 is complete: Failure [finished]
18:49 mornfall yaqwsx: řekl bych, žes rozbil pthread_mutex_lock
18:49 yaqwsx Juch, juch. Jdu se na to podívat.
18:50 mornfall @location: /divine/src/divine/pthread.cpp:673
18:50 mornfall @symbol: _mutex_lock(__dios::_InterruptMask<true>&, pthread_mutex_t*, bool)
18:50 mornfall FAULT:  conditional jump depends on an undefined value
18:50 mornfall zarecorduju ty opravy na debuginfo a pak se na to můžeš podívat i sám
18:51 yaqwsx ok
19:00 mornfall yaqwsx: je to tam
19:01 mornfall nicméně koukám že to padá jen v testech na future který nemam v next-u
19:01 mornfall tak teď nevim jestli je to novej problém nebo starej
19:02 mornfall xstill: ty future* předtím fungovaly? (hází to neočekávaný errory, takže s backtraceama to souviset nemůže)
19:05 mornfall yaqwsx: (ještě jeden patch chyběl)
19:09 mornfall yaqwsx: kdyžtak padá to na arke:~xstill/DIVINE/divine4/test/cpp/future.cpp
19:10 yaqwsx Ok
19:11 mornfall kruci
19:12 mornfall yaqwsx: test: Bring a couple of undef testcases up to date with DiOS changes. <-- tenhle patch jsem amendoval, tak si ho radši unpullni
19:17 yaqwsx ok
19:28 mornfall yaqwsx: za ten mutex asi nemůžeš
19:28 mornfall std::mutex nějak dokáže vyrobit mutex s neinicializovaným kusem, i když používá PTHREAD_MUTEX_INITIALIZER který jinak zdá se funguje...
19:29 yaqwsx Máš už něco? Já k tomu ještě pořádně nesednul
19:33 mornfall no, mám reproducer :-)
19:39 mornfall http://sprunge.us/CCIX tohle zhavaruje
19:39 mornfall když se to ale použije v C jako inicializátor (ať už lokální nebo globální) tak to funguje
19:43 mornfall tak bych nějak řekl že nám nefunguje bitwise and :-)
19:43 yaqwsx Už zase? :D
19:44 yaqwsx Moment, ne, minule to byl shift.
19:44 mornfall shifty to žádný nedělá zrovna
19:50 mornfall tak to není tím :)
19:50 mornfall on ten mizera fakt nainicializuje jeden bit, uloží to a pak načte
19:50 mornfall a náš shadow furt neumí výjimky (tzn. částečně inicializovaný bajty)
19:55 mornfall aha
19:55 mornfall to se samozřejmě stane jen když se ten kód překládá s -O0 (bez -O)
19:56 mornfall jenže tady tohle je v hlavičce (__mutex_base) která spadne pod ten testcase samotnej, ne pod knihovnu
19:56 mornfall ale jo, tohle ještě chvíli fungovat nebude
19:56 mornfall xstill: ^^
19:57 mornfall xstill: jinak ty testy cos přidával všechny prochází krom tady těch future*, takže bych navrhoval je vyamendovat (stejně tak poznámku o nefunkčnosti) a pullnul bych ty ostatní
20:16 yaqwsx Takže máme chybu v testech nebo je chyba v knihovně,
20:16 mornfall chyba je v haldě
20:16 mornfall resp. v shadow
20:17 mornfall ani ne tak chyba jako známá chybějící feature
20:18 yaqwsx Ah, ok.
20:18 yaqwsx Díky za info
20:26 mornfall ale je to dobrá soutěž, opravit všechny failující testy před 23:30 ;-)
20:27 divine-buildbot Hey! build divine-next-debug #59 is complete: Failure [finished]
20:35 yaqwsx Tomu se říká motivace!
22:07 divine-buildbot Hey! build divine-next-debug #57 is complete: Failure [finished]
22:11 divine-buildbot Hey! build divine-next-debug #58 is complete: Failure [finished]
23:27 divine-buildbot Hey! build divine-next-debug #60 is complete: Success [finished]

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