Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-12-03

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

All times shown according to UTC.

Time Nick Message
07:56 xstill já bych to řešil tak, že někde v kódu bude proměnná, něco jako __divine_mpi_nodes a v _divine_start bude něco jako if ( __divine_mpi_nodes ) mpistart(); else normalstart();, a pak přidáme jednoduchý lart pass který se spustí těsně před startem verifikace a doplní to (alternativně by to šlo doplnit na konci compile). Stejným způsobem se dají řešit pamarametry mainu.
20:22 xtomast1 joined #divine
20:43 xtomast1 joined #divine
20:44 xtomast1 ok, diky za odpovedi (nemusis kdyztak psat dve, ctu log, jenom ne vzdy uplne nejrychleji). kdyz rikas jednoduchy lart pass, jak moc jednoduche by to pro vas (tebe?) bylo, popripade dokazal bych to (treba s nejakou napovedou) udelat sam? ono by to v te praci znelo dost spatne, kdybych musel napsat, ze pocet procesu se nastavuje prepsanim makra ve dvou zdrojacich a prekompilovanim DIVINE
20:48 xtomast1 jinak mi prijde podezrele, ze podle darcs byl posledni patch divine 21. srpna - to asi nemam uplne aktualni verzi, co? (pouzil jsem ten prikaz darcs get http://divine.fi.muni.cz/darcs/mainline divine ze http://divine.fi.muni.cz/download.html)
20:48 xtomast1 *z
20:49 mornfall xtomast1: jo to je ok, nám se ten vývoj trochu fragmentoval a mainline zrovna teď úplně neexistuje
20:50 mornfall pokud to potřebuješ popsat tak bych to řešil globální proměnnou
20:50 mornfall která se může nastavit v globálním konstruktoru v modelu
20:51 mornfall jestli se bude konat mpi nebo nebude ti asi stačí vědět až po konstruktorech ne?
20:51 mornfall tzn. pomocí __attribute__((constructor))
21:23 xtomast1 to zni zajimave
21:24 xtomast1 fungovalo by, kdybych do entry.cpp dal treba "int _mpi_num_processes = 0"
21:24 xtomast1 a kazdy MPI model by mel neco jako "__attribute__((constructor)) void f() { _mpi_num_processes = N; }"
21:25 xtomast1 "prebije" ta konstruktorova funkce tu nulu takto?
21:27 xtomast1 (aby se pak mohl delat jenom if ( _mpi_num_processes == 0 ) { <klasika> } else { <MPI> })
23:25 spito joined #divine

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