blob: 00710ce2dc497971ffc54a91a8e1ed6240a0d59b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
+++
title = "Implementing superblock scheduling in Vericert"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3c3h2"]
forwardlinks = ["3c3h4"]
zettelid = "3c3h3"
+++
The other way one could compare hyperblock scheduling and superblock
scheduling, with a focus on how they compare in HLS specifically, would
be to take the superblock scheduling and implement it inside of
Vericert. However, the main problem is that CompCert-KVX is a heavily
modified version of CompCert, and therefore cannot be integrated easily
into CompCert itself on it's own. In addition to that, trying to compile
Vericert only with CompCert-KVX runs into more issues, mainly being that
Vericert uses the x86 backend in CompCert, whereas CompCert-KVX has only
implemented the riscV, aarch64 and KVX back ends for superblock
scheduling.
|
