by Cheng Kar Wai. / Thesis (M.Phil.)--Chinese University of Hong Kong, 1990. / Bibliography: leaves [195-199] / ABSTRACT / Chapter CHAPTER 1 --- INTRODUCTION --- p.1 / Chapter 1.1 --- Problem --- p.2 / Chapter 1 .2 --- Approach --- p.3 / Chapter 1.2.1 --- Programming Approach --- p.4 / Chapter 1.2.2 --- Specification Approach --- p.5 / Chapter 1.3 --- Thesis Organization --- p.11 / Chapter CHAPTER 2 --- MODEL SPECIFICATION APPROACH --- p.12 / Chapter 2 .1 --- Overview --- p.14 / Chapter 2.2 --- Compilation Phases --- p.17 / Chapter 2.3 --- Array Graph --- p.22 / Chapter 2.4 --- Scheduling --- p.25 / Chapter CHAPTER 3 --- SURVEY --- p.31 / Chapter 3.1 --- Goodenough's Proposal --- p.31 / Chapter 3.2 --- Exception Handling Models --- p.34 / Chapter 3.3 --- Programming Languages --- p.40 / Chapter 3.4 --- Data-Oriented Exception Handling --- p.49 / Chapter 3.5 --- Specification Languages --- p.50 / Chapter CHAPTER 4 --- EXCEPTION HANDLING SPECIFICATION --- p.55 / Chapter 4.1 --- Data-Oriented Exceptions Specification --- p.55 / Chapter 4.2 --- Assertions for Exception Handling --- p.59 / Chapter 4.2.1 --- User-defined Exception Condition Assertion --- p.61 / Chapter 4.2.2 --- Fatal Condition Assertion --- p.62 / Chapter 4.2.3 --- Replacement Assertion --- p.64 / Chapter 4.2.3.1 --- Scenario 1: Immediate Replacement --- p.68 / Chapter 4.2.3.2 --- Scenario 2: Direct Dependency --- p.71 / Chapter 4.2.3.3 --- Scenario 3: Indirect Dependency --- p.72 / Chapter 4.2.3.4 --- Scenario 4: Lower Dimensionality --- p.74 / Chapter 4.2.4 --- Message Vector Assertion --- p.76 / Chapter CHAPTER 5 --- ARRAY GRAPH FOR EXCEPTION HANDLING --- p.78 / Chapter 5.1 --- Subgraph Embedding --- p.78 / Chapter 5.1.1 --- User-Defined Exception Conditions --- p.80 / Chapter 5.1.2 --- Fatal Conditions --- p.82 / Chapter 5.1.3 --- Pre-Defined Exception Conditions --- p.83 / Chapter 5.1.4 --- Replacement Assertions --- p.85 / Chapter 5.1.5 --- Message Vector Assertions --- p.89 / Chapter 5.2 --- Data Dependency Interpretation --- p.91 / Chapter 5.2.1 --- Immediate Replacement --- p.92 / Chapter 5.2.2 --- Direct Dependency --- p.92 / Chapter 5.2.3 --- Indirect Dependency --- p.93 / Chapter 5.2.4 --- Shared Data Variable --- p.99 / Chapter CHAPTER 6 --- SCHEDULING FOR EXCEPTION HANDLING --- p.104 / Chapter 6.1 --- Backward Path Tracing --- p.106 / Chapter 6.1.1 --- Forward Versus Backward Tracing --- p.106 / Chapter 6.1.2 --- Assertion-Marking Strategy --- p.113 / Chapter 6.2 --- Grain Scheduling --- p.116 / Chapter 6.2.1 --- New Constraints --- p.120 / Chapter 6.3 --- Delayed Exception Raise Event --- p.125 / Chapter 6.4 --- Enhancement of Scheduling Algorithm --- p.126 / Chapter 6.5 --- Control Flow Issues --- p.128 / Chapter 6.5.1 --- Immediate Replacement --- p.130 / Chapter 6.5.2 --- Direct Dependency --- p.131 / Chapter 6.5.3 --- Indirect Dependency --- p.132 / Chapter 6.5.4 --- Lower Dimensionality --- p.133 / Chapter CHAPTER 7 --- MORE COMPLICATED SCHEDULING --- p.135 / Chapter 7.1 --- Multiple Exception Handling Assertions --- p.137 / Chapter 7.1.1 --- Overlapped Scopes of Exception Grain --- p.138 / Chapter 7.1.2 --- Priorities in Scheduling --- p.156 / Chapter 7.2 --- Single Replacement Assertion --- p.160 / Chapter 7.2.1 --- Multiple Exception Conditions --- p.160 / Chapter 7.2.2 --- Conditional Replacement --- p.163 / Chapter 7 .3 --- Loop Optimization --- p.164 / Chapter 7.4 --- Modifications to the Scheduling Algorithm --- p.177 / Chapter 7.5 --- Implementation --- p.180 / Chapter 7.5.1 --- Syntax Checking --- p.180 / Chapter 7.5.2 --- Array Graph Construction --- p.182 / Chapter 7.5.3 --- Array Graph Analysis --- p.185 / Chapter 7.5.4 --- Generation of Schedule with Exception Handling Subgraph --- p.186 / Chapter CHAPTER 8 --- CONCLUSIONS --- p.187 / Chapter 8 .1 --- Future Work --- p.188 / APPENDIX / Chapter 1. --- Backward Tracing/Assertion Marking Strategy / REFERENCE
| Identifer | oai:union.ndltd.org:cuhk.edu.hk/oai:cuhk-dr:cuhk_318583 |
| Date | January 1990 |
| Contributors | Cheng, Kar Wai., Chinese University of Hong Kong Graduate School. Division of Computer Science. |
| Publisher | Chinese University of Hong Kong |
| Source Sets | The Chinese University of Hong Kong |
| Language | English |
| Detected Language | English |
| Type | Text, bibliography |
| Format | print, 190, [9] leaves : ill. ; 30 cm. |
| Rights | Use of this resource is governed by the terms and conditions of the Creative Commons “Attribution-NonCommercial-NoDerivatives 4.0 International” License (http://creativecommons.org/licenses/by-nc-nd/4.0/) |
Page generated in 0.0279 seconds