Many software systems today are concurrent programs as multi-core pro-cessors become popular. However, the correctness of an industrial-size concur-rent program (e.g. operating system) is difficult to achieve by the traditional testing or model checking technique. In this research, we propose a light-weight concurrency bug detection technique based on bug pattern matching targeting for Linux kernel source code. In order to understand concurrency bugs (e.g. deadlock, data race), we first survey the previously reported bugs detected from Linux file systems, and then classify the bugs with respect to the five attributes: symptom, fault, resolution, synchronization primitives, and syn-chronization granularity. Second, we identify ten concurrenc...