Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadlock, absent from sequential programs. Unfortunately, traditional race and deadlock detection techniques fail on both large programs and small programs with complex behaviors.In this paper, we present a compositional deadlock detection technique for a concurrent language-SHIM-in which tasks run asynchronously and communicate using synchronous CSP-style rendezvous. Although SHIM guarantees the absence of data races, a SHIM program may still deadlock if the communication protocol is violated. Our previous work used NuSMV, a symbolic model checker, to detect deadlock in a SHIM program, but it did not scale well with the size of the problem. In this work, we take an incremental, divide-and-conquer approach to deadlock detection.In practice, we find our procedure is faster and uses less memory than the existing technique, especially on large programs, making our algorithm a practical part of the compilation chain.
Bacterial canker of kiwifruit (Actinidia chinensis) has become one of the most serious factors that limit the cultivation of kiwifruit in Sichuan, China. Therefore, it is urgent to develop a rapid and precise method to detect the disease at its early infection stage. A 1300 bp specific fragment of pathogenic bacteria was obtained by random amplified polymorphic DNA (RAPD) analysis. This fragment was cloned and sequenced. Based on the sequences of the specific fragment, a pair of specific primers(F7'/R7')that generated 994 bp single fragment only from the strains of Pseudomonas syringae pv. actinidiae were designed and synthesized. Then, for the detection of diseased kiwifruit trunk tissues collected from orchard and inoculated kiwifruit trunk tissues, the result indicated that the genomic DNA of P. syringae pv. actinidiae can be detected by the specific primers. The sensitivity of the primer set for genomic DNA of P. syringae pv. actinidiae was 100 fg µl -1 . Compared with the designed primers with four pairs of published primers. The comparison concluded that only the primers designed in this study was specific to detect bacterial canker of kiwifruit in Sichuan. The result of this experiment showed that the designed and synthesized specific primers F7'/R7' made it possible to diagnose the kiwifruit canker rapidly and precisely at its early infection stage.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.