What is CERN? General overview of CERN What is LHC? The LHC accelerator and LHC challenges
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
130 -
download
0
Transcript of Using Model Checking to Analyze the System Behavior of the LHC Production Grid
![Page 1: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/1.jpg)
Daniela Remenska, Tim Willemse, Jeff Templon , Kees Verstoep , Wan Fokkink and Henri Bal
CCGrid, May 2012
![Page 2: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/2.jpg)
![Page 3: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/3.jpg)
![Page 4: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/4.jpg)
![Page 5: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/5.jpg)
![Page 6: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/6.jpg)
![Page 7: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/7.jpg)
![Page 8: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/8.jpg)
Management of: JobsData transfersRecall from tapeProduction workflowsetc.
![Page 9: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/9.jpg)
![Page 10: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/10.jpg)
![Page 11: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/11.jpg)
STAGING TASK workflow:
Entities get into inconsistent stateTasks become stuck, cannot make progressJobs fail and then continue magically
![Page 12: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/12.jpg)
![Page 13: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/13.jpg)
![Page 14: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/14.jpg)
![Page 15: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/15.jpg)
![Page 16: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/16.jpg)
![Page 17: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/17.jpg)
![Page 18: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/18.jpg)
![Page 19: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/19.jpg)
![Page 20: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/20.jpg)
![Page 21: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/21.jpg)
![Page 22: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/22.jpg)
![Page 23: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/23.jpg)
![Page 24: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/24.jpg)
![Page 25: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/25.jpg)
![Page 26: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/26.jpg)
![Page 27: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/27.jpg)
![Page 28: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/28.jpg)
![Page 29: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/29.jpg)
![Page 30: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/30.jpg)
![Page 31: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/31.jpg)
![Page 32: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/32.jpg)
![Page 33: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/33.jpg)
![Page 34: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/34.jpg)
![Page 35: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/35.jpg)
![Page 36: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/36.jpg)
![Page 37: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/37.jpg)
![Page 38: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/38.jpg)
![Page 39: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/39.jpg)
![Page 40: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/40.jpg)
![Page 41: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/41.jpg)
![Page 42: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/42.jpg)
![Page 43: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/43.jpg)
![Page 44: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/44.jpg)
Failed
Running
Done
![Page 45: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/45.jpg)
![Page 46: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/46.jpg)
![Page 47: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/47.jpg)
![Page 48: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/48.jpg)
![Page 49: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/49.jpg)
![Page 50: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/50.jpg)
![Page 51: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/51.jpg)
![Page 52: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/52.jpg)
![Page 53: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/53.jpg)
![Page 54: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/54.jpg)
![Page 55: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/55.jpg)
![Page 56: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/56.jpg)
![Page 57: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/57.jpg)
![Page 58: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/58.jpg)
![Page 59: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/59.jpg)
![Page 60: Using Model Checking to Analyze the System Behavior of the LHC Production Grid](https://reader034.fdocuments.us/reader034/viewer/2022052508/55a04cd41a28ab190b8b4851/html5/thumbnails/60.jpg)