Abstract As part of the research focusing on safety vessels during lockage in navigation locks, two different 1D numerical modeling approaches were tested. These are used to determine force effects direct filling process lock. models verified using data measured a physical model. Using selected model, parametric study impact basic parameters lock including lifting velocity gates maximum hawser ...

The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation’s successful completion is not executed (a property we call dependency safety). However, current exception mechanisms make it hard to achieve dependency safety, in particular when objects manipulated inside a try block outlive the try block. To remedy this, we propose a la...

Only a handful of fundamental mechanisms for synchronizing the access of concurrent threads to shared memory are widely implemented and used. These include locks, condition variables, semaphores, barriers, and monitors. In this paper, we introduce a new synchronization mechanism—monotonic counters—and make a case for its addition to this group. Unlike most other synchronization mechanisms, mono...

Network Attached Storage and Storage Area Networks are emerging as the technology of choice for large-scale data storage. A key feature of such storage devices is that they can be directly accessed by applications without the intervention of le servers. Hence, issues such as data-sharing and security cannot be handled by le-servers. This paper addresses the issue of data-sharing by presenting a...

BACKGROUND Tunnelled central venous dialysis catheter use is significantly limited by the occurrence of catheter-related infections. This randomised controlled trial assessed the efficacy of a 48 hour 70% ethanol lock vs heparin locks in prolonging the time to the first episode of catheter related blood stream infection (CRBSI). METHODS Patients undergoing haemodialysis (HD) via a tunnelled c...

In a mobile computing environment, a user carrying a portable computer can execute a mobile transaction by submitting the operations of the transaction to distributed data servers from different locations. The mobility of transaction hosts introduces new issues concerning the efficiency of transaction lock management in the distributed data servers. For example, even in a fully replicated datab...

We present a family of methods for speeding up distributed locks by exploiting the uneven distribution of both temporal and spatial locality of access behaviour of many applications. In the worst case, some of our methods will not produce higher network latencies than equivalent conventional distributed locking methods. In best case, the total number of messages can be constantly bounded, appro...

This report presents performance measurements made of the Sprite operating system running on a multiprocessor. A variety of microand macro-benchmarks were run while varying the number of processors in the system, and both the elapsed time and the contention for kernel locks were recorded. A number of interesting conclusions are drawn from the results. First, the macro-benchmarks show acceptable...