Interest in incremental and adaptive query processing has led to the investigation of equijoin evaluation algorithms that are non-blocking. This investigation has yielded a number of algorithms, including the symmetric hash join, the XJoin, the Ripple Join, and their variants. However, to our knowledge no one has proposed a nonblocking spatial join algorithm. In this paper, we propose a paralle...

Garbage collection algorithms for shared memory multiprocessors typically rely on some form of global synchronization to preserve consistency Neverthe less such global synchronization is poorly suited for asynchronous architectures if one process is halted or delayed other non faulty processes will be unable to progress By contrast a storage management algorithm is non blocking if in the absenc...

We present the first non-blocking hashtable based on open addressing that provides the following benefits: it combines good cache locality, accessing a single cacheline if there are no collisions, with short straight-line code; it needs no storage overhead for pointers and memory allocator schemes, having instead an overhead of two words per bucket; it does not need to periodically reorganise o...

The design of a FIFO buffer supporting synchronisation-free, non-blocking, reading and writing operations is presented. The circuit consists of a standard self-timed FIFO surrounded by two interface blocks, In and Out, which together provide temporal independence between the reader and writer processes. These blocks are synthesised from their Signal Transition Graph (STG) specifications using a...

For the first time, the 4- and 5-port optical routers are designed by using the West First routing algorithm for use in optical network on chip. The use of the WF algorithm has made the designed routers to provide non-blocking routing in photonic network on chip. These routers not only are based on high speed Mach-Zehnder switches(Which have a higher bandwidth and more thermal tolerance than mi...

In this paper, we first show that a wavelength division multiplexed (WDM) split crossconnect is strictly, wide-sense, or rearrangeably non-blocking if and only if a corresponding 3-stage Clos network is strictly, wide-sense or rearrangeably non-blocking. This observation implies known results on strictly non-blocking WDM split cross-connects and gives rise to new results on wide-sense and rearr...

Smart contracts are programs that stored on a blockchain ledger with code immutable after deployment. Thus, verifying the correct behavior of smart before deployment is vital. This paper demonstrates how security vulnerability verification in casino contract can be transformed to non-blocking verification. To this end, first modeled as interacting extended finite state machines (EFSM), one EFSM...

In distributed transactional systems, an Atomic Commitment Protocol (ACP) is used to ensure the atomicity of distributed transactions even in the presence of failures. An ACP is said to be non-blocking if it allows correct participants to decide on the transaction despite the failure of others. Several non-blocking protocols have been proposed in the literature. However, none of these protocols...