• ETRI Journal
• /
• 제39권1호
• /
• pp.124-134
• /
• 2017

Data races are one of the most difficult types of bugs in concurrent multithreaded systems. It requires significant time and cost to accurately detect bugs in complex large-scale programs. Although many race detection techniques have been proposed by various researchers, none of them are effective in all aspects. In this paper, we compare the performance of five recent dynamic race detection techniques: FastTrack, Acculock, Multilock-HB, SimpleLock+, and causally precedes (CP) detection. We experimentally demonstrate the strengths and weaknesses of these dynamic race detection techniques in terms of their detection capability, running time, and runtime overhead using 20 benchmark programs with different characteristics. The comparison results show that the detection capability of CP detection does not differ from that of FastTrack, and that SimpleLock+ generates the lowest overhead among the hybrid detection techniques (Acculock, SimpleLock+, and Multilock-HB) for all benchmark programs. SimpleLock+ is 1.2 times slower than FastTrack on average, but misses one true data race reported from Mutilock-HB on the large-scale benchmark programs.

• Journal of Microbiology and Biotechnology
• /
• 제24권6호
• /
• pp.732-739
• /
• 2014

We describe the development of a polymerase chain reaction method for the rapid, precise, and specific detection of the Xanthomonas oryzae pv. oryzae (Xoo) K3a race, the bacterial blight pathogen of rice. The specific primer set was designed to amplify a genomic locus derived from an amplified fragment length polymorphism specific for the K3a race. The 1,024 bp amplicon was generated from the DNA of 13 isolates of Xoo K3a races out of 119 isolates of other races, pathovars, and Xanthomonas species. The assay does not require isolated bacterial cells or DNA extraction. Moreover, the pathogen was quickly detected in rice leaf 2 days after inoculation with bacteria and at a distance of 8 cm from the rice leaf 5 days later. The results suggest that this PCR-based assay will be a useful and powerful tool for the detection and identification of the Xoo K3a race in rice plants as well as for early diagnosis of infection in paddy fields.

• 한국컴퓨터정보학회논문지
• /
• 제22권11호
• /
• pp.1-7
• /
• 2017

In this paper, we introduce three monitoring filtering techniques which reduce the overheads of dynamic data race detection. It is well known that detecting data races dynamically in multi-threaded programs is quite hard and troublesome task, because the dynamic detection techniques need to monitor all execution of a multi-threaded program and to analyse every conflicting memory and thread operations in the program. Thus, the main drawback of the dynamic analysis for detecting data races is the heavy additional time and space overheads for running the program. For the practicality, we also empirically compare the efficiency of three monitoring filtering techniques. The results using OpenMP benchmarks show that the filtering techniques are practical for dynamic data race detection, since they reduce the average runtime overhead to under 10% of that of the pure detection.

• 정보처리학회논문지A
• /
• 제8A권3호
• /
• pp.253-260
• /
• 2001

공유 변수를 가지는 병렬 프로그램의 오류 수정에서 경합 탐지는 중요하다. 왜냐하면, 경합은 프로그램의 비결정적인 수행을 유발하기 때문이다. 기존에 제시된 병렬 프로그램의 오류 수정 기법인 수행중 탐지 기법은 내포된 병렬 프로그램에서 최초 경합 탐지를 보장할 수 없다. 최초 경합을 수정하면 이후에 발생하는 경합들이 나타나지 않을 수 있으므로, 최초경합의 탐지는 중요하다. 본 논문에서는 내포 병렬 루프 프로그램을 대상으로 반복 수행을 통해서 최초경합을 탐지하는 기법을 제시한다. 반복 수행의 횟수는 최악의 경우에 프로그램의 내포 깊이 만큼이며 각 수행시의 효율성은 공유변수의 개수를 V, 프로그램의 최대 병렬성을 T라 할 때, 공간 복잡도 O(VT)와 시간 복잡도 O(T)를 가지므로 기존의 수행중 탐지 기법과 동일하다. 그러므로 본 기법은 효과적이고 실용적인 오류 수정을 가능하게 한다.

• The Plant Pathology Journal
• /
• 제36권5호
• /
• pp.418-427
• /
• 2020

Xanthomonas campestris pv. campestris (Xcc), the pathogen of black rot which is the most destructive disease of Brassica vegetables throughout the world. Here, we reported two novel sequence-characterized amplified region (SCAR) markers (i.e., XccR6-60 and XccR6-67) for the detection of Xcc race 6 via re-alignment of the complete genome sequences of Xcc races/strains/pathovars. The specificity of SCAR primer sets was verified by mean of PCR amplification using the genomic DNA template of Xcc races/strains/pathovars and two other plant infecting bacterial strains. The PCR result revealed that the XccR6-60 and XccR6-67 primer sets amplified 692-bp and 917-bp DNA fragments, respectively, specifically from race 6, while no visible amplification was detected in other samples. In addition, the SCAR primers were highly sensitive and can detect from a very low concentration of genomic DNA of Xcc race 6. However, the complete genome sequence of Xcc race 6 is not yet publicly available. Therefore, the cloning and sequencing of XccR6-60 and XccR6-67 fragments from race 6 provide more evidence of the specificity of these markers. These results indicated that the newly developed SCAR markers can successfully, effectively and rapidly detect Xcc race 6 from other Xcc races/strains/pathovars as well as other plant pathogenic bacteria. This is the first report for race-specific molecular markers for Xcc race 6.

• 한국안전학회지
• /
• 제25권3호
• /
• pp.1-6
• /
• 2010

