@inproceedings{0a390642f4f047e5a7bebdef5209a8b2,
title = "Static Identifying of Synchronization Faults in Dynamic-Multithreaded Applications",
abstract = "As the 32-bit operating systems become the industrial standard, multithread programming is getting popular. One of the challenges to analyzing large and dynamic multithread applications is detect faults of synchronization among threads. We introduce the occupancies on Win32 synchronization objects and study the mutually dependent relations among the occupancies (MDO) as the patterns of synchronization faults. Based on the Petri net we then propose a static individual/combined analyses technique to identify MDOs.",
keywords = "Petri net, Win32-based multithreading, mutually dependent occupancies, occupancy, well-behaved thread",
author = "Yigang Chen and Tsai, \{W. T.\} and J. Liu and Weiwen Xie",
note = "Publisher Copyright: {\textcopyright} 13th International Conference on Computers and Their Applications 1998, CATA 1998. All rights reserved.; 13th International Conference on Computers and Their Applications, CATA 1998 ; Conference date: 25-03-1998 Through 27-03-1998",
year = "1998",
language = "英语",
series = "13th International Conference on Computers and Their Applications 1998, CATA 1998",
publisher = "The International Society for Computers and Their Applications (ISCA)",
pages = "34--37",
editor = "Debnath, \{Narayan C.\}",
booktitle = "13th International Conference on Computers and Their Applications 1998, CATA 1998",
}