<Chapter Label="Variables in HPC-GAP">
<Heading>Variables in HPC-GAP</Heading>
Variables with global scope have revised semantics in HPC-GAP in order to address concurrency issues. The normal
semantics of global variables that are only accessed by a single thread remain unaltered.
Global variables in HPC-GAP can be accessed by all threads concurrently without explicit synchronization. Concurrent
access is safe, but it is not deterministic. If multiple threads attempt to modify the same global variable
simultaneously, the resulting value of the variable is random; it will be one of the values assigned by a thread, but it
is impossible to predict with certainty which specific one will be assigned.
HPC-GAP supports the notion of thread-local variables. Thread-local variables are (after being declared as such)
accessed and modified like global variables. However, unlike global variables, each thread can assign a distinct value
to a thread-local variable.
<Example><![CDATA[
gap> MakeThreadLocal("x");
gap> x := 1;;
gap> WaitTask(RunTask(function() x := 2; end));
gap> x;
1
]]></Example>
As can be seen here, the assignment to <C>x</C> in a separate thread does not overwrite the value of <C>x</C> in the
main thread.
<Description>
<Ref Func="MakeThreadLocal"/> makes the variable described by the string <A>name</A> a thread-local variable. It normally does
not give it an initial value; either explicit per-thread assignment or a call to <Ref Func="BindThreadLocal"/> or <Ref
Func="BindThreadLocalConstructor"/> to provide a default value is necessary.
<P/>
If a global variable with the same name exists and is bound at the time of the call, its value will be used as the
default value as though <Ref Func="BindThreadLocal"/> had been called with that value as its second argument.
</Description>
</ManSection>
<Description>
<Ref Func="BindThreadLocal"/> gives the thread-local variable described by the string <A>name</A> the default value <A>obj</A>.
The first time the thread-local variable is accessed in a thread thereafter, it will yield <A>obj</A> as its value if it
hasn't been assigned a specific value yet.
</Description>
</ManSection>
<Description>
<Ref Func="BindThreadLocal"/> gives the thread-local variable described by the string <A>name</A> the constructor <A>func</A>.
The first time the thread-local variable is accessed in a thread thereafter, it will yield <A>func()</A> as its value if
it hasn't been assigned a specific value yet.
</Description>
</ManSection>
<ManSection>
<Var Name="ThreadVar"/>
<Description>
All thread-local variables are stored in the thread-local record <Ref Var="ThreadVar"/>. Thus, if <C>x</C> is a thread-local
variable, using <C>ThreadVar.x</C> is the same as using <C>x</C>.
</Description>
</ManSection>
</Section>
</Chapter>
¤ Dauer der Verarbeitung: 0.17 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
