MADL—An ADL Based on a Formal and Flexible Concurrency Model

Author(s):  
Wei Qin ◽  
Subramanian Rajagopalan ◽  
Sharad Malik
Keyword(s):  
Author(s):  
Benjamin Morandi ◽  
Mischael Schill ◽  
Sebastian Nanz ◽  
Bertrand Meyer
Keyword(s):  

2010 ◽  
Vol 23 (14) ◽  
pp. 1623-1645 ◽  
Author(s):  
P. Basanta-Val ◽  
M. García-Valls ◽  
I. Estévez-Ayres
Keyword(s):  
The Real ◽  

1999 ◽  
Vol 59 (3) ◽  
pp. 445-464
Author(s):  
Myungchul Kim ◽  
Samuel T. Chanson ◽  
Son T. Vuong

Data ◽  
2021 ◽  
Vol 6 (7) ◽  
pp. 73
Author(s):  
Salah Taamneh ◽  
Mo’taz Al-Hami ◽  
Hani Bani-Salameh ◽  
Alaa E. Abdallah

Distributed clustering algorithms have proven to be effective in dramatically reducing execution time. However, distributed environments are characterized by a high rate of failure. Nodes can easily become unreachable. Furthermore, it is not guaranteed that messages are delivered to their destination. As a result, fault tolerance mechanisms are of paramount importance to achieve resiliency and guarantee continuous progress. In this paper, a fault-tolerant distributed k-means algorithm is proposed on a grid of commodity machines. Machines in such an environment are connected in a peer-to-peer fashion and managed by a gossip protocol with the actor model used as the concurrency model. The fact that no synchronization is needed makes it a good fit for parallel processing. Using the passive replication technique for the leader node and the active replication technique for the workers, the system exhibited robustness against failures. The results showed that the distributed k-means algorithm with no fault-tolerant mechanisms achieved up to a 34% improvement over the Hadoop-based k-means algorithm, while the robust one achieved up to a 12% improvement. The experiments also showed that the overhead, using such techniques, was negligible. Moreover, the results indicated that losing up to 10% of the messages had no real impact on the overall performance.


2021 ◽  
Vol 25 (2) ◽  
pp. 435-468
Author(s):  
Dániel Balázs Rátai ◽  
Zoltán Horváth ◽  
Zoltán Porkoláb ◽  
Melinda Tóth

Atomicity, consistency, isolation and durability are essential properties of many distributed systems. They are often abbreviated as the ACID properties. Ensuring ACID comes with a price: it requires extra computing and network capacity to ensure that the atomic operations are done perfectly, or they are rolled back. When we have higher requirements on performance, we need to give up the ACID properties entirely or settle for eventual consistency. Since the ambiguity of the order of the events, such algorithms can get very complicated since they have to be prepared for any possible contingencies. Traquest model is an attempt for creating a general concurrency model that can bring the ACID properties without sacrificing a too significant amount of performance.


Sign in / Sign up

Export Citation Format

Share Document