Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
RB: Programmer Specification of Redundancy
Columbia University, Department of Computer Science.
Columbia University, Department of Computer Science. (Computer Communications)ORCID iD: 0000-0002-6066-746X
1987 (English)Report (Other academic)
Abstract [en]

RB is a programming language for specifying redundancy in various dimensions. Avizienis's notation T I HIS, for Time I Hardware I Software, describes the different types of redundancy possible in a computation: repetition (nT I HIS), redundant hardware (T I nH I S), and program (software) (T I H InS). These can each be controlled by the programmer with RB. RB derives its name from its use of the recovery block notion to specify fault-tolerant segments of software. RB also supplies the programmer with the ability to specify degrees of replication and repetition for a given recovery block alternate; the underlying support software can then take this advice to replicate in time or hardware, based on available resources. An implementation of RB based on the C programming language is described in this paper. This implementation uses a combination of a language preprocessor for C and a runtime library to provide the desired semantics. Modification of RB to support other programming languages, or programmer specification of N-Version Programming as the decision mechanism. is straightforward.

Place, publisher, year, edition, pages
New York, NY, USA: Columbia University, Department of Computer Sceince , 1987. , 8 p.
Series
Columbia University, Department of Computer Sceince, Technical Report, CUCS-269-87
Keyword [en]
fault tolerance, redundancy, programming languages
National Category
Computer Science
Research subject
SRA - ICT
Identifiers
URN: urn:nbn:se:kth:diva-63011OAI: oai:DiVA.org:kth-63011DiVA: diva2:481507
Note
QC 20120222Available from: 2012-02-22 Created: 2012-01-21 Last updated: 2013-09-09Bibliographically approved

Open Access in DiVA

fulltext(462 kB)103 downloads
File information
File name FULLTEXT01.pdfFile size 462 kBChecksum SHA-512
8a2b856c5baef37bb5d7fc68bc921675f4f63b6dd08a7719d5b3b67876d69d95fd968c32f01efa3ca9e0ee23aeb09ae671c1610620baed794da42556435612c8
Type fulltextMimetype application/pdf

Authority records BETA

Maguire Jr., Gerald Q.

Search in DiVA

By author/editor
Maguire Jr., Gerald Q.
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 103 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 64 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf