39597503
Dynamic Load Sharing in Distributed Database Systems
31591898
Scanning the issue - special issue on real-time systems
30590203
Efficient State-Saving Architectures for Power-Mode Switching
Time and energy is expended in switching between power modes (e.g., active, hibernate, sleep, etc.). Powering off cache is one major reason for this. When there is a switch in the power-mode involving cache power-off, the system spends time and energy in filling the cache with new data (inherent cache misses). In our technique, before powering off the cache, we save its state in Embedded DRAM and bring it back when the previous power mode is restored. Our experiments have showed that in a majority of cases the cache contents are too valuable to be erased. By saving the contents we can reduce switching speed and energy. We present a heuristic to save the most relevant cache contents so that power and delay overheads are minimized. To measure the area overhead a synthesizable VHDL model was designed.
40618061
Transaction Recovery in Distributed DB/DC Systems: A Progressive Approach
920212
Resource scheduling in dependable integrated modular avionics
In the recent development of avionics systems, integrated modular avionics (IMA) is advocated for next generation architecture that needs integration of mixed criticality real-time applications. These integrated applications meet their own timing constraints while sharing avionics computer resources. To guarantee timing constraints and dependability of each application, an IMA-based system is equipped with the schemes for spatial and temporal partitioning. We refer the model as SP-RTS (strongly partitioned real-time system), which deals with processor partitions and communication channels as its basic scheduling entities. This paper presents a partition and channel-scheduling algorithm for the SP-RTS. The basic idea of the algorithm is to use a two-level hierarchical schedule that activates partitions (or channels) following a distance-constraints guaranteed cyclic schedule and then dispatches tasks (or messages) according to a fixed priority schedule. To enhance schedulability, we devised heuristic algorithms for deadline decomposition and channel combining. The simulation results show the schedulability analysis of the two-level scheduling algorithm and the beneficial characteristics of the proposed deadline decomposition and channel combining algorithms.
10753893
Evaluation of Error Recovery Blocks Used for Cooperating Processes
Three alternatives for implementing recovery blocks (RB's) are conceivable for backward error recovery in concurrent processing. These are the asynchronous, synchronous, and the pseudorecovery point implementations. Asynchronous RB's are based on the concept of maximum autonomy in each of concurrent processes. Consequently, establishment of RB's in a process is made independently of others and unbounded rollback propagations become a serious problem. In order to completely avoid unbounded rollback propagations, it is necessary to synchronize the establishment of recovery blocks in all cooperating processes. Process autonomy is sacrificed and processes are forced to wait for commitments from others to establish a recovery line, leading to inefficiency in time utilization. As a compromise between asynchronous and synchronous RB's we propose to insert pseudorecovery points (PRP's) so that unbounded rollback propagations may be avoided while maintaining process autonomy. We developed probabilistic models for analyzing these three methods under standard assumptions in computer performance analysis, i.e., exponential distributions for related random variables. With these models we have estimated 1) the interval between two successive recovery lines for asynchronous RB's, 2) mean loss in computation power for the synchronized method, and 3) additional overhead and rollback distance in case PRP's are used.
206593703
A Method for Deciding Quantization Steps in QIM Watermarking Schemes
In this paper, we propose a method for enlarging quantization steps of a QIM watermarking scheme which determines the perceptual quality and robustness of the watermarked images. In general, increasing the quantization steps leads to good robustness but poor perceptual quality of watermarked images and vice versa. However, if we choose the quantization steps considering the expected quantization results as well as the original images, we can increase both robustness and perceptual quality of the watermarked images.
9854601
An effective recovery under fuzzy checkpointing in main memory databases
Abstract In main memory databases, fuzzy checkpointing gives less transaction overhead due to its asynchronous backup feature. However, till now, fuzzy checkpointing has considered only physical logging schemes. The size of the physical log records is very large, and hence it incurs space and recovery processing overhead. In this paper, we propose a recovery method based on a hybrid logging scheme, which permits logical logging under fuzzy checkpointing. The proposed method significantly reduces the size of log data, and hence offers faster recovery processing than other conventional fuzzy checkpointing with physical logging.
14456420
A replica control method for improving availability for read-only transactions
Data replication is often considered in distributed database systems to enhance availability and performance. The benefit of data replication, however can only be realized at the cost of maintaining the consistency of data. In particular, network partition failures make it more difficult to achieve high data availability while ensuring strong correctness criteria such as l-copy serializability. We propose a replica control method to improve the availability of data in the presence of network partition failures. Our method extends the traditional primary copy method by using the relaxed correctness criterion called insular consistency for large-scale distributed systems, where partition failures frequently occur. We focus on increasing the availability of data for read-only transactions. We introduce a version vector as a tool for guaranteeing insular consistency and present a mechanism that allows read-only transactions to be executed at any partition as long as the insular consistency is satisfied. An asynchronous update propagation mechanism is also employed to improve the performance of update operations. We also show that the proposed method is correct and give some performance considerations.
7326399
A Scalable Update Management Mechanism for Query Result Caching Systems at Database-Driven Web Sites
A key problem in using caching technology for dynamic contents lies in update management. An update management scheme should be very efficient without imposing much extra burden to the system, especially to the original database server. We propose an scalable update management mechanism for query result caching in database-backed Web sites. Our mechanism employs a two-phase consistency checking method, which prunes out unaffected queries at the earliest possible moment. The method scales well with a high number of cached instances.
8831551
A per-object based hybrid concurrency control
Existing concurrency control algorithms do not conform well to various environments in the performance perspective. Each algorithm has some assumption on the conflict characteristic of its execution environment, and its performance degrades when the assumption fails. A per-object hybrid scheme integrating a two phase locking algorithm with a parallel validation technique is presented to solve this problem. Read and write accesses on each database object are controlled by one algorithm at a time. This controlling algorithm can alter while transactions are running, in order to enhance the overall system performance. In the simulation study, the proposed scheme with the proposed algorithm alteration strategy is shown to conform well to various execution environments, better than both the two phase locking algorithm and the parallel validation technique.