Log of /trunk/proof/proofplayer/inc/TPacketizerFile.h

---

Revision 42882 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Mon Feb 6 11:10:21 2012 UTC (2 years, 11 months ago) by ganis
File length: 3018 byte(s)
Diff to previous 36876

    From Sangsu Ryu and me.
    Add support for paralell dataset verification. This is implemented via a dedicated
    TSelector (TSelVerifyDataSet) which is run over the list of files in the dataset via
    TPacketizerFile. The file order is preserved using the recently introduced index in
    TFileInfo.
    Parallel verification is the now the default. For test and comparison purposes it is
    still possible to verify datasets serially by specifying 'S' in the option field of
    VerifyDataSet and RegisterDataSet .

    To avoid/reduce code duplication some of the static functions in TDataSetManager have
    refactorized. The overall behavior should be unchanged.

---

Revision 36876 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Tue Nov 23 11:45:47 2010 UTC (4 years, 2 months ago) by ganis
File length: 2843 byte(s)
Diff to previous 33642

  In TPacketizerFile:
  - Extend flexibility of the input map content by adding support for lists of TFileInfo, maps of
    TFileCollections and urls as key valus; this allows to run directly on the output of
    TFileCollection::GetFilesPerServer.
  - Add option to not process the files not assigned to any worker; this allows to write selectors
    to perform a given action only on files local to workers.

---

Revision 33642 - (view) (download) (as text) (annotate) - [select for diffs]
Added Fri May 28 14:12:11 2010 UTC (4 years, 7 months ago) by ganis
File length: 2758 byte(s)

   Add new packetizer TPacketizerFile generating packets which contain a single file path
   to be used in processing single files. Used, for example, in tasks generating files,
   like in the forthcoming PROOF bench or the "friends" tutorial.
   The files are specified into a TMap - named 'PROOF_FilesToProcess' - containing the list
   of files to be generated per host (the key is the host name, the value the TList of
   TObjString with the files names).
   Workers are first assigned files belonging to the list with host name matching the worker
   name.
   The map is distributed to the master via the input list.