C - スレッド(スレッドセーフ, MUT-EX(lock, unlock))

Head First C ―頭とからだで覚えるCの基本
(オライリージャパン)
David Griffiths (著) Dawn Griffiths (著)
中田 秀基(監訳)(翻訳) 木下 哲也 (翻訳)

開発環境

• OS X Mavericks - Apple(OS)
• Emacs (CUI)、BBEdit - Bare Bones Software, Inc. (GUI) (Text Editor)
• C (プログラミング言語)
• Clang (コンパイラ)

Head First C ―頭とからだで覚えるCの基本(David Griffiths (著)、Dawn Griffiths (著) 中田 秀基(監訳)(翻訳)、木下 哲也 (翻訳)、オライリージャパン)の12章(スレッド)、長いエクササイズ(p.516)を解いてみる。

その他参考書籍

• プログラミング言語C 第2版 ANSI規格準拠 (B.W. カーニハン D.M. リッチー (著)、 石田 晴久 (翻訳)、共立出版)
• プログラミング言語Cアンサー・ブック 第2版 (クロビス・L．トンド、スコット・E．ギンペル(著)、矢吹 道郎(翻訳))
• C実践プログラミング 第3版 (Steve Oualline (著)、 望月 康司 (監訳) (翻訳)、 谷口 功 (翻訳)、 オライリージャパン)

長いエクササイズ(p.516)

コード(BBEdit, Emacs)

drink_lots.h

int beers_a;
int beers_b;
void* drink_lots_a(void *a);
void* drink_lots_b(void *a);

test_drink.c

#include <stdio.h>
#include <pthread.h>

#include "drink_lots.h"
#include "error.h"

int main(int argc, char *argv[])
{
  pthread_t threads[20];
  int t;

  /* バージョンAは上のに対応 */
  printf("壁にはビールが%i本\n%i本のビール\n", beers_a, beers_a);
  for (t = 0; t < 20; ++t)
    pthread_create(&threads[t], NULL, drink_lots_a, NULL);
  void *result_a;
  for (t = 0; t < 20; ++t)
    pthread_join(threads[t], &result_a);
  printf("現在、壁にはビールが%i本あります\n", beers_a);

  /* バージョンBは下のに対応 */
  printf("壁にはビールが%i本\n%i本のビール\n", beers_b, beers_b);
  for (t = 0; t < 20; ++t)
    pthread_create(&threads[t], NULL, drink_lots_b, NULL);
  void *result_b;
  for (t = 0; t < 20; ++t)
    pthread_join(threads[t], &result_b);
  printf("現在、壁にはビールが%i本あります\n", beers_b);

  return (0);
}

Makefile

all: test_drink

test_drink: test_drink.c error.o drink_lots.o
 cc -g -o test_drink test_drink.c error.o drink_lots.o

drink_lots.o: drink_lots.c
 cc -c -o drink_lots.o drink_lots.c

error.o: error.c
 cc -c -o error.o error.c

clean:
 rm -rf test_drink

入出力結果(Terminal)

$ make && ./sample516
cc -c -o drink_lots.o drink_lots.c
cc -g -o sample516 sample516.c error.o drink_lots.o
壁にはビールが2000000本
2000000本のビール
beers = 1900000
beers = 1800000
beers = 1700000
beers = 1600000
beers = 1500000
beers = 1400000
beers = 1300000
beers = 1200000
beers = 1100000
beers = 1000000
beers = 900000
beers = 800000
beers = 700000
beers = 600000
beers = 500000
beers = 400000
beers = 300000
beers = 200000
beers = 100000
beers = 0
現在、壁にはビールが0本あります
壁にはビールが2000000本
2000000本のビール
beers = 3041
beers = 107
beers = 80
beers = 67
beers = 48
beers = 40
beers = 35
beers = 22
beers = 20
beers = 18
beers = 15
beers = 14
beers = 11
beers = 7
beers = 5
beers = 5
beers = 4
beers = 2
beers = 1
beers = 0
現在、壁にはビールが0本あります
$