Skip to content
No description, website, or topics provided.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
arrayfire-new-bug
arrayfire
cuda-cnn-new-bug
cuda-convnet2-new-bug
cudaSift-new-bug
cudamat-new-bug
cudatree
cudpp-new-bug
gunrock
kaldi-new-bug
raw_data_report_script
thundersvm-new-bug
thundersvm
xmrig
.gitignore
DataStructure.py
DetectBug.py
Evolution.py
EvolutionaryDetect.py
EvolutionaryFramework.py
MainProcess.py
MemHeuristic.py
README.md
StatementExecutor.py
Total Bugs.log
codes.ll
compare_with_gklee.log
func.ll
kaldi-bug-report.log
parser_code.pd
performance.log
read_write_test.ll
test2.ll
test_arrayfire.py
test_thundersvm.py
tests.ll

README.md

Total Detected Real Bug with Positive Feedback:

cudpp: 3 Bugs
CudaSift: 4 Bugs
gunrock: 2 Bugs
kaldi: 1 Bugs
Total: 10 Bugs
Project Bugs with Positive Feedback reference
cudpp 3 https://github.com/cudpp/cudpp/issues/180
CudaSift 4 https://github.com/Celebrandil/CudaSift/issues/38
gunrock 2 https://github.com/gunrock/gunrock/issues/452
kaldi 1 https://github.com/kaldi-asr/kaldi/issues/3036

Performance in different setting

Please see "performance.log" file. The kernel function is related to table 4 in performance.log.

Introduction

In EvolutionaryDetect.py, all functions start with "test_" are detecting synchronization bugs and related to a specify kernel function. You will need Python 2.7 to run them. No other dependency is needed.

Detailed instruction

kaldi:

test_sum_reduced()
test_copy_low_upp()
test_copy_upp_low()
test_add_diag_vec_mat()
test_copy_from_tp()
test_copy_from_mat()
test_slice()

thundersvm:

test_thundersvm_c_smo_solve_kernel()

gunrock:

test_gunrock_join()
test_gunrock_xmrig()
test_gunrock_join2()

CUDA-CNN

test_sync_cuda_cnn_g_getCost_3()

CudaSift:

test_sync_FindMaxCorr()
# same situation for FindMaxCorr1, FindMaxCorr2, FindMaxCorr3

cudpp

test_sync_cudpp_sparseMatrixVectorSetFlags()
# same situation for yGather, sparseMatrixVectorFetchAndMultiply.

Positive feedback from authors:

https://github.com/cudpp/cudpp/issues/180
https://github.com/Celebrandil/CudaSift/issues/38
https://github.com/gunrock/gunrock/issues/452
https://github.com/kaldi-asr/kaldi/issues/3036

Raw bug log

Raw bug log located in

./raw_data_report_script

Bug log parser

log-paser.py is used to parsed raw bug log to get a report.

./raw_data_report_script/log-parser.py
You can’t perform that action at this time.