- 1、本文档共36页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
staticdetec.ppt
RacerX: effective, static detection of race conditions and deadlocks Dawson Engler and Ken Ashcraft Stanford University The problem. Big picture: Races and deadlocks are bad. Hard to get w/ testing: depend on low-probability events. Want to get rid of them. Main games in town have problems. Language: Mesa, Java, various type systems. Forced to use language; still have errors Tools: Dynamic (Eraserco): must execute code: no run, no bug. Static (ESC, Warlock): High annotation overhead. Static dynamic high false positive rates. RacerX: lightweight checking for big code Goal: As many bugs as possible with as little help as possible Works on real million line systems Low annotation overhead (100 lines per system) Aggressively infers checking information. Unusual techniques to reduce false positives. The RacerX experience How to use: List locking functions entry points. Small: Linux: 18 + 31, FreeBSD: 30 + 36, System X: 50 + 52 Emit trees from source code (2x cost of compile) Run RacerX over emitted trees Links all trees into global control flow graph (CFG) Checks for deadlocks races ~2-20 minutes for Linux. Post-process to rank errors (most of IQ spent here) Inspect Talk Overview Context RacerX overview Context-sensitive, flow-sensitive lockset analysis. Deadlock checking Race detection. Conclusion. Lockset analysis Lockset: set of locks currently held [Eraser] For each root, do a flow-sensitive, inter-procedural DFS traversal computing lockset at each statement Speed: If stmt s was visited before with lockset ls, stop. Inter-procedural: Routine can exit with multiple locksets: resume DFS w/ each after callsite. Record in-ls, {out-ls} in fn summary. If ls in summary, grab cached out-ls’s and skip fn body. Lockset Lockset Talk Overview Context RacerX overview Static lockset analysis Deadlock checking Race detection. Conclusion. Big picture: Deadlock detection Pass 1: constraint extraction emit 1-level locking dependencies during loc
您可能关注的文档
- PM14_0021_HL_SchoolBasedSleepProgramtoImprove:基于pm14_0021_hl_school睡眠改善方案.pdf
- PM2_5对高血脂症大鼠心血管系统的影响.pdf
- PMD110驱动器使用手册-PACEMAKER.pdf
- PNF手法治疗讲座84996.ppt
- POA改进算法在多水库梯级水电站中长期优化调度中的应用.pdf
- POCT发展现状及临床应用.pdf
- POCT方法学比较的统计意义.pdf
- POEMS综合征的临床特征及诊断.pdf
- Pointdepressedu18juin2013:新闻发布会在2013年6月18日.pdf
- PointExpansionModuleD208:点扩展模块D208.pdf
- GB/T 39560.10-2024电子电气产品中某些物质的测定 第10部分:气相色谱-质谱法(GC-MS)测定聚合物和电子件中的多环芳烃(PAHs).pdf
- 中国国家标准 GB/T 39560.10-2024电子电气产品中某些物质的测定 第10部分:气相色谱-质谱法(GC-MS)测定聚合物和电子件中的多环芳烃(PAHs).pdf
- 《GB/T 39560.10-2024电子电气产品中某些物质的测定 第10部分:气相色谱-质谱法(GC-MS)测定聚合物和电子件中的多环芳烃(PAHs)》.pdf
- GB/T 39560.302-2024电子电气产品中某些物质的测定 第3-2部分:燃烧-离子色谱法(C-IC)筛选聚合物和电子件中的氟、氯和溴.pdf
- 中国国家标准 GB/T 39560.2-2024电子电气产品中某些物质的测定 第2部分:拆解、拆分和机械制样.pdf
- 中国国家标准 GB/T 39560.302-2024电子电气产品中某些物质的测定 第3-2部分:燃烧-离子色谱法(C-IC)筛选聚合物和电子件中的氟、氯和溴.pdf
- GB/T 39560.2-2024电子电气产品中某些物质的测定 第2部分:拆解、拆分和机械制样.pdf
- 《GB/T 39560.2-2024电子电气产品中某些物质的测定 第2部分:拆解、拆分和机械制样》.pdf
- 《GB/T 39560.303-2024电子电气产品中某些物质的测定 第3-3部分:配有热裂解/热脱附的气相色谱-质谱法(Py/TD-GC-MS)筛选聚合物中的多溴联苯、多溴二苯醚和邻苯二甲酸酯》.pdf
- 中国国家标准 GB/T 39560.303-2024电子电气产品中某些物质的测定 第3-3部分:配有热裂解/热脱附的气相色谱-质谱法(Py/TD-GC-MS)筛选聚合物中的多溴联苯、多溴二苯醚和邻苯二甲酸酯.pdf
文档评论(0)