Distributed snapshots: determining global states of distributed systems Export

@article{citeulike:3444, abstract = {This paper presents an algorithm by which a process in a distributed system determines a global state of the system during a computation. Many problems in distributed systems can be cast in terms of the problem of detecting global states. For instance, the global state detection algorithm helps to solve an important class of problems: stable property detection. A stable property is one that persists: once a stable property becomes true it remains true thereafter. Examples of stable properties are \“computation has terminated,\” \“ the system is deadlocked\” and \“all tokens in a token ring have disappeared.\” The stable property detection problem is that of devising algorithms to detect a given stable property. Global state detection can also be used for checkpointing.}, address = {New York, NY, USA}, author = {Chandy, K. Mani and Lamport, Leslie}, citeulike-article-id = {3444}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=214456}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/214451.214456}, doi = {10.1145/214451.214456}, issn = {0734-2071}, journal = {ACM Trans. Comput. Syst.}, keywords = {distributed}, month = {February}, number = {1}, pages = {63--75}, posted-at = {2007-01-15 00:49:12}, priority = {0}, publisher = {ACM}, title = {Distributed snapshots: determining global states of distributed systems}, url = {http://dx.doi.org/10.1145/214451.214456}, volume = {3}, year = {1985} }

TY - JOUR ID - citeulike:3444 L3 - citeulike-article-id:3444 N2 - This paper presents an algorithm by which a process in a distributed system determines a global state of the system during a computation. Many problems in distributed systems can be cast in terms of the problem of detecting global states. For instance, the global state detection algorithm helps to solve an important class of problems: stable property detection. A stable property is one that persists: once a stable property becomes true it remains true thereafter. Examples of stable properties are “computation has terminated,” “ the system is deadlocked” and “all tokens in a token ring have disappeared.” The stable property detection problem is that of devising algorithms to detect a given stable property. Global state detection can also be used for checkpointing. IS - 1 JF - ACM Trans. Comput. Syst. SN - 0734-2071 AD - New York, NY, USA EP - 75 TI - Distributed snapshots: determining global states of distributed systems PB - ACM VL - 3 SP - 63 KW - distributed AU - Chandy, Mani AU - Lamport, Leslie PY - 1985/02// UR - http://dx.doi.org/10.1145/214451.214456 ER -