Ball bearings are one of main components that support the rotational shaft in high speed rotary machinery. So, it is very important to detect the incipient faults and fault growth of bearing since the damage and failure of bearing can cause a critical failures or accidents of machinery system. In the past, many researchers mainly performed to detect the bearing fault using traditional method such as wavelet, statistics, envelope etc in vibration signals. But study on the detection technique for bearing fault growth has a little been performed. In this paper, we verified the possibility for monitoring of fault growth and detection of fault size in bearing outer-race by using the envelope powerspectrum and probabilistic density function from measured vibration signals.

• 한국정보통신학회논문지
• /
• 제16권3호
• /
• pp.391-398
• /
• 2012

병렬 프로그램은 의도되지 않은 비결정적인 수행을 야기하므로 공유 메모리를 사용하는 병렬 프로그램에서는 경합을 탐지하는 것은 매우 중요하다. 수행 중 기법에서 경합을 탐지하기 위해서 요구되는 기억장소의 부담은 매우크다. 특히 동기화가 있는 병렬 프로그램에서 경합 탐지에 필요한 기억 공간의 문제는 더욱 심각하다. 그래서, 본 논문에서는 원시 프로그램의 시멘틱을 유지하면서 동기화를 가지는 공유 메모리 병렬 프로그램의 디버깅을 위한 루프 분리 기법을 제시한다. 이것은 동기화를 가지는 병렬 프로그램의 수행 중 경합 탐지에 필요로 하는 기억공간의 복잡성을 줄일 수 있고, 루프 분리된 프로그램을 수행 중에 감시하여 최초 경합들을 탐지할 수 있다.

• 정보보호학회논문지
• /
• 제31권4호
• /
• pp.701-713
• /
• 2021

Race Condition은 둘 이상의 프로세스가 하나의 공통 자원에 대해 입력이나 조작이 동시에 일어나 의도치 않은 결과를 가져오는 취약점이다. 해당 취약점은 서비스 거부 또는 권한 상승과 같은 문제를 초래할 수 있다. 소프트웨어에서 취약점이 발생하면 관련된 정보를 문서화하지만 종종 취약점의 발생 원인을 밝히지 않거나 소스코드를 공개하지 않는 경우가 있다. 이런 경우, 취약점을 탐지하기 위해서는 바이너리 레벨에서의 분석이 필요하다. 본 논문은 UNIX 커널기반 File System의 Time-Of-Check Time-Of-Use (TOCTOU) Race Condition 취약점을 바이너리 레벨에서 탐지하는 것을 목표로 한다. 지금까지 해당 취약점에 대해 정적/동적 분석 기법의 다양한 탐지 기법이 연구되었다. 기존의 정적 분석을 이용한 취약점 탐지 도구는 소스코드의 분석을 통해 탐지하며, 바이너리 레벨에서 수행한 연구는 현재 거의 전무하다. 본 논문은 바이너리 정적 분석 도구인 Binary Analysis Platform (BAP)를 통해 Control Flow Graph, Call Graph 기반의 File System의 TOCTOU Race Condition 탐지 방법을 제안한다.

• Journal of Advanced Marine Engineering and Technology
• /
• 제10권3호
• /
• pp.1-10
• /
• 1986

This paper describes a new, effective method developed at the National Research Council Canada for rolling element bearing incipient failure detection. This method can detect not only outer race damage, previously published, but also inner race damage with a 100% detection rate based on a sample size of 32. The prediction of the exact angular location of the damage spot along the raceway is illustrated and experimental confirmation is presented. For the first time, a statically measurable parameter for inner and outer race damage is introduced as a means of verifying other techniques which do not offer absolute proof, but resort only to "overwhelming evidence". A brief comparison with other methods such as Shock Pulse Method, Kurtosis Analysis and High Frequency Resonance Technique is presented. A computerized automatic monitoring system utilizing the new method is described and experimental results are presented.presented.

• Journal of Microbiology and Biotechnology
• /
• 제29권5호
• /
• pp.785-793
• /
• 2019

Black rot caused by Xanthomonas campestris pv. campestris (Xcc) is the most damaging disease in Brassica crops around the world. In this study, we developed a molecular marker specific to Xcc race 5. To do this, the available whole genome sequences of Xcc races/strains and Xc subspecies were aligned and identified a highly variable genomic region (XccR5-89.2). Subsequently, a primer set covering the 'XccR5-89.2' region was designed and tested against the genomic DNA of Xcc races/strains, Xc subspecies and other plant-infecting bacterial strains (Pseudomonas syringae pv. maculicola and Erwinia carotovora subsp. carotovora). The results showed that the 'XccR5-89.2' primer pair amplified a 2,172-bp fragment specific to Xcc race 5. Moreover, they also amplified a 1,515-bp fragment for Xcc race 1 and an over 3,000-bp fragment for Xcc race 3. However, they did not amplify any fragments from the remaining Xcc races/strains, subspecies or other bacterial strains. The 'XccR5-89.2' primer pair was further PCR amplified from race-unknown Xcc strains and ICMP8 was identified as race 5 among nine race-unknown Xcc strains. Further cloning and sequencing of the bands amplified from race 5 and ICMP8 with 'XccR5-89.2' primers revealed both carrying identical sequences. The results showed that the 'XccR5-89.2' marker can effectively and proficiently detect, and identify Xcc race 5 from Xcc races/strains, subspecies and other plant-infecting bacteria. To our knowledge, this is the first report for an Xcc race 5-specific molecular marker.