more spellchecking

Author: Vladimir Kotal

Makefile

@@ -71,6 +71,8 @@ spellcheck:
 			    sed '/\begin{alltt}/,/\end{alltt}/d' | \
 			    sed 's/pdfbookmark\[[0-9]\]{\([^{}]*\)}{.*}/pdfbookmark{\1}/' | \
 			    sed 's/\\\-//g' | \
+			    sed 's/\\\=//g' | \
+			    sed 's/\\example{[^{]*}//g' | \
 			    sed 's/\\texttt{[^{]*}//g' | \
 			    sed 's/\\\funnm{[^{]*}//g' | \
 			    sed 's/\\emprg{.*}//g' | \

proc.tex

@@ -101,7 +101,7 @@
 non-initialized variables share a common data segment, labeled in the image as
 ,,executable -- DATA''.  Example: \example{pmap/proc-addr-space.c}.
 \item The kernel mapping is not necessary, for example on Solaris running on
-\texttt{\emph{amd64}} architecture (i.e. 64-bit) the kernel is no longer mapped
+\emph{\texttt{amd64}} architecture (i.e. 64-bit) the kernel is no longer mapped
 into user space.
 \item \texttt{brk} nor \texttt{sbrk} are part of the standard, hence portable
 applications should not use them; if a similar functionality is needed, they
@@ -706,7 +706,7 @@
 \item On Solaris, the \texttt{elfdump} command allows listing sections of the
 ELF file in a human readable form. On Linux distributions, use \texttt{readelf}.
 \item The \emph{ELF header} contains basic information about the file.  Try
-``\texttt{readelf -h /bin/ls}'' on any Linux distro.
+``\texttt{readelf -h /bin/ls}'' on any Linux distribution.
 \item The \emph{program header table} is only present in files that are
 executable.  For example, dynamic libraries are ELF files that are not
 executable.  It contains information on the virtual memory layout.  You can list
@@ -1088,7 +1088,7 @@
 \end{itemize}
 \texttt{int \funnm{munmap}(void *\emph{addr}, size\_t \emph{l{}en});}
 \begin{itemize}
