SYSC-3303-10-ConcurrentV&V

SYSC-3303-10-ConcurrentV&V - SYSC 3303 RealTime...

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon
SYSC 3303 Real Time Programming Verification and Validation of Concurrent Systems
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
oncurrent ebugging and Testing Concurrent Debugging and Testing ebugging Helmbold, ACM Computing Surveys, Volume 1 Issue 4 (December 1989) 21, Issue 4 (December 1989) http://portal.acm.org/citation.cfm?doid=76894.76897 sting Concurrent Programs Brian Goetz Testing Concurrent Programs, Brian Goetz, September 2006. ttp:// ww theserverside com/tt/articles/content http://www.theserverside.com/tt/articles/content /TestingConcurrent/article.html 2/26/2009 SYSC 3303 Winter 2009 C. Schramm 2
Background image of page 2
ain Problems Main Problems Increased Complexity quential Debugging plus Race conditions critical sections Sequential Debugging plus . . Race conditions, critical sections, deadlocks, livelocks, starvation, missed events Non Repeatability Sequential Execution: Deterministic Given same inputs, will generate same outputs Concurrent Execution: Probabilistic Give same inputs–in different order , may give different outputs Probe Effect (Observer Effect) Heisenberg’s Principle (The Self Measurement Principle): General: For pairs of conjugate (related) variables, the measurement of one variable disturbs the other variable Concurrency: Observing the state of the system may change it. Global Clock Synchronization
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 4
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 12

SYSC-3303-10-ConcurrentV&V - SYSC 3303 RealTime...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online