Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-04-23

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

All times shown according to UTC.

Time Nick Message
06:24 xbarnat joined #divine
06:26 xbarnat V jakem stau jsou ted vlastne anna a antea? Ze divine WEB zase nejede ...
06:56 mornfall nevím, ale řekl bych že anna zase umřela
06:58 mornfall je to mrzutý no
06:58 mornfall jen když se nezapne swap, tak to umírá že to nemá paměť, a když se zapne tak to umře na to že je na vadným disku... si vyber
07:03 xbarnat no anna nejede ... klic je na druhe strane ... to znamena cestu tam a zase zpatky ...
07:04 xbarnat nejspolehliveji to jelo na tu USB flashku
07:05 mornfall jenže to byl jinej stroj...
07:07 mornfall a teda ten vtrak taky není nijak spolehlivej, takže bootovat z toho, je taky jen otázka času než to klekne
07:07 mornfall možná by stálo za úvahu zvážit od koho bereme disky
07:08 mornfall protože mají dost šílenou poruchovost
07:35 mornfall xstill: Nejsi náhodou na FI co?
08:40 xstill mornfall: jsem na FI ale mám přednášku do 12
08:40 xstill mornfall: ty děláš něco s anteou -- v 10:05 se vypnul journal
08:40 xstill aha tak včera v 10:05
08:40 mornfall xstill: nedělám
08:41 mornfall jo on asi vesele loguje do překrytýho /var...
08:41 mornfall restartoval jsem
08:41 mornfall xstill: ale anna je mrtvá jak klika u dveří
08:42 mornfall včera jsem zapnul swap aby neumírala na paměť a asi umřela na disk
08:42 mornfall ještě mě teda napadlo, jestli to náhodou není nestíhající zdroj, že by se ten disk prostě vypnul
08:43 xstill mornfall: nedaly by se fyzicky přehodi home na anteu?
08:43 mornfall xstill: ale jo, udělat se to dá
08:43 xstill mornfall: nebo teda pokud by to ještě najelo tak by mělo smysl vypnout swap a hydru
08:43 mornfall jo, to mi přišlo jako lepší možnost
08:43 xstill přejít do nějakého "nouzového provozu"
08:43 mornfall prostě to nabootovat a pobít hydru
08:44 mornfall zkoumal jsem trochu failover, ale NFS je v podstatě beznadějný
08:44 xstill mornfall: otázka je jak dlouho to vydrží když to pojede bez hydry
08:45 xstill ale asi to stojí za test
08:45 mornfall no, mohlo by to klidně vydržet libovolně dlouho :-)
08:45 xstill a pokud to padne tak přehodit home na anteu
08:46 mornfall ok... možná bychom měli rovnou sehnat novou IP adresu, abychom nemuseli všechno překonfigurovávat
08:46 mornfall něco jako anna-nfs
08:46 xstill annu je potřeba asi fyziky restartovat co?
08:46 mornfall je, no
08:46 xstill mornfall: na co?
08:46 mornfall ipmi modul je objednaný
08:47 mornfall xstill: no, když budou všichni mountovat anna-nfs, tak se dá udělat heartbeat
08:47 mornfall xstill: a ta adresa ukrást když lehne active
08:47 xstill aha že bude aktivní nfs server poslouchat na dvou adresách, to by šlo
08:48 mornfall jo, tak
08:48 mornfall http://www.howtoforge.com/high_availability_nfs_drbd_heartbeat
08:48 mornfall jen teda nepotřébujem drbd protože máme SAN
08:48 mornfall e*
08:55 xstill aha takže to bude virtuální adresa napojedá na aktivní NFS, a oni se budou vzájemně monitorovat
08:56 mornfall tak něco
08:56 mornfall jen teda potřebujem ten kabel :))
08:56 mornfall jinak by to mělo být všechno SW
08:57 xstill jo no
08:57 mornfall ale tak, objednaný to je, su zvědavej jak šikovnýho dodavatele máme
08:57 mornfall když už dodává skoro třetinu vadných disků... :-P
09:00 xstill no ta to naštve
09:00 mornfall (stejně tak ipmi modul pro annu... to su zvědavej jak ho tam dostaneme ;-)
09:11 xstill mornfall: nebude problém s nekonsistencí filesystému pokud to přejde?
09:14 mornfall xstill: musí se odmontovat/namontovat
09:14 mornfall xstill: připojenej může být jen na jedný straně
09:14 mornfall tzn. heartbeat / pacemaker musí zastřelit vadnej node po ipmi, přimontovat filesystem a spustit nfs
09:15 xstill aha a při té příležitosi se asi provede check partition, kdyby tam byly nějaké nedokončené zápisy a tak
09:16 mornfall no, journal replay v podstatÄ›
09:16 mornfall nic jinýho to asi dělat nebude
09:17 mornfall až teda na to, že zintegrovat pacemaker do nixosu bude veselá práce, ono jim to nejspíš na fedoře se systemd sotva funguje ;-)
09:17 mornfall ale taky je možný že to půjde bez pacemakera
10:18 xstill mornfall: jsem na FI -- mám nahodit annu?
10:19 mornfall prosím :)
10:20 xstill mornfall: no tak jo
10:31 xstill mornfall: je to čím dál horší, byl kernel panic, rebootoval jsem na tvrdo, pak se neudělal post, vypnul jsem a pak se udělal momentálně se kontrolují disky
10:32 mornfall nic moc no... ale něco takovýho říkal aj Jiřík
10:35 xstill nějak to trvá
10:35 mornfall :\
10:35 mornfall co se kontroluje za disk?
10:37 _ilbot joined #divine
10:37 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
10:37 xstill nix store se kontroluje
10:38 mornfall aj... no, tam je přecijen přes TB dat
10:38 mornfall to potrvá
10:38 mornfall snad ten fsck nezruší ten disk zase
10:40 xstill snad
10:48 mornfall [root@antea:~]# echo ahoj > /dev/ttyS1
10:48 mornfall [root@pheme01:~]# ipmitool -H antea-ipmi.fi.muni.cz -I lanplus -P foo -U ADMIN sol activate
10:48 mornfall ahoj
10:48 mornfall takže ipmi sériovej port na antea funguje
10:48 xstill mornfall: co to je?
10:49 xstill aha ty sis poslal něco na ipmi a přečetl to
10:49 mornfall jo... je veselý, že ještě v 21. století člověk musí nastavit správnej baudrate na COM portech
10:49 mornfall jinak projde kulový
10:50 xstill nepoťěší
10:51 mornfall škoda že zrovna teď by se to mnohem víc hodilo na tý anně no
10:51 xstill jo no ještě nenaběhla
11:03 mornfall je to však víte kde
11:03 mornfall navíc vůbec nevim jak uvolňovat paměť v lake aniž bych tam vrazil atomic increment
11:13 xstill mornfall: 0.1% inconsitent files, nenaběhne stage2 init, má smysl testovat více konfigurací?
11:15 mornfall ani po rebootu?
11:15 mornfall ale jo, něco by nabootovat mohlo
11:15 mornfall minulý týden bych tak zkusil
11:17 xstill zkusím
11:22 xstill mornfall: moc to nevypadá, už jsem zkusil asi 5 konfigurací
11:23 mornfall :-|
11:23 mornfall tak fakt nevim
11:24 mornfall asi vyrvat kabel
11:24 xstill mornfall: jaký kabel?
11:24 mornfall no, scsi, zapojit to do antea
11:24 xstill jde to za běhu disků?
11:25 mornfall jasnÄ›
11:25 xstill a antei?
11:25 mornfall jo
11:25 mornfall a taky bych možná prosil ten sériovej kabel
11:25 xstill co vede k diskům předpokládám
11:25 mornfall jj
11:26 mornfall je to docela na mašli celý
11:26 xstill jo provedu, máš někde zálohu nix-deploy?
11:26 mornfall jo, na antea
11:26 xstill aspoň že tak takže můžu annu vypnout
11:26 mornfall jen bude mít tendenci toho dost překládat asi
11:27 mornfall uvidíme
11:27 mornfall pustil jsem generování manifestu tak uvidíme
11:29 xstill máš disky na antee
11:31 mornfall Jo, vidím je.
11:31 xstill aspoň pozitivní věc
12:04 xstill mornfall: potřebuješ ode mě ještě něco na FI?
12:06 xstill btw: když jsem vyhodil ten eh_ptr tak se mi elevator2 přeloží ale assertuje hned na začátku verifikace
12:06 xstill terminate called after throwing an instance of 'wibble::exception::Consistency'
12:06 xstill what():  Unresolved symbol (function): __pthread_key_create. Context:
12:06 xstill ProgramInfo::insert
12:07 mornfall Zajímavé.
12:10 xstill mornfall: můžu teda odcházet z fi? už nepotřebuješ nic v serverovně?
12:12 mornfall Už nás asi nic nezachrání.
12:12 mornfall Klidně utíkej.
12:13 xstill mornfall: udělám darcs send tak, že tomu dám adresu /home/xrockai/dev/divine/mainline nerozbiju tím nic?
12:14 mornfall Asi ne. :)
12:14 mornfall +public
12:14 mornfall /home/xrockai/dev/public/divine/mainline
12:15 xstill ok
13:22 mornfall Zdá se že víceméně fungujeme.
13:22 mornfall Nemáme SSL certifikat takže ani https.
13:39 xstill mornfall: no pokud je na jiném disku než tom failnutém tak ti ho zítra můžu vypreparovat s pomocí bootovací flashky
13:40 xstill mornfall: jinak jsi super, že už to funguje
13:44 mornfall Je na sda nebo sdb, failnutý je jeden z těch dvou velkých (sdc, sdd).
13:44 mornfall Snad.
13:45 xstill jo, no tak mi ještě řekni kde je
13:45 xstill (cestu)
13:47 mornfall /etc/secrets
13:48 mornfall skoro bych řekl, že tam jinak nic důležitýho není a může se to přeinstalovat bez toho disku, ale úplně jistý si nejsem :-)
13:49 xstill no ono je otázka jestli to má smys, moc tím, že to přeinstalujeme bez disku nezískáme
13:49 xstill ten certifikát mám rovnou dát antee na stejné místo?
13:51 mornfall jj
13:52 mornfall já budu zítra online tak konfiguraci už opravím
13:53 xstill ok tak já tam zítra překopíruju a dám ti vědět
13:55 mornfall dík
13:55 mornfall já bych ostatně mohl přijet taky ... zítra nebo ve čtvrtek
13:55 mornfall chce se vám programovat?
13:55 mornfall v pondělí se toho moc neudělalo, žel
13:55 xstill mornfall: ta Jirkova tabulka má stálé indexy že, tedy pokud něco jednou je na indexu i, tak už je to na i navždy, i když se tabulka zvětší?
13:56 mornfall u něj ano
13:56 mornfall v HashSet ne :-)
13:56 xstill mornfall: no pokud přijedeš zítra tak by to šlo, čtvrtek nemám čas
13:56 mornfall (ta všechno rehashuje když se zvětší)
13:56 xstill mornfall: no to vím o tom hashsetu
13:56 xstill jen že do budoucna by se tak komprese dala udělat i efektivněji
13:57 xstill (jen pro shared)
13:58 mornfall že by sis pamatoval jen indexy?
13:59 xstill jo a pamatoval bych si v kořenu velikost největšího, a podle toho by to bylo uloženo
13:59 xstill ==> dostali bysme to co má LTSmin ale se zvětšovací tabulkou
13:59 xstill a navíc s n-árním stromem
14:00 xstill prostÄ› bysme byli super
14:04 mornfall ale index je stejnÄ› velkej jako pointer, ne?
14:04 xstill musala by se detekovat fyzická velikost a krátit ho, neříkám, že je to triviální změna, ale teoreticky by to šlo
14:05 xstill (velikost by musala být fixní na strom)
14:05 xstill hmm ale ono to je vlastně problém
14:05 xstill protože by se mohly duplikovat vnitřní uzly
14:05 mornfall je, no :)
14:06 mornfall já myslim že ltsmin zničíme i bez toho ;-)
14:06 xstill :-)
14:07 mornfall já nějak hrozně chytře vymyslim tu dealokaci
14:07 mornfall jen teda nevim jak zatim
14:15 xstill sakra asi jsem špatně zoptimalizoval hasher v ntree, zdá se že mi to cyklí
14:27 xstill ach jo taková blbost
14:28 xstill ono když na začátku člověk nechá return ze špatné implementace tak se nemůže divit
14:32 mornfall To se stává i v lepších rodinách.
14:32 mornfall Jdu cvičit. Třeba mě osvítí. (Temelín?)
14:34 xstill :-D no ten snad ne
15:25 spito joined #divine
15:26 spito mornfall: tak mě napadlo, že by tabulce možná pomohlo, kdyby se při procházení prvky, které nejsou ve vrchním řádku automaticky přesunovali nahoru a mazali ve spod
15:27 spito dnes na to nemám čas (aneb 100 ples SU FI), ale zítra to zkusím napsat
15:28 mornfall to by taky mohlo pomoct
15:28 mornfall já zítra asi přijdu na FI
15:28 mornfall ples sufi, to je zase vynález :-P
15:29 spito to, už 4.
15:29 spito *jo
15:30 spito tak na to mrknem.....já bych totiž asi to cik cak procházení neviděl moc růžově pro moc velký prostorový nárůst
15:37 spito xstill: asi ti rozbiju ideu stálosti prvků v shared hash table
15:39 mornfall spito: No, to bys musel prvnÄ› zkusit abys cokoliv poznal.
15:39 mornfall Se tváříš jako kdyby to bylo kdovíkolik práce.
15:45 xstill spito: no ono by to stejnÄ› asi moc nefungovalo
16:04 xstill mornfall: v těch patchích co jsem poslal je možná chyba
16:04 xstill nedávej je zatím do mainline
16:07 xstill (zdá se že jsem přehlédl problém s kompilací por-c3.h)
16:08 mornfall Ok.
16:09 xstill mornfall: a teda vypdá to že budeme nakonec potřebovat Store::update
16:09 mornfall Hmm.
16:09 xstill i když nevím, musím se podívat
16:10 xstill ono totiž generátor generuje následníky z Node a pro por tam musí být aktuální extension
16:11 mornfall spito: Jen teda, víš o tom že pokud se vyhodí fetch tak tě to posouvání nezachrání, žejo?
16:14 xstill hmm teda bude potřeba update
16:15 mornfall xstill: a nerozbije se tím atomicita?
16:15 mornfall A teda, vztahuje se to ještě na něco jinýho než CoIn?
16:16 xstill mornfall: snad nerozbije, protože se to atomicky mění nad tím v tabulce a pak se to jen překopíruje do Node
16:16 xstill hmm ale ono by se to update asi muselo zamknout
16:16 xstill sakra
16:16 xstill co s tím má co dělat CoIn?
16:17 mornfall Já myslel že jde jen o ten jeho Extension.
16:17 xstill no ne, jde o extension v por-c3
16:17 mornfall (Kterej tam je kvůli PORu.)
16:17 xstill (por-c3.h:110)
16:17 xstill generování následníků
16:17 mornfall O to volání v successors(...)?
16:17 xstill jo
16:18 xstill (to se tada s těma patchema nepřeloží)
16:19 mornfall A nejde tomu dát VertexId, a do graph::Transform přidat wrapper?
16:19 mornfall (Kterej by žral VertexId a volal to stejný s node?)
16:20 mornfall Jen teda on asi graf nemá ten typ.
16:20 xstill no muselo by to žrát Vertex a ne VertexId (protože HC)
16:20 xstill a Transform typ i má snad
16:20 mornfall A Vertex se ale na ten správnej extension dostane, da?
16:20 xstill jo dostane, on obsahuje VertexId
16:21 mornfall No, kdyby byl Vertex default-convertible na Node, tak to ani nemusíš řešit.
16:21 mornfall Prostě tomu dáš Vertex, a v PORGraph to bude brát Vertex (klidně i šablonou) a extension z toho vytáhne.
16:21 mornfall Co myslíš?
16:22 xstill no to moc nechci, ale por i fairness vidí na store, a do base to musí volat s Node
16:23 mornfall Hm. Já nevidim kde vidí PORGraph resp. Transform na store.
16:23 mornfall (Krom toho kde dostává celej Algorithm jako parametr.)
16:24 xstill vidí na typ to mu stačí
16:25 xstill (transform teda ne, ale por jo)
16:28 xstill problém teda bude s CoInem
16:29 mornfall Jo, no.
16:29 mornfall Je to zapeklité.
16:31 xstill ještě by se teda dala udělat komprese lokálních front a pro HC schovat update tam, u komprese by se to tím automaticky updatovalo
16:31 xstill ale nevím jestli to stojí za to potenciální zpomalení
16:32 mornfall nevim no
16:35 xstill jak bývají ty fronty dlouhé
16:35 xstill ?
16:36 mornfall Těžko říct. Ale jsou shora omezený velikostí toho co je v hashtabulce.
16:36 xstill spito: LockedQueue ti asi nedává vůbec statistiky
16:37 xstill mornfall: protože totiž při kompresi nejsou deduplikovaný
16:37 xstill mohlo by se z toho ještě něco vymáčknout na paměťi
16:38 mornfall xstill: Hm, fakt ne?
16:38 mornfall Zajímavé.
16:39 xstill 167                 _queue.push( to.clone( graph ) );
16:39 xstill no ono to ani nejde, protože by se nevědělo kdy to uvolnit
16:39 mornfall no, s HC ne
16:40 xstill ani s NTree
16:40 mornfall s kompresí by to šlo, v podstatě by je stačilo rekonstruovat až když se vytahuje z fronty
16:40 mornfall a pak rovnou zahodit
16:40 xstill no to jsem myslel tou kompresí front
16:41 xstill ale on by v podstaťě ani ten Vertex nemusal obsahovat původní Blob pro NTree
16:41 mornfall nemusel, stačílo by ho vyrobit on-demand
16:41 mornfall i*
16:41 mornfall ale nějak se tím neřeší ten update
16:43 mornfall leckterej generátor by nakonec ani nemusel ten blob zase skládat dohromady... :-)
16:43 xstill jakto?
16:43 mornfall (protože má kontrolu nad tím jak se rozsekal)
16:43 xstill to by dost kompikovalo generátor
16:43 xstill navíc se seká na malé kusy
16:43 mornfall no, ne nutnÄ›
16:44 mornfall LLVM totiž už teď ty stavy drží rozsekaný
16:44 xstill jak moc?
16:45 mornfall prozatim relativně málo, jenom to co "narostlo" počas generování
16:45 mornfall ale v podstatě se všechno indexuje
16:45 mornfall takže je jedno jak se to najde, nikdo nepočítá s tím že to je v paměti za sebou
16:46 mornfall a DVE má myslim taky centrální funkci která mapuje symbol na adresu
16:46 xstill ono je trochu problém, že v tom stromu neskočíš na pozici N aniž bys přošel všechny před tím
16:46 spito mornfall: jakto, že by mě posouvání nezachránilo?
16:47 mornfall spito: hm, možná trochu zachránilo
16:47 spito ano, ten příslušný insert bude pomalý, ale nikoliv jako ten insert, který zvětšuje celou tabulku
16:47 mornfall uvidíme :-)
16:47 spito teď musím prokoumat C11 thready na aise
16:47 spito pak jídlo a pak plesk
16:48 mornfall si to užij
16:48 mornfall xstill: ale na tom teď tak moc nesejde
16:48 mornfall xstill: stejně by bylo smysluplný zvážit, jestli generátoru nedávat Vertex vždycky, a successors ním parametrizovat
16:48 mornfall xstill: S tím že to co successors dostane prostě musí mít schopnost vyrobit Node.
16:49 mornfall xstill: A taky extension :-)
16:49 xstill no ono to nepůjde protože cyklus
16:49 mornfall Jakto?
16:49 xstill generátor nemůže dostat store, protože store je parametrizovaný generátorem
16:49 mornfall template< typename V, typename Yield > successors( V v, Yield yield ) { ... v.node() ... }
16:50 xstill no dobře
16:50 mornfall :-)
16:50 mornfall má to jistou výhodu v tom, že pak by se mohl úplně oddělit Node a Extension.
16:51 mornfall A to by bylo jistě elegantnější než to je teď.
16:51 xstill to by bylo, ale to by byla trochu komplikace bez komprese
16:51 mornfall Ne nutně. On by totiž pak Node nebyl Blob.
16:52 mornfall Jen by generátor nepoznal jak to je velký asi. Resp. ne přímo.
16:52 xstill a co by byl?
16:52 mornfall Co by si generátor řekl.
16:52 mornfall V podstatě stejně jako to je teď s Extension.
16:53 mornfall A Vertex by se choval jako std::pair< Extension, Node >, zhruba.
16:53 mornfall Vertex by mohl znát nodesize.
16:53 mornfall Resp. upočítat ze svýho blobu a z velikosti extension.
16:54 xstill zajímavé
16:54 xstill ale to co by bylo v generátoru by furt musal být jeden kus paměti
16:55 mornfall Jo, aspoň prozatím.
16:55 xstill (aby se to dalo komprimovat a hashovat a vůbec)
16:55 mornfall Jo, generátor to jako kus paměti vyrobí.
16:55 mornfall Ale teoreticky by to mohl konzumovat v rozložené podobě, kdyby chtěl.
16:55 mornfall ÄŒasem.
16:56 xstill tak, tohle je dost velká věc
16:56 mornfall (prostě by nevolal v.node() ale v.slice(...), a tím by se v.node() nemusel nutně zhmotnit)
16:56 mornfall no, asi bude lepší to nechat po bc :-)
16:56 xstill určitě
16:57 mornfall ale pokud to je realistický, tak můžeme prostě por prozatím rozbit
16:57 xstill ale fronty bych klidnÄ› zkomrimoval rovnou
16:57 mornfall :-)
16:57 xstill a por se asi rozbije jen pro CoIn
16:58 xstill (pokud teda už není rozbitý)
16:58 mornfall Takže tu část successors( V ... ) budeš dělat teď?
16:58 mornfall S tím že v.node() bude Blob.
16:58 mornfall J?
16:58 mornfall (Tohle by neměla být moc velká změna.)
16:58 xstill no ale jen na úrovni Por/Fairness ne generátoru
16:59 mornfall Ok.
16:59 mornfall To se pak protlačí dovnitř kdykoliv.
16:59 mornfall Mechanicky.
16:59 xstill půjdu se teď proběhnout ven
16:59 xstill kdy zítra dorazíš na FI?
17:01 mornfall nevim, kdy bych měl?
17:01 mornfall mi to je asi docela jedno
17:02 mornfall proběhnout se půjdu taky, ale ještě si dám aspoň durový stupnice nebo tak něco :-)
17:02 xstill no mě je to v podstatě taky jedno, mám zítra jinak volno
18:17 spito left #divine
21:01 mornfall Hm. Šteluju budík na cca sedmou, ráno ještě budu chvíli vyšívat doma, tak v deset bych mohl být na FI.
21:13 xstill mornfall: tak jo, budu se snažit tam být taky tou dobou

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