Re: Martian Rover Spirit's mulitasking software reset.

[Martin Dowie <martin.dowie@afraidof.co.uk>]

ME wrote:
> The mars rover Spirit suffered a software reset as a result of a 
> multitasking problem.
> 
> "The apparent cause was that the rover's central processing unit was 
> overworked as several tasks were running in parallel at the time."
> 
>  
> 
> The rover uses VX works and I believe C. Testing obviously did not catch 
> this fault. Would the use of Ada  made any difference?
> 

My understanding is that there was a "priority inverstion", so had they 
used "pragma Locking_Policy (Ceiling_Locking);" (RM  D.3 Priority 
Ceiling Locking) then the problem could have been avioded.

Of course, they might not have used it even if they were using Ada. :-)
Cheers
-- Martin