Interested to Buy Any Domain ? << Click Here >> for more details...
what r transaction synchronistion
bugs
- 1 Answers
- 4433 Views
- TCS, I also Faced
- E-Mail Answers
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 |
Can anyone tell me is there any cirtification in Testing like we have SUN cirtification in java,if yes then from where i can get it & which institute offer those cirtification & what is he process
How to test documents in a project that span across the software development lifecycle?
What is class level methods?
What is test plan and explain its contents?
what is the actual time to stop testing a product.
Which one of the following is used as a tool for tracking an SQA project? 1. Pareto chart 2. PERT chart 3. Run chart 4. Control chart 5. Cause and effect chart
What is equivalence partitioning testing?
what is the goal of system testing?
9 Answers MBT, Mind Q Systems,
Why is incremental integration preferred over 'big bang' integration?
What is functional specification?
What is api (application programming interface)?
As part of which test process do you determine the exit criteria?
Automation Testing 
