Maintaining consistency in distributed systems

In systems designed as assemblies of independently developed components, concurrent access to data or data structures normally arises within individual programs, and is controlled using mutual exclusion constructs, such as semaphores and monitors. Where data is persistent and/or sets of operation are related to one another, transactions or linearizability may be more appropriate. Systems that incorporate cooperative styles of distributed execution often replicate or distribute data within groups of components. In these cases, group oriented consistency properties must be maintained, and tools based on the virtual synchrony execution model greatly simplify the task confronting an application developer. All three styles of distributed computing are likely to be seen in future systems - often, within the same application. This leads us to propose an integrated approach that permits applications that use virtual synchrony with concurrent objects that respect a linearizability constraint, and vice versa. Transactional subsystems are treated as a special case of linearizability

Towards an Enhanced Protocol for Improving Transactional Support in Interoperable Service Oriented Application-Based (SOA-Based) Systems

When using a shared database for distributed transactions, it is often difficult to connect business processes and softwarecomponents running on disparate platforms into a single transaction. For instance, one platform may add or update data, and thenanother platform later access the changed or added data. This severely limits transactional capabilities across platforms. Thissituation becomes more acute when concurrent transactions with interleaving operations spans across different applications andresources. Addressing this problem in an open, dynamic and distributed environment of web services poses special challenges,and still remains an open issue. Following the broad adoption and use of the standard Web Services Transaction Protocols,requirements have grown for the addition of extended protocols to handle problems that exist within the context of interoperableservice-oriented applications. Most extensions to the current standard WS-Transaction Protocols still lack proper mechanisms forerror-handling, concurrency control, transaction recovery, consolidation of multiple transaction calls into a single call, and securereporting and tracing for suspicious activities. In this research, we will first extend the current standard WS-TransactionFramework, and then propose an enhanced protocol (that can be deployed within the extended framework) to improvetransactional and security support for asynchronous applications in a distributed environment. A hybrid methodology whichincorporates service-oriented engineering and rapid application development will be used to develop a procurement system(which represents an interoperable service-oriented application) that integrates our proposed protocol. We will empiricallyevaluate and compare the performance of the enhanced protocol with other conventional distributed protocols (such as 2PL) interms of QoS parameters (throughput, response time, and resource utilization), availability of the application, databaseconsistency, and effect of locking on latency, among other factors.Keywords: Database, interoperability, security, concurrent transaction, web services, protocol, service-oriente

Kompics: a message-passing component model for building distributed systems

The Kompics component model and programming framework was designedto simplify the development of increasingly complex distributed systems. Systems built with Kompics leverage multi-core machines out of the box and they can be dynamically reconfigured to support hot software upgrades. A simulation framework enables deterministic debugging and reproducible performance evaluation of unmodified Kompics distributed systems. We describe the component model and show how to program and compose event-based distributed systems. We present the architectural patterns and abstractions that Kompics facilitates and we highlight a case study of a complex distributed middleware that we have built with Kompics. We show how our approach enables systematic development and evaluation of large-scale and dynamic distributed systems

A Programming Language for Web Service Development

There is now widespread acceptance of Web services and service-oriented architectures. But despite the agreement on key Web services standards there remain many challenges. Programming environments based on WSDL support go some way to facilitating Web service development. However Web services fundamentally rely on XML and Schema, not on contemporary programming language type systems such as those of Java or .NET. Moreover, Web services are based on a messaging paradigm and hence bring forward the traditional problems of messaging systems including concurrency control and message correlation. It is easy to write simple synchronous Web services using traditional programming languages; however more realistic scenarios are surprisingly difficult to implement. To alleviate these issues we propose a programming language which directly supports Web service development. The language leverages XQuery for native XML processing, supports implicit message correlation and has high level join calculus-style concurrency control. We illustrate the features of the language through a motivating example

A Concurrent Perspective on Smart Contracts

