Find link

language:

Find link is a tool written by Edward Betts.

searching for Shared Variables 39 found (43 total)

Unified Parallel C (267 words) [view diff] case mismatch in snippet view article find links to article

is presented with a single partitioned global address space; where shared variables may be directly read and written by any processor, but each variable

Distributed shared memory (1,128 words) [view diff] case mismatch in snippet view article find links to article

using virtual memory Shared-variable approach using routines to access shared variables Object-based approach, ideally accessing shared data through object-oriented

Measurement Studio (268 words) [view diff] case mismatch in snippet view article find links to article

ability to share variables and pass data over the internet with network shared variables. Measurement Studio was introduced in February 2000 by National Instruments

Memory model (programming) (801 words) [view diff] case mismatch in snippet view article

can influence the order of read and write operations of potentially shared variables. Changes in the ordering of reads and writes can cause race conditions

Memory semantics (computing) (115 words) [view diff] case mismatch in snippet view article

control access to shared memory locations, or at a higher level to shared variables in the presence of multiple threads or processors. Memory semantics

Constraint inference (422 words) [view diff] case mismatch in snippet view article find links to article

{\displaystyle ((x,z),Q)} that is satisfied by every evaluation of the two non-shared variables for which there exists a value of the shared variable y {\displaystyle

Interference freedom (5,613 words) [view diff] case mismatch in snippet view article find links to article

technique for proving partial correctness of concurrent programs with shared variables. Hoare logic had been introduced earlier to prove correctness of sequential

Seqlock (577 words) [view diff] case mismatch in snippet view article find links to article

special locking mechanism used in Linux for supporting fast writes of shared variables between two parallel operating system routines. The semantics stabilized

Ateji PX (604 words) [view diff] case mismatch in snippet view article find links to article

ways of communicating; either by concurrently reading and writing shared variables, or by sending explicit messages. The operators ! and ? respectively

Constraint satisfaction dual problem (1,067 words) [view diff] case mismatch in snippet view article find links to article

problem contains a constraint between them, enforcing equality of all shared variables. In the dual problem, all constraints are binary. They all enforce

Wang BASIC (3,791 words) [view diff] case mismatch in snippet view article find links to article

dialects. CLEAR N was similar to CLEAR V, but did not clear the value of shared variables (see below). Branching was supported through IF...THEN, GOTO and GOSUB

Automatic parallelization (1,697 words) [view diff] case mismatch in snippet view article find links to article

are difficult to coordinate in terms of memory allocation, I/O, and shared variables; irregular algorithms that use input-dependent indirection interfere

Apache Spark (2,752 words) [view diff] case mismatch in snippet view article find links to article

functional style of programming, Spark provides two restricted forms of shared variables: broadcast variables reference read-only data that needs to be available

Fair queuing (1,152 words) [view diff] case mismatch in snippet view article find links to article

Shared variables const N // Nb of queues queues[1..N] // queues lastVirFinish[1..N] // last virtual finish instant receive(packet) queueNum := chooseQueue(packet)

Communicating sequential processes (6,476 words) [view diff] case mismatch in snippet view article find links to article

processes. The PAT process language extends CSP with support for mutable shared variables, asynchronous message passing, and a variety of fairness and quantitative

Process calculus (2,452 words) [view diff] case mismatch in snippet view article find links to article

as communication (message-passing), rather than as modification of shared variables. Describing processes and systems using a small collection of primitives

Joyce (programming language) (1,011 words) [view diff] case mismatch in snippet view article

channels. This restriction prevents problems associated with the use of shared variables such as race conditions. Agents communicate through entities called

Formal methods (3,642 words) [view diff] case mismatch in snippet view article find links to article

refinement checker for concurrent systems and CSP extensions (e.g., shared variables, arrays, fairness) SPIN UPPAAL Many problems in formal methods are

Smalltalk (9,658 words) [view diff] case mismatch in snippet view article find links to article

implementation. For example, VisualWorks has class shared variables and namespace shared variables, while Squeak and many other implementations have class

Thread-local storage (2,192 words) [view diff] case mismatch in snippet view article find links to article

keyword works both as the storage class, and as a type qualifier – shared variables are subject to some restrictions which statically enforce data integrity

Race condition (4,513 words) [view diff] exact match in snippet view article find links to article

oracle.com. Adve, Sarita V.; Boehm, Hans-J. (2010). "Semantics of Shared Variables & Synchronization (a.k.a. Memory Models)" (PDF). Adve, Sarita (December

Erlang (programming language) (4,727 words) [view diff] case mismatch in snippet view article

in Erlang, processes communicate using message passing instead of shared variables, which removes the need for explicit locks (a locking scheme is still

Indeterminacy in concurrent computation (1,318 words) [view diff] case mismatch in snippet view article find links to article

Prolog-like concurrent message passing systems using unification of shared variables and data structure streams for messages. This kind of system was used

JCSP (873 words) [view diff] case mismatch in snippet view article find links to article

which multi-threaded programs can fail untestably: Race conditions – shared variables may have indeterminate state because several threads access them concurrently

OpenHMPP (2,086 words) [view diff] case mismatch in snippet view article find links to article

the application is required (CPU/GPU data movements optimization, shared variables...). The group directive allows the declaration of a group of codelets

Mutual recursion (2,015 words) [view diff] case mismatch in snippet view article find links to article

state, without it needing to be passed by parameters or stored in shared variables. There are also some algorithms which naturally have two phases, such

Susan Owicki (661 words) [view diff] case mismatch in snippet view article find links to article

for much of the ensuing work on developing concurrent programs with shared variables and proving them correct. Two papers resulted directly from her thesis:

Join-pattern (6,440 words) [view diff] case mismatch in snippet view article find links to article

shared between them. With this environment, it is possible to define shared variables with all agents (e.g. a naming service to discover agents between themselves)

List of model checking tools (1,199 words) [view diff] case mismatch in snippet view article find links to article

described as Network of Extended Finite State Machines communicating via shared variables and unbuffered channels. Does not contain support for buffered channels

Consistency model (7,554 words) [view diff] case mismatch in snippet view article find links to article

operation is a store/write performed to allow other processors to use the shared variables. Among synchronization variables, sequential consistency or processor

Global Address Space Programming Interface (835 words) [view diff] case mismatch in snippet view article find links to article

fetch_and_add and compare_and_swap. The values can be used as global shared variables and to synchronise processes or events. Failure tolerant parallel programs

The Bathers (Gleizes) (3,734 words) [view diff] case mismatch in snippet view article

reference frame is tied to the state of motion of an observer. There are shared variables between the two concepts, involving the flow of time, i.e., temporal

Release consistency (1,358 words) [view diff] case mismatch in snippet view article find links to article

executed following sequential consistency. In effect, accesses to shared variables are separated into atomic operation blocks by the acquire and release

Coroutine (5,471 words) [view diff] case mismatch in snippet view article find links to article

being in tail position; mutually recursive subroutines must either use shared variables or pass state as parameters. Further, each mutually recursive call

Actor model later history (1,443 words) [view diff] case mismatch in snippet view article find links to article

Prolog-like concurrent message passing systems using unification of shared variables and data structure streams for messages were developed by Keith Clark

Actor model implementation (1,612 words) [view diff] case mismatch in snippet view article find links to article

instruction, multiple data (MIMD) machine uses message passing, rather than shared variables, for communication between concurrent processes. This computational

Decomposition method (constraint satisfaction) (5,804 words) [view diff] case mismatch in snippet view article

do not affect all variables X j {\displaystyle X_{j}} but only the shared variables X i ∩ X j {\displaystyle X_{i}\cap X_{j}} . As a result, the influence

Redheffer star product (3,205 words) [view diff] case mismatch in snippet view article find links to article

The star product eliminates the shared variables in this coupled system of equations.

BASIC interpreter (14,120 words) [view diff] case mismatch in snippet view article find links to article

The assembler was fully integrated into the BASIC interpreter and shared variables with it, which could be included between the [ and ] characters, saved