MicroTESK

h1. MMU Description

A _memory management unit_ (_MMU_) is known to be one of the most complex and error-prone components of a modern microprocessor. MicroTESK has a special subsystem, called _MMU subsystem_, intended for (1) specifying memory devices and (2) deriving testing knowledge from such specifications. The subsystem provides unified facilities for describing memory buffers (like _L1_ and _L2 caches_, _translation look-aside buffers_ (_TLBs_), etc.) as well as a means for connecting several buffers into a memory hierarchy.

h2. Address Description

A buffer is accessed by an _address_, which is typically a _bit vector_ of a fixed length (width). Different buffers are allowed to have a common address space (e.g., L1 and L2 are usually both addressed by physical addresses). However, in general case, each buffer has its own domain.

An address space is described using a construct *address*. A couple of examples are given below.

<pre>

address Void { width = 0  }

</pre>

<pre>

address PA   { width = 40 }

</pre>

The code above defines two address spaces: (1) a single-element space @Void@ and (2) a space @PA@ consisting of 40-bit addresses (_PA_ usually stands for _physical address_).

h2. Buffer Description

Buffer can be described by different parameters, such as the associativity, the number of sets, the tag computing function, the index computing function, the structure of data unit, the controlling bits, the strategies of data changing when ''miss'' occurs, and so on. 

For instance, there is an example of the buffer below:

<pre>

buffer L1 

{

	sets = 4;

	lines = 128;

	line = (tag:30, data:256);

	index(addr:PA) = addr<9..8>;

	match(addr:PA) = line.tag == addr<39..10>;

	policy = lru;

}

</pre>

_Description of each constructor_ in the buffer example is below:

h3. address 

<pre>

  gives the width of the field occupied in bytes;

  _address_ has a name; ''PA''(Physical Address) in our case; it also can be virtual (VA);

</pre>

h3. buffer

<pre>

  has a name, ''L1'' in pur example; it can have names ''L2'' and ''TLB'' also;

  _buffer_ can be described by different parameters, such _sets_, _lines_, _index_, _match_, _policy_, and so on, which number is infixed;

</pre>

h3.  sets 

<pre>

  is an associativity of a buffer; it returns the number of lines in a one set;

</pre>

h3.  lines

<pre>

  is the number of lines in a given buffer;

</pre>

h3.  line

<pre>

  designates the specific line in which the necessary data will be looking for; 

  _line_ includes its own parameters in the braces: _tag_ and _data_, each of them has an appropriate width of the fields kept in bytes;

  in our example _line_ has only two parameters, but in general case it can include more;

</pre>

h3.  index

<pre>

   returns the initial and the final points of the field kept in bytes; they are marked in a three-cornered brackets, after _addr_;

  _index_ depends on an _address_, which is ''physical'' (PA) in our case; the type of an address is set in the braces after _index_; 

</pre>

h3.  match 

<pre>

  returns ''true'' or ''false'' depending on if the data required is in the given line or not; 

  it returns ''true'' if there is a ''hit'' in the line, and returns ''false'' otherwise;

  _match_ description contains the the initial and the final points of the address field in the triangle brackets after _addr_; 

  as _index_ in the round braces _match_ also has the type of the address used; ''PA'' in our case;

</pre>

h3.  policy

<pre>

  sets a policy which will be applied to our buffer, ''lru'' (Least Recently Used) in our example;

  policy also can be ''plru'' (Pseudo LRU) and ''fifo'' (First Input First Out).

</pre>

h2. Code Structure

The MMU grammar is in ru.ispras.microtesk.translator.mmu.grammar folder. It contains Lexer, Parser and TreeWalker files. These files can be compiled by build.xml file (microtesk++/build.xml). The files generated (MMULexer.java, MMUParser.java, MMUTreeWalker.java) are in microtesk++.gen.ru.ispras.microtesk.translator.mmu.grammar folder. 

The folders ru.ispras.microtesk.translator.mmu.ir.* contain the inner representation of the MMU hierarchy of one buffer.  

MMU translator is in the ru.ispras.microtesk.translator.mmu.translator folder. 

Files in ru.ispras.microtesk.model.api.mmu folder contain different policies of cache. Folder ru.ispras.microtesk.model.api.mmu.buffer contains the model of MMU - the files which describe Buffer, Set, Line, Address expressions.  

After grammar files being generated the file ''BufferExample'' can be loaded to the translator.