SCALOPES: automatic generation of data flow tasks

Béatrice Creusillet

HPC Project

March 2, 2016, revision r23065

1 Imported Domains

import entity from "ri.newgen"

import effect from "effects.newgen"

2 Representing How Tasks use Buffers

task_buffers = input:entity{} x output:entity{}

entity_task_buffers = entity -> task_buffers

sesam_buffers_processing_context = kernel_tasks:entity{} x server_tasks:entity{} x kernel_buffers:entity_task_buffers x server_buffers:entity_task_buffers x buffers:entity{}

Annexe: NewGen Declarations – effects.newgen –

--   --------------------------------------------------------  
--   --------------------------------------------------------  
--  
--    WARNING  
--  
--  THIS FILE HAS BEEN AUTOMATICALLY GENERATED  
--  
--       DO NOT MODIFY IT  
--  
--   --------------------------------------------------------  
--   --------------------------------------------------------  
 
-- Imported domains  
-- ----------------  
import entity from "ri.newgen" ;  
import effect from "effects.newgen" ;  
 
-- External domains  
-- ----------------  
 
-- Domains  
-- -------  
entity_task_buffers = entity -> task_buffers ;  
sesam_buffers_processing_context = kernel_tasks:entity{} x server_tasks:entity{} x kernel_buffers:entity_task_buffers x server_buffers:entity_task_buffers x buffers:entity{} ;  
task_buffers = input:entity{} x output:entity{}  ;