On the Existence of Weakest Failure Detectors for Mutual Exclusion and k-Exclusion

2009 ◽  
pp. 311-325 ◽  
Author(s):  
Vibhor Bhatt ◽  
Prasad Jayanti
Keyword(s):  
Mutual Exclusion ◽  
Failure Detectors

scholarly journals Mutual exclusion in asynchronous systems with failure detectors

2005 ◽  
Vol 65 (4) ◽  
pp. 492-505 ◽  
Author(s):  
Carole Delporte-Gallet ◽  
Hugues Fauconnier ◽  
Rachid Guerraoui ◽  
Petr Kouznetsov
Keyword(s):  
Mutual Exclusion ◽  
Asynchronous Systems ◽  
Failure Detectors

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.

Sign in / Sign up

Export Citation Format

Share Document