The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Lock-based synchronization techniques are commonly used in parallel programming on multi-core processors. However, lock can cause deadlocks and poor scalabilities. Hence, LogTM has been proposed and studied for lock-free synchronization. LogTM is a kind of hardware transactional memory. In LogTM, transactions are executed speculatively to ensure serializability and atomicity. LogTM stores original...
Asynchronous algorithms have been demonstrated to improve scalability of a variety of applications in parallel environments. Their distributed adaptations have received relatively less attention, particularly in the context of conventional execution environments and associated overheads. One such framework, MapReduce, has emerged as a commonly used programming framework for large-scale distributed...
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock implementation from the verification of the threads that use the lock. This decoupling is achieved using lock interfaces that characterize the allowable execution order for the lock operations. We use a thread modular verification...
Some sensor networks have large, non-deterministic communication delays which can be problematic because nodes must decide how long to wait before acting. A conflict arises when deciding on how much information is necessary: waiting a long time will improve accuracy but is detrimental to timeliness and acting quickly will improve timeliness but worsen accuracy. We present a relaxed barrier synchronization...
XYLUS is a virtualized programming environment that addresses coder's mobility, hassle free coding environment, project management and team coordination. It aims to provide a coder or a team of coders to create, manage, develop, compile, execute and share a complete or partial set of development projects on the web without having any development and associated tools. This is mainly achieved through...
Multimedia synchronization has been a research topic since the early days of the computer, especially in the areas of operating systems and programming. Synchronization features are available in most modern day languages in the form of wait and notify, block and resume, or event and event handler. However, this type of fundamental synchronization usually doesn't involve event timing. As multimedia...
The reconfigurable mesh serves as a theoretical model for massively parallel computing, but has recently been investigated as a practical architecture for many-cores with light-weight, circuit-switched interconnects. There is a lack of programming environments, including languages, compilers, and debuggers for reconfigurable meshes. In this paper, we present the new language ARMLang for the specification...
A new software framework called Loci provides an automatic system for generating the communication and synchronization required to correctly compose software modules. This results in a much cleaner software architecture and clear separation between numerical algorithms and distributed dataset management.
With the increasingly widespread application of the network, a distributed operating system based on Linux cluster has been developing rapidly. This paper presents a kernel level distributed interprocess communication system model with support for distributed process synchronization and communication. This system model uses the System V interprocess communication programming interface and enhances...
Dynamic software adaptation can cause the running system to be out-of-synchronous with its model, and, thus, make the system model obsolete for the use in consistency checking. In this paper, we propose a framework for ensuring the synchronization between the model and the runtime system during dynamic adaptation. I.e., this framework maintains the high-level model of the runtime system, which is...
Responsiveness, the ability to provide real-time behavior even in the presence of faults, is becoming one of the most sought after properties in distributed computing systems. We present a framework for "high-performance responsive computing" in networked systems whose current implementation works on a network of five NeXTSTEP (Mach 2.5)-based HP workstations. "The Unstoppable Orchestra"...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.