Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-01-16

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

All times shown according to UTC.

Time Nick Message
10:20 mornfall no, a když už teda git, musí to být github? já vim, je to takovej facebook... ale když pominu facebookovou závislost, není gitlab výrazně lepší?
10:22 mornfall je to taky saas (ale narozdíl od githubu si můžeš běhat instanci u sebe když chceš), ale aj v tom saas-u jde mít private repa, takže by se mohla zrušit svnka
10:24 xstill mornfall: jakej saas?
10:24 xstill github má tu výhodu, že se o něj nemusíme starat
10:24 mornfall saas = software as a service
10:25 xstill já myslel, že gitlab si člověk musí rozjet někde u sebe pokud ho chce
10:25 mornfall no to fakt nemusí
10:26 xstill jako github nám skoro určitě bude ochotnej dát education licenci která nějaký private repa obsahuje, a pokud by to bylo hostovaný, tak mi příjde github jako lepší volba právě proto, že je víc profláknutej
10:28 xstill já jsem si ale myslel že třeba papers nechceme mít někde na cizím serveru
10:28 mornfall asi nevidim rozdíl proti kódu
10:29 xstill kód je open source tak jako tak, veřejně dostupnej i teď. Články jsou do určité míry tajemství, než výjdou.
10:30 xstill jako gitlab jsem používal (crocs si ho rozjel, tak tam mámě materiály k funcku), a příjde mi, že je podobně dobře použitelnej jako github (ani po jednom jsem nikdy nechtěl žádné zázraky)
10:31 xstill že se to dá používat hostované jsem nevěděl
10:33 mornfall ono ty články nejsou zas *tak* tajný a zase se nestává často že by někdo leaknul privátní repa
10:33 mornfall a pokud jde o dostupnost tak s kódem nebo s článkama to vyjde na stejno
10:35 xstill jako já souhlasím, že mít články v gitu by se mi líbilo (i když už vidím, jak to repo bude samej merge commit…)
10:35 xstill a proč bys teda radši gitlab?
10:35 mornfall no, mně ne, ale co s lidma
10:36 xstill co?
10:36 mornfall líbilo mít články v gitu
10:36 xstill no, tak lepší než svn
10:37 xstill a darcs není úplně tak user friendly abysme přesvědčili i Ivanu a celou druhou půlku labu ho používat…
10:37 mornfall a gitlab protože se můžu podívat do zdrojáku (to je u sw kterej mám používat věc o které nejsem moc ochotný smlouvat)
10:38 xstill no, to sice můžeš, ale pokud si to nehostuješ sám, tak nemáš moc jistotu, že to je *ten* gitlab kterej používáš, oni pokud vím taky mají jen něco open source
10:39 mornfall no to je separátní problém se saas obecně
10:40 xstill jako pořád by tu byla možnost přifařit se do crocs gitlabu, ale ten zas minimálně teď nemá veřejnou část, což je něco co určitě chceme: minimálně read-only veřejnej přístup + issue tracker
10:41 mornfall to že nevidim do nějakých ldap importů mi zas tak nevadí, stejně je nebudu používat
10:41 mornfall nebo integrace s atlassianem a tak
10:43 mornfall jediný co je mrzutý na gitlabu je že z gitlab.com (saas) si nemůžeš importovat data do (self-hosted) community edition (jen do enterprise)
10:44 xstill to je docela zásadní vada pro případ že bychom to někdy chtěli otočit na své
10:45 mornfall jít do saas-u je celkově jednosměrka :-)
10:45 mornfall s githubem je to jen horší
10:45 xstill to je taky pravda
10:49 xstill jenže zas sám víš, že udržet dosažitelnost a vůbec ty data u sebe taky není jednoduchý… já vlastně nevím, chce to asi probrat i s ostatními…
10:49 mornfall hm, za týden by měl vyjít update kde ten export/import už bude
10:50 mornfall (z/do community edition)
12:52 mornfall hm, reportování chyb do userspace-u má jednu nevýhodu, budem muset řešit double-faulty
12:52 mornfall (s tím teda dokážu žít, jen říkám)
12:53 mornfall std::vector p< int >; tohle by mě zajímalo jak se mi povedlo napsat
13:26 xstill jakože signál ze signal handleru?
13:26 xstill (vím, že to nebudou úplně signály, ale principielně stejný problém)
13:54 mornfall jakože pagefault v pagefault handleru... :-) to je mnohem zábavnější totiž
13:55 mornfall ono je to mnohem víc jako procesorový faulty než jako signály
13:55 xstill no a jak chceš vlastně aby ty problémy teda fungovaly?
13:56 xstill jakože interpret zaznamená problém, tak zavolá callback a ten musí rozhodnout jestli se ten problém má nahlásit?
13:56 mornfall zavolá se nějaký __fault( typ, pc, frameptr )
13:57 mornfall kde typ je prozatím     Assert, Arithmetic, Memory, Control, Locking, Hypercall
13:57 mornfall introspekcí zjistí co je špatně a co dál
13:58 mornfall když se vrátí tak se pokračuje když udělá další fault tak je konec (koncový stav)
14:03 mornfall asi se bude muset nějak umět domluvit se __sched
14:21 xstill konec jako deadlock, nebo konec verifikace
14:21 xstill a jak zareportuje, že je to goal, ale třeba se můžu pokračovat? (pokud to chceme, a minumálně u uninitialzed a memory leak to dává smysl)
14:31 mornfall no, vlaječkovat stavy musí beztak __sched, takže pokud se dokážou domluvit tak tak
17:39 xstill mornfall: btw. ten bound asi neexistuje, jinak by totiž triviálně byla rozhodnutelná LTL nad TSO, což prej není (respektive teda, repeated reachability není)
18:06 mornfall
18:06 mornfall eh vedle
18:07 mornfall ono asi záleží aj nad čím to běží ne jen na tom jakej to je memory model
18:07 mornfall ale je pravda že pro nás to bude spíš horší než lepší
18:08 xstill no vzhledem k reálnému hardware to rozhodnutelné bude
18:08 mornfall nicméně mi není jasný jak vypadá konečněstavovej program kterej pod TSO vybouchne
18:10 mornfall možná něco jako na danou lokaci píšeš dokola a, b, a, b a nic jinýho se neděje, pak to dost možná nemůžeš sloučit protože nevíš jak
18:10 xstill jo no, on musí mít nekonečné běhy
18:27 mornfall problém je že se moc nemůžeš zároveň odvolávat na hardware a přitom uplatňovat memory model kterej je výrazně slabší než ten hw
18:29 mornfall ono my nakonec neumíme ani jednoduchou dosažitelnost, protože na tom nekonečným běhu se asi můžou prohodit load/store který jsou nekonečně daleko od sebe
18:40 xstill no, pokud tam nemáme bound tak neumíme, tuším, že se to dělá nějak přes automaty aby do šlo rozhodnout
19:20 mornfall no furt můžem doufat že recenzentům nebude vadit že underaproximujem overaproximaci... :-)
19:22 xstill no, underaproximujeme memory model LLVM, bohužel ne tak úplně C++11 protože tam je ten blbej consume
19:23 mornfall jo no, jen ten llvm memory model je overaproximace
19:23 xstill jo to je
19:44 xstill tak, buď jsem objevil bug v divine (i v mainline), nebo v std::mutex
19:47 xstill ne, jen neumím programovat a ještě z toho mám radost :-/
19:50 xstill ale objevil jsem asi chybu v našich pthreadech, což není zdaleka tak zajímavé… zvlášť když je v inicializaci bitfieldu
19:56 xstill ty bitově přesně inicializace fakt budeme potřebovat, tohle je hroznej opruz
19:58 xstill nejen, že jsem musel z pthread_mutex_t udělat union bitfieldu a intu, ale ještě jsem se musel trefit a na správné místo v tom intu nastavit 1 tak aby správný z těch fieldů byl 1…
19:59 xstill byď teda ty Milanovy initialized bity v pthreadech jsou asi už dost na nic

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