Referência de fonte: APPS/THREADS/COUNT.CC¶

Registro determinístico da fonte. O conteúdo completo do arquivo é reproduzido abaixo; esta página não substitui a interpretação arquitetural dos capítulos autorais.

Identidade do arquivo¶

Dependências sintáticas detectadas¶

Símbolos detectados¶

Fonte completa¶

O bloco seguinte é o arquivo textual integral na revisão indicada. Não há elisão, abreviação ou paráfrase.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

int g_n;
int g_lock;

void worker(int arg) {
  int i;
  i = 0;
  while (i < 1000) {
    mtx_lock(g_lock);
    g_n = g_n + 1;
    mtx_unlock(g_lock);
    i = i + 1;
  }
}

void main() {
  int id;
  int seen;
  g_n = 0;
  g_lock = 1;
  id = thrd_create(worker, 0);
  seen = 0;
  while (seen < 1000) {
    mtx_lock(g_lock);
    seen = g_n;
    mtx_unlock(g_lock);
  }
  thrd_join(id);
  viewport(160, 80);
  text(8, 8, "threads", 0x00FFFFFF);
}

Papel deste registro¶

O atlas garante rastreabilidade arquivo-a-arquivo. Responsabilidade, invariantes, ownership, concorrência, segurança, desempenho e interação entre subsistemas pertencem aos capítulos autorais e devem citar este arquivo quando aplicável.