42935672
Performance Measurement of Main Memory Database Recovery Algorithms Based on Update-in-Place and Shadow Approaches
The authors present a performance study of two main memory database recovery algorithms, one using a shadow approach and the other update-in-place. The results show that in main memory databases, shadow approach performs better than update-in-place. The authors introduce minor improvements to the shadow scheme and show that the modified algorithm does show further performance improvement. >
39362526
Main memory database recovery algorithms and their performance
In main memory systems recovery becomes more complex mainly due to the volatility of main memory and the elimination of the separation of data storage (disk) and data processing locations (main memory). In a disk based database system, it is the disk copy that represents the stable database restored after a system failure; but in MDBSs, the main memory copy of the database must be recovered. The paper discusses the recovery issues in MDBSs and presents a somewhat detailed performance study of two recovery algorithms, one using a shadow approach and the other update-in-place.<<ETX>>
18803353
Performance of Multiversion and Distributed Two-Phase Locking Concurrency Control Mechanisms in Distributed Databases
In this paper, we have presented a detailed simulation study of a distributed multiversion and a distributed two-phase locking concurrency control mechanism (CCM). Our experiment concentrated on measuring the effect of message overhead, read:write ratios, data partitioning, and partial replication on the performance of these mechanisms. The effect of these parameters has not been investigated in any previous work. We simultated a blind-write model for two reasons: (a) all other works studied the behavior of multiversion CCMs under read-before-write model and observed a similar result, and (b) the performance of any multiversion CCM has not been studied under a blind-write model. A blind-write model is not unrealistic, and intutively the multiversion should provide much better performance. We observed that multiversion outperforms wound-wait (WW) in both partitioned and partially replicated databases. Multi version (MV) handles read-only and write-only transactions efficiently, and after a certain write percentage the throughput improves with this percentage. The message overhead progressively becomes less significant as the MPL (multiprogramming level) increases, indicating that in a heavily loaded system the throughput is least sensitive to message cost. We found that in the partially replicated case, 50% write does not show the lowest performance, as observed in the partitioned case.
35078097
An adaptive location management algorithm for mobile computing
In mobile computing mobile hosts or mobile units move randomly from one place to another within a well-defined geographical area. This requires some mechanism for identifying the exact location of a mobile host. Such mechanisms are usually referred to as location management and is one of the essential components for supporting mobility. In the past a number of efficient location management schemes have been suggested but they lack adaptability. We believe that an adaptable location management scheme is more desirable because of frequent change in the location of mobile hosts. In this paper, we report a location management algorithm, which adapts to the constant changing scenario. Our algorithm makes use of some of the concepts of location management schemes proposed in the past.
8261257
TCOT-A Timeout-Based Mobile Transaction Commitment Protocol
We present a transaction commit protocol, "Transaction Commit On Timeout (TCOT)," based on a "timeout" approach for Mobile Database Systems (MDS), which can be universally used to reach a final transaction termination decision (e.g., commit, abort, etc.) in any message-oriented system. Particularly suited for a wireless environment, a timeout mechanism is the only way to minimize the impact of the slow and unreliable wireless link. We compare TCOT to a modified version of 2PC to show its superiority based on commit time.
18344625
Concurrent operations on extendible hashing and its performance
Extendible hashing is a dynamic data structure which accommodates expansion and contraction of any stored data efficiently. In this article, an algorithm has been developed for managing concurrent operations on extendible hashing by achieving optimal memory utilization by supporting directly expansion and contraction, page split, and merge. The results of this study have been encouraging in the sense that it seems to provide a higher degree of concurrency compared to other algorithms on an extendible hash file.
16578484
On the Complexity of Error Explanation
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in debugging the system. Error explanation is the task of discovering errors in the system or the reasons why the system exhibits the error trace. While there has been considerable recent interest in automating this task and developing tools based on different heuristics, there has been very little effort in characterizing the computational complexity of the problem of error explanation. 
 
In this paper, we study the complexity of two popular heuristics used in error explanation. The first approach tries to compute the smallest number of system changes that need to be made in order to ensure that the given counter-example is no longer exhibited, with the intuition being that these changes are the errors that need fixing. The second approach relies on the observation that differences between correct and faulty runs of a system shed considerable light on the sources of errors. In this approach, one tries to compute the correct trace of the system that is closest to the counter-example. We consider three commonly used abstractions to model programs and systems, namely, finite state Mealy machines, extended finite state machines and pushdown automata. We show that the first approach of trying to find the fewest program changes is NP-complete no matter which of the three formal models is used to represent the system. Moreover we show that no polynomial factor approximation algorithm for computing the smallest set of changes is possible, unless P = NP. For the second approach, we present a polynomial time algorithm that finds the closest correct trace, when the program is represented by a Mealy machine or a pushdown automata. When the program is represented by an extended finite state machine, the problem is once again NP-complete, and no polynomial factor approximation algorithm is likely.
38254367
Parallel formulations of decision-tree classification algorithms
Classification decision tree algorithms are used extensively for data mining in many domains such as retail target marketing, fraud detection, etc. Highly parallel algorithms for constructing classification decision trees are desirable for dealing with large data sets in reasonable amount of time. Algorithms for building classification decision trees have a natural concurrency, but are difficult to parallelize due to the inherent dynamic nature of the computation. We present parallel formulations of classification decision tree learning algorithm based on induction. We describe two basic parallel formulations. One is based on Synchronous Tree Construction Approach and the other is based on Partitioned Tree Construction Approach. We discuss the advantages and disadvantages of using these methods and propose a hybrid method that employs the good features of these methods. Experimental results on an IBM SP-2 demonstrate excellent speedups and scalability.
1176742
Dynamic role assignment for cooperative robots
Proposes a methodology for coordinating multi-robot teams in the execution of cooperative tasks. It is based on a dynamic role-assignment mechanism in which the robots assume and exchange roles during cooperation. We model the role assignment under a hybrid systems framework, using a hybrid automaton to represent roles, transitions and controllers. Using a multi-robot simulator, the methodology is demonstrated in a cooperative transportation task, in which a group of robots must find and cooperatively transport several objects scattered in the environment.
7496057
Hybrid control of formations of robots
We describe a framework for controlling a group of nonholonomic mobile robots equipped with range sensors. The vehicles are required to follow a prescribed trajectory while maintaining a desired formation. By using the leader-following approach, we formulate the formation control problem as a hybrid (mode switching) control system. We then develop a decision module that allows the robots to automatically switch between continuous-state control laws to achieve a desired formation shape. The stability properties of the closed-loop hybrid system are studied using the Lyapunov theory. We do not use explicit communication between robots; instead we integrate optimal estimation techniques with nonlinear controllers. Simulation and experimental results verify the validity of our approach.
26367203
Control of a single robot in a decentralized multi-robot system
In a decentralized multi-robot system, each robot is controlled by an independent controller and the information obtained by each robot through its proprioceptive sensing devices is not shared with other robots. If the coordination of multiple robots in a cooperative manipulation task is to be accomplished, each robot must be able to exhibit controlled interaction with other robots and objects with minimal information. In this paper, the authors address the problem of maintaining rolling contact between a robot arm and an external, moving object. The authors assume that a nominal model of the motion of the moving object is available. The dynamic system that characterizes the motion of the robot arm and the moving object is acatastatic and nonholonomic. The authors design a nonlinear feedback for such a system that successfully maintains rolling contact. Simulation results are presented to demonstrate the effectiveness of the system.<<ETX>>