Commit 0e325b5b authored by Glen Mével's avatar Glen Mével
Browse files

address JH’s remark about notations for mem accesses

parent af3ed838
......@@ -42,5 +42,8 @@ $\CAS\loc{\val_1}{\val_2}$ performs compare-and-set at offset~zero.
% JH : TODO :
% - ne serait-il pas pertinent de mettre un at aussi pour le CAS des tableaux ?
% - en OCaml, c'est <- pour les tableaux et := pour les référence. Pourquoi fait-on l'inverse ici ?
% GLEN: le problème est qu’on ne peut pas faire l’analogue pour CAS sur une
% référence, "CAS e_at e e" ou "CAS !at e e e" sont trop bizarres.
% par contre on pourrait écrire "CAS_at e e e"…
% - Il y a une ambiguïté dans la syntaxe des CAS pour les tableaux "CAS a[b] c d" peut à la fois parler du CAS dans un tableau mais aussi du CAS d'une référence stockée dans un tableau
% GLEN: cette ambiguïté existe seulement si CAS a une annotation "at". :-)
......@@ -204,7 +204,7 @@
%\newcommand{\Read@op}[1]{\TextOrMath{\texttt{!#1}}{\mathop{!#1}}}
%\newcommand{\Write@op}[1]{\TextOrMath{\texttt{:=#1}}{\mathrel{\coloneqq#1}}}
\newcommand{\Read@op}[1]{\TextOrMath{\texttt{!#1}}{\mathop{!#1}}}
\newcommand{\Write@op}[1]{\TextOrMath{\texttt{<-#1}}{\mathrel{\leftarrow#1}}}
\newcommand{\Write@op}[1]{\TextOrMath{\texttt{:=#1}}{\mathrel{\coloneqq#1}}}
\newcommand{\ReadNA}[1]{\Read@op\NA #1}
\newcommand{\ReadAT}[1]{\Read@op\AT #1}
\newcommand{\ReadANY}[1]{\Read@op\ACCMODEANY #1}
......@@ -219,7 +219,7 @@
%\newcommand{\ArrayWriteNA}[3]{#1[#2] \Write@op\NA #3}
%\newcommand{\ArrayWriteAT}[3]{#1[#2] \Write@op\AT #3}
%\newcommand{\ArrayWriteANY}[3]{#1[#2] \Write@op\ACCMODEANY #3}
\newcommand{\ArrayWrite@op}{\TextOrMath{\texttt{:=}}{\mathrel{\coloneqq}}}
\newcommand{\ArrayWrite@op}{\TextOrMath{\texttt{<-}}{\mathrel{\leftarrow}}}
\newcommand{\ArrayReadNA}[2]{#1[#2]\NA}
\newcommand{\ArrayReadAT}[2]{#1[#2]\AT}
\newcommand{\ArrayReadANY}[2]{#1[#2]\ACCMODEANY}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment