KeenKraken new checkpoint format

[branylagaffe]

I want to change the checkpoint format for a JSON based structure So that ParaFlex, KeenKraken, KnottyKraken all have the same interface

Specification:

1. See .json table

Tasks:

• [x] Specify the output format
• [x] Rewrote MMU import/export
• [x] Rewrote L1 import/export
• [x] Rewrote L2 import/export
• [x] Rewrote BP import/export

---

UPDATE -[datetime]: [description]

[branylagaffe]

He @giorgioajmone, I have bumped QFlex (also therefore QEMU and libqflex) to support a new command flexus-save-ckpt that will dump KeenKraken State into a folder

[branylagaffe]

Update

[15.05.2024] Export is similiar

[branylagaffe]

Update

@giorgioajmone added a feature to create and save the new checkpoint to a specific dir. @giorgioajmone Is waiting on the command

[branylagaffe]

Update

Import still need testing

[branylagaffe]

https://github.com/parsa-epfl/flexus/tree/feat/ckpt-patch

Contains the commits from @giorgioajmone on feat/ckpt, and some patches. However, this lack the implementation for the loading in KnottyKraken (Cache, CacheCMP, BranchPredictor, etc).

[branylagaffe]

KnottyKraken implementation task:

• [x] L1I
• [x] L1D
• [x] L2 - Cache
• [x] L2 - Directory
• [x] MMU
• [x] BP

[branylagaffe]

Commit c58536ce77dc3c517c984c046297572342cdf201 enables ckpt capability for TAGE+BTB