Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-06-21

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

All times shown according to UTC.

Time Nick Message
07:37 spito joined #divine
09:55 spito joined #divine
14:46 spito joined #divine
15:22 xHire kompiluju si takhle DiVinE 2.97 a najednou vám to skončí v livelocku: http://pastebin.com/YMuZyzQ9
15:22 xHire gcc 4.8.1
15:23 mornfall já si zrovna překládám gcc 4.8 :-)
15:23 mornfall ale jo, o tomhle víme no
15:24 xHire má to řešení v bugzille?
15:24 mornfall řešení právě nemáme (krom použít clang nebo gcc 4.7)
15:24 xHire ahá
15:25 xHire 4.7.x by pro mě bylo stravitelnější, ale koukal jsem, které verze podporují to C++11 a nejlíp vyšla ta 4.8
15:25 mornfall 4.7 funguje
15:26 xHire s clangem nemám zkušenosti (z pohledu integrace v gentoo do buildsystému), takže půjdu po té 4.7 :c)
17:20 mornfall xstill: https://www.google.sk/url?sa=t&rct=j&q=&esrc=s&source=web&cd=5&cad=rja&ved=0CFAQFjAE&url=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Fndp%2Fhaskell-beats-C.pdf&ei=DYvEUarNHIzFtAaA5YCgCA&usg=AFQjCNFX70_O4x0aNTNaioZUfo1h0sPbUg&sig2=LH_rZvikIdL4izTvtDpSxA&bvm=bv.48293060,d.Yms
17:22 mornfall xHire: btw. gcc 4.8 to přeloží, není to livelock... jen mu ten soubor trvá cca 2.5 hodiny
17:23 xHire aha
17:23 xHire mornfall: nestojí to za bugreport, když to 4.7 nad tím takhle šíleně nevytuhne?
17:25 mornfall no, stálo by, ale nemáme na to žádnej menší testcase zrovna
17:26 xHire rozumím
17:41 xHire i té 4.7 to netrvá zrovna chvilku
17:52 xHire necelá půl hodina. to je lepší než 2,5 :c)
17:54 mornfall tak, clang je znatelně rychlejší
18:02 xHire aha
18:16 xstill joined #divine
19:24 xstill joined #divine
19:37 xstill hm, tak build divine gcc 4.8.1 trvá 6 hodin, pozitivné je, že výsledek zdá se funguje
20:07 mornfall :D
20:07 mornfall v Břeclavi je pekelný vedro ale
20:13 xstill v Brně je tak 27 stupňů
20:13 xstill jsi moc v nížině
20:15 mornfall no, ono tady taky nebude víc než 30
20:15 mornfall ale je vlhko, to je asi větší problém
20:23 xstill joined #divine
20:24 xHire je clang 3.1 (a llvm 3.1) dostatečný pro model checking nad llvm bitkódem?
20:28 xstill xHire: měl by být
20:28 xstill ale clang 3.1 divine asi nepřeloží
20:28 xHire já to mám přeložené s gcc 4.7, clang jsem si nainstaloval až dodatečně
20:28 xstill jo přeložit to gcc a používat clang + llvm 3.1 by jí mělo
20:29 xHire padá mi to na "functions/_PDCLIB//_PDCLIB_strtox_main.c:10:10: fatal error: 'errno.h' file not found", tak zkoumám, kde bych mohl mít chybu
20:29 xHire "to" = $ divine compile --llvm demo.c
20:29 xstill ale pokud jsi llvm neměl při překladu tak to musíš přeložit znova protože nemáš podporu llvm
20:29 xHire llvm jsem měl, clang jsem neměl
20:29 xstill xHire: to je chyba v posledním RC
20:30 xHire jo :c)
20:30 xHire existuje 2.96?
20:30 xstill už jí máme opravenou
20:30 xstill existuje darcs divine
20:30 mornfall jo, 2.96 existuje
20:30 mornfall ale nedokážu z hlavy říct jestli je to lepší nebo horší :-)
20:30 xstill 2.96 je to poslední RC ne?
20:30 xHire ne, to je 2.97
20:30 xstill nebo to je 2.97?
20:30 xstill :-D
20:31 xstill xHire: https://divine.fi.muni.cz/darcs/branch-3.0/
20:31 mornfall http://divine.fi.muni.cz/hydra/build/2433020/download/1/divine-2.97+pre3285.tar.gz
20:32 xHire vzhledem k délce kompilace to nechám na ráno, nicméně kdyby to na něčem kikslo, je ta odkazovaná 3.0 použitelná (alespoň pro nějaké to testování)? :c)
20:32 xstill mornfall: jaj už i hydra :-)
20:32 xstill xHire: ta odkazovaná 3.0 je doufejme finální 3.0
20:32 mornfall :-)
20:33 mornfall to se teprv pozná :]
20:33 xHire oki. zatím díky moc :c)
20:34 xstill mornfall: je normální, že sudo přenastaví ruid i euid, mě to příjde divné?
20:34 mornfall :) (on teda xstill tvrdí že to funguje, ale jakožto skeptik mu nevěřím ani slovo :-P)
20:34 mornfall xstill: není to divné
20:34 xstill takže sudo se chová jinak než obyčejné suid na roota?
20:35 mornfall xstill: sudo a suid jsou úplně jiný věci
20:36 mornfall http://stackoverflow.com/questions/10272784/how-do-i-get-the-users-real-uid-if-the-program-is-run-with-sudo :-)
20:37 xstill hm
20:39 xstill takže  sudo dělá nějakou větší magii
20:39 xstill to abych si napsal suid wrapper na testování
20:39 mornfall no, sudo právě nedělá magii, udělá setuid(geteuid())
20:40 xstill jo no
20:44 mornfall ono by třeba nefungovalo sudo passwd pak :-)
20:44 mornfall (kdybys to neudělal)
20:44 mornfall nebo sudo mount
20:44 mornfall a tak
20:45 mornfall a nakonec ani sudo sudo, ale to už je dost obskurní usecase ;-)
20:45 xstill jakto?
20:46 xstill oni kontrolují ruid?
20:46 mornfall no, mount nebo passwd poznají co můžou měnit podle getuid() (protože geteuid() je vždy 0)
20:46 mornfall kdybys napsal sudo mount a sudo by nechalo real uid původní, tak bys nemohl namountovat nic co není v fstab a nemá "user"
20:47 xstill aha protože jsou suid
20:47 mornfall oni potřebují vědět jestli jseš fakt root :-)
20:48 mornfall kdyby to tak nebylo, tak je existence real uid úplně zbytečná
20:48 xstill sakra zase ta věc s tím, že bash -c nastavuje euid na ruid :-(
20:48 mornfall :-)
20:49 xstill je taky super fíčura
20:50 mornfall -p
20:51 xstill no já jsem chtěl jednoudše udělat suid wrapper tak jsem použil system()
20:51 xstill a on pouští shell
20:51 xstill musím použít exec
20:51 xstill ale nevím který :-D
20:52 mornfall musíš
20:53 mornfall udělat system v setuid binárce je díra jak prase :D
20:54 xstill proč?
20:54 mornfall teda záleží co tam napíšeš
20:55 xstill tak já tam měl konstatní cestu
20:58 xstill hm jak můžu dropnout na ruid tak aby to už nešlo vrátit?
20:58 mornfall seteuid(getuid()) :)
20:59 xstill no právě o to jsem se pokoušel
20:59 xstill (v perlu)
20:59 mornfall jedno z $< = $> nebo $> = $< :D
21:00 xstill jo no, my $euid = $>; $> = $<; $> = $euid
21:00 xstill jenže tohle to zase vrátí
21:00 xstill což by nemělo
21:00 xstill ($> je euid)
21:00 mornfall zajímavé
21:01 xstill jo no hlavně obráceně to jde, což je divné
21:01 mornfall protože máš ještě saved setuid
21:01 mornfall setresuid
21:02 xstill wtf
21:03 xstill hm to asi perl nemá
21:08 mornfall on to exec zničí
21:08 mornfall jestli to je to co řešíš
21:09 xstill to saved? to by mohlo stačit
21:10 xstill wtf je XSUB? to je nějakej kříženec perlu a C?
21:10 mornfall :-))
21:10 mornfall ani se neptej
21:10 xstill vypadá to dost strašně
21:14 xstill mornfall: na to, že exec zruší saved uid se můžu spolehnout?
21:14 mornfall ověř si to :-)
21:14 mornfall já to jen vyčet z man-u
21:14 xstill to jsem si ověřil
21:15 xstill manu čeho? execu?
21:15 mornfall dokud je to setuid dsched tak to zas tak hrozně bolet nebude i kdyby tam nějaká díra byla
21:16 xstill no jako jo, ale rači bych aby tam nebyla :-D
21:16 mornfall :-))
21:18 xstill kde se bere to saved uid? podle manu ho seteuid nemění
21:21 xstill hm hlavně že setuid se chová různě podle POSIXového manu, linuxového manu v perlu se POSIX::setuid chodvá asi podle linuxu
21:27 xstill tohle jsou temné stránky linuxu
21:28 mornfall you know nothing, Jon Snow
21:39 xstill joined #divine
21:41 xstill zajímavé, ono jde být suid dsched, přidat se do cgrupy, nastavit euid na ruid a zůstanet v té grupě, a i potomci, i když ta grupa není pro toho uživatele zapisovatelná
21:46 mornfall jo, to je docela logické
21:47 mornfall kdyby tě tohle z grupy vykoplo, tak by stačilo mít 2 uživatele abys mohl z libovolný cgroup utýct
21:47 xstill no to hlavně řeší problém s právy
21:48 xstill (když už tam je ten wrapper)
21:50 xstill ha bouřka
21:50 xstill tak já jdu spát
21:50 mornfall :-)
21:50 mornfall kéžby (bouřka :-)
23:03 xstill joined #divine

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