using model checking to analyze the system behavior of the lhc production grid
TRANSCRIPT
Daniela Remenska, Tim Willemse, Jeff Templon , Kees Verstoep , Wan Fokkink and Henri Bal
CCGrid, May 2012
Management of: JobsData transfersRecall from tapeProduction workflowsetc.
STAGING TASK workflow:
Entities get into inconsistent stateTasks become stuck, cannot make progressJobs fail and then continue magically
Failed
Running
Done