distributor tool of CADP for distributed state-space generation.
bcg_merge takes as input a partitioned BCG graph input[.pbg], usually produced by distributor and encoded in the PBG format (see the pbg manual page for details about the PBG format), and produces one single BCG file output[.bcg] that combines the various graph fragments listed in input[.pbg].
If output[.bcg] is not specified on the command line, the output file will be named input.bcg.
These graph fragments are themselves encoded as BCG files and usually located on different machines. The list of these machines is given in a grid configuration file (see the gcf manual page for details about the GCF format) referenced in input[.pbg].
bcg_merge renumbers the states contained in the BCG files listed in the input PBG file, in such a way that the states of the output BCG file are assigned contiguous numbers and that the initial state is assigned number 0.
Finally, the list of options global_opt and instance_opt can be used for last-minute changes to the settings of the grid configuration file referenced in input[.pbg]. See the distributor manual page for a description of these options.bcg manual page for a description of the environment variables used by all BCG application tools.
Version 2.0 of bcg_merge was developed by Radu Mateescu (INRIA/VASY) in 2001.
Version 3.0 of bcg_merge was developed by Nicolas Descoubes (INRIA/VASY) in 2003, then revised by Damien Bergamini and Hubert Garavel (both at INRIA/VASY) in 2004.
During the execution of bcg_merge, dynamic libraries corresponding to the BCG files (i.e., the graph fragments) listed in the input PBG file may be generated if necessary, and stored on the remote machines.bcg , gcf , pbg , distributor , pbg_cp , pbg_info , pbg_mv , pbg_rm
Additional information is available from the CADP Web page located at http://cadp.inria.fr
Directives for installation are given in files $CADP/INSTALLATION_*.
Recent changes and improvements to this software are reported and commented in file $CADP/HISTORY.firstname.lastname@example.org http://cadp.inria.fr/publications/Garavel-Mateescu-Smarandache-01.html
[GMB+06] Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, and Gilles Stragier. DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. In Holger Hermanns and Jens Palberg, eds., Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), Vienna, Austria, LNCS 3920, pp. 445-449, March-April 2006. Available from http://cadp.inria.fr/publications/Garavel-Mateescu-Bergamini-et-al-06.html
[GMS12] Hubert Garavel, Radu Mateescu, and Wendelin Serwe. Large-scale Distributed Verification using CADP: Beyond Clusters to Grids. Electronic Notes in Theoretical Computer Science, vol. 296, pp. 145-161, August 2012. Available from http://cadp.inria.fr/publications/Garavel-Mateescu-Serwe-12.html