免费论文摘要：并发步调缺点的机动调节和测试本领

跟着处置洪量数据的计划机集群的普遍，鉴于动静传播的并发步调获得越来越多的运用。跟着多核硬件的普遍，在互联网络、数据库等范围， 为了处置高并发量的考察等，鉴于共享变量的并发步调也获得了普遍的运用。怎样灵验的尝试、调节和测试那些并发步调中的缺点变成一个接洽的热门。在鉴于动静传播的并发步调上面，现有的调节和测试本领不过大略地搜集步调实行消息，而后运用那些消息来扶助定位。 然而那些本领没能提出一个一致的框架来引导调节和测试进程，并从而试验使调节和测试进程机动化。在鉴于共享变量的并发步调上面，现有的本领大概不许透彻定位到并发缺点场所，大概不许给出并发缺点的基础因为。 同声那些本领给出的灵验消息太少，并不许灵验地扶助步调员领会并发缺点。对准那些题目，舆论做出了以次奉献：1. 舆论给出了鉴于同步动静传播的并发步调调节和测试的语义框架。该框架包括一个蹑踪进程和一个定位进程。蹑踪进程运转缺点尝试用例，经过一定的数据构造来搜集关系的实行消息。定位进程运用搜集到的消息上溯地定位缺点的语句，并天生一个表征缺点的定位方程，而后经过求解定位方程来试验建设缺点。 按照蹑踪进程和定位进程的功效，舆论辨别给出了这两个进程的构造操纵语义。2. 舆论提出了经过求解方程组来机动定位并发步调缺点地区的本领。该本领包括三步，辨别是搜集实行消息，天生定位方程组，定位缺点地区。舆论开始给出了搜集实行消息和天生定位方程组进程的操纵语义；而后给出了定位缺点地区的算法，而且证领会算法不妨获得一个跟用户憧憬违反的步调缺点片断；结果给出了一个交互式定位缺点的过程，即经过交互来连接地减少缺点片断。3. 舆论对准鉴于共享变量的并发缺点难于透彻定位和难于领会的近况，提出了一个鉴于边标志通讯图的本领来透彻定位和扶助领会并发缺点。 该本领开始对缺点的外存考察对运用统计本领来透彻排序；而后对定位出的外存考察对，鉴于简直的步调实行，探求并发缺点的基础因为，即缺点形式； 结果，对给定的缺点形式，给出一个实行场景来展现并发缺点是怎样触发的，进而扶助领会并发缺点。鉴于该本领， 舆论实行了原形东西Lucon，试验截止表白Lucon不妨透彻定位到并发缺点的基础因为，同声Lucon的输入消息也简直不妨扶助步调员领会缺点。

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/282259.html