AlphaZ

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== Target Mapping ======
To generate scheduled code from an Alphabets program, the code generator in AlphaZ needs some information about (i) the schedule, the (ii) processor allocation, (iii) the memory allocation and (iv) a tiling.  Some of these are optional.  The target mapping is a unified manner to specify these.  This tutorial will cover how to specify the first three: the Space-Time mapping (i and ii) and the Memory mapping (iii).

Note that in AlphaZ the code generation is distinct from the modules that choose the 

===== Space-Time Mapping =====
For each variable in the system, space-time map is the transformation which specifies **//Schedule//** and **//Processor Allocation//**. **//Statement ordering//** can be specified explicitly (using an API) or as extra 
dimensions in the space-time map. If the statement ordering is included in space-time map, then its
required that it should be same(dimension) accross all the variables.
==== Usage ====

For the Alphabets program for matrix product.
<code alphabets>
affine matrix_product {P, Q, R|P>0 && Q>0 && R>0}
       given  float A {i,k| 0<=i<P && 0<=k<Q};
              float B {k,j| 0<=k<Q && 0<=j<R}; 
     returns  float C {i,j,k| 0<=i<P && 0<=j<R && k==Q};
using
   float temp_C {i,j,k|0<=i<P && 0<=j<R && 0<=k<=Q};
through
   temp_C[i,j,k] = case
                      {|k>0}  : temp_C[i,j,k-1] + A[i,k-1]*B[k-1,j];
                      {|k==0} : 0; 
                   esac;
   C      = temp_C;
.
</code>

Each variable in the affine system can be given a space-time map.

<code> setSpaceTimeMap( Program program, String system, String var,  String stMap) </code>


An example for space-time mapping for the above program. 
<code perl>
setSpaceTimeMap(prog, system, "temp_C",  "(i,j,k->i,j,k)");
setSpaceTimeMap(prog, system, "C",  "(i,j,k->i,j,k+1)");
</code>

since we admit interleaved schedules and processor allocation, each dimension in the space-time map can
be set as "sequential" "parallel" or "ordering". By default, every dimension is set as sequential, but we can specify the parallel dimension using 
<code perl> setParallel(  Program program , String system , String orderingPrefix, String dims ) </code>
This command sets the dimensions (dims) with ordering prefix "orderingPrefix" to be parallel. We can also specify the odering dimension using 
<code perl> setOrderingDimensions(Program program, String system, String dims)  </code>

Space-Time mapping with statement ordering and "outer parallel" for the above matrix product. 


<code perl>
setSpaceTimeMap(prog, system, "temp_C",  "(i,j,k->i,j,k)");
setSpaceTimeMap(prog, system, "C",  "(i,j,k->i,j,k)");
# Set up the first and second dimensions (dimensions start with 0) with no ordering prefix to be parallel
setParallel(prog, system, "", "0,1");

setStatementOrdering(prog, system, "temp_C", "C");
</code>

<code perl>
# This is an alternative space-time map for the matrix multiplication with ordering dimensions
setSpaceTimeMap(prog, system, "temp_C",  "(i,j,k->0,i,j,0,k)");
setSpaceTimeMap(prog, system, "C",  "(i,j,k->0,i,j,1,k)");

# Set the first and forth dimension to be ordering dimension (dimension starts with 0)
setOrderingDimensions(prog, system, "0,3");
# Set the first dimension with ordering prefix 0 to be parallel (the i dimension)
setParallel(prog, system, "0", "0");

</code>

===== Memory Mapping =====

 Memory map is an affine function mapping iteration points in the domain the variables in the affine system to memory location. By default each variable will have an identity function as memory map.
To set memory map for a variable, //setMemoryMap// command should be used. 
<code> setMemoryMap( Program program, String system, String var, String memorySpace,  String memoryMap) </code>
AlphaZ

User Tools

Site Tools

Page Tools
