Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-03-02

| 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 | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
05:52 divine-next 2 new patches validated [divine mornfall]
13:22 mornfall yaqwsx: navrhuju aby pod runtime/dios byl jen systemspace (jádro) a vyrobil bych runtime/libc který bude zakládat na pdclib-u ale bude obsahovat dios-specific části (tzn. bude to 'dios libc')
13:24 yaqwsx mornfall: Co by pod dios libc mělo spadat? Jakože všechny user-space části DiOSu?
13:24 mornfall (bude to muset fungovat tak, že dios -- jádro -- bude moct používat a linkovat svoji vlastní libc, co není možná úplně standard... ale pár #ifdef-ů by to snad řešilo)
13:24 mornfall yaqwsx: ano
13:25 mornfall asi nemá smysl vyrábět nějaký libsys který by pak pdclib používal
13:25 yaqwsx Co nám to přinese?
13:25 mornfall pořádek
13:26 yaqwsx Resp. co nás nutí rozdělit libc?
13:26 mornfall rozdělit?
13:26 mornfall spíš sloučit ne? :)
13:26 mornfall teď je polovina libc v dios/ a polovina v pdclib/
13:26 mornfall a co je v dios/ je polovina userspace a polovina systemspace
13:27 mornfall (jde to až tak daleko, že funkce definovaný v core/dios.cpp jsou některý systemspace a některý userspace a některý obojetný)
13:28 mornfall třeba int uname (toplevel) z jádra volat nejde, protože to používá __dios_syscall (kterej je výlučně userspace)
13:28 mornfall zase __sc::uname nejde volat z userspace
13:28 mornfall ale takový __dios_unwind jde volat odkudkoliv a používá se v obojím
13:29 yaqwsx Ah, takhle - prostě vyčlenit věci, které můžou běžet pod user-space pryč.
13:29 mornfall tzn. unistd.h by třeba mělo obsahovat #ifndef __dios_kernel__ int uname() #endif
13:29 yaqwsx Já se to prvně pochopil, že vytvoří celá kopie pdclibu, která se bude modifikovat...
13:29 mornfall ne kopie, přejmenování :)
13:30 mornfall modifikovat ve smyslu že se třeba přidá functions/unistd/ a přijdou tam všechny naše 'write' 'read' a spol.
13:30 yaqwsx Jj, teď už tomu rozumím a dává to smysl.
13:30 mornfall který teď žijou náhodně po dios/, třeba v dios.cpp nebo filesystem/sys-recall.cpp
13:31 mornfall (plus třeba functions/unistd/generated.c kde bude ten kus co autogeneruje wrappery preprocesorem)
13:32 yaqwsx Jop, jsem rozhodně pro!
13:33 mornfall ještě by mě docela zajímalo kde se v divinu bere 'unwind.h'
13:33 mornfall :q
13:33 mornfall meh vedle
14:09 xstill mornfall: bere se z libunwind
18:24 mornfall joined #divine
18:25 mornfall xstill: na pohled chybí regex.h a monitory
18:25 mornfall možná zmínka o yamlu
18:26 mornfall ještě někdy večer asi projdu log a updatuju NEWS
18:26 mornfall tak pak se ozvu
18:28 mornfall (plus v plánech asi chybí procesy)
18:32 xstill aha monitory, ok zmíním regex.h a libm
18:33 xstill jo procesy jsem přehlíd, možná nejsou v ROADMAP
18:33 xstill večer to udělám
19:22 mornfall no, ten Lucas Cordeiro nám teďka asi docela dobře nahrál
19:22 mornfall to bych určitě zítra zmínil
19:23 mornfall prolítl jsem ten paper, je to teda divine 3 a nejspíš nějakej zmatek s compile (píšou že kompilace trvala 3x déle než verifikace)
19:23 mornfall ale když pominu čas, tak jsme na tom dobře
19:24 mornfall navíc by z nich mohlo jít vymámit ty benchmarky
21:59 mornfall http://esbmc.org/qtom
22:01 xstill jo to Jiřík ukazoval někdy tak před rokem (ten web), akorát v tom článku co našel Jiřík nebyla zmínka o DIVINE asi
22:03 xstill ten mail mi skončil ve spamu, což je taky hrozně super
22:04 xstill compilation to je jednoduchý… nepoužili --precompiled
22:06 mornfall linkuju to protože tam jsou ty benchmarky
22:07 xstill supr, podívám se na ně
22:08 mornfall no, benchmarks_SPIN...zip obsahuje jen ty dva programy, tak ještě koukám na Tools.zip
22:09 mornfall jo to vypadá víc jako to co chceme
22:11 mornfall je tam binárka esbmc a halda reimplementovaných stdlib a qt věcí
22:20 mornfall aspoň to můžeme pak použít jako srovnání pro divm (třeba i s tím esbmc)
22:21 mornfall není nic lepšího než 3rd party testsuita kterou můžeme ocitovat

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