-\item write back changes, destroy mapping of lenght \texttt{l{}en} from
+\item write back changes, destroy mapping of length \texttt{l{}en} from
 address \texttt{addr}.
 \end{itemize}
 \texttt{int \funnm{mprotect}(void *\emph{addr}, size\_t \emph{l{}en},

synchro.tex

@@ -622,7 +622,7 @@
     \end{itemize}
 \item \emsl{sockets} come from the BSD world and allow communication in domains
 \texttt{AF\_UNIX} (communication within the same system) and \texttt{AF\_INET}
-(communication within the same system or accross network).
+(communication within the same system or across network).
 \end{itemize}
 \end{slide}
 

sys-v-semaphores.tex

@@ -14,14 +14,18 @@
 \texttt{IPC\_CREAT} (create if does not exist),
 \texttt{IPC\_EXCL} (error, if exists). 
 \end{itemize}
+ifdef([[[NOSPELLCHECK]]], [[[
 \texttt{int \funnm{semctl}(int \emph{\texttt{semid}},
 int \emph{\texttt{semnum}}, int \emph{\texttt{cmd}}, ...);}
+]]])
 \begin{itemize}
 \item controlling function, optional 4th argument \texttt{arg} is of the
 \texttt{union~semun} type.
 \end{itemize}
+ifdef([[[NOSPELLCHECK]]], [[[
 \texttt{int \funnm{semop}(int \emph{\texttt{semid}},
 struct sembuf *\emph{\texttt{sops}}, size\_t \emph{\texttt{nsops}});}
+]]])
 \begin{itemize}
 \item generic operations P and V.
 \end{itemize}

unix_dict.txt

@@ -726,3 +726,4 @@ decrementing
 endianess
 Downey
 unbuffered
+acyclic

user-access.tex

@@ -38,7 +38,7 @@
 representation of users and groups.
 \item Passwords are long gone from \texttt{/etc/passwd}, they are stored some
 place else, for example in \texttt{/etc/shadow}, which is not readable to an
-uprivileged user.  The passwords are also salted and then hashed.  On BSD based
+unprivileged user.  The passwords are also salted and then hashed. On BSD based
 systems, eg. FreeBSD or macOS, instead of \texttt{/etc/shadow},
 \texttt{/etc/master.passwd} database is used.
 \item If \texttt{/etc/shadow} does exist, it is structured in a similar way as
@@ -203,9 +203,11 @@
 \item this identification is inherited by each process
 \item file $F$ has owner ($UID_F$) and group owner ($GID_F$). 
 \item algorithm for evaluation of access rights for process:
-$P(UID_P,GID_P,SUPG)$ and file $F(UID_F,GID_F)$:
+ifdef([[[NOSPELLCHECK]]], [[[$P(UID_P,GID_P,SUPG)$]]]) and file
+ifdef([[[NOSPELLCHECK]]], [[[$F(UID_F,GID_F)$]]]):
 \begin{tabular}{ll}
-If & then $P$rocess has w.r.t. $F$ile \\ 
+If & then ifdef([[[NOSPELLCHECK]]], [[[$P$rocess]]]) has w.r.t.
+ifdef([[[NOSPELLCHECK]]], [[[$F$ile]]]) \\ 
 \hline
 \texttt{if($UID_P$ == 0)} & \dots{} all rights \\
 \texttt{else if($UID_P$ == $UID_F$)} & \dots{} owner rights \\
@@ -304,7 +306,9 @@
 
 %%%%%
 
+ifdef([[[NOSPELLCHECK]]], [[[
 \pdfbookmark[1]{ruid, euid, suid}{resugid}
+]]])
 
 \begin{slide}
 \sltitle{Real and effective UID/GID}
@@ -378,8 +382,10 @@
 \item \texttt{gid\_t \funnm{getegid}(void)}
 
 returns effective group ID of the calling process.
-\item \texttt{int \funnm{getgroups}(int \emph{gidsz}, gid\_t \emph{glist}[])}
 
+ifdef([[[NOSPELLCHECK]]], [[[
+\item \texttt{int \funnm{getgroups}(int \emph{gidsz}, gid\_t \emph{glist}[])}
+]]])
 -- \texttt{glist} returns at most \texttt{gidsz} supplementary group
 IDs of the calling process and returns number of all GIDs of the process.
 \end{itemize}
@@ -419,8 +425,10 @@
     \end{itemize}
 \item \texttt{int \funnm{setgid}(gid\_t \emph{gid});} \\
 similar to \texttt{setuid}, for group-IDs of the process.
+ifdef([[[NOSPELLCHECK]]], [[[
 \item \texttt{int \funnm{setgroups}(int \emph{ngroups},
 gid\_t *\emph{gidset})} \\
+]]])
 sets the supplementary group IDs for the calling process. Can only be used
 by superuser process.
 \end{itemize}
@@ -454,7 +462,7 @@
 \sltitle{File system}
 \setlength{\baselineskip}{0.8\baselineskip}
 \begin{itemize}
-\item directories form a tree; together with files acyclical graph
+\item directories form a tree; together with files acyclic graph
 (one file can have multiple references).
 \item each directory also contains reference to itself '\texttt{.}'
 (dot) and to its parent directory '\texttt{..}' (two dots). 
@@ -504,10 +512,10 @@
 kernel and running processes in the form of text files.  However, some systems,
 like Solaris, have those files in a binary form only and provide special
 commands to read those (like \texttt{pargs}, \texttt{pldd}, etc.).
-\item Modern Unix systems contain a special \emph{devfs} filesystem that
-reflects an actual system configuration w.r.t. connected devices. I.e. after
-connecting a USB stick a related device will appear under \texttt{/dev}. After
-physically disconnecting it, the item will disappear.
+\item Modern Unix systems contain a special \emph{\texttt{devfs}} filesystem
+that reflects an actual system configuration w.r.t. connected devices. I.e.
+after connecting a USB stick a related device will appear under \texttt{/dev}.
+After physically disconnecting it, the item will disappear.
 \end{itemize}
 
 \endinput