In this paper, we explore remarkable similarities between multi-transactional behaviors of smart contracts in cryptocurrencies such as Ethereum and classical problems of shared-memory concurrency. We examine two real-world examples from the Ethereum blockchain and analyzing how they are vulnerable to bugs that are closely reminiscent to those that often occur in traditional concurrent programs. We then elaborate on the relation between observable contract behaviors and well-studied concurrency topics, such as atomicity, interference, synchronization, and resource ownership. The described contracts-as-concurrent-objects analogy provides deeper understanding of potential threats for smart contracts, indicate better engineering practices, and enable applications of existing state-of-the-art formal verification techniques.Comment: 15 page

Two Case Studies of Subsystem Design for General-Purpose CSCW Software Architectures

This paper discusses subsystem design guidelines for the software architecture of general-purpose computer supported cooperative work systems, i.e., systems that are designed to be applicable in various application areas requiring explicit collaboration support. In our opinion, guidelines for subsystem level design are rarely given most guidelines currently given apply to the programming language level. We extract guidelines from a case study of the redesign and extension of an advanced commercial workflow management system and place them into the context of existing software engineering research. The guidelines are then validated against the design decisions made in the construction of a widely used web-based groupware system. Our approach is based on the well-known distinction between essential (logical) and physical architectures. We show how essential architecture design can be based on a direct mapping of abstract functional concepts as found in general-purpose systems to modules in the essential architecture. The essential architecture is next mapped to a physical architecture by applying software clustering and replication to achieve the required distribution and performance characteristics

Implementation of and Early Outcomes From Anal Cancer Screening at a Community-Engaged Health Care Facility Providing Care to Nigerian Men Who Have Sex With Men.

PurposeAnal cancer risk is substantially higher among HIV-infected men who have sex with men (MSM) as compared with other reproductive-age adults, but screening is rare across sub-Saharan Africa. We report the use of high-resolution anoscopy (HRA) as a first-line screening tool and the resulting early outcomes among MSM in Abuja, Nigeria.MethodsFrom August 2016 to August 2017, 424 MSM enrolled in an anal cancer screening substudy of TRUST/RV368, a combined HIV prevention and treatment cohort. HRA-directed biopsies were diagnosed by histology, and ablative treatment was offered for high-grade squamous intraepithelial lesions (HSIL). HRA proficiency was assessed by evaluating the detection of squamous intraepithelial lesions (SIL) over time and the proportion biopsied. Prevalence estimates of low-grade squamous intraepithelial lesions and HSIL with 95% CIs were calculated. Multinomial logistic regression was used to identify those at the highest risk of SIL.ResultsMedian age was 25 years (interquartile range [IQR], 22-29), median time since sexual debut was 8 years (IQR, 4-12), and 59% (95% CI, 54.2% to 63.6%) were HIV infected. Rate of detection of any SIL stabilized after 200 screenings, and less than 20% had two or more biopsies. Preliminary prevalence estimates of low-grade squamous intraepithelial lesions and HSIL were 50.0% (95% CI, 44.7% to 55.3%) and 6.3% (95% CI, 4.0% to 9.3%). HIV infection, at least 8 years since anal coital debut, concurrency, and external warts were independently statistically associated with SIL.ConclusionProficiency with HRA increased with experience over time. However, HSIL detection rates were low, potentially affected by obstructed views from internal warts and low biopsy rates, highlighting the need for ongoing evaluation and mentoring to validate this finding. HRA is a feasible first-line screening tool at an MSM-friendly health care facility. Years since anal coital debut and external warts could prioritize screening

Modelling long-lived health care workflow transactions

Due to the increasing automation of health care, health care work ows have received signi cant attention over the last few years. This paper discusses the di erences between typical business processes and health care work ows, and introduces a layered architecture suitable for health care work ow models.We present a rules-based approach for mod- elling long-lived health care work ow transactions, and we discuss a set of transactional integrity rules speci c to the work ow patterns found in traditional business processes and show how these rules can be used to design health care work ows with transactional characteristics.Sociedad Argentina de Informática e Investigación Operativa (SADIO