Source reference: LIB/STR.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

int strlen(int s) {
  int n;
  n = 0;
  while (loadb(s + n) != 0) {
    n = n + 1;
  }
  return n;
}

int strcpy(int dst, int src) {
  int i;
  i = 0;
  while (1) {
    storeb(dst + i, loadb(src + i));
    if (loadb(src + i) == 0) {
      return dst;
    }
    i = i + 1;
  }
}

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.