Re: Parallelism

[Florian Weimer <fw () deneb enyo de>]

* Dave Aitel:

> And also "Parallel exceptions in LINQ are non-deterministic"! Imagine
> the hilarious security side effects from these sorts of half-backed
> parallel solutions.

SQL and Haskell are both non-deterministic in their execution behavior,
so the exact exceptions you get are not predictable if a
query/evaluation results in multiple errors.  So there's at least some
precedent that this does not lead to totally unmanageable problems.  And
due to the unfixed argument evaluation order, C++ exceptions aren't
deterministic, either.  Heck, even Ada has truly non-deterministic
exceptions.  For instance, in

  A (1) := 1;
  A (2) := 2; -- assume that this raises Constraint_Error

the bounds check can be performed for both statements, and
Constraint_Error can be raised *before* the first array element is
assigned.  But hardly anybody would notice this because Ada folks seem
to compile most of their code with bounds checking turned off anyway
(even those who don't need to eliminate dead code to meet certification
requirements).
_______________________________________________
Dailydave mailing list
Dailydave () lists immunitysec com
http://lists.immunitysec.com/mailman/listinfo/dailydave