Arkadiusz Danilecki

  • Citations Per Year
Learn 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(More)
Well defined business processes are a crucial success factor for deploying SOA/SOKU architectures. In this paper, the declarative business process description language—ROsWeL—which supports applications compatible with ROA, is discussed. ROsWeL provides a declarative, reliable and semi-automatic composition of RESTful web services, enriched by the knowledge(More)
Ensuring replicable execution of distributed computation has many possible applications in areas of fault-tolerance, debugging, and state-machine based replication. We design a message-passing algorithm which forces a deterministic behavior for a subset of piecewise-deterministic applications. The main principle of the algorithm is to affix each message(More)
This paper discusses a way of incorporating speculation techniques into Distributed Shared Memory (DSM) systems with checkpointing mechanism without creating unnecessary checkpoints. 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).(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(More)
D-ReServE increases reliability of SOA-based systems in case of failure occurrence. The fault-tolerant information in D-ReServE is stored in the Stable Storage, which available space depletes with time. Thus, in this paper we propose a garbage collection protocol for D-ReServE that allows the periodic purging of the Stable Storage, and discuss the(More)