2.3.2 pthr_prime.c 内のデータ競合

% cc pthr_prime.c -lm -mt -xinstrument=datarace                                 .
% collect -r on a.out | sort -n 

実験データベース test.2.er の作成中 ...
of type "nfs", which may distort the measured performance.
0
0
0
0
0
0
0
0
0
0
...
0
0
実験データベース test.2.er の作成中 ...
Number of prime numbers between 2 and 3000: 328
751
757
761
773
797
809
811
821
823
827
829
839
853
857
859
877
881
883
887
907
...
2999
2999

% er_print test.2.er
(er_print) races

総競合数: 6 実験:  test.2.er

競合 #1, Vaddr: 0x218d0
      アクセス 1: 書き込み, work + 0x00000154,
                       行 40 "pthr_prime.c"
      アクセス 2: 書き込み, work + 0x00000154,
                       行 40 "pthr_prime.c"
  総トレース数: 3

競合 #2, Vaddr: 0x218d0
      アクセス 1: 読み取り,  work + 0x000000CC,
                       行 39 "pthr_prime.c"
      アクセス 2: 書き込み, work + 0x00000154,
                       行 40 "pthr_prime.c"
  総トレース数: 3

競合 #3, Vaddr: 0xffbfeec4
      アクセス 1: 書き込み, main + 0x00000204,
                       行 55 "pthr_prime.c"
      アクセス 2: 読み取り,  work + 0x00000024,
                       行 35 "pthr_prime.c"
  総トレース数: 2

競合 #4, Vaddr: (Multiple Addresses)
      アクセス 1: 書き込み, work + 0x00000108,
                       行 39 "pthr_prime.c"
      アクセス 2: 書き込み, work + 0x00000108,
                       行 39 "pthr_prime.c"
  総トレース数: 1

競合 #5, Vaddr: 0x23bfc
      アクセス 1: 書き込み, is_prime + 0x00000210,
                       行 22 "pthr_prime.c"
      アクセス 2: 書き込み, is_prime + 0x00000210,
                       行 22 "pthr_prime.c"
  総トレース数: 1

競合 #6, Vaddr: 0x247bc
      アクセス 1: 書き込み, work + 0x00000108,
                       行 39 "pthr_prime.c"
      アクセス 2: 読み取り,  main + 0x00000394,
                       行 65 "pthr_prime.c"
  総トレース数: 1
(er_print) 

次のスクリーンショットは、pthr_primes.c で検出された競合の、スレッドアナライザ GUI での表示例です。GUI を呼び出して、実験データを読み込むコマンドは tha test.2.er になっています。

図 2–2 pthr_primes.c で検出されたデータ競合

pthr_prime.c には、6 つのデータ競合があります。

• 競合番号 1: 行 40 の total への書き込みと同一行での total への別の書き込みとのデータ競合。

• 競合番号 2: 行 39 の total の読み取りと行 40 の total への書き込みとのデータ競合。

• 競合番号 3: 行 55 の i への書き込みと行 35 の i の読み取りとのデータ競合。

• 競合番号 4: 行 39 の primes[] への書き込みと同一行での primes[] への別の書き込みとのデータ競合。

• 競合番号 5: 行 22 の pflags[] への書き込みと同一行での pflags[] への別の書き込みとのデータ競合。

• 競合番号 6: 行 39 の primes[] への書き込みと行 65 の primes[] の読み取りとのデータ競合。

GUI の利点は、データ競合に関係する 2 つのソース位置を横に並べて見られることです。たとえば「競合」タブで pthr_prime.c の競合番号 6 を選択し、「デュアルソース」タブをクリックすると、次のような画面になります。

図 2–3 データ競合のソース位置の詳細情報

競合番号 6 (行 39) の最初のアクセスが競合のソースの上の区画、同じデータ競合の 2 つ目のアクセスが下の区画に表示されます。このデータ競合アクセスが発生したソース行 39 および 65 は強調表示されます。デフォルトメトリック (「排他的競合アクセス」メトリック) は各ソース行の左側に表示されます。このメトリックは、その行についてデータ競合アクセスが報告された回数を示します。