Add phrase explaining what techniques we use to maintain integrity.

7 years ago · 6fa55db062
parent 197fdd4bf9
commit 6fa55db062
1 changed files with 3 additions and 1 deletions
--- a/Documentation/chap-intro.tex
+++ b/Documentation/chap-intro.tex
@ -415,7 +415,9 @@ the system on a computer with multiple cores.

 In particular, we will guarantee the integrity of the system in the
 presence of concurrency, so that there are no race conditions that may
-cause the system to be in an undefined state.
+cause the system to be in an undefined state.  We accomplish this
+guarantee by well known techniques such as locks, lock-free data
+structures, transactional memory, etc.

 Furthermore, the global system garbage collector
 \seesec{chap-garbage-collection}, will itself be parallel and