Anna Kobusinska - Academia.edu (original) (raw)
Papers by Anna Kobusinska
Wireless Communications and Mobile Computing
2015 IEEE 18th International Conference on Computational Science and Engineering, 2015
Parallel and Distributed Computing and Networks, 2006
In the mobile environment, weak consistency replication of shared data is the key to obtaining hi... more In the mobile environment, weak consistency replication of shared data is the key to obtaining high data availability, good access performance, and good scalability. Therefore new class of consistency models, called session guarantees, recommended for mobile environment, has been introduced. Session guarantees, called also client-centric consistency models, have been proposed to define required properties of the system regarding consistency from the client's point of view. Unfortunately, none of proposed consistency protocols providing session guarantees is resistant to server failures. Therefore, in this paper checkpointing and rollbackrecovery protocol rVsMW, which preserves Monotonic Writes session guarantee is presented. The recovery protocol is integrated with the underlying consistency protocol by integrating operations of taking checkpoints with coherence operations of VsSG protocol.
... Springer-Verlag, Berlin, 2006 3. R. Guerraoui, L. Rodrigues, Reliable Distributed Programming... more ... Springer-Verlag, Berlin, 2006 3. R. Guerraoui, L. Rodrigues, Reliable Distributed Programming, Springer Verlag, Berlin, 2006 4. KM Chandy, J. Misra, Parallel Program Design, A ... różnic pomiędzy poszczególnymi komputerami – różnic pomiędzy poszczególnymi komputerami ...
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006
In the mobile environment, weak consistency replication of shared data is the key to obtaining hi... more In the mobile environment, weak consistency replication of shared data is the key to obtaining high data availability, good access performance, and good scalability. Therefore new class of consistency models, called session guarantees, recommended for mobile environment, has been introduced. Session guarantees, called also client-centric consistency models, have been proposed to define required properties of the system regarding consistency from the client's point of view. Unfortunately, none of proposed consistency protocols providing session guarantees is resistant to server failures. Therefore, in this paper checkpointing and rollbackrecovery protocol rVsMW, which preserves Monotonic Writes session guarantee is presented. The recovery protocol is integrated with the underlying consistency protocol by integrating operations of taking checkpoints with coherence operations of VsSG protocol.
IISA 2014, The 5th International Conference on Information, Intelligence, Systems and Applications, 2014
ABSTRACT Nowadays, one of the major paradigms of distributed processing is service-oriented compu... more ABSTRACT Nowadays, one of the major paradigms of distributed processing is service-oriented computing. Although SOA-based applications have many advantages, they are also highly error-prone. To improve the availability and reliability of SOA-based systems and applications, a Reliable Service Environment RESERVE, providing an external support of web services recovery has been proposed. In this paper we focus on RESTful web services, based on Representational State Transfer (REST) paradigm, and propose the enhancement of RESERVE service that allows to decrease the overhead introduced by RESERVE due to taking advantage of REST characteristics.
Lecture Notes in Computer Science, 2006
This paper describes a checkpointing mechanism destined for Distributed Shared Memory (DSM) syste... more This paper describes a checkpointing mechanism destined for Distributed Shared Memory (DSM) systems with speculative prefetching. Speculation is a general technique involving prediction of the future of a computation, namely accesses to shared objects unavailable on the accessing node (read faults). Thanks to such predictions objects can be fetched before the actual access operation is performed, resulting, at least potentially, in considerable performance improvement. The proposed mechanism is based on independent checkpointing integrated with a coherence protocol for a given consistency model introducing little overhead. It ensures the consistency of checkpoints, allowing fast recovery from failures.
Foundations of Computing and Decision Sciences, 2013
This paper addresses a problem of increasing fault-tolerance of serviceoriented systems built of ... more This paper addresses a problem of increasing fault-tolerance of serviceoriented systems built of RESTful web services. To solve such a problem, rollbackrecovery protocol is proposed. The protocol employs known rollback-recovery techniques, however, it modies and specially adjusts them for specic characteristics of the SOA systems. The paper includes a proof of safety property of the proposed protocol.
ABSTRACT In this paper checkpointing and rollback-recovery protocol rVsMW for mobile systems is p... more ABSTRACT In this paper checkpointing and rollback-recovery protocol rVsMW for mobile systems is presented. The protocol preserves Monotonic Writes session guarantee required by clients, despite failures of servers. The costs of rollback-recovery are minimized, by exploiting semantics of operations and properties ofMW guarantee. The proof of safety property of rVsMW is included. Keywordsrollback-recovery-safety-mobile systems-Monotonic Writes session guarantee
Lecture Notes in Computer Science, 2011
Lecture Notes in Computer Science, 2014
Lecture Notes in Computer Science, 2007
ABSTRACT
Lecture Notes in Computer Science, 2006
This paper addresses a problem of integrating the consistency management of session guarantees wi... more This paper addresses a problem of integrating the consistency management of session guarantees with recovery mechanisms in distributed mobile systems. To solve such a problem, rollback-recovery protocol rVsSG, preserving session guarantees is proposed. The protocol employs known rollback-recovery techniques, however, while applying them, the semantics of session guarantees is taken into account. Consequently, rVsSG protocol is optimized with respect to
Lecture Notes in Computer Science, 2006
ABSTRACT In this paper checkpointing and rollback-recovery protocol rVsMW for mobile systems is p... more ABSTRACT In this paper checkpointing and rollback-recovery protocol rVsMW for mobile systems is presented. The protocol preserves Monotonic Writes session guarantee required by clients, despite failures of servers. The costs of rollback-recovery are minimized, by exploiting semantics of operations and properties ofMW guarantee. The proof of safety property of rVsMW is included. Keywordsrollback-recovery-safety-mobile systems-Monotonic Writes session guarantee
Lecture Notes in Computer Science, 2011
An efficient business process execution and management are crucial for using a Service Oriented A... more An efficient business process execution and management are crucial for using a Service Oriented Architectures (SOA). Despite there are many applications offering such a functionality for Big Web Services, there is a lack of easy-to-use and well defined tools supporting the alternative approach, called ROA and RESTful Web-Services. In this paper the business process engine implementing a declarative business process
2014 IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Wireless Communications and Mobile Computing
2015 IEEE 18th International Conference on Computational Science and Engineering, 2015
Parallel and Distributed Computing and Networks, 2006
In the mobile environment, weak consistency replication of shared data is the key to obtaining hi... more In the mobile environment, weak consistency replication of shared data is the key to obtaining high data availability, good access performance, and good scalability. Therefore new class of consistency models, called session guarantees, recommended for mobile environment, has been introduced. Session guarantees, called also client-centric consistency models, have been proposed to define required properties of the system regarding consistency from the client's point of view. Unfortunately, none of proposed consistency protocols providing session guarantees is resistant to server failures. Therefore, in this paper checkpointing and rollbackrecovery protocol rVsMW, which preserves Monotonic Writes session guarantee is presented. The recovery protocol is integrated with the underlying consistency protocol by integrating operations of taking checkpoints with coherence operations of VsSG protocol.
... Springer-Verlag, Berlin, 2006 3. R. Guerraoui, L. Rodrigues, Reliable Distributed Programming... more ... Springer-Verlag, Berlin, 2006 3. R. Guerraoui, L. Rodrigues, Reliable Distributed Programming, Springer Verlag, Berlin, 2006 4. KM Chandy, J. Misra, Parallel Program Design, A ... różnic pomiędzy poszczególnymi komputerami – różnic pomiędzy poszczególnymi komputerami ...
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006
In the mobile environment, weak consistency replication of shared data is the key to obtaining hi... more In the mobile environment, weak consistency replication of shared data is the key to obtaining high data availability, good access performance, and good scalability. Therefore new class of consistency models, called session guarantees, recommended for mobile environment, has been introduced. Session guarantees, called also client-centric consistency models, have been proposed to define required properties of the system regarding consistency from the client's point of view. Unfortunately, none of proposed consistency protocols providing session guarantees is resistant to server failures. Therefore, in this paper checkpointing and rollbackrecovery protocol rVsMW, which preserves Monotonic Writes session guarantee is presented. The recovery protocol is integrated with the underlying consistency protocol by integrating operations of taking checkpoints with coherence operations of VsSG protocol.
IISA 2014, The 5th International Conference on Information, Intelligence, Systems and Applications, 2014
ABSTRACT Nowadays, one of the major paradigms of distributed processing is service-oriented compu... more ABSTRACT Nowadays, one of the major paradigms of distributed processing is service-oriented computing. Although SOA-based applications have many advantages, they are also highly error-prone. To improve the availability and reliability of SOA-based systems and applications, a Reliable Service Environment RESERVE, providing an external support of web services recovery has been proposed. In this paper we focus on RESTful web services, based on Representational State Transfer (REST) paradigm, and propose the enhancement of RESERVE service that allows to decrease the overhead introduced by RESERVE due to taking advantage of REST characteristics.
Lecture Notes in Computer Science, 2006
This paper describes a checkpointing mechanism destined for Distributed Shared Memory (DSM) syste... more This paper describes a checkpointing mechanism destined for Distributed Shared Memory (DSM) systems with speculative prefetching. Speculation is a general technique involving prediction of the future of a computation, namely accesses to shared objects unavailable on the accessing node (read faults). Thanks to such predictions objects can be fetched before the actual access operation is performed, resulting, at least potentially, in considerable performance improvement. The proposed mechanism is based on independent checkpointing integrated with a coherence protocol for a given consistency model introducing little overhead. It ensures the consistency of checkpoints, allowing fast recovery from failures.
Foundations of Computing and Decision Sciences, 2013
This paper addresses a problem of increasing fault-tolerance of serviceoriented systems built of ... more This paper addresses a problem of increasing fault-tolerance of serviceoriented systems built of RESTful web services. To solve such a problem, rollbackrecovery protocol is proposed. The protocol employs known rollback-recovery techniques, however, it modies and specially adjusts them for specic characteristics of the SOA systems. The paper includes a proof of safety property of the proposed protocol.
ABSTRACT In this paper checkpointing and rollback-recovery protocol rVsMW for mobile systems is p... more ABSTRACT In this paper checkpointing and rollback-recovery protocol rVsMW for mobile systems is presented. The protocol preserves Monotonic Writes session guarantee required by clients, despite failures of servers. The costs of rollback-recovery are minimized, by exploiting semantics of operations and properties ofMW guarantee. The proof of safety property of rVsMW is included. Keywordsrollback-recovery-safety-mobile systems-Monotonic Writes session guarantee
Lecture Notes in Computer Science, 2011
Lecture Notes in Computer Science, 2014
Lecture Notes in Computer Science, 2007
ABSTRACT
Lecture Notes in Computer Science, 2006
This paper addresses a problem of integrating the consistency management of session guarantees wi... more This paper addresses a problem of integrating the consistency management of session guarantees with recovery mechanisms in distributed mobile systems. To solve such a problem, rollback-recovery protocol rVsSG, preserving session guarantees is proposed. The protocol employs known rollback-recovery techniques, however, while applying them, the semantics of session guarantees is taken into account. Consequently, rVsSG protocol is optimized with respect to
Lecture Notes in Computer Science, 2006
ABSTRACT In this paper checkpointing and rollback-recovery protocol rVsMW for mobile systems is p... more ABSTRACT In this paper checkpointing and rollback-recovery protocol rVsMW for mobile systems is presented. The protocol preserves Monotonic Writes session guarantee required by clients, despite failures of servers. The costs of rollback-recovery are minimized, by exploiting semantics of operations and properties ofMW guarantee. The proof of safety property of rVsMW is included. Keywordsrollback-recovery-safety-mobile systems-Monotonic Writes session guarantee
Lecture Notes in Computer Science, 2011
An efficient business process execution and management are crucial for using a Service Oriented A... more An efficient business process execution and management are crucial for using a Service Oriented Architectures (SOA). Despite there are many applications offering such a functionality for Big Web Services, there is a lack of easy-to-use and well defined tools supporting the alternative approach, called ROA and RESTful Web-Services. In this paper the business process engine implementing a declarative business process
2014 IEEE International Symposium on Software Reliability Engineering Workshops, 2014