The sentry system

A system that observes the execution of each loop in any given sequential program and issues a warning if some loop execution does not terminate as expected (due to a programming error or a failure) is proposed. At each iteration of a loop execution, the program writes the current values of some var...

Full description

Saved in:
Bibliographic Details
Main Authors: Chodrow, S.E., Gouda, M.G.
Format: Conference Proceeding
Language:English
Subjects:
Computer errors
Costs
Debugging
Fault detection
Monitoring
Prototypes
Real time systems
Safety
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 237
container_issue
container_start_page 230
container_title
container_volume
creator Chodrow, S.E.
Gouda, M.G.
description A system that observes the execution of each loop in any given sequential program and issues a warning if some loop execution does not terminate as expected (due to a programming error or a failure) is proposed. At each iteration of a loop execution, the program writes the current values of some variables into shared storage; these values are read later by another program called the sentry. The sentry uses these values to compute the loop's termination function at the current iteration, and issues a warning if successive values of the termination function are not monotonically decreasing. The shared storage between the program and the sentry is finite, the program never waits for the sentry during execution, and some form of mutual exclusion is achieved between the program and the sentry. Extensions of the system and an implementation of a prototype are described.< >
doi_str_mv 10.1109/RELDIS.1992.235122
format conference_proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_235122</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>235122</ieee_id><sourcerecordid>235122</sourcerecordid><originalsourceid>FETCH-LOGICAL-i174t-13896051535d3f3c00ab2b9457206c3279ce5e032888e03c718b33412735aa143</originalsourceid><addsrcrecordid>eNotjk1Lw0AUABeKYKk5eO2pfyDxfezLvj1KrVoICFrPZRNfMaUVyeaSf2-hzmVuwzi3RKgQIT68b5qn7UeFMVJFLEg0c0UMCopak0aAW1fkfIQLIhp8PXf3u29bZfsZh2mVpzza-c7dHNIpW_Hvhft83uzWr2Xz9rJdPzZlj8GPJbLGGgSF5YsP3AGkltroJRDUHVOInYkBk6pe1AXUltkjBZaU0PPCLa_d3sz2v0N_TsO0v37zHwkONR8</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>The sentry system</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Chodrow, S.E. ; Gouda, M.G.</creator><creatorcontrib>Chodrow, S.E. ; Gouda, M.G.</creatorcontrib><description>A system that observes the execution of each loop in any given sequential program and issues a warning if some loop execution does not terminate as expected (due to a programming error or a failure) is proposed. At each iteration of a loop execution, the program writes the current values of some variables into shared storage; these values are read later by another program called the sentry. The sentry uses these values to compute the loop's termination function at the current iteration, and issues a warning if successive values of the termination function are not monotonically decreasing. The shared storage between the program and the sentry is finite, the program never waits for the sentry during execution, and some form of mutual exclusion is achieved between the program and the sentry. Extensions of the system and an implementation of a prototype are described.&lt; &gt;</description><identifier>ISBN: 9780818628900</identifier><identifier>ISBN: 0818628901</identifier><identifier>DOI: 10.1109/RELDIS.1992.235122</identifier><language>eng</language><publisher>IEEE Comput. Soc. Press</publisher><subject>Computer errors ; Costs ; Debugging ; Fault detection ; Monitoring ; Prototypes ; Real time systems ; Safety</subject><ispartof>[1992] Proceedings 11th Symposium on Reliable Distributed Systems, 1992, p.230-237</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/235122$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,4050,4051,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/235122$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Chodrow, S.E.</creatorcontrib><creatorcontrib>Gouda, M.G.</creatorcontrib><title>The sentry system</title><title>[1992] Proceedings 11th Symposium on Reliable Distributed Systems</title><addtitle>RELDIS</addtitle><description>A system that observes the execution of each loop in any given sequential program and issues a warning if some loop execution does not terminate as expected (due to a programming error or a failure) is proposed. At each iteration of a loop execution, the program writes the current values of some variables into shared storage; these values are read later by another program called the sentry. The sentry uses these values to compute the loop's termination function at the current iteration, and issues a warning if successive values of the termination function are not monotonically decreasing. The shared storage between the program and the sentry is finite, the program never waits for the sentry during execution, and some form of mutual exclusion is achieved between the program and the sentry. Extensions of the system and an implementation of a prototype are described.&lt; &gt;</description><subject>Computer errors</subject><subject>Costs</subject><subject>Debugging</subject><subject>Fault detection</subject><subject>Monitoring</subject><subject>Prototypes</subject><subject>Real time systems</subject><subject>Safety</subject><isbn>9780818628900</isbn><isbn>0818628901</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1992</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNotjk1Lw0AUABeKYKk5eO2pfyDxfezLvj1KrVoICFrPZRNfMaUVyeaSf2-hzmVuwzi3RKgQIT68b5qn7UeFMVJFLEg0c0UMCopak0aAW1fkfIQLIhp8PXf3u29bZfsZh2mVpzza-c7dHNIpW_Hvhft83uzWr2Xz9rJdPzZlj8GPJbLGGgSF5YsP3AGkltroJRDUHVOInYkBk6pe1AXUltkjBZaU0PPCLa_d3sz2v0N_TsO0v37zHwkONR8</recordid><startdate>1992</startdate><enddate>1992</enddate><creator>Chodrow, S.E.</creator><creator>Gouda, M.G.</creator><general>IEEE Comput. Soc. Press</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>1992</creationdate><title>The sentry system</title><author>Chodrow, S.E. ; Gouda, M.G.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i174t-13896051535d3f3c00ab2b9457206c3279ce5e032888e03c718b33412735aa143</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1992</creationdate><topic>Computer errors</topic><topic>Costs</topic><topic>Debugging</topic><topic>Fault detection</topic><topic>Monitoring</topic><topic>Prototypes</topic><topic>Real time systems</topic><topic>Safety</topic><toplevel>online_resources</toplevel><creatorcontrib>Chodrow, S.E.</creatorcontrib><creatorcontrib>Gouda, M.G.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library Online</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Chodrow, S.E.</au><au>Gouda, M.G.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>The sentry system</atitle><btitle>[1992] Proceedings 11th Symposium on Reliable Distributed Systems</btitle><stitle>RELDIS</stitle><date>1992</date><risdate>1992</risdate><spage>230</spage><epage>237</epage><pages>230-237</pages><isbn>9780818628900</isbn><isbn>0818628901</isbn><abstract>A system that observes the execution of each loop in any given sequential program and issues a warning if some loop execution does not terminate as expected (due to a programming error or a failure) is proposed. At each iteration of a loop execution, the program writes the current values of some variables into shared storage; these values are read later by another program called the sentry. The sentry uses these values to compute the loop's termination function at the current iteration, and issues a warning if successive values of the termination function are not monotonically decreasing. The shared storage between the program and the sentry is finite, the program never waits for the sentry during execution, and some form of mutual exclusion is achieved between the program and the sentry. Extensions of the system and an implementation of a prototype are described.&lt; &gt;</abstract><pub>IEEE Comput. Soc. Press</pub><doi>10.1109/RELDIS.1992.235122</doi><tpages>8</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 9780818628900
ispartof [1992] Proceedings 11th Symposium on Reliable Distributed Systems, 1992, p.230-237
issn
language eng
recordid cdi_ieee_primary_235122
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Computer errors
Costs
Debugging
Fault detection
Monitoring
Prototypes
Real time systems
Safety
title The sentry system
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-24T00%3A07%3A26IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=The%20sentry%20system&rft.btitle=%5B1992%5D%20Proceedings%2011th%20Symposium%20on%20Reliable%20Distributed%20Systems&rft.au=Chodrow,%20S.E.&rft.date=1992&rft.spage=230&rft.epage=237&rft.pages=230-237&rft.isbn=9780818628900&rft.isbn_list=0818628901&rft_id=info:doi/10.1109/RELDIS.1992.235122&rft_dat=%3Cieee_6IE%3E235122%3C/ieee_6IE%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i174t-13896051535d3f3c00ab2b9457206c3279ce5e032888e03c718b33412735aa143%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=235122&rfr_iscdi=true