Performance Tuning Specifications of Orio

This documentation provides details on tuning specifications so that users can fully benefit the automatic tuning feature of Orio. A quick start guide to using Orio's empirical performance tuning is presented in the Orio's main webpage.

Example

Below is a concrete illustration of how the tuning specifications of Orio look like.

def build {                                                                                           
  arg command = 'icc';                                                                                 
  arg options = '-fast -parallel';                                                                                 
}    

let NUM_REGS = 128;
let L1_CACHE_SIZE = 64*(2**20);
def performance_params {
  param TileSize1[] = [1,32,64,128,256,512];
  param TileSize2[] = [1,32,64,128,256,512];
  param UnrollFactor1[] = range(1,32);
  param UnrollFactor2[] = range(1,32);
  constraint RegisterCapacity = UnrollFactor1 * UnrollFactor2 * 9 <= NUM_REGS;
  constraint L1Tiling = TileSize1 * TileSize2 <= L1_CACHE_SIZE;
}

def input_params {
  let SIZES = [100,1000,2000,4000,8000];
  param M[] = SIZES;
  param N[] = SIZES;
  constraint SquareShape = M == N;
}

def input_vars {
 decl dynamic double X[M] = 0;
 decl dynamic double Y[N] = random
 decl static double A[M][N] = random;
 decl double C = random;
}

Structure of Tuning Specifications

The tuning specifications of Orio simply consist of a sequence of definition statements. Every definition statement contains a series of auxiliary statements, which can be categorized into four different types of statements as follows.

1. Let statement has the main purpose of storing a temporary data into a variable that may be reused multiple times by other successive statements. To be noted that the location of a let statement need not be inside the body of a definition statement, as seen in the above example.
2. Argument statement is used to collect specific information from the Orio user about the pertinent tuning components. One example shown above is the command and options arguments (in the build definition), of which role is to tell Orio about how to compile and execute the optimized code.
3. Parameter statement is used to assign a range of values to the tuning parameters, which can be either performance parameters or input problem parameters. The symbol [] must be placed after the parameter name to indicate that the parameter has multiple values to be considered.
4. Constraint statement aims primarily to prune off uninteresting portion of the space of parameter values so that the search is concentrated on the search space highly possible to yield high quality solutions. For instance, the RegisterCapacity and L1Tiling constraints use the underlying machine characteristics to model
5. Declaration statement

Under construction