Please use this identifier to cite or link to this item: http://hdl.handle.net/10397/838
PIRA download icon_1.1View/Download Full Text
DC FieldValueLanguage
dc.contributorDepartment of Computing-
dc.creatorCao, J-
dc.creatorCheung, NKC-
dc.creatorChan, ATS-
dc.date.accessioned2014-12-11T08:24:04Z-
dc.date.available2014-12-11T08:24:04Z-
dc.identifier.isbn0-7695-1101-5-
dc.identifier.urihttp://hdl.handle.net/10397/838-
dc.language.isoenen_US
dc.publisherIEEE Computer Societyen_US
dc.rights© 2001 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.en_US
dc.rightsThis material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.en_US
dc.subjectComputer monitorsen_US
dc.subjectConcurrency controlen_US
dc.subjectJava programming languageen_US
dc.subjectSynchronizationen_US
dc.titleRun-time fault detection in monitor based concurrent programmingen_US
dc.typeConference Paperen_US
dc.description.otherinformationSoftware Development and Management Lab., Dept. of Computingen_US
dc.description.otherinformationRefereed conference paperen_US
dc.identifier.doi10.1109/DSN.2001.941420-
dcterms.abstractThe monitor concept provides a structured and flexible high-level programming construct to control concurrent accesses to shared resources. It has been widely used in a concurrent programming environment for implicitly ensuring mutual exclusion and explicitly achieving process synchronization. This paper proposes an extension to the monitor construct for detecting run time errors in monitor operations. Monitors are studied and classified according to their functional characteristics. A taxonomy of concurrency control faults over a monitor is then defined. The concepts of a monitor event sequence and a monitor state sequence provide a uniform approach to history information recording and fault detection. Rules for detecting various types of faults are defined. Based on these rules, fault detection algorithms are developed. A prototypical implementation of the proposed monitor construct with run-time fault detection mechanisms has been developed in Java. We shall briefly report our experience with and the evaluation of the robust monitor prototype.-
dcterms.accessRightsopen accessen_US
dcterms.bibliographicCitationThe International Conference on Dependable Systems and Networks : 1-4 July 2001, Göteborg, Sweden : proceedings, p. 357-366-
dcterms.issued2001-
dc.identifier.isiWOS:000171088900035-
dc.identifier.scopus2-s2.0-0035789223-
dc.identifier.rosgroupidr10095-
dc.description.ros2001-2002 > Academic research: refereed > Refereed conference paper-
dc.description.oaVersion of Recorden_US
dc.identifier.FolderNumberOA_IR/PIRAen_US
dc.description.pubStatusPublisheden_US
Appears in Collections:Conference Paper
Files in This Item:
File Description SizeFormat 
run-time_01.pdf943.43 kBAdobe PDFView/Open
Open Access Information
Status open access
File Version Version of Record
Access
View full-text via PolyU eLinks SFX Query
Show simple item record

Page views

116
Last Week
2
Last month
Citations as of Mar 24, 2024

Downloads

165
Citations as of Mar 24, 2024

SCOPUSTM   
Citations

1
Last Week
0
Last month
0
Citations as of Mar 28, 2024

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.