Source reference: APPS/THREADS/COUNT.CC¶

Deterministic source record. The complete textual file is reproduced below; this page does not replace architectural interpretation in the authored chapters.

File identity¶

Detected syntactic dependencies¶

Detected symbols¶

Complete source¶

The following block is the complete textual file at the recorded revision. No lines are elided, abbreviated or paraphrased.

 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);
}

Role of this record¶

The atlas guarantees file-by-file traceability. Responsibility, invariants, ownership, concurrency, security, performance and subsystem interactions belong in authored chapters and must cite this file when applicable.