Can a multi-threaded program ever be deterministic?

by

Knowing the algorithm will not actually allow you to predict what will happen when. All kinds of delays that happen in the execution of a program or thread are dependent on environmental conditions such as: available memory, swapping, incoming interrupts, other busy tasks, etc.

If you were to map your multi-threaded program to a sequential execution, and your threads in themselves behave deterministically, then your whole program could be deterministic and ‘concurrency’ issues could be made reproducible. Of course, at that point they would not be concurrency issues any more.

If you would like to learn more, http://en.wikipedia.org/wiki/Process_calculus is very interesting reading.

More Related Contents:

  1. What is the difference between a process and a thread?
  2. What is the difference between concurrency, parallelism and asynchronous methods?
  3. Multi-threading in VBA
  4. What is a mutex?
  5. Is this an idiomatic worker thread pool in Go?
  6. Recursive Lock (Mutex) vs Non-Recursive Lock (Mutex)
  7. How to avoid Not on FX application thread; currentThread = JavaFX Application Thread error?
  8. What will be used for data exchange between threads are executing on one Core with HT?
  9. Atomic UPDATE .. SELECT in Postgres
  10. Can Selenium use multi threading in one browser?
  11. Thread context switch Vs. process context switch
  12. Is NodeJS really Single-Threaded?
  13. Which would be better for concurrent tasks on node.js? Fibers? Web-workers? or Threads?
  14. How to make Qt work when main thread is busy?
  15. Difference between the TPL & async/await (Thread handling)
  16. Doxygen is Slow
  17. Running two threads at the same time
  18. Workaround for ncurses multi-thread read and write
  19. Multithreading: What is the point of more threads than cores?
  20. Does multithreading make sense for IO-bound operations?
  21. How efficient is locking and unlocked mutex? What is the cost of a mutex?
  22. Multithreaded & SIMD vectorized Mandelbrot in R using Rcpp & OpenMP
  23. How does x86 pause instruction work in spinlock *and* can it be used in other scenarios?
  24. “Collection was mutated while being enumerated” on executeFetchRequest
  25. Spring @Async limit number of threads
  26. Does an asynchronous call always create/call a new thread?
  27. Is it better to use TThread’s “Synchronize” or use Window Messages for IPC between main and child thread?
  28. Can we have race conditions in a single-thread program?
  29. Does multi-threading improve performance? How?
  30. Simple Deadlock Examples

Leave a Comment