Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-03-04

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

All times shown according to UTC.

Time Nick Message
00:38 divine-buildbot Hey! build divine-nightly-debug #81 is complete: Failure [finished]
01:39 divine-buildbot Hey! build divine-nightly-release #79 is complete: Failure [finished]
10:29 mornfall https://paradise.fi.muni.cz/~xrockai/except.pdf snad je tam už všechno
10:30 mornfall houby, jedno TODO tam zbylo...
10:30 mornfall nevadí, doplním odpoledne a jestli se nenajde nic jinýho tak to submitnu
10:47 mornfall (fixed)
11:03 xstill "the “svc-pthread” category includes
11:04 xstill pthread-based C programs from the SVComp benchmark set." -> tady bych nějak napsal, že je to podmnožina (ať nám někdo netvrdí, že se snažíme mást a tvrdit, že je to celá concurrency)
11:04 xstill + SVComp -> SV-COMP
11:06 xstill "at most 10,%" tady ti vlezla čárka navíc
11:07 xstill totéž 2,%
11:13 xstill to o těch bricks které chybají std::bad_alloc není pravda, try/catch nemůže být v programu přeložených s -fno-exceptions
11:15 xstill "Since call is not a terminator instruction" asi bych to přepsal na něco jako "Since call does not include branch", nemyslím, že "terminator instruction" je běžně známá věc
11:16 xstill jinak mi evaluation příjde fajn
11:58 mornfall nj, on to není catch ale terminate handler
12:00 mornfall s tím se asi úplně nepočítalo, ale je to trochu zrádný
12:01 mornfall ono totiž s -fno-exceptions to fakt umírá na chybu a bez to 'funguje' :p
12:02 mornfall pokud to nechceme postavit jako že to je exception handler (i když pomocí set_terminate) tak se to asi bude muset předělat
12:03 mornfall a o concurrency kategorii tam není ani zmínka, tak to snad takhle pochopit nikdo nemůže (navíc je tam celkem jasně napsaný že to je 17 modelů)
12:12 xstill co předělat?
12:17 mornfall měření
12:18 mornfall teď je to naměřený tak, že když bricks simfail_nothrow přeložíš s -fno-exceptions tak umírá na null dereference a jinak ne, protože má terminate handler
12:23 xstill Szulbk\xba
12:27 xstill mornfall: no… to moc nevím jak vyřešit, to by se musel celý bricks přepsat tak aby byl bezpečný z hlediska bad_alloc
12:28 xstill spíš je podezřelý, že žádný bricks ani s nofail neprošel s -fno-exceptions
12:35 xstill druhá možnost by teda byla mít tam místo toho testy, který to zabijou při selhání alokace, ale pak by to bylo dost nefér dělat jednou terminate handlerem a jednou přímo v malloc, a pokud to bude všechno v malloc tak to o výjimkách nevypovídá nic
14:22 mornfall druhá věc teda je, že nic nebrání linkování výjimkového kódu s nevýjimkovým, takže -fno-exceptions libc++ by umíralo i kdyby byl pak bricks přeložený s výjimkama
14:54 xstill ano, to by umíralo
14:54 xstill chceš teda ještě něco dělat s těmi měřeními?
15:05 xstill mornfall: jinak "libcxx: Move various locale-related static arrays into the heap instead." nás stojí hodinu 33 minut (51 %) na bricks testech (trochu pomáhá na divine - 7 %, a na svc - 11 %, a libcxx - 2 %, jinde stojí odhadem po 10 %). Ta konstifikace PDClib je OK (i když ušetřila je < 2 %, ale počítám, že by mohla ušetřit i paměť). Chtělo by to vymyslet nějak jinak.
15:26 mornfall je to neco jinyho nez stdio?
15:27 mornfall ale to ze cout/cerr to vsechno nainstancuje je nic moc
15:31 xstill zatím nevím co to je
16:46 mornfall ideální by teda bylo kdyby to někdo v upstreamu překlopil na string_view (co se teď jmenuje nějak jinak)
21:13 zbeasnyy joined #divine

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