Project

General

Profile

Template Description Language » History » Version 5

Alexander Kamkin, 03/07/2013 08:11 AM

1 5 Alexander Kamkin
h1. Template Description Language
2 4 Alexander Kamkin
3
_~By Artemiy Utekhin~_
4 1 Alexander Kamkin
5 3 Artemiy Utekhin
*Ruby-MT (Ruby for MicroTESK)* is a Ruby-based domain specific language geared towards writing compact and reusable tests for microprocessors and other programmable devices. The language intends to look similar to the assembler of the target CPU (*TL, Target Language*) complemented by higher level features consisting of both standard Ruby and features specific to the Ruby-MT implementation (*ML, Meta Language*). Ruby-MT, in a sense, is similar to a macro processor - it generates code in the target language based on the provided meta language.
6 1 Alexander Kamkin
7 3 Artemiy Utekhin
Since Ruby-MT is built as a Ruby library providing an internal DSL no additional parsers are required. Currently, because of the extensive use of Java, Ruby-MT templates can only be executed by the JRuby interpreter. CRuby will probably be supported at a later stage.
8 1 Alexander Kamkin
9 3 Artemiy Utekhin
h2. The translation process
10 1 Alexander Kamkin
11 3 Artemiy Utekhin
Ruby-MT code describes a template of a test program which is then translated into TL code using the API of the MicroTESK CPU model parser and simulator (and, by extension, the constraint solver and other MicroTESK components). The process can be described as follows:
12 1 Alexander Kamkin
13 3 Artemiy Utekhin
# Receiving model metadata from the simulator;
14
# Template pre-processing;
15
# Constructing commands in the simulator;
16
# Executing commands in the simulator;
17
# Receiving the assembler code from the simulator (based on the CPU Sim-nML description);
18
# Writing the TL output to target files.
19 1 Alexander Kamkin
20 3 Artemiy Utekhin
Depending on the circumstances some of these steps may be done concurrently. 
21 1 Alexander Kamkin
22 3 Artemiy Utekhin
h2. Configuration
23 1 Alexander Kamkin
24 3 Artemiy Utekhin
_Pending..._
25 1 Alexander Kamkin
26 3 Artemiy Utekhin
h2. Execution
27 1 Alexander Kamkin
28 3 Artemiy Utekhin
Right now there is a simple execution script that requires a template file and an optional output file (if it''s not provided the library uses the standard output to print out the results). To run a template, execute the following command:
29 1 Alexander Kamkin
30 3 Artemiy Utekhin
<pre>jruby parse_templates.rb <template file.rb> [<output file.asm>]</pre>
31 1 Alexander Kamkin
32 3 Artemiy Utekhin
h2. Writing templates
33 1 Alexander Kamkin
34 3 Artemiy Utekhin
h3. Basic features
35 1 Alexander Kamkin
36 3 Artemiy Utekhin
The two core abstractions used by MicroTESK parser/simulator and Ruby-MT are an *instruction* and an *addressing mode*. An instruction is rather self-explanatory, it simply represents a target assembler instruction. Every argument of an instruction is a parametrized *addressing mode* that explains the meaning of the provided values to the simulator. The mode could point to the registers, for instance, or to a specific memory location. It can also denote an immediate value - e.g. a simple integer or a string. Thus, a basic template is effectively a sequence of instructions with parametrized addressing modes as their arguments.
37 1 Alexander Kamkin
38 3 Artemiy Utekhin
Each template is a class that inherits a basic Template class that provides most of the core Ruby-MT functionality. So, to write a template you need to subclass Template first:
39 1 Alexander Kamkin
40 3 Artemiy Utekhin
<pre>require_relative "_path-to-the-rubymt-library_/mtruby"
41 1 Alexander Kamkin
42 3 Artemiy Utekhin
class MyTemplate < Template</pre>
43 1 Alexander Kamkin
44 3 Artemiy Utekhin
While processing a template Ruby-MT calls its %pre%, %run% and %post% methods, loosely meaning the pre-conditions, the main body and the post-conditions. The %pre% method is mostly useful for setup common to many templates, the %post% method will be more important once sequential testing is introduced. Most of the template code is supposed to be in the %run% method. Thus, a template needs to override one or more of these methods, most commonly %run%.
45 1 Alexander Kamkin
46 3 Artemiy Utekhin
To get %pre% and %post% over with, the most common usage of these is to make a special non-executable class and then subclass it with the actual templates:
47 1 Alexander Kamkin
48 3 Artemiy Utekhin
<pre>require_relative "_path-to-the-rubymt-library_/mtruby"
49 1 Alexander Kamkin
50 3 Artemiy Utekhin
class MyPrepost < Template
51
  def initialize
52
    super
53
    @is_executable = no
54
  end
55 1 Alexander Kamkin
56 3 Artemiy Utekhin
  def pre
57
    # Your ''startup'' code goes here
58
  end
59 1 Alexander Kamkin
60 3 Artemiy Utekhin
  def post
