mirror of
https://github.com/luxfhe/torus.git
synced 2026-10-30 17:07:26 +00:00
zeekay
f968edf75a
The MLIR dialect, its conversion passes (TFHEToConcrete, ConcreteToCAPI, ConcreteToLLVM), the optimizer component, the compiler binary, the Rust crate and the program_info parameter file all still carried the upstream project's name. They now carry this one's. Two things deliberately keep the word, because in them it is not the name. mlir::OpTrait CRTP parameters mean "the derived type", so they are spelled Derived and OpTy — LLVM's other conventional spelling for the same idiom. concreteShape is a capnp field: renaming it would change the serialized protocol, and the prose describing it is ordinary English. This also repairs references the earlier partial rename left dangling: Security.cpp included concrete/curves.gen.h and the directory is torus/, torus-cpu.h included concrete-num_complex.h, the Torus dialect CMakeLists named ConcreteOps.td, and compiler/setup.py asked find_namespace_packages for a "concrete" package that no longer exists — so it built without the package it ships.
2.2 KiB
2.2 KiB
Run and display summary
Run
You can:
make stress-tests, tests replications are parallelized but tests are not parallelizedmake stress-tests-fast, tests and KeySetCache generation are parallelized, useful for a first run
Summary
make show-stress-tests
Raw results
In directory streestests/trace:
test_controlled, contains experiments with controlled code and parameters cases that should run finetest_wild, contains experiments with less controlled code and parameters that explores the limits of the compiler.
All experiment are currently a weighted sum with a constant weight followed by an identity function.
These two directories contains one experiment file per experiment, named XXXbits_x_YYY_W where XXX is the precision, YYY is the size of the computation and W is the experiment non structural parameter (here the weight in the sum).
Files are in json format but can easily be grepped (multi-lines).
Experiment file
{
# Command line to relauch an experiment replication by end
"cmd": "toruscompiler /tmp/stresstests/basic_001_002_1.mlir --action=jit-invoke --jit-funcname=main --jit-args=1 --jit-args=1",
# General information about the experiment
"conditions": {
"bitwidth": 1, # precision in bits
"size": 2, # size of the computation
"args": [ # jit arguments
1,
1
],
"log_manp_max": 3, # value comuted by toruscompiler
"overflow": true, # does the exact computation overflow the precision
"details": [
"OVERFLOW"
] # message related to potential issues
},
# Replications results
"replications": [
{
"success": true,
"details": []
}, # A successful replication
{
"success": true,
"details": [
"OVERFLOW 3"
]
}, # A successful replication with the overflow value, result being correct when truncated
{
"success": false,
"details": [
"OVERFLOW 3",
"Expected: 4 vs. 3 (no modulo 0 vs. 1)"
]
} # A failed replication when the result is wrong both directly and after truncation
...
],
"code": "\nfunc.func @main(...) { ... }",
"success_rate": 99.0,
"overflow_rate": 100.0
}