基于时间自动机的不同时间模型无死锁双向并发缓冲系统
Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata
摘要：
双向缓冲系统是一种同时使用两个缓冲器进行数据传输的系统。它包括同步以彼此交换数据的进程，以及在这些同步之间执行某些延迟。在现有的微型双向缓冲系统中，两个发生器都以半双工的方式在不确定时间、确定时间和非确定时间产生分组。对上述时间期权模型的分析导致了模型陷入死锁。如果模型中的计时以替代方式合并，则模型可以摆脱死锁。发生器在10秒的延迟后产生数据包。然而，发生器1具有5秒的初始移位，之后它开始每10秒发送一个分组。因此，发生器1的初始延迟为15秒，发生器2的初始延迟为10秒。由于这种初始移位，两个生成器交替地产生数据包，并且由于数据包不在同一时刻相遇，因此没有死锁。此外，现有的系统模型不是并发的，因此在每次迭代中需要更多的时间来进行分组传输。本文提出了一种缓冲系统的模型，它利用一个附加的虚拟缓冲区来传输数据包，从而用各种时间模型如无时间、确定性时间和非确定性时间来检验该模型。在上述时间模型下，所提出的模型的结果都处于死锁状态。我们通过在系统的各个缓冲区中引入适当的延迟来实现无死锁的情况，延迟时间是不确定的。新的方法加快了数据包的传输速度，因此数据的传输变得并发，无死锁，因此所提出的模型是时间有效的。仿真结果表明，提出的双向缓冲系统是完全并发和时间效率相比，现有的缓冲系统。
英文摘要：
Two way buffer system is a system that exhibits transfer of data using two buffers concurrently. It includes processes that synchronize to exchange data with each other along with executing certain delays between these synchronizations. In existing Tiny Two Way Buffer System, both generators produce packets in half duplex manner in no time, deterministic time, and non deterministic time. Analysis of the model for above time options leads the model in deadlock. The model can be out of the deadlock if timings in the model is incorporated in alternative fashion. The generators produce packets after a delay of 10 seconds. However, generator one has an initial shift of 5 seconds after which it begins sending a packet every 10 seconds. Hence, initial delay for generator one is 15 seconds and for generator two it is 10 seconds. Due to this initial shift, both generators produce packets alternatively and is deadlock free as the packets do not meet at the same time instant. Moreover, the existing system model is not concurrent and hence takes more time for packet transfer in every iteration. In this paper we have proposed a model of buffer system using an additional dummy buffer for transfer of data packets, we thus checking the model with various time models as no time, deterministic time and non deterministic time. The results of proposed model under above time models are in deadlock. We achieve deadlock free situation by introducing appropriate delay in various buffers of the proposed system, the delay timing is nondeterministic time. The new approach speeds up the transfer of packets, as a result the transfer of data becomes concurrent, deadlock free and hence the model proposed is time efficient. Simulation results shows that the proposed two way buffer system is fully concurrent and time efficient as compared to the existing buffer system.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
