MicroTESK

Предлагаю для разминки заняться стратегиями вытеснения данных.

Базовый класс Policy. Его наследниками являются FIFO, LRU и PLRU.

Набросок класса Policy:

public abstract class Policy
{
    /// @param size the size of the buffer (associativity).
    public Policy(int size)
    {
        this.size = size;
    }

    /// @return the size of the buffer (associativity).
    public int getSize()
    {
        return size;
    }

    /// The method is called every time when the i-th item is accessed.
    /// @param i the item being accessed.
    public abstract void onHit(int i);

    /// The method is called when there is a miss.
    /// @return the item to be replaced.
    public abstract int onMiss(); 
}

Набросок класса FIFO:

public final class FIFO extends Policy
{
    private LinkedList<Integer> fifo = new LinkedList<Integer>();

    public FIFO(int size)
    {
        super(size);

        for(int i = 0; i < size; i++)
            { fifo.add(i); }
    }

    @Override
    public void onHit(int i)
    {
        for(int j = 0; j < fifo.size(); j++)
        {
            if(fifo.get(j) == i)
            {
                fifo.remove(j);
                fifo.add(i);
                return;
            }
        }

        assert false;
    }

    @Override
    public int onMiss()
    {
        return fifo.peek();
    } 
}

P.S. Не забыть про комментарии и тесты.

1. Политика PLRU.
2. Классы Address (абстрактный класс), Line (абстрактный класс), Set (набор из N лайнов), Buffer (набор из M сетов).
3. Политика замещения должна быть в классе Set.
4. В классе Line есть ссылка на объект RawData (спросить у Андрея) требуемого размера (параметр конструктора).
5. У класса Buffer есть абстрактный метод int index(Address address), возвращающий номер сета в буфере.
6. Класс Line является часным случаем буфера, поэтому наследуется от класса Buffer
7. Класс Set является частным случаем буфера, поэтому наследуется от класса Buffer.
8. У класса Line и Set есть метод bool match(Address address). У лайна этот метод абстрактный, у сета - реализуется через match'и входящих в него лайнов, у полноценного буфера путем getSet(index(address)).match(address).

Buffer, Line, Set и Policy добавлены.
В Set добавлены вызовы методов политики.
Что должен возвращать метод getVictim?

getVictim - это то же самое, что метод onMiss(). То есть он не нужен.

Следующий шаг - генерация кода по описанию подсистемы управления памятью.

1. Генерация конкретного класса <ИмяБуфера>Address - наследника Address.
2. Генерация конкретного класса <ИмяБуфера>Line - наследника Line.
3. Генерация конкретного класса <ИмяБуфера>Set - наследника Set.
4. Генерация конкретного класса <ИмяБуфера>Buffer - наследника Buffer.

Подкорректированы файлы классов.
Удален цикл вызова Setом Bufferа, и наоборот.
Тест-кейс на Buffer работает.
Tree walker в процессе.

Сделан TreeWalker. И вся грамматика компилируется.