scheduling.c File Reference

#include <stdlib.h>
#include <stdio.h>
#include <setjmp.h>
#include "genC.h"
#include "ri.h"
#include "constants.h"
#include "ri-util.h"
#include "misc.h"
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "ray_dte.h"
#include "sommet.h"
#include "sg.h"
#include "sc.h"
#include "polyedre.h"
#include "union.h"
#include "matrix.h"
#include "complexity_ri.h"
#include "database.h"
#include "dg.h"
#include "parser_private.h"
#include "property.h"
#include "reduction.h"
#include "tiling.h"
#include "text.h"
#include "text-util.h"
#include "graph.h"
#include "paf_ri.h"
#include "paf-util.h"
#include "pipsdbm.h"
#include "resources.h"
#include "scheduling.h"
#include "array_dfg.h"

Include dependency graph for scheduling.c:

Go to the source code of this file.

Macros
#define	BDT_EXT   ".bdt_file"

Typedefs
typedef dfg_arc_label	arc_label
	lint More...
typedef dfg_vertex_label	vertex_label

Functions
bool	print_bdt (const string module_name)
	================================================================= More...
bool	scheduling (const string mod_name)
	================================================================= More...

Variables
char	vcid_scheduling_scheduling [] = "$Id: scheduling.c 23065 2016-03-02 09:05:50Z coelho $"

Macro Definition Documentation

BDT_EXT

#define BDT_EXT   ".bdt_file"

Definition at line 81 of file scheduling.c.

Typedef Documentation

arc_label

typedef dfg_arc_label arc_label

lint

C3 includes
Pips includes
Local defines

Definition at line 78 of file scheduling.c.

vertex_label

typedef dfg_vertex_label vertex_label

Definition at line 79 of file scheduling.c.

Function Documentation

print_bdt()

bool print_bdt

(

const string

module_name

)

=================================================================

void print_bdt(module_name): print the bdt of module name

AC 94/03/30

Parameters

module_name

odule

Definition at line 89 of file scheduling.c.

{
  char *localfilename;
  FILE        *fd;
  char        *filename;
  bdt the_bdt;
 
  debug_on( "PRINT_BDT_DEBUG_LEVEL" );
 
  if (get_debug_level() > 1)
    user_log("\n\n *** PRINTING BDT for %s\n", module_name);
 
  the_bdt = (bdt) db_get_memory_resource(DBR_BDT, module_name, true);
 
  localfilename = strdup(concatenate(module_name, BDT_EXT, NULL));
  filename = strdup(concatenate(db_get_current_workspace_directory(),
                                "/", localfilename, NULL));
 
  fd = safe_fopen(filename, "w");
  fprint_bdt(fd, the_bdt);
  safe_fclose(fd, filename);
 
  DB_PUT_FILE_RESOURCE(DBR_BDT_FILE, strdup(module_name), localfilename);
 
  free(filename);
 
  if(get_debug_level() > 0)
    fprintf(stderr, "\n\n *** PRINT_BDT DONE\n");
 
  debug_off();
 
  return(true);
}

References BDT_EXT, concatenate(), db_get_current_workspace_directory(), db_get_memory_resource(), DB_PUT_FILE_RESOURCE, debug_off, debug_on, fprint_bdt(), fprintf(), free(), get_debug_level(), module_name(), safe_fclose(), safe_fopen(), strdup(), the_bdt, and user_log().

Here is the call graph for this function:

scheduling()

bool scheduling

(

const string

mod_name

)

=================================================================

void scheduling(mod_name ): this is the main function to calculate the schedules of the node of a dfg. It first reverse the graph to have each node in function of its predecessors, then calculates the strongly connected components by the Trajan algorithm, then calls the function that really find the schedules.

AC 93/10/30

We get the required data: module entity, code, static_control, dataflow graph, timing function.

Read the DFG

Parameters

mod_name

odule

Definition at line 133 of file scheduling.c.

{
  graph           dfg, rdfg;
  sccs            rgraph;
  bdt             bdt_list;
  entity          ent;
  statement       mod_stat;
  static_control  stco;
  statement_mapping STS;
 
  debug_on("SCHEDULING_DEBUG_LEVEL");
  if (get_debug_level() > 0)
  {
    fprintf(stderr,"\n\nBegin scheduling\n");
    fprintf(stderr,"DEBUT DU PROGRAMME\n");
    fprintf(stderr,"==================\n\n");
  }
  
  /* We get the required data: module entity, code, static_control, dataflow
   * graph, timing function.
   */
  ent = local_name_to_top_level_entity(mod_name);
  
  set_current_module_entity(ent);
  
  mod_stat = (statement)db_get_memory_resource(DBR_CODE, mod_name, true);
  STS = (statement_mapping) db_get_memory_resource(DBR_STATIC_CONTROL,
                                            mod_name, true);
  stco = (static_control) GET_STATEMENT_MAPPING(STS, mod_stat);
  
  set_current_stco_map(STS);
 
  if (stco == static_control_undefined) 
    pips_internal_error("This is an undefined static control !");
  
  if (!static_control_yes(stco)) 
    pips_internal_error("This is not a static control program !");
  
  /* Read the DFG */
  dfg = (graph)db_get_memory_resource(DBR_ADFG, mod_name, true);
  dfg = adg_pure_dfg(dfg);
  rdfg = dfg_reverse_graph(dfg);
  if (get_debug_level() > 5) fprint_dfg(stderr, rdfg);
  rgraph = dfg_find_sccs(rdfg);
  
  if (get_debug_level() > 0) fprint_sccs(stderr, rgraph);
  
  bdt_list = search_graph_bdt(rgraph);
  
  if (get_debug_level() > 0)
  {
    fprintf(stderr,"\n==============================================");
    fprintf(stderr,"\nBase de temps trouvee :\n");
    fprint_bdt_with_stat(stderr, bdt_list);
    fprintf(stderr,"\nEnd of scheduling\n");
  }
  
  DB_PUT_MEMORY_RESOURCE(DBR_BDT, strdup(mod_name), bdt_list);
  
  reset_current_stco_map();
  reset_current_module_entity();
 
  debug_off();
 
  return(true);
}

References adg_pure_dfg(), db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, debug_off, debug_on, dfg, dfg_find_sccs(), dfg_reverse_graph(), fprint_bdt_with_stat(), fprint_dfg(), fprint_sccs(), fprintf(), get_debug_level(), GET_STATEMENT_MAPPING, local_name_to_top_level_entity(), mod_stat, pips_internal_error, reset_current_module_entity(), reset_current_stco_map(), search_graph_bdt(), set_current_module_entity(), set_current_stco_map(), static_control_undefined, static_control_yes, strdup(), and STS.

Here is the call graph for this function:

Variable Documentation

vcid_scheduling_scheduling

char vcid_scheduling_scheduling[] = "$Id: scheduling.c 23065 2016-03-02 09:05:50Z coelho $"

Definition at line 29 of file scheduling.c.