what r transaction synchronistion
bugs
Synchronization in DSVM (distributed shared virtual memory)
process level instead of only at the memory access level.
idea in the context of transaction synchronization,
devising two-phase locking-based algorithms under two DSVM
with and without an underlying memory coherence system.
They compare the performances of the two algorithms and
argue that significant performance gain can potentially
result from bypassing memory coherence and supporting
process synchronization directly on distributed memory.
They also study the role of the optimistic algorithms in
transaction synchronization in DSVM.
Synchronization bugs are caused by physical phenomena which
cause the actual behavior of a chip to be different than
predicted according to the functional model. Traditionally,
verification methods such as dynamic simulation and model
checking use a synchronous model, whereas the actual
behavior is according to an asynchronous model. Because of
this, synchronization bugs are very hard to trace. Using a
model checker we were able to create a model closer to the
actual behavior, and retrace many synchronization bugs.
Because model checking allows us to introduce non-
determinism when checking a VLSI design, and because of its
ability to produce counter examples for specifications that
fail, we find that model checking is the ideal tool for
reproducing synchronization bugs.
Is This Answer Correct ? | 1 Yes | 0 No |
What is system simulation?
In a reactive approach to testing when would you expect the bulk of the test design work to be begun?
what is difference between system testing and system integration testing?
Which technique can be used to achieve input and output coverage? It can be applied to human input, input via interfaces to a system, or interface parameters in integration testing.
there is a function called changevalues(x,y)inside this function x=x+y/2 y=y+x+5 end so i am calling function in one program as changevalues(y,x) what is the output if x=2 and y=10(ignore exact programatic statements) please can any one provide me answer for this immediately
What is the main objective when reviewing a software deliverable?
Send me the interview questions
Please Suggest A Test Management Tool That Helps In Collaborating With Teams Located In Various Geographic Locations.
Did you write test cases of design phase?
Hi All, I am new this site also new to testing Domain, I am BSc (CS) Student 2010 passed out. I am planning to do Testing Course, some of them suggesting QAI Certificate Course. Could any one suggest is these certificate will useful to get the Job ? or QAI sitable for whom ? Thanks Saran
how can we identify a bug is because of s/w error or OS problem?
What is a test harness?