MicroTESK

Есть следующие замечания:

1. формат строки буфера может включать произвольные поля (tag и data - это пример, грамматика должна быть общей).
2. вместо двух чисел, характеризующих разрядность полей, нужно использовать одно (собственно, разрядность)

Пример:

line(g:1, v:1, asid:8, pfn: 24, ...)

1. Нужно знать, какие еще параметры включены в строку буфера, чтобы захардкодить их в лексер.
2. В поле line так и сделано: line (tag:30 data:256).

В том то и дело, что параметры могут быть называться по-разному и их число может быть любым.

Revision 985.

Еще, как человеку, привыкшему к C/C++/Java и т.п., мне не хватает ';' после каждого определения параметра.

Как вариант, ';' можно сделать необязательным символом.

Revisions r1023, r1026.

Таня, а порядок описания атрибутов буфера зафиксирован? Можно ли сначала описать политику, а затем ассоциативность?

Нужно сделать так, чтобы допускался произвольный порядок.

Done, r1031.

Нужно начинать думать о части 2 этой задачи - общая схема доступа (функция LoadMemory() см. статью AMOST-2011).

Это хотелось бы обсудить.

• Нужно понять, как использовать синтаксис Sim-nML для спецификации функций доступа к памяти. Думаю, что такие функции нужно описывать в форме операций Sim-nML, одним из параметров которых является адрес.

• Главная сложность - возможность доступа внутри функций к описанным буферам. Например,

if hit<L1>(phys_address)
then
  ...
end

нужно предложить грамматику.

• Интеграция с симулятором. Интерфейсы нужно обсуждать с Андреем.

Я готов обсудить, вопрос - что обсуждать? Сначала грамматика - потом обсуждение.

Нужно изменить sets на associativity, а lines на sets. В грамматике, внутреннем представлении и документации.

Updates were made, r1163.