Hidden Markov model for multi-thread programs time sequence analysis

Ruan Jian Xue Bao/Journal of Software

Volumn 21, Issue 3, 2010, Pages 461-472

  Kong, De Guang ^a   Tan, Xiao Bin ^a   Xi, Hong Sheng ^a   Shuai, Jian Mei ^a   Gong, Tao ^a  

^a UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA   (China)

Author keywords

Data race; Hidden Markov model; Multi thread; Sequence

Indexed keywords

BAUM-WELCH; DATA RACE; DATA RACES; FORWARDING ALGORITHMS; HMM MODELS; MULTI-THREAD; MULTITHREAD PROGRAMS; RUNNING PROCESS; TIME SEQUENCE ANALYSIS; TIME SEQUENCES;

HIDDEN MARKOV MODELS; PROBABILITY DISTRIBUTIONS; RANDOM PROCESSES; RANDOM VARIABLES;

UNCERTAINTY ANALYSIS;

EID: 77951021801     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.3724/SP.J.1001.2010.03521     Document Type: Article

References (21)

1. Netzer RHB, Miller BP. What are race conditions-Some Issues and Formalization. ACM Letters on Programming Languages and Systems, 1992, 1(1): 74-88.
2. Carr S, Mayo J, Shene CK. Race conditions: A case study. The Journal of Computing in Small College, 2001, 1: 88-102.
3. Choi JD, Loginov A, Sarkar V. Static datarace analysis for multithreaded object-oriented programs. Report, RC 22146, IBM Research, 2001.
4. Landi W, Undecidability of static analysis. ACM Letters on Programming Languages and Systems (LOPLAS), 1992, 1(4): 323-337.
5. JProbe suite. 2007. http://www.componentsource.com/products/jprobe-suite/index.html
6. Koushik S, Rosu G, Agha G. Online efficient predictive safety analysis of multithreaded programs. In: Proc. of the 10th Int'l Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). LNCS 2988, 2004. 123-138. http://www.springerlink.com/content/8b3typ69rv1mce7u/
7. Rosu G, Koushik S. An instrumentation technique for online analysis of multithreaded programs. Concurrency and Computation: Practice and Experience, 2006, 19(3): 311-325.
8. Koushik S, Rosu G, Agha G. Runtime safety analysis of multithreaded programs. In: Proc. of the 9th European Software Engineering Conf. and 11th ACM SIGSOFT Int'l Symp. on the Foundations of Software Engineering (ESEC/FSE 2003). 2003. 337-346. http://portal.acm.org/citation.cfm?id= 940071.940116 & coll=GUIDE & dl= GUIDE & CFID=72158575 & CFTOKEN=48265571
9. Engler D, Musuvathi M. Static analysis versus software model checking for bug finding. In: Proc. of the 5th Int'l Conf. on Verification. LNCS 2937, Berlin, Heidelberg: Springer-Verlag, 2004. 191-210.
10. Koushik S, Viswanathan M. Model checking multithreaded programs with asynchronous atomic methods. LNCS 4144, Berlin, Heidelberg: Springer-Verlag, 2006. 300-314.
11. Rmalin G, Context-Sensitive synchronization-sensitive analysis is undecidable. ACM Trans. on Programming Languages and Systems (TOPLAS), 2000, 22(2): 416-430.
12. Rinard MC. Analysis of multithreaded programs. Lecture Notes in Computer Science 2126, Berlin, Heidelberg: Springer-Verlag, 2001. 1-19.
13. Savage S, Burrows M, Nelson G, Sobalvarro P, Anderson TE. Eraser: A dynamic data race detector for multi-threaded programs. ACM Trans. on Computer Systems, 1997, 15(4): 391-411.
14. Schonberg E. On-the-Fly detection of access anomalies. In: Proc. of the ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI). ACM Press, 1991. 285-297. http://portal.acm.org/citation.cfm?id=74818.74844
15. Wang LQ, Stoller SD. Runtime analysis of atomicity for multi-threaded programs. IEEE Trans. on Software Engineering, 2006, 32(2): 93-110.
16. Wang LQ. Analysis of synchronization errors for multithreaded programs [Ph.D. Thesis]. New York: Stony Brook University, 2006.
17. Wu P, Chen YY, Zhang J. Static data-race detection for multithread programs. Journal of Computer Research and Development, 2006, 43(2): 329-335 (in Chinese with English abstract).
18. Rabiner L. A tutorial on hidden Markov models and selected applications in speech recognition. Proc. of the IEEE, 1989, 77(2): 257-286.
19. Li XL, Plamon R. Training hidden Markov models with multiple observations-A combinatorial method. IEEE Trans. on Pattern Analysis and Machine Intelligence, 2000, 22(4): 371-377.
20. Gao DB, Reiter MK, Song D. Behavioral distance measurement using hidden Markov models. In: Proc. of the 9th Int'l Symp. on Recent Advances in Intrusion Detection (RAID 2006). 2006. 19-40. http://www.springerlink.com/content/cr2425318t240n4l/
21. Tan XB, Wang WP, Xi HS, Yin BQ. A hidden Markov model used in intrusion detection. Journal of Computer Research and Development, 2003, 40(2): 245-250 (in Chinese with English abstract).