|
|
@@ -0,0 +1,39 @@
|
|
|
+/*
|
|
|
+ * StarPU
|
|
|
+ * Copyright (C) Université Bordeaux 1, CNRS 2008-2010 (see AUTHORS file)
|
|
|
+ *
|
|
|
+ * This program is free software; you can redistribute it and/or modify
|
|
|
+ * it under the terms of the GNU Lesser General Public License as published by
|
|
|
+ * the Free Software Foundation; either version 2.1 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 Lesser General Public License in COPYING.LGPL for more details.
|
|
|
+ */
|
|
|
+
|
|
|
+/*
|
|
|
+ * Compute theoretical upper computation efficiency bound corresponding to
|
|
|
+ * some actual execution.
|
|
|
+ */
|
|
|
+
|
|
|
+#ifndef __STARPU_BOUND_H__
|
|
|
+#define __STARPU_BOUND_H__
|
|
|
+
|
|
|
+/* Start recording tasks (resets stats) */
|
|
|
+void starpu_bound_start(void);
|
|
|
+/* Stop recording tasks */
|
|
|
+void starpu_bound_stop(void);
|
|
|
+
|
|
|
+/* Emit Linear Programming system on output for the recorded tasks in lp format */
|
|
|
+void starpu_bound_print_lp(FILE *output);
|
|
|
+
|
|
|
+/* Emit Linear Programming system on output for the recorded tasks in mps format */
|
|
|
+void starpu_bound_print_mps(FILE *output);
|
|
|
+
|
|
|
+/* Emit statistics of actual execution vs theoretical upper bound */
|
|
|
+void starpu_bound_print(FILE *output);
|
|
|
+
|
|
|
+#endif /* __STARPU_BOUND_H__ */
|
