스레드 세이프
ThreadSafe이 문서에는 자작 출처에 대한 과도한 또는 부적절한 언급이 포함되어 있을 수 있습니다.할 수 없는 해 . (2018년 12월) ( 템플릿메시지 및 ) |
Thread Safe for Eclipse | |
| 개발자 | 숙고하다 |
|---|---|
| 안정된 릴리스 | 1.3 / 2014년 3월 , 전( |
| 운영 체제 | 크로스 플랫폼: Linux, OS X, Windows |
| 유형 | 정적 코드 분석 |
| 면허증. | 독자적인 소프트웨어 |
| 웹 사이트 | www |
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에서 동시성 관련 규칙 위반을 탐지합니다.
「 」를 참조해 주세요.
레퍼런스
- ^ a b Grazi, Victor (August 28, 2013). "ThreadSafe Concurrency Static Analysis Tool Announces First Public Release". InfoQ.com.
- ^ a b c d Taft, Darryl (September 4, 2013). "Contemplate Delivers ThreadSafe Java Concurrency Static Analysis Tool". DevX.com.
- ^ a b c Atkey, Robert (January 14, 2014). "Discover and Diagnose Java Concurrency Problems Using Contemplate's ThreadSafe". InfoQ.com.
- ^ 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.
- ^ Roy, Ritobaan (May 1, 2013). "Software Errors: New Technology Briefing For CFOs". CFO Insight. Archived from the original on October 14, 2013.
- ^ Rubens, Paul (March 12, 2014). "Why Software Testing Can't Save You From IT Disasters". Reference to ThreadSafe on page 2. CIO.com.
- ^ Raible, Matt (June 26, 2014). "Contemplate ThreadSafe Introduces Deadlock Detection". InfoQ.com.
- ^ "SEI CERT Oracle Coding Standard for Java". Software Engineering Institute, Carnegie Mellon University. Retrieved March 18, 2016.
외부 링크