Using Model Checking to Analyze the System Behavior of the LHC Production Grid
60
Daniela Remenska , Tim Willemse, Jeff Templon , Kees Verstoep , Wan Fokkink and Henri Bal CCGrid, May 2012
-
Upload
daniela-remenska -
Category
Technology
-
view
132 -
download
0
Transcript of Using Model Checking to Analyze the System Behavior of the LHC Production Grid
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