>>: Jecel Assumpcao Jr <[email protected]> >> The key thing is to have some model of parallelism which is used by the >> source code. If you try to extract automatically parallelism from >> "normal" application code you will just make things needlessly >> complicated for yourself.
>: Nathan Cain <[email protected]> > > Precisely. You've hit the nail on the head. Most of the world is trying to > shoehorn imperative specification into a mixed imperative/combinatorial > environment, usually a heterogeneous one at that (cpu+fpga or cpu+gpu or > even cpu+OtherArchCpu), and wondering why they are running into a semantics > mismatch. AFAIK, the paradigms that fit are reactive and synchronous programming. In the last few decades, there have been plenty of successful reactive and/or synchronous programming systems with backends to C, VHDL, model checkers and theorem provers. [ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ] A cuddle a day keeps the shrink away _______________________________________________ fonc mailing list [email protected] http://vpri.org/mailman/listinfo/fonc
