Changes between Version 4 and Version 5 of Orio/TuneSpecs

Timestamp:

06/13/08 06:46:12 (15 years ago)

Author:

hartono

Comment:

--

Orio/TuneSpecs

@@ -1 +1 @@
 = 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 Orio's empirical performance tuning is presented earlier in the Orio's [wiki:Orio#UsingOrioasanAutomaticPerformanceTool main webpage]. 
+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 [wiki:Orio#UsingOrioasanAutomaticPerformanceTool 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:
+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. ''argument statement'' [[BR]] Argument statement is used to collect specific information from the Orio user about the pertinent tuning components. One example is the `command` argument (in the `build` definition) that is used to indicate the compilation command. 
-
-
- 1. ''let statement''
- 1. ''parameter statement''
- 1. ''constraint statement''
- 1. ''declaration statement''
+ 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.
+ 1. '''''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.
+ 1. '''''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. 
+ 1. '''''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
+ 1. '''''Declaration statement'''''
 
 
 
-The main use of a let statement is to store a temporary data into a variable that may be reused multiple times by other successive statements. 
-
-The purpose of parameter statement is to assign a range of values to the tuning parameters, which can be either performance parameters or input problem parameters.