61
    # Your ''cleanup'' code goes here
62
  end
63
end</pre>
64 1 Alexander Kamkin
65 3 Artemiy Utekhin
<pre>require_relative "_path-to-the-rubymt-library_/mtruby"
66 1 Alexander Kamkin
67 3 Artemiy Utekhin
class MyTemplate < MyPrepost
68
  def initialize
69
    super
70
    @is_executable = yes
71
  end
72
  
73
  def run
74
    # Your template code goes here
75
  end
76
end</pre>
77 1 Alexander Kamkin
78 3 Artemiy Utekhin
These methods essentially contain the instructions. The general instruction format is slightly more intimidating than the native assembler and looks like this:
79 1 Alexander Kamkin
80 3 Artemiy Utekhin
<pre> instruction_name addr_mode1(:arg1_1 => value, :arg1_2 => value, ...), addr_mode2(:arg2_1 => value, ...), ...</pre>
81 1 Alexander Kamkin
82 3 Artemiy Utekhin
So, for instance, if the simulator has an ADD(MEM(i), MEM(i)|IMM(i)) instruction, it would look like:
83 1 Alexander Kamkin
84 3 Artemiy Utekhin
<pre> add mem(:i => 42), imm(:i => 128) </pre>
85 1 Alexander Kamkin
86 3 Artemiy Utekhin
Thankfully, there are shortcuts. If there''s only one argument expected in the addressing mode, you can simply write its value and never have to worry about the argument name. And, by convention, the immediate values are always denoted in the simulator as the IMM addressing mode, so the template parser automatically accepts numbers and strings as such. Thus, in this case, the instruction can be simplified to:
87 1 Alexander Kamkin
88 3 Artemiy Utekhin
<pre> add mem(42), 128 </pre>
89
90
If the name of the instruction conflicts with an already existing Ruby method, the instruction will be available with an %op_% prefix before its name.
91
92
h3. Test situations
93
94
_This section is to be taken with a grain of salt because the logic and the interface behind the situations is not yet finalized and mostly missing from the templates and shouldn''t be used yet_
95
96
_Big TODO: define what is a test situation_
97
98
To denote a test situation, add a Ruby block that describes situations to an instruction, this will loosely look like this (likely similar to the way the addressing modes are denoted):
99
100
<pre> sub mem(42), mem(21) do overflow(:op1 => 123, :op2 => 456) end</pre>
101
102
h3. Instruction blocks
103
104
Sometimes a certain test situation should influence more than just one instruction. In that case, you can pass the instructions in an atomic block that can optionally accept a Proc of situations as its argument (because Ruby doesn''t want to be nice and allow multiple blocks for a method, and passing a Hash of Proc can hardly be called comfortable).
105
106
<pre>p = lambda { overflow(:op1 => 123, :op2 => 456) }
107
108
atomic p {
109
  mov mem(25), mem(26)
110
  add mem(27), 28
111
  sub mem(29), 30
112
}</pre>
113
114
h3. Groups and random selections
115
116
There are certain ways to group together or randomize addressing modes and instructions.
117
118
To group several addressing modes together (this only works if they have similar arguments) create a mode group like this:
119
120
<pre> mode_group "my_group" [:mem, :imm] </pre>
121
122
You can also set weights to each of the modes in the group like this:
123
124
<pre> mode_group "my_group" {:mem => 1.5, :imm => 2.5} </pre>
125
126
The name of the group is converted into a method in the Template class. To select a random mode from a group, use %sample% on this generated method:
127
128
<pre> add mem(42), my_group.sample(21) </pre>
129
130
_TODO: sampling already parametrized modes_
131
132
The first method of grouping instructions works in a similar manner with the same restrictions on arguments:
133
134
<pre> group "i_group" [:add, :sub]</pre>
135
136
<pre> group "i_group" {:add => 0.3, :sub => 0.7]</pre>
137
138
<pre>i_group.sample mem(42), 21</pre>
139
140
You can also run all of the instructions in a group at once by using the %all% method:
141
142
<pre>i_group.all mem(42), 21</pre>
143
144
The second one allows you to create a normal block of instructions, setting their arguments separately. 
145
146
<pre> block_group "b_group" do
147
  mov mem(25), mem(26)
148
  add mem(27), 28
149
  sub mem(29), 30
150
end</pre>
151
152
In this case to set weights you should call a %prob% method before every instruction:
153
154
<pre> block_group "b_group" do
155
  prob 0.1
156
  mov mem(25), mem(26)
157
  prob 0.7
158
  add mem(27), 28
159
  prob 0.4
160
  sub mem(29), 30
161
end</pre>
162
163
The usage is almost identical, but without providing the arguments as they are already set:
164
165
<pre>b_group.sample
166
b_group.all</pre>
167
168
_Not sure how does it work inside atomics when the group is defined outside, needs more consideration_
169
170
_TODO: Permutations_
171
172
Any normal Ruby code is allowed inside the blocks as well as the %run%-type methods, letting you write more complex or inter-dependent templates.