From 643c780ea5fa929e4949a1d6b2fd567b8648370f Mon Sep 17 00:00:00 2001 From: Michael Wong Date: Sat, 9 Mar 2024 23:19:40 -0500 Subject: [PATCH] Updates from Overleaf --- src/srHP.tex | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/srHP.tex b/src/srHP.tex index 68ec7d3..2cc7074 100644 --- a/src/srHP.tex +++ b/src/srHP.tex @@ -57,7 +57,8 @@ \begin{note} Condition d(2) and d(3) convey the informal notion that a protection epoch that began before retiring \tcode{x}, as implied either by the happens-before relation or the coherence order of some source, delays the reclamation of \tcode{x}.\end{note} \end{enumerate} -\begin{example} The following example shows how hazard pointers allow updates to be carried out in the presence of concurrent readers. The object of type \tcode{hazard_pointer} in \tcode{print_name} protects the object \tcode{*ptr} from being reclaimed by \tcode{ptr->retire} until the end of the protection epoch. +%\begin{example} +EXAMPLE: The following example shows how hazard pointers allow updates to be carried out in the presence of concurrent readers. The object of type \tcode{hazard_pointer} in \tcode{print_name} protects the object \tcode{*ptr} from being reclaimed by \tcode{ptr->retire} until the end of the protection epoch. \begin{codeblock} struct Name : public hazard_pointer_obj_base { /* details */ }; @@ -76,7 +77,7 @@ ptr->retire(); } \end{codeblock} -\end{example} +%\end{example} \rSec2[saferecl.hp.syn]{Header \tcode{} synopsis} pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy