intel 4214 + 2080Ti run test got an error
Opened this issue · 0 comments
OliverRen commented
git clone
git checkout 2080Ti
BELLMAN_VERIFIER=gpu BELLMAN_CUSTOM_GPU="GeForce RTX 2080 Ti:4352" BELLMAN_CPU_UTILIZATION=0 CUDA_VISIBLE_DEVICES=0 RUST_LOG=trace cargo test --features gpu -- --exact multiexp::gpu_multiexp_consistency --nocapture
warning: unused import: `std::time::Instant`
--> src/gpu/multiexp.rs:14:5
|
14 | use std::time::Instant;
| ^^^^^^^^^^^^^^^^^^
|
= note: `#[warn(unused_imports)]` on by default
warning: unused import: `std::time::Instant`
--> src/gpu/multiexp.rs:14:5
|
14 | use std::time::Instant;
| ^^^^^^^^^^^^^^^^^^
|
= note: `#[warn(unused_imports)]` on by default
warning: 1 warning emitted
warning: 1 warning emitted
Finished test [unoptimized + debuginfo] target(s) in 0.08s
Running target/debug/deps/bellperson-c7fae5472aad3398
running 1 test
[2021-02-03T09:43:33Z INFO bellperson::gpu::utils] Device: Device { brand: Nvidia, name: "GeForce RTX 2080 Ti", memory: 11554717696, bus_id: 139, platform: Platform(PlatformId(0x7f850c025d70)), device: Device(DeviceId(0x7f850c032050)) }
Testing Multiexp for 1024 elements...
[2021-02-03T09:43:40Z INFO bellperson::gpu::locks] GPU is available for Multiexp!
[2021-02-03T09:43:40Z DEBUG bellperson::gpu::locks] Acquiring GPU lock...
[2021-02-03T09:43:40Z DEBUG bellperson::gpu::locks] GPU lock acquired!
[2021-02-03T09:43:40Z INFO bellperson::gpu::utils] Adding "GeForce RTX 2080 Ti" to GPU list with 4352 CUDA cores.
thread 'multiexp::gpu_multiexp_consistency' panicked at 'attempt to subtract with overflow', src/gpu/multiexp.rs:95:5
stack backtrace:
0: 0x5630cbfefd45 - backtrace::backtrace::libunwind::trace::h14d338b30b3ea0a7
at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86
1: 0x5630cbfefd45 - backtrace::backtrace::trace_unsynchronized::h73ea91d74a3fd67f
at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66
2: 0x5630cbfefd45 - std::sys_common::backtrace::_print_fmt::hd42948c952866e12
at src/libstd/sys_common/backtrace.rs:78
3: 0x5630cbfefd45 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::ha8f928866ff7571e
at src/libstd/sys_common/backtrace.rs:59
4: 0x5630cc019c5c - core::fmt::write::he0c1e5f7426d2718
at src/libcore/fmt/mod.rs:1076
5: 0x5630cbfec012 - std::io::Write::write_fmt::hf3afc6cfd57d0033
at src/libstd/io/mod.rs:1537
6: 0x5630cbff24b0 - std::sys_common::backtrace::_print::hfc0110703f3696fd
at src/libstd/sys_common/backtrace.rs:62
7: 0x5630cbff24b0 - std::sys_common::backtrace::print::h3f77c6990ddfaa22
at src/libstd/sys_common/backtrace.rs:49
8: 0x5630cbff24b0 - std::panicking::default_hook::{{closure}}::heae49580a8d62d75
at src/libstd/panicking.rs:198
9: 0x5630cbff21fc - std::panicking::default_hook::hecc34e3f729e213c
at src/libstd/panicking.rs:217
10: 0x5630cbff2af3 - std::panicking::rust_panic_with_hook::he82f5d0644692441
at src/libstd/panicking.rs:526
11: 0x5630cbff26eb - rust_begin_unwind
at src/libstd/panicking.rs:437
12: 0x5630cc017bc1 - core::panicking::panic_fmt::h09c929f06bb87c98
at src/libcore/panicking.rs:85
13: 0x5630cc017b0d - core::panicking::panic::h7ece43057e5422d4
at src/libcore/panicking.rs:50
14: 0x5630cb97c11a - bellperson::gpu::multiexp::calc_chunk_size::hb8f64b88ca686bf8
at src/gpu/multiexp.rs:95
15: 0x5630cb97c632 - bellperson::gpu::multiexp::SingleMultiexpKernel<E>::create::h2977a7ca19f6e7ab
at src/gpu/multiexp.rs:114
16: 0x5630cb9831af - bellperson::gpu::multiexp::MultiexpKernel<E>::create::{{closure}}::h76dedb353ddec8e1
at src/gpu/multiexp.rs:244
17: 0x5630cb882522 - core::iter::adapters::map_try_fold::{{closure}}::hd5753d2a861eaa39
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libcore/iter/adapters/mod.rs:840
18: 0x5630cb613481 - core::iter::traits::iterator::Iterator::try_fold::h803d94d9403c82a2
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libcore/iter/traits/iterator.rs:1889
19: 0x5630cb8a3484 - <core::iter::adapters::Map<I,F> as core::iter::traits::iterator::Iterator>::try_fold::hdd1c383149ffd088
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libcore/iter/adapters/mod.rs:866
20: 0x5630cb87a758 - core::iter::traits::iterator::Iterator::find_map::h8eece059959af16d
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libcore/iter/traits/iterator.rs:2264
21: 0x5630cb864135 - <core::iter::adapters::FilterMap<I,F> as core::iter::traits::iterator::Iterator>::next::hf88fb15d7d13d56f
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libcore/iter/adapters/mod.rs:1132
22: 0x5630cb65852e - <alloc::vec::Vec<T> as alloc::vec::SpecExtend<T,I>>::from_iter::hf55def40768cf2f5
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/liballoc/vec.rs:2093
23: 0x5630cb665347 - <alloc::vec::Vec<T> as core::iter::traits::collect::FromIterator<T>>::from_iter::h10e5a1bfcdedb730
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/liballoc/vec.rs:1995
24: 0x5630cb87914a - core::iter::traits::iterator::Iterator::collect::h7c4fa02120544595
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libcore/iter/traits/iterator.rs:1671
25: 0x5630cb981cf4 - bellperson::gpu::multiexp::MultiexpKernel<E>::create::h6c23d493f360f308
at src/gpu/multiexp.rs:242
26: 0x5630cb54c910 - bellperson::multiexp::create_multiexp_kernel::hfd943f129225c659
at src/multiexp.rs:478
27: 0x5630cb912799 - bellperson::gpu::locks::LockedMultiexpKernel<E>::init::h6850c33c191b55d4
at src/gpu/locks.rs:102
28: 0x5630cb913048 - bellperson::gpu::locks::LockedMultiexpKernel<E>::with::h175adb60ef679ecf
at src/gpu/locks.rs:123
29: 0x5630cb546f15 - bellperson::multiexp::multiexp::h21e9e52f6079f8f2
at src/multiexp.rs:327
30: 0x5630cb5ca2cb - bellperson::multiexp::gpu_multiexp_consistency::h45ef679fd6884f8b
at src/multiexp.rs:526
31: 0x5630cb54d2ba - bellperson::multiexp::gpu_multiexp_consistency::{{closure}}::h9f3da87cb803c9ad
at src/multiexp.rs:492
32: 0x5630cb553aee - core::ops::function::FnOnce::call_once::hc4703ce24ef35065
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libcore/ops/function.rs:233
33: 0x5630cbd2441c - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h6633cb15d0d76942
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/liballoc/boxed.rs:1081
34: 0x5630cbd2441c - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h1e20120def172c5c
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/panic.rs:318
35: 0x5630cbd2441c - std::panicking::try::do_call::hcc2ec3bbb75e9316
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/panicking.rs:348
36: 0x5630cbd2441c - std::panicking::try::h94eaebaaa7dd6f41
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/panicking.rs:325
37: 0x5630cbd2441c - std::panic::catch_unwind::h151c07c08497cf8b
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/panic.rs:394
38: 0x5630cbd2441c - test::run_test_in_process::hd082de93b1922c89
at src/libtest/lib.rs:541
39: 0x5630cbd2441c - test::run_test::run_test_inner::{{closure}}::h22369c9424e5ab3a
at src/libtest/lib.rs:450
40: 0x5630cbcfc396 - std::sys_common::backtrace::__rust_begin_short_backtrace::h0660a89f67243e05
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/sys_common/backtrace.rs:130
41: 0x5630cbd01445 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h8bb2049509aa1add
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/thread/mod.rs:475
42: 0x5630cbd01445 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hb49f3484cb9c3dd3
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/panic.rs:318
43: 0x5630cbd01445 - std::panicking::try::do_call::ha910a12d1577339b
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/panicking.rs:348
44: 0x5630cbd01445 - std::panicking::try::hd8b3d620360e55fa
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/panicking.rs:325
45: 0x5630cbd01445 - std::panic::catch_unwind::h475454730ea43154
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/panic.rs:394
46: 0x5630cbd01445 - std::thread::Builder::spawn_unchecked::{{closure}}::h2407d9379d805151
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libstd/thread/mod.rs:474
47: 0x5630cbd01445 - core::ops::function::FnOnce::call_once{{vtable.shim}}::haef9f772dfab225e
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/libcore/ops/function.rs:233
48: 0x5630cbff8f6a - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::hd2b3bc04af94a84f
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/liballoc/boxed.rs:1081
49: 0x5630cbff8f6a - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h1044417e186e567a
at /rustc/04488afe34512aa4c33566eb16d8c912a3ae04f9/src/liballoc/boxed.rs:1081
50: 0x5630cbff8f6a - std::sys::unix::thread::Thread::new::thread_start::h276e6ca033938925
at src/libstd/sys/unix/thread.rs:87
51: 0x7f8514374609 - start_thread
52: 0x7f8514280293 - __clone
53: 0x0 - <unknown>
[2021-02-03T09:43:40Z DEBUG bellperson::gpu::locks] GPU lock released!
test multiexp::gpu_multiexp_consistency ... FAILED
failures:
failures:
multiexp::gpu_multiexp_consistency
test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 68 filtered out
error: test failed, to rerun pass '--lib'