Search

Your search keyword '"Nair, Sreeja"' showing total 338 results
Start Over Author "Nair, Sreeja"
338 results on '"Nair, Sreeja"'

7. A coordination-free, convergent, and safe replicated tree

Author

Nair, Sreeja, Meirim, Filipe, Pereira, Mário, Ferreira, Carla, and Shapiro, Marc

Subjects
Computer Science - Distributed, Parallel, and Cluster Computing
Abstract

The tree is an essential data structure in many applications. In a distributed application, such as a distributed file system, the tree is replicated.To improve performance and availability, different clients should be able to update their replicas concurrently and without coordination. Such concurrent updates converge if the effects commute, but nonetheless, concurrent moves can lead to incorrect states and even data loss. Such a severe issue cannot be ignored; ultimately, only one of the conflicting moves may be allowed to take effect. However, as it is rare, a solution should be lightweight. Previous approaches would require preventative cross-replica coordination, or totally order move operations after-the-fact, requiring roll-back and compensation operations. In this paper, we present a novel replicated tree that supports coordination-free concurrent atomic moves, and provably maintains the tree invariant. Our analysis identifies cases where concurrent moves are inherently safe, and we devise a lightweight, coordination-free, rollback-free algorithm for the remaining cases, such that a maximal safe subset of moves takes effect. We present a detailed analysis of the concurrency issues with trees, justifying our replicated tree data structure. We provide mechanized proof that the data structure is convergent and maintains the tree invariant. Finally, we compare the response time and availability of our design against the literature.

Published
2021

9. Introduction

Author

Nair, Sreeja, Varma, Navarun, Nair, Sreeja, editor, and Varma, Navarun, editor

Published
2022
Full Text
View/download PDF

10. Invariant Safety for Distributed Applications

Author

Nair, Sreeja, Petri, Gustavo, and Shapiro, Marc

Subjects
Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Databases, Computer Science - Formal Languages and Automata Theory
Abstract

We study a proof methodology for verifying the safety of data invariants of highly-available distributed applications that replicate state. The proof is (1) modular: one can reason about each individual operation separately, and (2) sequential: one can reason about a distributed application as if it were sequential. We automate the methodology and illustrate the use of the tool with a representative example., Comment: Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019, Dresden, Germany. https://novasys.di.fct.unl.pt/conferences/papoc19/

Published
2019

12. List of contributors

Author

Alaswad, Saleh O., primary, Amirthalingam, Sivashanmugam, additional, Ammanath, Aparna Viswanathan, additional, Aneesh, T.P., additional, Anil, Sukumaran, additional, Anishma, Payyappilliparambil Narayanan, additional, Arjun, B., additional, Arunachalam, Prabhakarn, additional, Asthana, Amit, additional, Aswathy, K.N., additional, Athira, K.V., additional, Banerjee, Superna, additional, Benny, Sonu, additional, Bhaskar, Vaishnav, additional, Bhatnagar, Ira, additional, Chacko, Indhu Annie, additional, David, Nancy, additional, Devan, Aswathy R., additional, Goli, Sowjanya, additional, Hafsa, P.V., additional, Hwang, Nathaniel S., additional, Jayakumar, Rangasamy, additional, Jayasree, Anjana, additional, Jose, Anju, additional, Krishnendu, P.R., additional, Kumar, Vrinda S., additional, Mathew, Aparna Ann, additional, Mathew, Ligin, additional, Mohanan, Dhilin Pathayappurakkal, additional, Mohapathra, Sudeshna, additional, Mudrakola, Durga Prasad, additional, Murali, Vishnu Priya, additional, Murugan, Sesha Subramanian, additional, Muthuswamy, Shiva, additional, Nair, Aathira Sujathan, additional, Nair, Bhagyalakshmi, additional, Nair, Sreeja C., additional, Natesan, Subramanian, additional, Nath, Lekshmi R., additional, A.S., Niharika, additional, Panonnummal, Rajitha, additional, Pappachen, Leena K., additional, Pavithra, S., additional, Prabaharan, M., additional, Raj, N. Mincy, additional, Rajendran, Arun Kumar, additional, Ravichandiran, Velayutham, additional, M., Sabitha, additional, Sadanandan, Prashant, additional, Sah, Sunil Kumar, additional, Sapa, Harika, additional, Sathianarayanan, S., additional, Sathya Seeli, D., additional, Selvaprithiviraj, Vignesh, additional, Seong, Gi Hun, additional, Sreeja, V., additional, Sudha, P.N., additional, Sudheesh, M.S., additional, Thekkila-Veedu, Saranya, additional, Thomas, Jolly, additional, Thomas, Mathai, additional, Turagam, Neeraja, additional, Venkatesan, Jayachandran, additional, Vishnu, V.R., additional, Viswanad, Vidya, additional, Yegappan, Ramanathan, additional, and Zachariah, S.M., additional

Published
2023
Full Text
View/download PDF

13. A Heterophily-Based Polarization Measure for Multi-community Networks

Author

Nair, Sreeja, Iamnitchi, Adriana, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Hopfgartner, Frank, editor, Jaidka, Kokil, editor, Mayr, Philipp, editor, Jose, Joemon, editor, and Breitsohl, Jan, editor

Published
2022
Full Text
View/download PDF

16. Improving the 'Correct Eventual Consistency' Tool

Author

Nair, Sreeja and Shapiro, Marc

Subjects
Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Software Engineering
Abstract

Preserving invariants while designing distributed applications under weak consistency models is difficult. The CEC (Correct Eventual Consistency Tool) is meant to aid the application designer in this task. It provides information about the errors during concurrent operations and suggestions on how and where to synchronize operations. This report presents two features of the tool: providing a counterexample for debugging and concurrency control suggestions.

Published
2018

26. Proving the Safety of Highly-Available Distributed Objects

Author

Nair, Sreeja S., Petri, Gustavo, Shapiro, Marc, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Müller, Peter, editor

Published
2020
Full Text
View/download PDF

35. Principles of Peace through Effective Transaction

Author

Nath, Baiju K. and Nair, Sreeja S.

Abstract

It is necessary that children are taught pedagogy of peace that includes recognition and rejection of violence, understanding of differences through dialogue, critical awareness of injustice, social justice and imaginative understanding of peace. The prime responsibility of a teacher is to help students to become good human beings, motivated to fulfill their true potential for their own benefit as well as for the betterment of the society as a whole. An attempt is made here to introduce new longitudinal and durable ideas for education for peace, by suggesting a mandatory peace curriculum. Developing capabilities for peace through broad based education involves behavioral, cognitive, spiritual and attitudinal components. Discourses of empathy and reconciliation in curriculum and pedagogy are critical components of reformation of peace education goals. Emphasizing on critical thinking, problem solving, language and life skills as well as open mindedness, expressiveness, peacefulness, flexibility and sensitivity towards various global issues provide comprehensiveness to peace education. Various strategies recommended are integration of theory and practice to the potential of practical programmes, offering courses in peace and security studies, developing a relevant pedagogy for peace practitioners in higher education setting, collective varieties and deeply rooted historical memories and societal beliefs, art-making activities, employing think-aloud strategies and mind\body oriented methods, setting up solidarity camps etc. are suggested.

Published
2009

Catalog

Books, media, physical & digital resources
See catalog results