스레드 세이프

ThreadSafe
스레드 세이프
개발자숙고하다
안정된 릴리스
1.3 / 2014년 3월 28일, 8년 전(2014-03-28)
운영 체제크로스 플랫폼: Linux, OS X, Windows
유형정적 코드 분석
면허증.독자적인 소프트웨어
웹 사이트www.contemplateltd.com/threadsafe

ThreadSafe는 전체 프로그램 간 프로시저 [1][2][3][4]분석을 사용하여 Java 코드 기반에서의 동시성과 관련된 애플리케이션 위험 및 보안 취약성을 식별하는 소스 코드 분석 도구입니다.Thread Safe는 복잡한 [1][2][5][6]환경에서 실행되는 동시 응용 프로그램의 소프트웨어 장애를 식별하고 방지하기 위해 사용됩니다.

특징들

ThreadSafe는 Java 동시성 [2][3][4]결함을 감지합니다.

  • 레이스 조건 – 디버거에서 재현하기 어려운 부정확하거나 예측할 수 없는 동작을 일으킵니다.
  • 교착[7] 상태 – 공유 리소스를 대기하는 스레드 간에 순환 대기 때문에 발생합니다.
  • 예측 불가능한 결과 – 동시 수집의 잘못된 처리, 잘못된 오류 처리 또는 혼합된 개체 동기화로 인해 발생합니다.
  • 퍼포먼스 병목– 잘못된 API 사용, 용장 동기화 및 불필요한 공유 가변 상태 사용으로 인해 발생합니다.

ThreadSafe는 Eclipse 소프트웨어 개발 환경 및 SonarQube 소프트웨어 품질 관리 플랫폼과 통합됩니다.상황별 정보는 개발 환경 내에서 코드로 [2][3][4]직접 동시성 문제의 조사와 해결을 개발자에게 지원하기 위해 제공됩니다.명령줄 버전은 Eclipse 이외의 IDE 사용자와 빌드 프로세스 통합을 위해 사용할 수 있습니다.

표준 준수 여부 확인

ThreadSafe는 [8]CERT Oracle Secure Coding Standard for Java에서 동시성 관련 규칙 위반을 탐지합니다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ a b Grazi, Victor (August 28, 2013). "ThreadSafe Concurrency Static Analysis Tool Announces First Public Release". InfoQ.com.
  2. ^ a b c d Taft, Darryl (September 4, 2013). "Contemplate Delivers ThreadSafe Java Concurrency Static Analysis Tool". DevX.com.
  3. ^ a b c Atkey, Robert (January 14, 2014). "Discover and Diagnose Java Concurrency Problems Using Contemplate's ThreadSafe". InfoQ.com.
  4. ^ a b c Atkey, Robert; Sannella, Donald (2015). "ThreadSafe: Static Analysis for Java Concurrency". Electronic Communications of the EASST. 72. doi:10.14279/tuj.eceasst.72.1025.995.
  5. ^ Roy, Ritobaan (May 1, 2013). "Software Errors: New Technology Briefing For CFOs". CFO Insight. Archived from the original on October 14, 2013.
  6. ^ Rubens, Paul (March 12, 2014). "Why Software Testing Can't Save You From IT Disasters". Reference to ThreadSafe on page 2. CIO.com.
  7. ^ Raible, Matt (June 26, 2014). "Contemplate ThreadSafe Introduces Deadlock Detection". InfoQ.com.
  8. ^ "SEI CERT Oracle Coding Standard for Java". Software Engineering Institute, Carnegie Mellon University. Retrieved March 18, 2016.

외부 링크