Modeling Chandy–Lamport Distributed Snapshot Algorithm Using Colored Petri Net
Distributed global snapshot (DGS) is one of the fundamental protocols in distributed systems. It is used for different applications like collecting information from a distributed system and taking checkpoints for process rollback. The Chandy–Lamport protocol (CLP) is famous and well-known for taking...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2024-01-01
|
| Series: | IET Software |
| Online Access: | http://dx.doi.org/10.1049/2024/6582682 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|