Termination and rollback in language-based systems

Simple item page
dc.contributor.advisorWallach, Dan S.
dc.creatorRudys, Algis P.
dc.date.accessioned2009-06-04T06:37:53Z
dc.date.available2009-06-04T06:37:53Z
dc.date.issued2002
dc.description.abstractLanguage run-time systems are routinely used to host potentially buggy or malicious code in a secure environment. For this thesis, we address a single aspect of the resource-management problem, the problem of code termination, including the related issue of restarting previously terminated code. We provide formal analysis, including proofs of the correctness of our termination system for an idealized language. We also consider implementations of our systems in Java using bytecode rewriting. The performance impact of these systems ranged from relatively modest (3 to 25% overhead for soft termination), to severe, although perhaps unavoidable (6 to 23x overhead for transactional rollback). We discuss the technique of bytecode rewriting as used here to modify the semantics of a language. Our goal is to provide a mechanism based on code-to-code transformations with semantics for codelets in a run-time system similar to the semantics provided by operating systems for managing processes.
dc.format.extent93 p.en_US
dc.format.mimetypeapplication/pdf
dc.identifier.callnoTHESIS COMP.SCI. 2003 RUDYS
dc.identifier.citationRudys, Algis P.. "Termination and rollback in language-based systems." (2002) Master’s Thesis, Rice University. <a href="https://hdl.handle.net/1911/17619">https://hdl.handle.net/1911/17619</a>.
dc.identifier.urihttps://hdl.handle.net/1911/17619
dc.language.isoeng
dc.rightsCopyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder.
dc.subjectComputer science
dc.titleTermination and rollback in language-based systems
dc.typeThesis
dc.type.materialText
thesis.degree.departmentComputer Science
thesis.degree.disciplineEngineering
thesis.degree.grantorRice University
thesis.degree.levelMasters
thesis.degree.nameMaster of Science
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
1414291.PDF
Size:
4.21 MB
Format:
Adobe Portable Document Format
Download
Collections
Rice University Electronic Theses and Dissertations