LLOV 다운로드 LLOV 소스 코드 다운로드

LLOV

기타 카테고리

1.0.0

다운로드

LLOV : OpenMP 프로그램을위한 빠른 정적 데이터 레이스 검사기.

LLOV는 LLVM OpenMP Verifier를 나타냅니다. OpenMP 프로그램을위한 LLVM의 정적 데이터 레이스 감지 도구입니다. LLOV는 C/C ++ 및 Fortran으로 작성된 OpenMP v4.5 프로그램에서 데이터 레이스를 감지 할 수 있습니다.

LLOV는 다면체 편집 기술을 사용하여 컴파일 시간에 레이스 조건을 감지합니다.

다른 레이스 감지 도구와 달리 LLOV는 코드 영역을 데이터 레이스 프리로 표시 할 수 있습니다.

llov를 실행하는 방법

OpenMP가 시스템에 설치되지 않았거나 경로가 올바르게 설정되지 않은 경우 추가 컴파일러 플래그가 포함 된 포함 된 헤더 및 LIB를 가리킬 수 있습니다. -Iinclude/ -Llib/

Clang에서 OpenMP C/C ++ 코드에서 llov를 실행합니다

 ./bin/clang -Xclang -disable-O0-optnone -Xclang -load -Xclang ./lib/OpenMPVerify.so  
  -fopenmp -g test/1.race1.c
./bin/clang++ -Xclang -disable-O0-optnone -Xclang -load -Xclang ./lib/OpenMPVerify.so  
  -fopenmp -g test.cpp

OpenMP에서 llov 실행 C/C ++ Opt

 ./bin/clang -fopenmp -S -emit-llvm -g test/1.race1.c -o test.ll
./bin/opt -mem2reg test.ll -S -o test.ssa.ll
./bin/opt -load ./lib/OpenMPVerify.so -openmp-forceinline 
  -inline -openmp-resetbounds test.ssa.ll -S -o test.resetbounds.ll
./bin/opt -load ./lib/OpenMPVerify.so 
  -disable-output 
  -openmp-verify 
  test.resetbounds.ll

OpenMP에서 llov 실행 Fortran 코드

 flang -fopenmp -S -emit-llvm -g test.f95 -o test.ll
./bin/opt -O1 test.ll -S -o test.ssa.ll
./bin/opt -load ./lib/OpenMPVerify.so -openmp-forceinline 
  -inline -openmp-resetbounds test.ssa.ll -S -o test.resetbounds.ll
./bin/opt -load ./lib/OpenMPVerify.so 
  -disable-output 
  -openmp-verify 
  test.resetbounds.ll

알려진 레이스 조건이있는 더 많은 Fortran 예를 보려면 MicroBenchmark Dataracebench Fortran을 확인하십시오.

저자

UTPAL BORA [email protected].

크레딧

다음 사람들은 다른 방식으로 llov에 닿았습니다.
pankaj kukreja <[email protected]>
Santanu das <[email protected]>
Saurabh Joshi 웹 사이트
Ramakrishna Upadrasta 웹 사이트
Sanjay Rajopadhye 웹 사이트

풀어 주다

LLOV의 출처는 곧 BSD 라이센스에 따라 출시 될 예정입니다.

도커 컨테이너

도커 레지스트리 : hub.docker.com
저장소 : LLVM
태그 : llov

Docker Image Contians Llov와 함께 다음 레이스 탐지 도구와 함께
Tsan-llvm, Archer, Sword, Helgrind 및 Valgrind Drd.

실험을위한 세 가지 OpenMP 벤치 마크가 있습니다.
Dataracebench v1.2,
Dataracebench Fortran 및
OMPSCR v2.0.

출판물에서 llov를 인용하는 방법

 @article{Bora/taco/2020,
  author = {Bora, Utpal and Das, Santanu and Kukreja, Pankaj and Joshi, Saurabh and Upadrasta, Ramakrishna and Rajopadhye, Sanjay},
  title = {{LLOV: A Fast Static Data-Race Checker for OpenMP Programs}},
  year = {2020},
  issue_date = {November 2020},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {17},
  number = {4},
  issn = {1544-3566},
  url = {https://doi.org/10.1145/3418597},
  doi = {10.1145/3418597},
  abstract = {In the era of Exascale computing, writing efficient parallel programs is indispensable, and, at the same time, writing sound parallel programs is very difficult. Specifying parallelism with frameworks such as OpenMP is relatively easy, but data races in these programs are an important source of bugs. In this article, we propose LLOV, a fast, lightweight, language agnostic, and static data race checker for OpenMP programs based on the LLVM compiler framework. We compare LLOV with other state-of-the-art data race checkers on a variety of well-established benchmarks. We show that the precision, accuracy, and the F1 score of LLOV is comparable to other checkers while being orders of magnitude faster. To the best of our knowledge, LLOV is the only tool among the state-of-the-art data race checkers that can verify a C/C++ or FORTRAN program to be data race free.},
  journal = {ACM Trans. Archit. Code Optim.},
  month = dec,
  articleno = {35},
  numpages = {26},
  keywords = {OpenMP, program verification, polyhedral compilation, static analysis, data race detection, shared memory programming}
}

현재 제한

다음은 LLOV의 현재 버전의 한계입니다.

OpenMP에서 명시 적 동기화를 지원하지 않습니다. 이로 인해 스코프 간의 의존성이있는 프로그램의 FN 사례가 발생할 수 있습니다.
동적 제어 흐름을 처리하지 않습니다.
대상 오프로드 구성을 지원하지 않습니다.
OpenMP 작업을 지원하지 않습니다.
불규칙한 액세스를 처리 할 수 없습니다 (A [B [I]]).
Pluto, Polly 및 Polyopt와 같은 자동 코드 생성 도구에 의해 생성 된 기와 및/또는 병렬 코드 용 FP를 생성 할 수 있습니다.
OpenMP 섹션 구성에 대한 FP를 생성 할 수 있습니다.
OpenMP 구조 내의 기능 호출은 함수를 인식 할 수있는 경우에만 처리됩니다.
경우에 따라 폴리의 소스 라인 번호 매핑은 보존되지 않습니다. 이러한 경우 레이스는 해당 루프 라인 번호로 표시됩니다.