Understanding Shared-Variable Concurrency

2010 ◽  
pp. 447-480
Author(s):  
A. W. Roscoe
Keyword(s):  
Shared Variable

Shared Variable

LabView ◽  
2006 ◽  
pp. 299-317
Keyword(s):  
Shared Variable

scholarly journals Shared Variable Extraction and Hardware Implementation for Nonlinear Boolean Functions Based on Swarm Intelligence

2018 ◽  
Vol 2018 ◽  
pp. 1-14 ◽  
Author(s):  
Longmei Nan ◽  
Xiaoyang Zeng ◽  
Yiran Du ◽  
Zibin Dai ◽  
Lin Chen
Keyword(s):  
Swarm Intelligence ◽  
Association Rule ◽  
Boolean Functions ◽  
Association Rule Mining ◽  
Operation Time ◽  
Lookup Table ◽  
Coarse Grained ◽  
Rule Mining ◽  
Shared Variable ◽  
Shared Variables

To solve the problem of complex relationships among variables and the difficulty of extracting shared variables from nonlinear Boolean functions (NLBFs), an association logic model of variables is established using the classical Apriori rule mining algorithm and the association analysis launched during shared variable extraction (SVE). This work transforms the SVE problem into a traveling salesman problem (TSP) and proposes an SVE based on particle swarm optimization (SVE-PSO) method that combines the association rule mining method with swarm intelligence to improve the efficiency of SVE. Then, according to the shared variables extracted from various NLBFs, the distribution of the shared variables is created, and two corresponding hardware circuits, Element A and Element B, based on cascade lookup table (LUT) structures are proposed to process the various NLBFs. Experimental results show that the performance of SVE via SVE-PSO method is significantly more efficient than the classical association rule mining algorithms. The ratio of the rules is 80.41%, but the operation time is only 21.47% when compared to the Apriori method, which uses 200 iterations. In addition, the area utilizations of Element A and Element B expended by the NLBFs via different parallelisms are measured and compared with other methods. The results show that the integrative performances of Element A and Element B are significantly better than those of other methods. The proposed SVE-PSO method and two cascade LUT-structure circuits can be widely used in coarse-grained reconfigurable cryptogrammic processors, or in application-specific instruction-set cryptogrammic processors, to advance the performance of NLBF processing and mapping.

Data Requirements for Implementation of N -Process Mutual Exclusion Using a Single Shared Variable

1982 ◽  
Vol 29 (1) ◽  
pp. 183-205 ◽  
Author(s):  
James E. Burns ◽  
Paul Jackson ◽  
Nancy A. Lynch ◽  
Michael J. Fischer ◽  
Gary L. Peterson
Keyword(s):  
Mutual Exclusion ◽  
Shared Variable ◽  
Data Requirements

scholarly journals Real-Time Semantics for Shared-Variable Concurrency

1993 ◽  
Vol 102 (1) ◽  
pp. 56-82 ◽  
Author(s):  
E. Shade ◽  
K.T. Narayana
Keyword(s):  
Real Time ◽  
Shared Variable ◽  
Time Semantics
Sign in / Sign up

Export Citation Format

Share Document