| dc.creator | SAUL EDUARDO POMARES HERNANDEZ | |
| dc.date | 2012 | |
| dc.date.accessioned | 2023-07-25T16:24:34Z | |
| dc.date.available | 2023-07-25T16:24:34Z | |
| dc.identifier | http://inaoe.repositorioinstitucional.mx/jspui/handle/1009/1910 | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/7807101 | |
| dc.description | Several works in distributed systems have been designed based on the Happened-Before Relation (HBR). Most of these works intend to be efficient in their implementation by identifying and ensuring dependency constraints among single events. Even when the minimal causal dependencies among events have been clearly identified, the evolution of systems, which may involve a high number of processes and a high volume of transmitted data, calls for the need to design even more efficient approaches. This paper proposes the Causal Ordered Set Abstraction (CAOS) where the causally related events are arranged in sets that are strictly causally ordered. As for single events, CAOS establishes that any pair of resultant sets can be, and can only be, causally or concurrently related. We claim that our ordered set abstraction can be used to design more efficient algorithms based on the HBR principle. This assertion is based on two main properties. First, CAOS attains a consistent compact representation of a distributed computation. Second, as a consequence of the causal ordering of the events in the resultant sets, it is sufficient to verify only a pair of single events, one per each set, in order to determine whether these sets are causally or concurrently related, regardless of the cardinality of the sets. | |
| dc.format | application/pdf | |
| dc.language | eng | |
| dc.publisher | Elsevier Inc. | |
| dc.relation | citation:Pomares-Hernandez, S.E., et al., (2012). From the happened-before relation to the causal ordered set abstraction, J. Parallel Distrib. Comput. (72): 791–795 | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | http://creativecommons.org/licenses/by-nc-nd/4.0 | |
| dc.subject | info:eu-repo/classification/Happened-Before Relation/Happened-Before Relation | |
| dc.subject | info:eu-repo/classification/Event ordering/Event ordering | |
| dc.subject | info:eu-repo/classification/Distributed systems/Distributed systems | |
| dc.subject | info:eu-repo/classification/Ordered sets/Ordered sets | |
| dc.subject | info:eu-repo/classification/cti/1 | |
| dc.subject | info:eu-repo/classification/cti/12 | |
| dc.subject | info:eu-repo/classification/cti/1203 | |
| dc.subject | info:eu-repo/classification/cti/1203 | |
| dc.title | From the happened-before relation to the causal ordered set abstraction | |
| dc.type | info:eu-repo/semantics/article | |
| dc.type | info:eu-repo/semantics/acceptedVersion | |
| dc.audience | students | |
| dc.audience | researchers | |
| dc.audience | generalPublic | |
