On the Reliability of the IBM MVS/XA Operating System

Mourad, S.; Andrews, Dorothy

doi:10.1109/tse.1987.232855

Cited by 55 publications

(34 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The study validated a loadhazard model. Mourad [11] conducted a study on the IBM MVS/XA operating system and found that error distribution is heavily dependent on the type of system utilization. Meyer [10] looked at the impact of workload on the computer system dependability.…”

Section: Related Workmentioning

confidence: 99%

Failure data analysis of a large-scale heterogeneous server environment

Sahoo

Squillante

Sivasubramaniam

et al. 2004

International Conference on Dependable Systems and Networks, 2004

185

126

View full text Add to dashboard Cite

show abstract

Section: Related Workmentioning

confidence: 99%

Failure data analysis of a large-scale heterogeneous server environment

Sahoo

Squillante

Sivasubramaniam

et al. 2004

International Conference on Dependable Systems and Networks, 2004

185

126

View full text Add to dashboard Cite

show abstract

“…several studies [1,37,39] have examined system logs to identify causal events that lead to failures. Correlation between the workload intensity and the failure rate in real systems has been pointed out in many studies [5,23,25,19,3].…”

Section: Related Workmentioning

confidence: 99%

Quantifying event correlations for proactive failure management in networked computing systems

2010

Journal of Parallel and Distributed Computing

View full text Add to dashboard Cite

“…Non-generic data structure repair is not new, classic examples include the IBM MVS/XA operating system [11].…”

Section: Related Workmentioning

confidence: 99%

Dynamic symbolic data structure repair

Hussain

Csallner

2010

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2

View full text Add to dashboard Cite

Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assertions. But in practice there is a wide variety of assertions and not all of them satisfy the style rules imposed by existing repair techniques. I.e., a "badly" written assertion may render generic repair inefficient or ineffective. In this paper we build on the state of the art in generic repair and discuss how generic repair can work effectively with a wider range of correctness conditions.We motivate how dynamic symbolic techniques enable generic repair to support a wider range of correctness conditions and present DSDSR, a novel repair algorithm based on dynamic symbolic execution. We implement the algorithm for Java and report initial empirical results to demonstrate the promise of our approach for generic repair.

show abstract

On the Reliability of the IBM MVS/XA Operating System

Cited by 55 publications

References 3 publications

Failure data analysis of a large-scale heterogeneous server environment

Failure data analysis of a large-scale heterogeneous server environment

Quantifying event correlations for proactive failure management in networked computing systems

Dynamic symbolic data structure repair

Contact Info

Product

Resources

About