% % Main glossary entries -- definitions of relevant terminology
% \newglossaryentry{computer}
% {
% name=computer,
% description={A programmable machine that receives input data,
%                stores and manipulates the data, and provides
%                formatted output}
% }

% % Nomenclature glossary entries -- New definitions, or unusual terminology
% \newglossary*{nomenclature}{Nomenclature}
% \newglossaryentry{dingledorf}
% {
% type=nomenclature,
% name=dingledorf,
% description={A person of supposed average intelligence who makes incredibly brainless misjudgments}
% }

% % List of Abbreviations (abbreviations type is built in to the glossaries-extra package)
% \newabbreviation{aaaaz}{AAAAZ}{American Association of Amateur Astronomers and Zoologists}

% % List of Symbols
% \newglossary*{symbols}{List of Symbols}
% \newglossaryentry{rvec}
% {
% name={$\mathbf{v}$},
% sort={label},
% type=symbols,
% description={Random vector: a location in n-dimensional Cartesian space, where each dimensional component is determined by a random process}
% }

% Examples from template above

\newabbreviation{raii}{RAII}{\Newterm{resource acquisition is initialization}}
\newabbreviation{rtti}{RTTI}{\Newterm{run-time type information}}
\newabbreviation{fcfs}{FCFS}{\Newterm{first-come first-served}}
\newabbreviation{lifo}{LIFO}{\Newterm{last-in first-out}}
\newabbreviation{fifo}{FIFO}{\Newterm{first-in first-out}}
\newabbreviation{toctou}{TOCTOU}{\Newterm{time-of-check to time-of-use}}
\newabbreviation{cas}{CAS}{\Newterm{compare-and-set (swap)}}
\newabbreviation{dwcas}{DWCAS}{\Newterm{double-wide (width) compare-and-set (swap)}}
\newabbreviation{dcas}{DCAS}{\Newterm{double compare-and-set (swap)}}
\newabbreviation{qpcas}{QPCAS}{\Newterm{queue pointer compare-and-set (swap)}}
\newabbreviation{ll}{LL}{\Newterm{load linked}}
\newabbreviation{sc}{SC}{\Newterm{store conditional}}

\newglossaryentry{actor}{
name=actor,
description={A basic unit of an actor system that can store local state and send messages to other actors.}
}

\newglossaryentry{gulp}{
name={gulp},
first={\Newterm{gulp}},
description={Move the contents of message queue to a local queue of the executor thread using a single atomic instruction.}
}

\newglossaryentry{impl_concurrency}{
name=implicit concurrency,
first={\Newterm{implicit concurrency}},
description={A class of concurrency features that abstract away explicit thread synchronization and mutual exclusion.}
}

\newglossaryentry{actor_model}{
name=actor model,
first={\Newterm{actor model}},
description={A concurrent computation model, where tasks are broken into units of work that are distributed to actors in the form of messages.}
}

\newglossaryentry{actor_system}{
name=actor system,
first={\Newterm{actor system}},
description={An implementation of the actor model.}
}

\newglossaryentry{synch_multiplex}{
name=synchronous multiplexing,
first={\Newterm{synchronous multiplexing}},
description={synchronization waiting for some subset of a set of resources.}
}