Change search
ReferencesLink to record
Permanent link

Direct link
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.
, Columbia University, Department of Computer Sceince, Technical Report, CUCS-269-87
Keyword [en]
fault tolerance, redundancy, programming languages
National Category
Computer Science
Research subject
URN: urn:nbn:se:kth:diva-63011OAI: diva2:481507
QC 20120222Available from: 2012-02-22 Created: 2012-01-21 Last updated: 2013-09-09Bibliographically approved

Open Access in DiVA

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

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar
Total: 78 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

Total: 34 hits
ReferencesLink to record
Permanent link

Direct link