基于日志的系统任务模型推理工具及其应用.pdf

ISSN 计算机研究与发展 1000—1239／CN11-1777／TP !竺兰!呈!!竺!竺竺些!：曼!!!!坐!呈!坠兰!!呈呈竺!尘 丝些!!!呈!丝：!!!! 基于日志的系统任务模型推理工具及其应用 高崇南 余宏亮 郑纬民 (清华大学计算机科学与技术系 北京 100084) (gaochongnan@gmail．corn) A TaskModelInferenceToolandIts Log-Based Applications Gao Weimin Chongnan，YuHongliang，andZheng Scienceand 100084) (DepartmentofComputer Technology，TsinghuaUniversity，Beijing AbstractDistributedaretheenablerof Internetservices．These systems systems today’S usually involve offunctionalabstractions，andof user tiers，ahierarchy highdegreesconcurrency．A multiple is asataskinaseriesof across andthreads． stages machines，processors requestprocessed multiple thebehaviorofsuchindividualtasksthereforebecomesa since Verifying verychallengingproblem tO ofitsexecution havereconstructthetaskflow the developers bylinkingtogetherpieces throughout isa to and runtimebehavior system．Understandingsystem keyverifysystemdesigndebugsystem and worksextract runtimeascausal logic performanceproblems．Existingsystem paths，butthey eithermanualannotationor executionstructures．Manualannotationis require developer-provided tediousand toerrorwhen is andcode