이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.

Polyspace 액세스 웹 인터페이스의 전역 변수

이 주제는 Polyspace^® Access 웹 인터페이스에 초점을 맞춥니다. Polyspace 데스크톱 사용자 인터페이스의 동등한 창에 대해 알아보려면 Variable Access in Polyspace Desktop User Interface (Polyspace Code Prover)를 참조하세요.

Global Variables 창은 전역 변수(및 지역 정적 변수)를 표시합니다. 각 전역 변수에 대해, 이 창은 해당 변수에 대한 읽기/쓰기 액세스를 수행하는 모든 함수와 작업, 그리고 값, 읽기/쓰기 액세스 횟수, 공유 사용량 등의 속성을 함께 나열합니다.

Results Details 창에서 아이콘을 사용하거나 Window > Global Variables Usage로 이동하여 Global Variables Usage 창을 엽니다.

The Global Variables pane lists all global variables along with attributes such as possible range of values, number of read and write operations, and so on.

각 변수와 각 읽기/쓰기 액세스에 대해, Global Variables Usage 패널에는 관련 속성이 포함됩니다. 변수에 대해 다양한 속성들이 이 표에 나열되어 있습니다.

특성	설명
Variables	변수명
Values	변수의 값(또는 값의 범위) 이 열은 포인터 변수를 위해 비워 둡니다.
# Reads	변수가 읽히는 횟수
# Writes	변수가 기록된 횟수
Read by task	작업명 읽기 변수
Written by task	변수에 작업명 작성
Protection	공유 변수가 동시 접근으로부터 보호되는지 여부 (Usage 열에 항목이 있을 때만 채움, Shared) 이 열에 입력할 수 있는 항목은 다음과 같습니다: Critical Section: 변수가 코드의 임계 구역에서 접근될 경우 Temporal Exclusion: 상호 배타적인 작업에서 변수에 접근하는 경우 이 항목들에 대한 자세한 내용은 Polyspace Code Prover™ 또는 Polyspace Code Prover Server™ 문서에서 확인할 수 있습니다.
Usage	`Shared`, 변수가 작업 간 공유되는 경우; 그렇지 않으면 공백
File	변수 선언을 포함하는 소스 파일
Data Type	변수의 데이터 유형 (C/C++ 데이터 유형 또는 구조체/클래스)

변수 이름을 두 번 클릭하면 Results Details 창에서 해당 변수에 대한 읽기/쓰기 액세스 작업을 볼 수 있습니다. Results Details 창에 있는 화살표 머리 기호 와 는 전역 변수에 대한 읽기 및 쓰기 액세스를 각각 수행하는 함수를 나타냅니다. 작업에 대한 자세한 내용은 Polyspace Code Prover 또는 Polyspace Code Prover Server 문서의 분석 옵션 Tasks (-entry points)를 참조하십시오.

변수에 대한 접근 작업에 대해, Global Variables Usage 패널에 설명된 다양한 속성들이 이 표에 나열되어 있습니다.

특성	설명
Values	함수 또는 작업 내에서 읽기/쓰기 액세스를 수행하는 변수의 값 또는 값 범위 이 열은 포인터 변수를 위해 비워 둡니다.
Written by task	작업 전용: 변수에 대한 쓰기 액세스를 수행하는 작업의 이름
Read by task	작업 전용: 변수에 대한 읽기 액세스를 수행하는 작업의 이름
File	변수에 대한 접근 작업이 포함된 소스 파일

Results Details 패널에는 변수에 대한 접근 작업의 Scope도 나열됩니다.

예를 들어, 전역 변수 SHR2를 고려해 보자:

The Result Details pane shows that the variable SHR2 is shared among several tasks and some of the operations on SHR2 are not protected against concurrent access. The Result Details pane also shows the possibly conflicting operations.

파일 tasks1.c 내의 함수 Tserver는 SHR2에 대해 두 번의 쓰기 작업을 수행합니다. 이는 Results Details 패널에서 테이블 내 두 개의 Tserver() 인스턴스로 표시되며, 로 표시됩니다. 마찬가지로, 작업 initregulate의 읽기 액세스도 테이블에 나열되어 있으며 로 표시됩니다.

Global Variables Usage 패널의 변수 색상 구성은 다음과 같습니다:

검정색: 전역 변수.
오렌지: 전역 변수, 작업 간 공유되며 동시 접근에 대한 보호가 없습니다.
Green: 전역 변수, 작업 간 공유되며 동시 접근으로부터 보호됨.
Gray: 전역 변수, 선언되었으나 접근 가능한 코드에서 사용되지 않음.

작업이 전역 변수에 대해 특정 작업을 수행하지만 해당 작업이 도달 불가능한 코드 내에 있는 경우, 해당 작업은 회색으로 표시됩니다.

Global Variables Usage 창에서 얻은 전역 변수 및 읽기/쓰기 액세스 작업에 관한 정보를 데이터 사전이라고 합니다.

Global Variables Usage 창에서도 다음 작업을 수행할 수 있습니다.

구조화된 변수 보기
구조화된 변수의 경우, Global Variables Usage 창에서 해당 변수를 더블 클릭하면 개별 필드를 볼 수 있습니다. 예를 들어, 구조체 SHR4의 경우, 해당 패널에는 SHR4.A 및 SHR4.B 필드와 이들 필드에 대한 읽기/쓰기 액세스를 수행하는 함수들이 표시됩니다.
발신자 및 수신자 표시/숨기기
Global Variables Usage 패널을 사용자 지정하여 공유 변수만 표시하도록 설정하십시오. Global Variables Usage 패널 도구 모음에서 비공유 변수 버튼을 클릭하여 비공유 변수를 표시하거나 숨깁니다.
도달 불가능한 코드에서 접근 숨기기
필터 버튼 를 클릭하여 접근 불가능한 코드에서 발생하는 읽기/쓰기 접근을 숨깁니다.
제한 사항
글로벌 변수나 객체(C++에서)에 대한 주소 지정 작업은 Global Variables Usage 창에서 읽기/쓰기 작업으로 볼 수 없습니다. 예를 들어, 다음 C++ 코드를 살펴보십시오:
```
class C0 
{ 
public: 
  C0() {} 
  int get_flag() 
  { 
    volatile int rd; 
    return rd; 
  } 
  ~C0() {} 
private: 
  int a;                /* Never read/written */ 
}; 

C0 c0;                  /* c0 is unreachable */ 

int main() 
{ 
  if (c0.get_flag())    /* Uses address of the method */ 
    { 
      int *ptr = take_addr_of_x(); 
      return 1; 
    } 
  else 
    return 0; 
}
```
Global Variables Usage 창에서 c0.get_flag() 메서드 호출을 볼 수 없는 이유는 해당 호출이 객체 c0에 속한 메서드에 대한 주소 지정 작업이기 때문입니다.