File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -239,7 +239,7 @@ consistent** -- the observed behaviour can simply be understood as the
239239interleaved execution of different domains. This guarantee is known as
240240data-race-freedom sequential-consistency (DRF-SC).
241241
242- An important aspect of the OCaml 5 memory model is that, even if you program has
242+ An important aspect of the OCaml 5 memory model is that, even if your program has
243243data races, your program will not crash (memory safety). The recommendation for
244244the OCaml user is that ** avoid data races for ease of reasoning** .
245245
@@ -493,7 +493,7 @@ straight-forward way to parallelize such code. Lets take the
493493benchmark from the computer language benchmarks game. The sequential version of
494494the benchmark is available at [src/spectralnorm.ml](src/spectralnorm.ml).
495495
496- We can see that the program has several for loops. How do we which part of the
496+ We can see that the program has several for loops. How do we know which part of the
497497program is amenable to parallelism? We can profile the program using ` perf` to
498498answer this. ` perf` only works on Linux.
499499
You can’t perform that action at this time.
0 commit comments