69 lines
2.9 KiB
Rust
69 lines
2.9 KiB
Rust
use criterion::{BenchmarkId, Criterion, criterion_group, criterion_main};
|
||
|
||
use hvisor_ma::v_original::v1_impl as v1; // 版本1（原有实现）
|
||
use hvisor_ma::v_verus::v2_impl as v2; // 版本2（Verus版本的纯 exec 实现）
|
||
use hvisor_ma::v_verus::v3_impl as v3;
|
||
use hvisor_ma::v_verus::v2_proof as v2_proof;
|
||
|
||
pub fn criterion_benchmark(c: &mut Criterion) {
|
||
let mut group = c.benchmark_group("Bitmap allocator");
|
||
// group.bench_function("v1:bitalloc16", |b| b.iter(|| v1::bitalloc16()));
|
||
// group.bench_function("v1:bitalloc4k", |b| b.iter(|| v1::bitalloc4k()));
|
||
// group.bench_function("v1:bitalloc_contiguous", |b| b.iter(|| v1::bitalloc_contiguous()));
|
||
// group.bench_function("v1:bitalloc1m", |b| b.iter(|| v1::bitalloc1m()));
|
||
|
||
// group.bench_function("v3:bitalloc16", |b| b.iter(|| v3::bitalloc16()));
|
||
// group.bench_function("v3:bitalloc4k", |b| b.iter(|| v3::bitalloc4k()));
|
||
// group.bench_function("v3:bitalloc_contiguous", |b| b.iter(|| v3::bitalloc_contiguous()));
|
||
// group.bench_function("v3:bitalloc1m", |b| b.iter(|| v3::bitalloc1m()));
|
||
|
||
// group.bench_function("bitalloc16", |b| b.iter(|| v1::bitalloc16()));
|
||
// group.bench_function("bitalloc4k", |b| b.iter(|| v1::bitalloc4k()));
|
||
// group.bench_function("bitalloc_contiguous", |b| b.iter(|| v1::bitalloc_contiguous()));
|
||
// group.bench_function("bitalloc1m", |b| b.iter(|| v1::bitalloc1m()));
|
||
|
||
group.bench_function("bitalloc16", |b| b.iter(|| v3::bitalloc16()));
|
||
group.bench_function("bitalloc4k", |b| b.iter(|| v3::bitalloc4k()));
|
||
group.bench_function("bitalloc_contiguous", |b| b.iter(|| v3::bitalloc_contiguous()));
|
||
group.bench_function("bitalloc1m", |b| b.iter(|| v3::bitalloc1m()));
|
||
|
||
group.finish();
|
||
}
|
||
|
||
// fn bench_bitalloc16(c: &mut Criterion) {
|
||
// let mut group = c.benchmark_group("bitalloc16-compare");
|
||
|
||
// group.bench_function(BenchmarkId::new("v1", "16"), |b| b.iter(|| v1::bitalloc16()));
|
||
// group.bench_function(BenchmarkId::new("v2", "16"), |b| b.iter(|| v2::bitalloc16()));
|
||
|
||
// group.finish();
|
||
// }
|
||
|
||
// fn bench_bitalloc4k(c: &mut Criterion) {
|
||
// let mut group = c.benchmark_group("bitalloc4k-compare");
|
||
|
||
// group.bench_function(BenchmarkId::new("v1", "4k"), |b| b.iter(|| v1::bitalloc4k()));
|
||
// group.bench_function(BenchmarkId::new("v2", "4k"), |b| b.iter(|| v2::bitalloc4k()));
|
||
|
||
// group.finish();
|
||
// }
|
||
|
||
// fn bench_contiguous(c: &mut Criterion) {
|
||
// let mut group = c.benchmark_group("bitalloc-contiguous-compare");
|
||
|
||
// group.bench_function(BenchmarkId::new("v1", "contig"), |b| {
|
||
// b.iter(|| v1::bitalloc1m_next())
|
||
// });
|
||
// group.bench_function(BenchmarkId::new("v2", "contig"), |b| {
|
||
// b.iter(|| v2_proof::bitalloc1m_next())
|
||
// });
|
||
// // group.bench_function(BenchmarkId::new("v3", "contig"), |b| {
|
||
// // b.iter(|| v3::bitalloc1m_alloc_contiguous())
|
||
// // });
|
||
|
||
// group.finish();
|
||
// }
|
||
|
||
criterion_group!(benches, criterion_benchmark);
|
||
criterion_main!(benches);
|