SALSA: Analyzing Logs as StAte Machines
نویسندگان
چکیده
SALSA examines system logs to derive state-machine views of the sytem’s execution, along with controlflow, data-flow models and related statistics. Exploiting SALSA’s derived views and statistics, we can effectively construct higher-level useful analyses. We demonstrate SALSA’s approach by analyzing system logs generated in a Hadoop cluster, and then illustrate SALSA’s value by developing visualization and failure-diagnosis techniques, for three different Hadoop workloads, based on our derived state-machine views and statistics.
منابع مشابه
SALSA: Analyzing Logs as StAte Machines (CMU-PDL-08-111)
SALSA examines system logs to derive state-machine views of the sytem’s execution, along with control-flow, data-flow models and related statistics. Exploiting SALSA’s derived views and statistics, we can effectively construct higher-level useful analyses. We demonstrate SALSA’s approach by analyzing system logs generated in a Hadoop cluster, and then illustrate SALSA’s value by developing visu...
متن کاملSalsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking In Proc. Tools and Algorithms for the Construction and Analysis of Systems
Salsa is an invariant checker for speci cations in SAL (the SCR Abstract Language). To establish a formula as an invariant without any user guidance Salsa carries out an induction proof that utilizes tightly integrated decision procedures, currently a combination of BDD algorithms and a constraint solver for integer linear arithmetic, for discharging the veri cation conditions. The user interfa...
متن کاملStudying empirical correlation between drilling specific energy and geo-mechanical parameters in an oil field in SW Iran
Multiplicity of the effective factors in drilling reflects the complexity of the interaction between rock mass and drilling bit, which is followed by the dependence of parameters and non-linear relationships between them. Rock mass or, in other words, the formation intended for drilling, as the drilling environment, plays a very essential role in the drilling speed, depreciation of drilling bit...
متن کاملSalsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking
Salsa is an invariant checker for speci cations in SAL (the SCR Abstract Language). To establish a formula as an invariant without any user guidance Salsa carries out an induction proof that utilizes tightly integrated decision procedures, currently a combination of BDD algorithms and a constraint solver for integer linear arithmetic, for discharging the veri cation conditions. The user interfa...
متن کاملAnalysis of Agent-Based Systems Using Decision Procedures
In recent years, model checking has emerged as a remarkably eeective technique for the automated analysis of descriptions of hardware systems and communication protocols. To analyze software system descriptions, however, a direct application of model checking rarely succeeds 1, 3], since these descriptions often have huge (often innnite) state spaces which are not amenable to the nite-state met...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008