Weak Serializable Concurrency Control in Distributed Real-Time Database Systems

Most of the proposed concurrency control protocols for real time database systems are based on serializability theorem. Owing to the unique characteristics of real time database applications and the importance of satisfying the timing constraints of transactions, serializability is too strong as a correctness criterion and not suitable for real time databases in most cases. On the other hand, relaxed serializability including epsilon serializability and similarity serializability can allow more real time transactions to satisfy their timing constraints, but database consistency may be sacrificed to some extent. We thus propose the use of weak serializability(WSR) that is more relaxed than conflicting serializability while database consistency is maintained. In this paper, we first formally define the new notion of correctness called weak serializability. After the necessary and sufficient conditions for weak serializability are shown, corresponding concurrency control protocol WDHP(weak serializable distributed high priority protocol) is outlined for distributed real time databases, where a new lock mode called mask lock mode is proposed for simplifying the condition of global consistency. Finally, through a series of simulation studies, it is shown that using the new concurrency control protocol the performance of distributed real time databases can be greatly improved.

SeisGuard: A Software Platform to Establish Automatically an Earthquake Forecasting Model

SeisGuard, a system for analyzing earthquake precursory data, is a software platform to search for earthquake precursory information by processing geophysical data from different sources to establish automatically an earthquake forecasting model. The main function of this system is to analyze and process the deformation, fluid, electromagnetic and other geophysical field observing data from ground-based observation, as well as space-based observation. Combined station and earthquake distributions, geological structure and other information, this system can provide a basic software platform for earthquake forecasting research based on spatiotemporal fusion. The hierarchical station tree for data sifting and the interaction mode have been innovatively developed in this SeisGuard system to improve users’ working efficiency. The data storage framework designed according to the characteristics of different time series can unify the interfaces of different data sources, provide the support of data flow, simplify the management and usage of data, and provide foundation for analysis of big data. The final aim of this development is to establish an effective earthquake forecasting model combined all available information from ground-based observations to space-based observations.