diff options
Diffstat (limited to 'content/zettel/3c3h1.md')
-rw-r--r-- | content/zettel/3c3h1.md | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/content/zettel/3c3h1.md b/content/zettel/3c3h1.md new file mode 100644 index 0000000..3d2f146 --- /dev/null +++ b/content/zettel/3c3h1.md @@ -0,0 +1,16 @@ ++++ +title = "Problems with comparing against CompCert-KVX" +author = "Yann Herklotz" +tags = [] +categories = [] +backlinks = ["3c3h", "3a5c1"] +forwardlinks = ["3c3h2"] +zettelid = "3c3h1" ++++ + +CompCert-KVX is the only other implementation of advanced scheduling +techniques, however, it is hard to directly compare against it. The main +reason for all these difficulties, is that they have modified CompCert +itself quite heavily. Secondly, they also have only implemented the +superblock scheduling oracle for a subset of back end languages, such as +their KVX back end, riscV and aarch64. |