https://gitorious.org/ocamlp3l/ocamlp3l_cvs.git
Raw File
Tip revision: ad58ae426e7e9200530d18bf439d02657503426c authored by fclement on 23 November 2010, 11:33:06 UTC
Ignore all generated files.
Tip revision: ad58ae4
TODO
#######################################################################
#                                                                     #
#                          OCamlP3l                                   #
#                                                                     #
# (C) 2004-2007                                                       #
#             Roberto Di Cosmo (dicosmo@dicosmo.org)                  #
#             Zheng Li (zli@lip6.fr)                                  #
#             Pierre Weis (Pierre.Weis@inria.fr)                      #
#             Francois Clement (Francois.Clement@inria.fr)            #
#                                                                     #
# Based on original Ocaml P3L System                                  #
# (C) 1997 by                                                         #
#             Roberto Di Cosmo (dicosmo@ens.fr)                       #
#             Marco Danelutto (marcod@di.unipi.it)                    #
#             Xavier Leroy  (Xavier.Leroy@inria.fr)                   #
#             Susanna Pelagatti (susanna@di.unipi.it)                 #
#                                                                     #
# This program is free software; you can redistribute it and/or       #
# modify it under the terms of the GNU Library General Public License #
# as published by the Free Software Foundation; either version 2      #
# of the License, or (at your option) any later version.              #
#                                                                     #
# This program is distributed in the hope that it will be useful,     #
# but WITHOUT ANY WARRANTY; without even the implied warranty of      #
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the       #
# GNU Library General Public License for more details.                #
#                                                                     #
#######################################################################

###Date format: YYYY/MM/DD
2006/11/28: Revisit the Tools directory to get a simpler and better handling of
options. This should help to handle user's programs specific options.

2005/05/13: Help users to debug their color annotations
        - reflect the optional colors in the graphical semantics
        - give a graphical version of the parallel program that shows the
          mapping from colored skeleton trees to colored physical processors

          prog.gra -p3lroot ip_1:port_1#color_1 ... ip_n:port_n#color_n

2003/7/01: Changed the semantics to allow the use of skeleton-defined
	   stream functions inside an arbitrary Ocaml expression.

	   Now you use P3L skeletons as

		let f = parfun (fun () -> seq (fun _ x -> x));;

		...

		pardo (fun () -> while !continue do ... f (P3lstream.of_list [x;y]@l) ... done);;

	   In this first experimental version the loop combinator is not guaranteed to be correct.


	   Loop is incorrect because it does not handle "EndOneStream" correctly... the same logic
           as for "EndOfStream" should be used, but this requires copying/pasting code, so I prefer
           to leave it incorrect for now, while looking at a way of factoring this logic between
           the different stream markers...

	   Reducefun has been temporarily commented out (causing typing problems
	   when compiling the parallel semantics).
back to top