Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-03-04

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

All times shown according to UTC.

Time Nick Message
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
11:12 xstill mornfall: mámě tě čekat dneska?
11:14 mornfall ne, je mi furt blbě
11:16 xstill ok
11:21 xstill mornfall: jak moc se budou lišit atomické sekce v novém divine?
11:28 mornfall je tam globální flag... http://pastebin.dqd.cz/YNHF/
11:28 mornfall liší se v tom že když lezeš do scheduleru tak je to s maskou a musí se explicitně vypnout\
12:36 xstill jakože když vylezeš ze schedu tak se muší odmaskovat explcitně?
12:37 xstill mornfall: mrkneš prosím na ten SEFM článek jak jsme ho pokrátili?
12:37 mornfall než z něho vylezeš
12:37 mornfall (unmask, jump, mask)
12:37 mornfall asi
12:38 mornfall možná se to bude muset zapéct někam
12:38 xstill aha, uvnitř, že se umíst odmaskova
12:38 xstill no dobře, ale z hlediska třeba takových pthreads, jak se to bude lišit?
12:38 mornfall interrupt v schedu určitě nechceš
12:38 xstill jo to je mi jasný
12:38 mornfall no asi nijak, prostě to je bool, program si to musí nějak řešit
12:39 xstill dobře
12:39 xstill takže se userspace dá v podstatě minimální až žádnou modifikací použít
12:39 mornfall prozatím jo, ale bylo by lepší ho trochu civilizovat
12:42 xstill tím myslíš co?
12:55 xstill mornfall: a jak jsi na tom vlastně s divine 4?
13:30 xstill mornfall: jak chceme přistoupit ke konfiguraci kompilátoru? chceme aby se konfiguroval podle toho kde to běží, nebo chceme mít nějaký fixní config?
13:44 mornfall xstill: divine 4 je tam kde jsem ho v pondělí nechal, ale už začínám být pomalu zase schopný aspoň myslet :P http://pastebin.dqd.cz/TkTB/ tady tohle v podstatě funguje, jen nemám dořešený ukončení (je tam bug, asi ho jdu opravit)
13:45 mornfall (tzn. že __sys_init tou trochou introspekce co je implementovaná vyrobí frame pro main, funguje interakce mezi init a sched a sched/interrupt taky funguje, jen není zatím moc definovaný kde se ten interrupt má stát)
13:47 mornfall konfiguraci překladače chceme fixní, 32b pointry jestli někdy budou tak určitě ne moc brzo
14:21 xstill počkej, teď to nechápu, chceme 64 bit pointry, ne?
14:22 mornfall však jo
14:23 xstill dobře, jsem tu větu úplně nezparsoval totiž
14:24 xstill jinak já dokážu zkompilovat modul, akorát mám problém že ho zatím nedokážu nezapsat na disk (a beru konfiguraci tu co si clang vyrobí automaticky)
14:24 mornfall a dokážeš ho z toho vytáhnout jako modul jo?
14:24 mornfall (v RAM)
14:25 xstill jo dokážu z toho vytáhnout modul ale zároveň se i zapíše na disk (ale nečtu ho z toho disku)
14:25 mornfall jestli ten zápis tlačí skrz VFS tak by to mělo jít obejít tam
14:26 xstill VFS je asi jen read only
14:26 mornfall já používal GenerateModuleAction, ten nic na disk asi nezapisuje
14:26 mornfall ale je možný že to je taky o level níž
14:29 mornfall (VFS určitě potřebujem, protože se ten překlad nesmí za žádných okolností dívat na reálnej disk...)
14:29 xstill není, to je správnej level
14:29 xstill jen jsem si nevšim že tam je, viděl jsem Emit*Action
14:30 xstill jo to ještě taky musím dořešit aby se díval jen do VFS
14:30 xstill no
14:30 xstill on se musí dívat na disk pro vstup a jeho include
14:30 mornfall no, skrz VFS kde to máme pod kontrolou jo
14:31 xstill ono je to taky blbý, třeba si dokážu představit, že includovat /usr/include/boost by mohlo dávat smysl a dělat to co chceš (možná), ale to se asi dá vyřešit nějakým --unsafe-include
14:34 mornfall časem něco takovýho chtít budem, ale to se bude týkat spíš nějakýho divine.cc
14:36 xstill hm? includy chceme aby fungovali už teď, minimálně v ""
14:37 mornfall ale ne z /usr/include/boost
14:37 mornfall ono stejně když tomu dáš -I tak to fungovat bude, nejspíš
14:37 xstill však já myslel na -I
14:37 mornfall podstatný je že se tam nedostane systémový stdio.h třeba
14:38 xstill jo to je jasný
14:38 mornfall tzn. všechno co cpp uvidí je naše VFS a to si podle -I rozhodne co existuje a co ne
14:38 mornfall a podle vlastního seznamu věcí z našeho runtime
14:40 mornfall nicméně proti -I/usr/include se bude bránit dost blbě
14:48 xstill ještě kdybych věděl jak z toho GenerateModuleAction dostanu ten modul
14:49 mornfall takeModule, snad
14:49 xstill to má právě ten EmitBC, ale tenhle ne
14:51 mornfall jo protože mystifikuju
14:51 mornfall GenerateModuleAction vyrábí C++ module
14:51 mornfall (ve smyslu náhrady #include)
14:52 xstill jo, to je ta věc co neexistuje
14:52 mornfall jo něco takovýho
14:52 mornfall možná když vyrobíš vlastní CodeGenAction
14:53 xstill asi něco takovýho musím zjistit jak ten bazmek funguje
14:53 mornfall tady je nějaký GetOutputStream
14:53 mornfall který chce EmitNothing
14:54 mornfall to je první parameter konstruktoru CodeGenAction
14:54 xstill jo stačí použí EmitLLVMOnlyAction
14:54 xstill (úžasný jméno)
14:56 xstill mně se líbí jak to pro jistotu není zdokumentovaný, aby to náhodou někdo nezkusil použít
15:58 xstill hm, s tímhle už bychom v podstatě mohli dělat univerzální standalone binárku divine, už to linkuje v podstatě jen c a c++ knihovny
16:04 mornfall myslíš když tam llvm přilinkuješ staticky?
16:04 xstill jo, to se děje praticky všude
16:04 xstill ale doteď jsme potřebovali clang ještě
16:05 xstill teď už budeme mít vlastní kompilátor, vlastní linker :-D
21:42 xstill ten vfs je fakt hodně retardovanej, on chce nějaké status struktury k souborům, jenže očekává, že v té struktuře bude vyplněné jako jméno celá cesta k tomu souboru (ta přes kterou to člověk získal asi, těžko říct). Zaprvý to z dokumentace vůbec neplyne, zadruhý to čeká, že ta cesta bude StringRef ale na vstup mi to hodí Twine, no a jak já si mám bezpečně vicucat z prstu Str
21:42 xstill ingRef to fakt nevím
21:42 xstill aniž bych ho leaknul
21:43 xstill a ještě je teda divný, že když tomu podhodím lokální std::string tak to nepadlo
21:43 xstill aha
21:43 xstill on si dělá kopii
21:43 xstill takže jo, tohle asi bude fungovat
21:44 xstill ale je to ujetý
21:44 xstill jsem se tu balil tím proč se mi najednou soubory z adresářů hledají v . :-/
21:49 xstill to jsou zase hacky jednou
21:51 xstill ale jo, zdá se že to funguje a mám izolovanou kompilaci \o/

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