From 42c8279003941f792ca09550aa7c35737f0b63a9 Mon Sep 17 00:00:00 2001 From: Yoichi Hirai Date: Thu, 22 Dec 2016 15:53:01 +0100 Subject: [PATCH] Decument the memory usage update in LOG operations --- Paper.tex | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Paper.tex b/Paper.tex index 6c0cd84b..11c6a047 100644 --- a/Paper.tex +++ b/Paper.tex @@ -1936,6 +1936,8 @@ \subsection{Instruction Set} \multicolumn{5}{c}{\textbf{a0s: Logging Operations}} \vspace{5pt} \\ \multicolumn{5}{l}{For all logging operations, the state change is to append an additional log entry on to the substate's log series:}\\ \multicolumn{5}{l}{$A'_\mathbf{l} \equiv A_\mathbf{l} \cdot (I_a, \mathbf{t}, \boldsymbol{\mu}_\mathbf{m}[ \boldsymbol{\mu}_\mathbf{s}[0] \dots (\boldsymbol{\mu}_\mathbf{s}[0] + \boldsymbol{\mu}_\mathbf{s}[1] - 1) ])$}\\ +\multicolumn{5}{l}{and to update the memory consumption counter:}\\ +\multicolumn{5}{l}{$\boldsymbol{\mu}'_i \equiv M(\boldsymbol{\mu}_i, \boldsymbol{\mu}_\mathbf{s}[0], \boldsymbol{\mu}_\mathbf{s}[1])$}\\ \multicolumn{5}{l}{The entry's topic series, $\mathbf{t}$, differs accordingly:}\vspace{5pt} \\ \textbf{Value} & \textbf{Mnemonic} & $\delta$ & $\alpha$ & \textbf{Description} \vspace{5pt} \\ 0xa0 & {\small LOG0} & 2 & 0 & Append log record with no topics. \\