◾ Mutual Exclusion

2014 ◽  
pp. 160-183
Keyword(s):  
Mutual Exclusion

Proposal and Evaluation of Mutual Exclusion Method using Lock-free Algorism for Embedded Systems using Multi-core Processor

2019 ◽  
Vol 139 (7) ◽  
pp. 802-811
Author(s):  
Kenta Fujimoto ◽  
Shingo Oidate ◽  
Yuhei Yabuta ◽  
Atsuyuki Takahashi ◽  
Takuya Yamasaki ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Mutual Exclusion ◽  
Exclusion Method ◽  
Multi Core Processor

Competitive growth of blue-greens and diatoms (fragilaria) in the saidenbach reservoir, saxony

1995 ◽  
Vol 32 (4) ◽  
pp. 77-88 ◽  
Author(s):  
H. Horn ◽  
D. Uhlmann
Keyword(s):  
Turbulent Mixing ◽  
Concentration Level ◽  
Mutual Exclusion ◽  
Late Summer ◽  
Meteorological Conditions ◽  
Competitive Growth ◽  
Absolute Concentration ◽  
Resource Concentration ◽  
High Yields ◽  
Simultaneous Growth

Since 1975, different patterns of the growth of Fragilaria and Cyanobacteria in the mid or late summer have been observed in the Saidenbach Reservoir. In most of the years, there was a mutual exclusion of mass growths of these two groups. High yields of Fragilaria caused low yields of blue-greens and vice versa. In the first years, Fragilaria was always the first to achieve a mass growth, followed by the Cyanobacteria. Then, in the last years, the blue-greens were succeeded by Fragilaria. Only in some years, there was a large and simultaneous growth of both groups. It has been shown, that the supply of silicon and phosphorus immediately before controlled the pattern of succession in the midsummer period. Mostly, the Si:P ratio was the regulating factor, but there were also years in which the absolute concentration level of these two nutrients were either non-limiting high or below the minimum resource concentration necessary to compensate for the losses. In these cases, the Si:P ratio lost its controlling function. Other influencing factors are discussed, in particular the effect of turbulent mixing. The special nutrient conditions in the midsummer were not only determined by the external load but also by the Si depletion during the spring mass development of diatoms other than Fragilaria, which mostly is physically controlled. Therefore, the succession pattern in the midsummer is sensitive to the meteorological conditions to a large extent.

scholarly journals New general mixed-integer linear programming model for mobile workforce management

2021 ◽  
Author(s):  
András Éles ◽  
István Heckl ◽  
Heriberto Cabezas
Keyword(s):  
Programming Model ◽  
Time Windows ◽  
Mutual Exclusion ◽  
Parallel Execution ◽  
Mixed Integer ◽  
Management Problem ◽  
Routing Problem ◽  
Workforce Management ◽  
Computational Performance ◽  
Wide Range

AbstractA mathematical model is introduced to solve a mobile workforce management problem. In such a problem there are a number of tasks to be executed at different locations by various teams. For example, when an electricity utility company has to deal with planned system upgrades and damages caused by storms. The aim is to determine the schedule of the teams in such a way that the overall cost is minimal. The mobile workforce management problem involves scheduling. The following questions should be answered: when to perform a task, how to route vehicles—the vehicle routing problem—and the order the sites should be visited and by which teams. These problems are already complex in themselves. This paper proposes an integrated mathematical programming model formulation, which, by the assignment of its binary variables, can be easily included in heuristic algorithmic frameworks. In the problem specification, a wide range of parameters can be set. This includes absolute and expected time windows for tasks, packing and unpacking in case of team movement, resource utilization, relations between tasks such as precedence, mutual exclusion or parallel execution, and team-dependent travelling and execution times and costs. To make the model able to solve larger problems, an algorithmic framework is also implemented which can be used to find heuristic solutions in acceptable time. This latter solution method can be used as an alternative. Computational performance is examined through a series of test cases in which the most important factors are scaled.

scholarly journals Better state pictures facilitating state machine characteristic conjecture

2021 ◽  
Author(s):  
Dang Duy Bui ◽  
Kazuhiro Ogata
Keyword(s):  
Virtual Machines ◽  
Mutual Exclusion ◽  
State Machine ◽  
Formal Proof ◽  
The State ◽  
Lessons Learned ◽  
Java Virtual Machines ◽  
Core Part ◽  
Proximity Principle

