Expressive Synchronization Types for Inheritance in the Join Calculus

In prior work, Fournet et al. proposed an extension of the join calculus with class-based inheritance, aiming to provide a precise semantics for concurrent objects. However, as we show here, their system suffers from several limitations, which make it inadequate to form the basis of a practical implementation. In this paper, we redesign the static semantics for inheritance in the join calculus, equipping class types with more precise information. Compared to previous work, the new type system is more powerful, more expressive and simpler. Additionally, one runtime check of the old system is suppressed in the new design. We also prove the soundness of the new system, and have implemented type inference

Coordinating Mobile Object-Oriented Code

Abstract. Standard class-based inheritance mechanisms, which are often used to implement distributed systems, do not seem to scale well to a distributed context with mobility. In this paper, a mixin-based approach is proposed for structuring mobile object-oriented code and it is shown to fit in the dynamic and open nature of a mobile code scenario. We introduce MoMi (Mobile Mixins), a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi is equipped with a type system, based on polymorphism by subtyping, in order to guarantee safe code communications.

Accelerated surgery versus standard care in hip fracture (HIP ATTACK) : an international, randomised, controlled trial

Background: Observational studies have suggested that accelerated surgery is associated with improved outcomes in patients with a hip fracture. The HIP ATTACK trial assessed whether accelerated surgery could reduce mortality and major complications. Methods: HIP ATTACK was an international, randomised, controlled trial done at 69 hospitals in 17 countries. Patients with a hip fracture that required surgery and were aged 45 years or older were eligible. Research personnel randomly assigned patients (1:1) through a central computerised randomisation system using randomly varying block sizes to either accelerated surgery (goal of surgery within 6 h of diagnosis) or standard care. The coprimary outcomes were mortality and a composite of major complications (ie, mortality and non-fatal myocardial infarction, stroke, venous thromboembolism, sepsis, pneumonia, life-threatening bleeding, and major bleeding) at 90 days after randomisation. Patients, health-care providers, and study staff were aware of treatment assignment, but outcome adjudicators were masked to treatment allocation. Patients were analysed according to the intention-to-treat principle. This study is registered at ClinicalTrials.gov (NCT02027896). Findings: Between March 14, 2014, and May 24, 2019, 27 701 patients were screened, of whom 7780 were eligible. 2970 of these were enrolled and randomly assigned to receive accelerated surgery (n=1487) or standard care (n=1483). The median time from hip fracture diagnosis to surgery was 6 h (IQR 4\u20139) in the accelerated-surgery group and 24 h (10\u201342) in the standard-care group (p<0\ub70001). 140 (9%) patients assigned to accelerated surgery and 154 (10%) assigned to standard care died, with a hazard ratio (HR) of 0\ub791 (95% CI 0\ub772 to 1\ub714) and absolute risk reduction (ARR) of 1% ( 121 to 3; p=0\ub740). Major complications occurred in 321 (22%) patients assigned to accelerated surgery and 331 (22%) assigned to standard care, with an HR of 0\ub797 (0\ub783 to 1\ub713) and an ARR of 1% ( 122 to 4; p=0\ub771). Interpretation: Among patients with a hip fracture, accelerated surgery did not significantly lower the risk of mortality or a composite of major complications compared with standard care. Funding: Canadian Institutes of Health Research