Refine your search
Collections
Co-Authors
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All
Yousefi, Shamim
- Modeling Causal Consistency in a Distributed Shared Memory using Hierarchical Colored Petri Net
Abstract Views :213 |
PDF Views:0
Authors
Affiliations
1 Faculty of Electrical and Computer Engineering, University of Tabriz, 29th Bahman Boulevard, Tabriz, IR
1 Faculty of Electrical and Computer Engineering, University of Tabriz, 29th Bahman Boulevard, Tabriz, IR
Source
Indian Journal of Science and Technology, Vol 8, No 33 (2015), Pagination:Abstract
Causal consistency is one of the consistency models that categorizes events in a distributed system to those causally related, and those are not. In this paper, a new modeling of the causal consistency checking in a distributed shared memory is presented using the hierarchical colored Petri net, and its rules and properties are modeled with all details. Our proposed model takes a scenario of the performed processes in the distributed shared memory system as an input and determines whether this scenario is allowed with a causally consistent shared memory system or not. Modeling of the causal consistency using the hierarchical colored Petri net enables to study the state space of a distributed shared memories system and automatically identify, which write operations are causally related and which of them are not. Furthermore, state space analysis of the proposed model shows that in the last node of the state space graph, all processes of the distributed shared memory system are finished or not. Therefore, it is represented that the model of the distributed shared memory system is reached to definitive state or not, and checks the safety of the shared memory system's current state. Because of these features, the proposed model is used in industrial activities, particularly the computer-based distributed systems. In fact, pre-production modeling and simulation of the industrial systems using the hierarchical colored Petri net will be economically and very affordable.Keywords
Causal Consistency, Hierarchical Colored Petri Net, Modeling, Shared Memory Systems, Verification- 1D Chaos-based Image Encryption Acceleration by using GPU
Abstract Views :410 |
PDF Views:0
Authors
Affiliations
1 Faculty of Electrical and Computer Engineering, University of Tabriz, 29th Bahman Boulevard, Tabriz, IR
1 Faculty of Electrical and Computer Engineering, University of Tabriz, 29th Bahman Boulevard, Tabriz, IR