High availability in the real-time publisher/subscriber inter-process communication model

Author(s):  
R. Rajkumar ◽  
M. Gagliardi
2007 ◽  
Vol 22 (3) ◽  
pp. 1411-1423 ◽  
Author(s):  
Cagil R. Ozansoy ◽  
Aladin Zayegh ◽  
Akhtar Kalam

2014 ◽  
Vol 577 ◽  
pp. 865-872
Author(s):  
Jun Yi Li ◽  
Yi Zhang ◽  
Ren Fa Li

The Real-time system estimates the worst-case execution time (WCET) of the program to ensure the real-time requirements of the system. In this paper, a test method based on Associative Process Communication (APC) is put forward. First it tests the WCET value of basic blocks of ICFG through the use of APC algorithm, and then estimates the WCET by analyzing the worst execution path of the basic block. APC test method tests all benchmarks of Mälardalen. And the test results show that the proposed test method is precise and effective, and the test error is within the theoretical analysis.


Author(s):  
Hariharasudhan V. ◽  
Vetrivelan P*

Creation and maintaining of the one-to-one communication link between the nodes in Vehicular Adhoc Networks are challenging. The model which is very much efficient for one particular scenario will not work at the same level of efficiency for another environment. The mobility of the nodes in the network plays a crucial role in establishing a reliable communication model in the VANETs. Analyzing the nature of mobility inside a particular network based on logical and historical data paves an efficient way in the routing of packets by predicting the best route and improve the quality of the network, reliability, and other performance in terms of serviceability. This paper aims to analyze the drawbacks of existing mobility models utilizing various network quality parameters by classifying them into microscopic and macroscopic mobility models. With the insight gained from the analysis, we propose two methodologies where the realistic model for the VANETs can be established. The models are architected with the help of the information provided by the Geographic information system. The conventional mobility models include excessive details such as road and street layouts, intersection with traffic signals, acceleration and deceleration, building, and other obstacles in a realistic mobility model, that requires prolonged time to design and optimize, it should complicate the simulation. Designing an effective, realistic mobility model is crucial. The key objectives of this proposal are to architect realistic VANETs mobility models by taking into account the real-time road environment and actual data according to the traffic demand and improving the real-time performance of VANETs


2013 ◽  
Vol 694-697 ◽  
pp. 2223-2227
Author(s):  
Yu Qiang Li ◽  
Kai Xue ◽  
Hai Feng Wang

This paper proposes a kind of design and realization method of real time control system that based on the Windows real time extension module RTX, which can meet the requirement of six-freedom Stewart platform control system to the real time. The design of the control system was divided into real-time layer and non-real-time layer according to the requirements of various functions to the real-time, and the data communication was realized by means of inter-process communication mechanism. The analysis conclusion to experiments data indicates that the control system is stable in operation and good in real-time performance.


1998 ◽  
Vol 08 (04) ◽  
pp. 589-598 ◽  
Author(s):  
Vicent Cholvi

Shared memory is a mechanism used for inter-process communication in distributed systems which is considered a feasible alternative to the traditional communication model. However, most of the work on shared memory has not paid enough attention to the way memory operations behave, leading to some degree of confusion. In this paper, we describe a framework for specifying the behavior of memory operations. That framework has been used to formally specify some of the most significant memory models. In this framework, to characterize a memory model it is enough to specify the executions that it allows. We use a dual approach. First, we provide axiomatic definitions of those memory models; then, we provide operational ones. Whereas axiomatic definitions are simple and intuitive, operational definitions are more convenient for being used in correctness proofs. We show that both approaches are equivalent.


2021 ◽  
Vol 15 (1) ◽  
pp. 21-30
Author(s):  
Athinagoras Skiadopoulos ◽  
Qian Li ◽  
Peter Kraft ◽  
Kostis Kaffes ◽  
Daniel Hong ◽  
...  

This paper lays out the rationale for building a completely new operating system (OS) stack. Rather than build on a single node OS together with separate cluster schedulers, distributed filesystems, and network managers, we argue that a distributed transactional DBMS should be the basis for a scalable cluster OS. We show herein that such a database OS (DBOS) can do scheduling, file management, and inter-process communication with competitive performance to existing systems. In addition, significantly better analytics can be provided as well as a dramatic reduction in code complexity through implementing OS services as standard database queries, while implementing low-latency transactions and high availability only once.


Sign in / Sign up

Export Citation Format

Share Document