| 
|
Quote: threaded programs are extremely difficult to prove equivalent; due to the enormous number of possible interleavings
Topic:
proving concurrent programs
Group:
parallel processing
Quotation Skeleton
From a fundamental perspective, threads are seriously flawed … We now get to the core appeal that … if the [computational] sequence halts, then the function … can be compared and be found equivalent if … We lose these essential and appealing properties of … The enormous number of possible interleavings makes it … no useful theory of equivalence can be applied … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: proving concurrent programs (37 items)
Group: parallel processing (41 topics, 1125 quotes)