Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-08-10

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

All times shown according to UTC.

Time Nick Message
08:03 mito_ joined #divine
10:42 xtomast1 joined #divine
10:43 xtomast1 ahoj, už jsem dlouho "nepřispěl" žádnými podnětnými dotazy, tak to teď trochu napravím
10:43 xtomast1 nejsem daleko od (plus mínus) kompletní implementace MPI datatypů - hodně pomohlo, když jsem se dozvěděl o operátoru alignof
10:44 xtomast1 jediné, co by mohlo být problém, je predefinovaný datatyp MPI_C_BOOL, který má odpovídat Céčkovskému _Boolu - a ten v C++, pokud to dobře chápu, není. takže jsem použil C++ bool a rád bych doufal, že si to navzájem odpovídá - je to tak?
10:44 xtomast1 a koneckonců pro jistotu: ty ostatní typy[1], které se jmenují stejně v C i C++, jsou doufám stejné v obou jazycích? [1] http://www.mpi-forum.org/docs/mpi-2.2/mpi22-report/node44.htm#Table2
11:28 xstill hm ale _Bool není ani ve standardu C zdá se
11:29 xstill aha je jen ho cppreference neumí najít
11:30 xstill každopádně sémanticky to odpovídá tomu co je bool v C++, pokud to má i stejnou velikost, tak je to OK
11:31 xstill jinak mám za to, že stejně pojmenované typy musí být stejné, ono by to jinak moc nefungovalo
11:31 xstill mornfall: jak moc jsi musel měnit lart veci pro tu 3.7?
11:35 xstill mornfall: jinak tu HC asi můžeš pushnout i do mainline, je to dělané proti tomu (a nemělo by to snad moct nic rozbít)
12:18 xtomast1 joined #divine
12:21 xstill xtomast1: odpověď máš v logu
12:21 xtomast1 jo jo, vidím, díky
12:22 xtomast1 jen teda teď zjistit, jestli to (_Bool a bool) má tu stejnou velikost nebo ne - podle mého chabého výzkumu by to snad mohlo záležet na kompilátoru
12:24 xtomast1 no vlastně, až mi to zase bude fungovat, to můžu prostě vyzkoušet...
12:25 xstill ono to snad bude stejné
12:25 xstill jinak se taky můžeš podívat do zdrojáku openmpi jak to mají oni definované
12:27 xstill ono by to nakonec mohlo být jedno, protože při interakci s MPI by se asi měly používat ty MPI typy a na co se to mapuje je věc MPI
12:49 xtomast1 tak jsem se zkusil podívat do zdrojáku Open MPI, kde jsem přes asi 5 souborů nakonec našel tohle:
12:49 xtomast1 #define OPAL_DATATYPE_INITIALIZER_BOOL(FLAGS)       OPAL_DATATYPE_INIT_BASIC_DATATYPE( _Bool, OPAL_ALIGNMENT_BOOL, BOOL, FLAGS )
12:50 xtomast1 takže tam ten problém nevzniká, když je ta implementace v C
12:51 xtomast1 jinak při interakci s MPi se používají MPI typy, ale napřed ten
12:51 xtomast1 pardon, nechtěný enter...
12:52 xtomast1 funguje to tak, že program někam do paměti nahraje _Bool, předá mi (MPI) void* na něj a řekne, že je tam MPI_C_BOOL
12:53 xtomast1 a já to teda přetypuju na bool, načtu ho a třeba ho někam pošlu nebo tak
12:54 xtomast1 takže jde o to, jestli když C program zapíše do paměti _Bool a já to přečtu z C++ jako bool, tak jestli to bude to samé
12:55 xtomast1 nicméně to je jen takové trochu off-topic uvádění věcí na pravou míru, až budu moct, tak to prostě otestuju :)
13:01 xstill jo, otestuj to, ale snad by to mělo být to samé
17:32 xstill mornfall: a doufám, že aktualizuješ počítače tak aby na nich běželo llvm 3.7 než ho vypustíš do mainline
17:37 mornfall xstill: ad změny v lartu, podívej se na patch
17:38 mornfall ad počítače, nixpkgs má každý jaký chce, ale určitě chceme aby se nerozsypala hydra komplet
17:38 mornfall a pokud jde o mergování do mainline ... proč tam to HC vlastně chceme, když je ve všech ohledech horší než komprese?
19:05 xstill no, nixpkgs nemá každý jaký chce, uživatelé mají to systémový žejo
19:05 xstill doteď se dal divine zbuildit systémovým clangem
19:06 xstill HC chtěl Jiřík, ne?
19:06 xstill nevidím důvod proč ho tam nedat
19:07 xstill krom toho teda to že máme půl roku neaktualizovaný počítače je samo o sobě dost špatně
19:13 xstill krom toho teda nevím jestli v aktuálním nixpkgs vůbec je clangSelf
19:31 xstill taky bude veselý, že nidko snad ani 3.7 llvm v balíkách nemá
19:33 xstill proč portuješ vlastně na LLVM které teprve výjde?
22:35 mito_ joined #divine

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