AbstractThe mutual exclusion protocol invented by Mellor-Crummey and Scott (called MCS protocol) is used to exemplify that state picture designs based on which the state machine graphical animation (SMGA) tool produces graphical animations should be better visualized. Variants of MCS protocol have been used in Java virtual machines and therefore the 2006 Edsger W. Dijkstra Prize in Distributed Computing went to their paper on MCS protocol. The new state picture design of a state machine formalizing MCS protocol is assessed based on Gestalt principles, more specifically proximity principle and similarity principle. We report on a core part of a formal verification case study in which the new state picture design and the SMGA tool largely contributed to the successful completion of the formal proof that MCS protocol enjoys the mutual exclusion property. The lessons learned acquired through our experiments are summarized as two groups of tips. The first group is some new tips on how to make state picture designs. The second one is some tips on how to conjecture state machine characteristics by using the SMGA tool. We also report on one more case study in which the state picture design has been made for the mutual exclusion protocol invented by Anderson (called Anderson protocol) and some characteristics of the protocol have been discovered based on the tips.

scholarly journals New Insights on the Zeugodacus cucurbitae (Coquillett) Bacteriome

2021 ◽  
Vol 9 (3) ◽  
pp. 659
Author(s):  
Elias Asimakis ◽  
Panagiota Stathopoulou ◽  
Apostolis Sapounas ◽  
Kanjana Khaeso ◽  
Costas Batargias ◽  
...  
Keyword(s):  
Relative Abundance ◽  
Bacterial Communities ◽  
High Throughput Sequencing ◽  
Mutual Exclusion ◽  
Bacterial Composition ◽  
Operational Taxonomic Units ◽  
Host Diet ◽  
Dominant Bacteria ◽  
High Degree

Various factors, including the insect host, diet, and surrounding ecosystem can shape the structure of the bacterial communities of insects. We have employed next generation, high-throughput sequencing of the 16S rRNA to characterize the bacteriome of wild Zeugodacus (Bactrocera) cucurbitae (Coquillett) flies from three regions of Bangladesh. The tested populations developed distinct bacterial communities with differences in bacterial composition, suggesting that geography has an impact on the fly bacteriome. The dominant bacteria belonged to the families Enterobacteriaceae, Dysgomonadaceae and Orbaceae, with the genera Dysgonomonas, Orbus and Citrobacter showing the highest relative abundance across populations. Network analysis indicated variable interactions between operational taxonomic units (OTUs), with cases of mutual exclusion and copresence. Certain bacterial genera with high relative abundance were also characterized by a high degree of interactions. Interestingly, genera with a low relative abundance like Shimwellia, Gilliamella, and Chishuiella were among those that showed abundant interactions, suggesting that they are also important components of the bacterial community. Such knowledge could help us identify ideal wild populations for domestication in the context of the sterile insect technique or similar biotechnological methods. Further characterization of this bacterial diversity with transcriptomic and metabolic approaches, could also reveal their specific role in Z. cucurbitae physiology.

scholarly journals Starvation-free mutual exclusion with semaphores

2011 ◽  
Vol 25 (6) ◽  
pp. 947-969 ◽  
Author(s):  
Wim H. Hesselink ◽  
Mark IJbema
Keyword(s):  
Mutual Exclusion

MUTUAL EXCLUSION ON OPTICAL BUSES

2002 ◽  
Vol 12 (03n04) ◽  
pp. 341-358
Author(s):  
KRISHNA M. KAVI ◽  
DINESH P. MEHTA
Keyword(s):  
Mutual Exclusion ◽  
Two Dimensional ◽  
One Dimensional ◽  
Dimensional Array ◽  
Propagation Delays ◽  
Optical Buses ◽  
The One

This paper presents two algorithms for mutual exclusion on optical bus architectures including the folded one-dimensional bus, the one-dimensional array with pipelined buses (1D APPB), and the two-dimensional array with pipelined buses (2D APPB). The first algorithm guarantees mutual exclusion, while the second guarantees both mutual exclusion and fairness. Both algorithms exploit the predictability of propagation delays in optical buses.

Mutual exclusion as a matter of priority

2018 ◽  
Vol 751 ◽  
pp. 46-60
Author(s):  
Yoram Moses ◽  
Katia Patkin
Keyword(s):  
Mutual Exclusion
Sign in / Sign up

Export Citation Format

Share Document