Best-effort hardware transactional memory (HTM) allows complex operations to execute atomically and in parallel, so long as hardware buffers do not overflow, and conflicts are not encountered with concurrent operations. We describe a programming technique and compiler support to reduce both overflow and conflict rates by partitioning common operations into readmostly (planning) and write-mostly...

We designed, constructed and have been operating a system based on single-crystal synthetic diamond sensors, to monitor the beam losses at interaction region of SuperKEKB asymmetric-energy electron-positron collider. The records radiation dose-rates in positions close inner detectors Belle II experiment, protects both detector accelerator components against destructive losses, by participating ...

  Background: The prevalence of hip dysplasia is 1 in 1000. Several pelvic osteotomy methods have been developed to prevent early osteoarthritis, such as triple osteotomy. In this study we are going to introduce our new technique that was done on 4 patients with favorable short-term results.   Methods: Four patients underwent triple osteotomy and fixation using a reconstruction plate and early ...

In this paper, we present a mechanism to specify and to validate consistency constraints in object oriented databases. Constraints are speciied using pre and post-conditions associated with an exception handling mechanism. During transaction run-time, we treat exceptions corresponding to errors (in this case, we use immediate exceptions which are processed immediately) or presumption of errors ...

B2B applications require coordination of distributed services according to specific workflow policies. A major challenge with B2B applications is implementing a dynamic change to an active workflow policy. When dynamically changing a policy, active workflow instances that are in progress must be transitioned to the new policy in a dependable manner. To avoid undesirable side effects of the chan...

Priority atomic multicast (i.e., total-order multicast) is a message delivery service that allows an application to prioritize the delivery of certain messages over others, while keeping the regular total order properties. Such a service can be used by applications of different types. As an example, such a prioritybased message delivery service can be used by a replication middleware to reduce ...

Several recent on-orbit autonomous docking missions have experienced serious failures requiring immediate safing action. The future of autonomous spacecraft rendezvous will depend on the ability of docking algorithms to effectively handle off-nominal situations resulting from anomalous system behaviors. This paper presents a method for online generation of actively safe fuel-optimized rendezvou...

The “intelligent adaptive participant’s presumption protocol” (iAP 3 ) is an integrated atomic commit protocol. It interoperates implicit yes-vote, which is a one-phase commit protocol, besides presumed abort and presumed commit, the most commonly pronounced two-phase commit protocol variants. The aim of this combination is to achieve the performance advantages of one-phase commit protocols, on...