include/drake/mapping.h

Go to the documentation of this file.

/*
 Copyright 2015 Nicolas Melot

 This file is part of Drake.

 Drake is free software: you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
 the Free Software Foundation, either version 3 of the License, or
 (at your option) any later version.

 Drake 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 General Public License for more details.

 You should have received a copy of the GNU General Public License
 along with Drake. If not, see <http://www.gnu.org/licenses/>.

*/


#include <stddef.h>
#include <drake/processor.h>
#include <drake/schedule.h>

#ifndef MAPPING_H
#define MAPPING_H

#define DRAKE_MAPPING_OUT_WARMUP "x [*,*]\n"
#define DRAKE_MAPPING_OUT_NODE_COLUMN_WIDTH 6
#define DRAKE_MAPPING_OUT_PROC_COLUMN_WIDTH 4
#define DRAKE_MAPPING_OUT_AFFECT " :="
#define DRAKE_MAPPING_OUT_ENDING ";"

struct mapping
{
        unsigned int processor_count;
        unsigned int max_processor_count;
        unsigned int task_count;
        struct processor ** proc;
        drake_schedule_t *schedule;
};
typedef struct mapping mapping_t;

#define STRUCT_T mapping_t
#include <pelib/structure.h>
#define DONE_mapping_t 1

int
drake_mapping_insert_task(mapping_t*, processor_id, task_t*);
int
drake_mapping_remove_task(mapping_t*, task_id);
int
drake_mapping_find_processor_index(mapping_t*, processor_id);
processor_id
drake_mapping_find_processor(mapping_t*, task_id);
int
drake_mapping_insert_processor(mapping_t*, processor_t*);
int
drake_mapping_remove_processor(mapping_t*, int);

int
drake_mapping_violations(mapping_t*);

char*
drake_mapping_drawstr(mapping_t*, char*);
int
drake_mapping_draw(mapping_t*, FILE*);

mapping_t*
drake_mapping_loadfile(mapping_t* mapping, FILE* ilp_mapping_file);
mapping_t*
drake_mapping_loadstr(mapping_t*, char*);

mapping_t*
drake_mapping_loadfilterstr(mapping_t* mapping, char* str, int (filter)(task_t*));

mapping_t*
drake_mapping_loadfilterfile(mapping_t* mapping, FILE* ilp_mapping_file, int
( filter)(task_t*));

task_t*
drake_mapping_find_task(mapping_t* mapping, task_id id);

#endif