The Experts below are selected from a list of 51 Experts worldwide ranked by ideXlab platform
K. Vidyasankar - One of the best experts on this subject based on the ideXlab platform.
-
Weak Atomicity: A helpful notion in the construction of Atomic shared Variables
Sadhana, 1996Co-Authors: K. VidyasankarAbstract:A new class of 1-writer shared Variables, called weakly Atomic Variables, is defined, and an elegant general method of constructing Atomic Variables from weakly Atomic ones is presented in this paper. Four examples of Atomic Variable constructions that use this method are described. Two of these constructions are new. Weak Atomicity provides an intermediate step between regularity and Atomicity. In addition to enabling new constructions, this concept helps to derive simple correctness proofs of the constructions.
-
Simple extensions of 1-writer Atomic Variable constructions to multiwriter ones
Acta Informatica, 1996Co-Authors: S. Haldar, K. VidyasankarAbstract:We present several simple wait-free constructions of multiwriter multireader multivalued Atomic shared Variables. These are extensions of two 1-writer constructions in the literature and use a multiwriter multireader fixed-valued Atomic Variable. All the constructions are intuitive, and their correctness proofs are short and easy to follow. Some constructions are conflictfree , that is, in each execution, no reading of a buffer overlaps with any writing of that buffer. All the conflict-free constructions have the property that there is only one reading of a buffer in a read execution. Some of them have the additional property that there is only one writing of a 1-reader buffer, for each reader, in a write execution.
-
Weak Atomicity: A helpful notion in the construction of Atomic shared Variables
Sadhana, 1996Co-Authors: K. VidyasankarAbstract:A new class of 1-writer shared Variables, calledweakly Atomic Variables, is defined, and an elegant general method of constructing Atomic Variables from weakly Atomic ones is presented in this paper. Four examples of Atomic Variable constructions that use this method are described. Two of these constructions are new.
-
Constructing 1-writer multireader multivalued Atomic Variables from regular Variables
Journal of the ACM, 1995Co-Authors: S. Haldar, K. VidyasankarAbstract:A simple wait-free construction of 1-writer multireader multivalued Atomic Variable from multireader regular Variables is presented in this paper. A key point of the construction is the use of an elegant forwarding technique to overcome the new-old inversion property inherent in regular Variables. Another construction, using a different forwarding technique, is also given. This technique is a refinement of one proposed in the literature. Formal correctness proofs for both the constructions are short and easy to follow.
-
Counterexamples to a one writer multireader Atomic Variable construction of Burns and Peterson
ACM SIGOPS Operating Systems Review, 1992Co-Authors: S. Halder, K. VidyasankarAbstract:Two counterexamples are given to the one writer multireader multivalued Atomic Variable construction of Burns and Peterson [1]. The first counterexample is applicable even if the control Variables in their construction are made Atomic.
S. Haldar - One of the best experts on this subject based on the ideXlab platform.
-
Simple extensions of 1-writer Atomic Variable constructions to multiwriter ones
Acta Informatica, 1996Co-Authors: S. Haldar, K. VidyasankarAbstract:We present several simple wait-free constructions of multiwriter multireader multivalued Atomic shared Variables. These are extensions of two 1-writer constructions in the literature and use a multiwriter multireader fixed-valued Atomic Variable. All the constructions are intuitive, and their correctness proofs are short and easy to follow. Some constructions are conflictfree , that is, in each execution, no reading of a buffer overlaps with any writing of that buffer. All the conflict-free constructions have the property that there is only one reading of a buffer in a read execution. Some of them have the additional property that there is only one writing of a 1-reader buffer, for each reader, in a write execution.
-
Constructing 1-writer multireader multivalued Atomic Variables from regular Variables
Journal of the ACM, 1995Co-Authors: S. Haldar, K. VidyasankarAbstract:A simple wait-free construction of 1-writer multireader multivalued Atomic Variable from multireader regular Variables is presented in this paper. A key point of the construction is the use of an elegant forwarding technique to overcome the new-old inversion property inherent in regular Variables. Another construction, using a different forwarding technique, is also given. This technique is a refinement of one proposed in the literature. Formal correctness proofs for both the constructions are short and easy to follow.
-
space optimum conflict free construction of 1 writer 1 reader multivalued Atomic Variable
International Workshop on Distributed Algorithms, 1994Co-Authors: S. Haldar, P S SubramanianAbstract:A buffer-based shared Variable construction is conflict-free if, in each execution of the shared Variable, no reading of any buffer overlaps with a writing of that buffer. This paper presents a conflict-free construction of a 1-writer 1-reader multivalued Atomic shared Variable from four safe buffers and four additional safe bits. It is also shown that the construction is space optimum.
-
WDAG - Space-optimum Conflict-free Construction of 1-Writer 1-Reader Multivalued Atomic Variable
Distributed Algorithms, 1994Co-Authors: S. Haldar, P S SubramanianAbstract:A buffer-based shared Variable construction is conflict-free if, in each execution of the shared Variable, no reading of any buffer overlaps with a writing of that buffer. This paper presents a conflict-free construction of a 1-writer 1-reader multivalued Atomic shared Variable from four safe buffers and four additional safe bits. It is also shown that the construction is space optimum.
P S Subramanian - One of the best experts on this subject based on the ideXlab platform.
-
space optimum conflict free construction of 1 writer 1 reader multivalued Atomic Variable
International Workshop on Distributed Algorithms, 1994Co-Authors: S. Haldar, P S SubramanianAbstract:A buffer-based shared Variable construction is conflict-free if, in each execution of the shared Variable, no reading of any buffer overlaps with a writing of that buffer. This paper presents a conflict-free construction of a 1-writer 1-reader multivalued Atomic shared Variable from four safe buffers and four additional safe bits. It is also shown that the construction is space optimum.
-
WDAG - Space-optimum Conflict-free Construction of 1-Writer 1-Reader Multivalued Atomic Variable
Distributed Algorithms, 1994Co-Authors: S. Haldar, P S SubramanianAbstract:A buffer-based shared Variable construction is conflict-free if, in each execution of the shared Variable, no reading of any buffer overlaps with a writing of that buffer. This paper presents a conflict-free construction of a 1-writer 1-reader multivalued Atomic shared Variable from four safe buffers and four additional safe bits. It is also shown that the construction is space optimum.
A.-s. F. Obada - One of the best experts on this subject based on the ideXlab platform.
-
Time-Dependent Interaction Between a Two-Level Atom and N Two-Level Atoms in Terms of su(2) Lie Algebra
Journal of Russian Laser Research, 2017Co-Authors: M. Sebawe Abdalla, E. M. Khalil, A.-s. F. ObadaAbstract:We transform the nonlinear interaction between a two-level atom and two-mode fields in a frequencyconverter-type device into an inactivation governed by su (2) Lie algebra operators with phase and coupling depending on time. Under an integrability condition that relates them, we obtain a solution to the wave function. We investigate the effects of the functional dependence of the coupling and the initial state of the two-level atom on Atomic inversion, entanglement, Atomic Variable, and entropy squeezing, as well as the autocorrelation function. The different changes for each of these phenomena are noted and displayed.
-
Dynamics of a three level atom interacting with a detuned SU (1,1) quantum system
The European Physical Journal D, 2013Co-Authors: M. M. A. Ahmed, M. Sebawe Abdalla, E. M. Khalil, A.-s. F. ObadaAbstract:Starting from the interaction between a 3-level atom in the cascade configuration with an SU(1, 1) quantum system, an effective Hamiltonian for a 2-level atom with the presence of a Stark shift structure is obtained under large detuning and adiabatic elimination. The evolution operator for the new system is obtained and expectation values for different dynamical observables are obtained taking the initial state of the SU(1, 1) system to be a Perelomov coherent state and a superposition state for the 2-level atom. Atomic inversion, Atomic Variable squeezing and degree of entanglement are investigated for various values of the involved parameters. The effect of the Stark shift parameters is displayed in these phenomena.
S. Halder - One of the best experts on this subject based on the ideXlab platform.
-
Counterexamples to a one writer multireader Atomic Variable construction of Burns and Peterson
ACM SIGOPS Operating Systems Review, 1992Co-Authors: S. Halder, K. VidyasankarAbstract:Two counterexamples are given to the one writer multireader multivalued Atomic Variable construction of Burns and Peterson [1]. The first counterexample is applicable even if the control Variables in their construction are made Atomic.