Peter Barrett

dblp:67/2402 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 2000
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Distributed systems · 75% Embedded and real-time systems · 25%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Distributed systems › replication › state machine replication
active replication
0.012000
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems · IEEE Trans. Computers 2000
Distributed systems
distributed scheduling
0.012000
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems · IEEE Trans. Computers 2000
Distributed systems
fault tolerance
0.012000
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems · IEEE Trans. Computers 2000
Embedded and real-time systems
real-time scheduling
0.012000
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems · IEEE Trans. Computers 2000

Methods — techniques the papers use, named apart from their topics

sparse time base · 0.0simulated common knowledge · 0.0
YearPublicationVenuePosition
2000 Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems
abstract
Fault-tolerant real-time systems are typically based on active replication where replicated entities are required to deliver their outputs in an identical order within a given time interval. Distributed scheduling of replicated tasks, however, violates this requirement if on-line scheduling, preemptive scheduling, or scheduling of dissimilar replicated task sets is employed. This problem of inconsistent task outputs has been solved previously by coordinating the decisions of the local schedulers such that replicated tasks are executed in an identical order. Global coordination results either in an extremely high communication effort to agree on each schedule decision or in an overly restrictive execution model where on-line scheduling, arbitrary preemptions, and nonidentically replicated task sets are not allowed. To overcome these restrictions, a new method, called timed messages, is introduced. Timed messages guarantee deterministic operation by presenting consistent message versions to the replicated tasks. This approach is based on simulated common knowledge and a sparse time base. Timed messages are very effective since they neither require communication between the local scheduler nor do they restrict usage of on-line flexible scheduling, preemptions and nonidentically replicated task sets.
Stefan Poledna, Alan Burns 0001, Andy J. Wellings, Peter Barrett
IEEE Trans. Computers4