This paper presents intelligent memory, a new memory architecture capable of providing e cient lock-free synchronization. In the intelligent memory, a sequence of operations on a shared object associated with that memory module can be processed without any intervention so that an environment for the synchronization can be provided by executing a critical section itself in that memory module. Fo...

This paper introduces optimistic lock synchronization using the group write consistency model (GWC). GWC guarantees strict ordering of all shared writes in a processor group. In optimistic synchronization, if a lock-requesting processor can assume that the lock is free, execution of mutually exclusive code starts immediately. Wrong assumption results in rollback. Shared variable updates remain ...

Advances in ILP techniques enable strict consistency models to relax memory order through speculative execution of memory operations. However, ordering constraints still hinder the performance because speculatively executed operations cannot be committed out of program order for the possibility of mis-speculation. In this paper, we propose a new technique which allows memory operations to be no...

The Java Programming Language permits synchronization operations (lock, unlock, wait, notify) on any object. Synchronization is very common in applications and is endemic in the library code upon which applications depend. It is therefore critical that a monitor implementation be both space-efficient and time-efficient. We present a locking protocol, the Relaxed-Lock, that satisfies those requ...

This extended abstract overviews work on a type system for lock-free programming based on compare-and-swap. The type system prevents atomicity violations in lock-free programs, where insertion and removal of objects from a linked structure would be subject to data-races breaking linearity of ownership. The type system has successfully been applied to a small number of lock-free data structures.

This study extends Arthur’s model of path dependence for strategic IT management by introducing a more complex organizational structure with topology-adjusted network externalities and complementarities. A partial lock-in measure is developed to distinguish partial and global lock-ins. The study finds that complementarities can result in partial rather than global lock-ins. These findings sugge...

This paper investigates the lock range of injection-locked non-harmonic oscillators using a frequency-domain approach. By representing a non-harmonic oscillator with a set of harmonic oscillators, the intrinsic relation between the lock range of the harmonic oscillators and that of the non-harmonic is obtained. We show that non-harmonic oscillators exhibit a larger lock range as compared with h...

Beehive is an experimental many-core computer implemented on a single FPGA. The system includes a number of RISC cores that are connected to each other and to main memory using a token ring interconnect. Among other things, the token ring is used to maintain a set of global hardware locks using a ring lock protocol. A multiring extension of the Beehive token ring has been proposed for which a m...

An adaptive fuzzy sliding mode controller (AFSMC) is adopted to reduce the 2D flow-induced vibration of an elastically supported square-section cylinder, free to oscillate in stream-wise andtransverse directions in both lock-in and galloping regions. The AFSMC strategy consists of a fuzzy logic inference system intended to follow a sliding-mode controller (SMC), and a robust control syste...

A compact extended cavity diode laser (ECDL) system operating at 852 nm for small optically pumped cesium (Cs) beam frequency standards was reported. ECDL and a saturated absorption spectroscopy setup were all built in an aluminum box with dimension of 10 × 10 × 7 (cm). ECDL was based on a LittmanMetcaff configuration, whose free-running linewidth was less than 600 kHz. A digital automatic freq...