fix spelling and translation

Author: Vladimir Kotal

proc.tex

@@ -409,7 +409,7 @@
 \item The file descriptor tables are exact copies in both processes.  That means
 that more processes can share and seek a common file position.  Signal masks are
 not changed, more on that on page \pageref{SIGNALBLOCKINGEXAMPLE}.
-\item For effiency and less memory consumption, the address space is not copied
+\item For efficiency and less memory consumption, the address space is not copied
 but a \emph{copy-on-write} mechanism is used.
 \item The reason why the parent gets its child's PID as a return value and the
 child gets 0 is because it is easy for the child to get its parent PID via
@@ -456,15 +456,15 @@
 runs in foreground (\emph{foreground process group}) and has access to the
 controlling terminal for input and output, the rest is running in the background
 (\emph{background process groups}) and have only optional access to the output
-or no at all. (unallowed operation with terminal will stop the process).
+or no at all. (disallowed operation with terminal will stop the process).
 \item[parent process:] Each process (besides \texttt{swapper}u, pid~==~0)
 has a parent, i.e. process that created it with the \texttt{fork} syscall.
 If the parent exits before the child, its adoptive parent will become the
 \texttt{init} process, that will take care of the zombie after the process ends.
 \end{description}
 \begin{itemize}
 \item To get information about running processes programatically is possible
-using non-standar API (e.g. the \texttt{libproc} library on Solaris built
+using non-standard API (e.g. the \texttt{libproc} library on Solaris built
 on top of the \texttt{procfs} filesystem that is mounted under \texttt{/proc}).
 \item Note that using \texttt{getppid} value to check if parent exited is not
 portable (commonly \texttt{init} has pid 1 however this is not true in many
@@ -899,7 +899,7 @@
 as the EOF would not be detected otherwise.
 \item Closing the reading descriptor \texttt{pd[0]} in the consumer process is
 desired as well (see {\color[rgb]{1,0,0} $\triangleright$}) as if the
-consumer finishes prematurely the producent properly gets a \texttt{SIGPIPE}.
+consumer finishes prematurely the producer properly gets a \texttt{SIGPIPE}.
 If that file descriptor in the producer was not closed while the consumer died
 in the middle of processing the data, for example, the producer would not learn
 that the consumer was gone (as the producer would remain to be an existing

signals.tex

@@ -520,7 +520,7 @@
 \item It is a difference to ignore and block a signal.  A signal ignored will
 never be delivered to the process, while a blocked signal is remembered by the
 kernel and is delivered if the process unblocks it.
-\item It is implementation dependend if a signal received multiple times while
+\item It is implementation dependent if a signal received multiple times while
 blocked will be delivered only once or multiple times after unblocking.
 \item If POSIX.4 extension is used (see page
 \pageref{REALTIMEEXTENSIONS} and the use of \texttt{SA\_SIGINFO}), signals are

synchro.tex

@@ -417,7 +417,7 @@
 \begin{slide}
 \sltitle{Deadlock}
 \begin{itemize}
-\item 2 shared resrouces \texttt{res1} and \texttt{res2} protected by locks
+\item 2 shared resources \texttt{res1} and \texttt{res2} protected by locks
 \texttt{lck1} and \texttt{lck2}. Processes \texttt{p1} and
 \texttt{p2} want to have exclusive access to both resources.
 \end{itemize}

unix_dict.txt

@@ -137,7 +137,6 @@ cxref
 dbx
 dereferenced
 dev
-dimanche
 dir
 dirent
 distros
@@ -159,7 +158,6 @@ envp
 errno
 errnum
 errx
-excercise
 expr
 extern
 fcntl
@@ -176,7 +174,6 @@ getenv
 getopt
 getoptlong
 getopts
-ggr
 gmake
 gprof
 hearted
@@ -219,7 +216,6 @@ longopts
 lude
 macOS
 makefile
-meis
 memccpy
 memchr
 memcmp
@@ -231,7 +227,6 @@ microkernels
 mips
 mman
 mmap
-monolitic
 movb
 msg
 mv
@@ -241,7 +236,6 @@ od
 openssl
 optarg
 opterr
-optimalization
 optind
 optinons
 optopt
@@ -260,14 +254,11 @@ preprocesor
 preprocessor
 preprocessor's
 printf
-proceses
 profilers
 prog
-programu
 pthread
 putc
 putenv
-ramm
 readelf
 rld
 runtime
@@ -279,9 +270,7 @@ setjmp
 shm
 sizeof
 snprintf
-sparc
 src
-stateful
 stdarg
 stderr
 stdhdrs
@@ -291,27 +280,19 @@ stdout
 strerror
 strncpy
 strtol
-stru
 struct
 subtree
-supresses
 suvreq
 sys
 syscall
 syscallretvals
 syscalls
 sysenter
-syst
 tcp
-ter
-tions
 tmp
 tracepoint
-ture
-tx
 ulimit
 uname
-uncertified
 unistd
 unix
 unixstd
@@ -670,3 +651,35 @@ execvpe
 procfs
 lockfile
 lockfiles
+RDLCK
+WRLCK
+UNLCK
+creat
+fscanf
+oflag
+chdir
+pwd
+SETFL
+RO
+RW
+shlock
+sysutils
+shlock
+lockd
+SUIDDIR
+getpw
+getgrnam
+getgrent
+getent
+CompactFlash
+noatime
+filetype
+utime
+PGID
+sigsuspend
+nodename
+socketlen
+nodelen
+servicename
+socketlen
+servicelen

user-access.tex

@@ -390,7 +390,7 @@
 \item The \texttt{getuid} returns real UID, there is nothing like
 \texttt{getruid}.
 \item \texttt{getgroups}: when \texttt{gidsz~==~0}, it returns the number of
-groups. When \texttt{0 < gidsz < \#skupin}, it returns \texttt{-1}.
+groups. When \texttt{0 < gidsz < \#groups}, it returns \texttt{-1}.
 \item In Unix, there are many data types such as \verb#uid_t#, \verb#gid_t#,
 \verb#size_t#, \verb#pid_t#, etc.  In general, these are integer types and you
 can often find them in the \texttt{/usr/inc{}lude/sys/types.h} header file.