Previous | Contents | Index |
One way that condition handlers control subsequent execution is by specifying a function return value (symbols defined in library module $SSDEF). Function return values and their effects are defined in Table 14-2.
Symbolic Values | Effects |
---|---|
SS$_CONTINUE | If you assign the function value of the condition handler to SS$_CONTINUE, the handler returns control to the program unit at the statement that signaled the condition (fault) or the statement following the one that signaled the condition (trap). |
SS$_RESIGNAL | If you assign the function value of the condition handler to SS$_RESIGNAL or do not specify a function value (function value of zero), the CHF will search for another condition handler in the call stack. If you modify SIGARGS or MECHARGS before resignaling, the modified arrays are passed to the next handler. |
A condition handler can also request a call stack unwind by calling SYS$UNWIND before returning. Unwinding the call stack:
In this case, any function return values established by condition handlers are ignored by the CHF.
You can unwind the call stack whether the condition was detected by hardware or signaled by means of LIB$SIGNAL or LIB$STOP. Unwinding is the only way to continue execution after a call to LIB$STOP.
A stack unwind is typically made to one of two places:
INCLUDE '($CHFDEF)' RECORD /CHFDEF2/ MECHARGS CALL SYS$UNWIND(MECHARGS.CHF$IS_MCH_DEPTH,) |
CALL SYS$UNWIND(,) |
The actual stack unwind is not performed immediately after the condition handler issues the call to SYS$UNWIND. It occurs when a condition handler returns control to the CHF.
During the actual unwinding of the call stack, SYS$UNWIND examines each frame in the call stack to determine whether a condition handler was declared. If a handler was declared, SYS$UNWIND calls the handler with the condition value SS_$UNWIND (indicating that the stack is being unwound) in the condition name argument of the signal array. When a condition handler is called with this condition value, that handler can perform any procedure-specific clean-up operations that may be required. After the condition handler returns, the call frame is removed from the stack.
The system service SYS$GOTO_UNWIND performs a similar function.
For More Information:
On an example that uses SYS$UNWIND, see Section 14.12.
14.7 Matching Condition Values to Determine Program Behavior
In many condition-handling situations, you may want to respond to an exception condition regardless of the value of the severity code passed in the condition value. To ignore the severity and control fields of a condition value, use the LIB$MATCH_COND routine as a function in the following form:
index = LIB$MATCH_COND(SIGARGS(2),con-1,...con-n) |
index
An integer variable that is assigned a value for use in a subsequent computed GOTO statement.con
A condition value.
The LIB$MATCH_COND function compares bits 27:3 of the value in SIGARGS(2) with bits 27:3 of each specified condition value. If it finds a match, the function assigns the index value according to the position of the matching condition value in the list.
If the match is with the third condition value following SIGARGS(2), then index = 3. If no match is found, index = 0. The value of the index can then be used to transfer control, as in the following example:
INTEGER (KIND=4) FUNCTION HANDL(SIGARGS,MECHARGS) INCLUDE '($CHFDEF)' INCLUDE '($FORDEF)' INCLUDE '($SSDEF)' INTEGER (KIND=4) SIGARGS(*) RECORD /CHFDEF2/ MECHARGS INDEX=LIB$MATCH_COND(SIGARGS(2), FOR$_FILNOTFOU, & FOR$_NO_SUCDEV, FOR$_FILNAMSPE, FOR$_OPEFAI) GO TO (100,200,300,400), INDEX HANDL=SS$_RESIGNAL RETURN ... 100 ! Handle FOR$_FILNOTFOU ... 200 ! Handle FOR$_NO_SUCDEV ... 300 ! Handle FOR$_FILNAMSPE ... 400 ! Handle FOR$_OPEFAI . . . |
If no match is found between the condition value in SIGARGS(2) and any of the values in the list, then INDEX = 0 and control transfers to the next executable statement after the computed GOTO. A match with any of the values in the list transfers control to the corresponding statement in the GOTO list.
If SIGARGS(2) matches the condition symbol FOR$_OPEFAI, control transfers to statement 400.
For More Information:
When it is preferable to detect errors by signaling, but the calling procedure expects a returned status, LIB$SIG_TO_RET may be used by the procedure that signals. LIB$SIG_TO_RET is a condition handler that converts any signaled condition to a return status. The status is returned to the caller of the procedure that established LIB$SIG_TO_RET.
The arguments for LIB$SIG_TO_RET are as follows:
LIB$SIG_TO_RET (sig-args,mch-args) |
sig-args
Contains the address of the signal argument array (see Section 14.5).mch-args
Contains the address of the mechanism argument array (see Section 14.5).
You can establish LIB$SIG_TO_RET as a condition handler by specifying it in a call to LIB$ESTABLISH. You can also establish it by calling it from a user-written condition handler. If LIB$SIG_TO_RET is called from a condition handler, the signaled condition is returned as a function value to the caller of the establisher of that handler when the handler returns to the CHF. When a signaled exception condition occurs, LIB$SIG_TO_RET procedure does the following:
Your calling procedure is then able to test R0 and R1 as if
the called procedure had returned a status. Then the calling procedure
can specify an error recovery action.
14.9 Changing a Signal to a Stop
The routine LIB$SIG_TO_STOP causes a signal to appear as though it had been signaled by a call to LIB$STOP.
LIB$SIG_TO_STOP can be established as a condition handler or called from within a user-written condition handler.
The argument that you passed to LIB$STOP is a 4-byte condition value (see Section 14.3.3). The argument must be passed using the %VAL argument-passing mechanism.
When a signal is generated by LIB$STOP, the severity code is forced to
severe (STS$K_SEVERE) and control cannot be returned to the procedure
that signaled the condition.
14.10 Checking for Arithmetic Exceptions
On OpenVMS Alpha systems, arithmetic exceptions are indicated by the condition code SS$_HPARITH. The signal array for arithmetic exceptions (condition code SS$_HPARITH) is unique to OpenVMS Alpha systems and contains seven longwords (seven INTEGER (KIND=4) array elements):
In the integer register write mask and the floating-point register write mask, where each bit represents a register, any bits set indicate the registers that were targets of the exception. The exception summary indicates the type of exception or exceptions in the first seven bits of that longword, as follows:
Bit | Meaning |
---|---|
0 | Software completion. |
1 | Invalid floating arithmetic, conversion, or comparison. |
2 | Invalid attempt to perform a floating-point divide with a divisor of zero. (Integer divide-by-zero is not reported.) |
3 | Floating-point exponent overflow (arithmetic or conversion). |
4 | Floating-point exponent underflow (arithmetic or conversion). |
5 | Floating-point inexact result (arithmetic or conversion). |
6 | Integer arithmetic overflow or precision overflow during conversion from floating-point to integer. |
To allow precise reporting of exceptions, specify the /SYNCHRONOUS_EXCEPTIONS qualifier on the FORTRAN command line.
If you omit /SYNCHRONOUS_EXCEPTIONS, instructions beyond the instruction causing the exception may have been executed by the time the exception is reported. This causes the PC to be located at a subsequent instruction (inexact exception reporting). Specifying /SYNCHRONOUS_EXCEPTIONS drains the instruction pipeline after appropriate arithmetic instructions, but this slows performance.
For More Information:
Although Compaq Fortran naturally aligns local variables and provides the /ALIGNMENT qualifier to control alignment of fields in a record structures, derived-type structures, or a common block, certain conditions can result in unaligned data (see Section 5.3).
Unaligned data can result in a data alignment trap, which is an exception indicated by the condition code SS$_ALIGN. The OpenVMS operating system fixes up data alignment traps and does not report them to the program unless requested.
To obtain data alignment trap information, your program can call the SYS$START_ALIGN_FAULT_REPORT service.
You can also run the program within the OpenVMS debugger environment to detect the location of any unaligned data by using the SET BREAK/UNALIGNED debugger command (see Section 4.7).
Use the FORTRAN command /SYNCHRONOUS_EXCEPTIONS qualifier to ensure precise exception reporting.
Depending on the type of optimizations that might be applied, use the FORTRAN command /NOOPTIMIZE qualifier to ensure exception reporting.
For More Information:
The example in this section demonstrates the use of condition handlers in typical Fortran procedures.
The following example creates a function HANDLER that tests for integer overflow. The program needs to be compiled using the /CHECK=OVERFLOW, /SYNCHRONOUS_EXCEPTIONS, and (if fixed source form) /EXTEND_SOURCE qualifiers.
! This program types a maximum value for a 4-byte integer and ! then causes an exception with integer overflow, transferring ! control to a condition handler named HANDLER. ! ! Compile with: /CHECK=OVERFLOW ! /SYNCHRONOUS_EXCEPTIONS ! (and if fixed format, /EXTEND_SOURCE) ! ! File: INT_OVR.F90 ! INTEGER (KIND=4) INT4 EXTERNAL HANDLER (1) CALL LIB$ESTABLISH (HANDLER) (2) int4=2147483645 WRITE (6,*) ' Beginning DO LOOP, adding 1 to ', int4 DO I=1,10 INT4=INT4+1 (3) WRITE (6,*) ' INT4 NUMBER IS ', int4 END DO WRITE (6,*) ' The end ...' END PROGRAM ! The function HANDLER that handles the condition SS$_HPARITH INTEGER (KIND=4) FUNCTION HANDLER (SIGARGS, MECHARGS) (4) INTEGER (KIND=4) SIGARGS(*),MECHARGS(*) (5) INCLUDE '($CHFDEF)' INCLUDE '($SSDEF)' RECORD /CHFDEF1/ SIGARGS RECORD /CHFDEF2/ MECHARGS INTEGER INDEX INTEGER LIB$MATCH_COND INDEX = LIB$MATCH_COND(SIGARGS(2), SS$_HPARITH) (6) IF (INDEX .EQ. 0 ) THEN HANDLER = SS$_RESIGNAL ELSE IF (INDEX .GT. 0) THEN WRITE (6,*) '--> Arithmetic exception detected. Now in HANDLER' CALL LIB$STOP(%VAL(SIGARGS(2)),) (7) END IF RETURN END FUNCTION HANDLER |
The program is compiled, linked, and executed as follows:
$ FORTRAN/CHECK=OVERFLOW/SYNCHRONOUS_EXCEPTIONS INT_OVR (8) $ LINK INT_OVR $ RUN INT_OVR Beginning DO LOOP, adding 1 to 2147483645 INT4 NUMBER IS 2147483646 INT4 NUMBER IS 2147483647 (3) --> Arithmetic exception detected. Now in HANDLER %SYSTEM-F-HPARITH, high performance arithmetic trap, Imask=00000000, Fmask=0002023C, summary=1B, PC=00000001, PS=00000001 -SYSTEM-F-FLTINV, floating invalid operation, PC=00000001, PS=00000001 -SYSTEM-F-FLTOVF, arithmetic trap, floating overflow at PC=00000001, PS=00000001 -SYSTEM-F-FLTUND, arithmetic trap, floating underflow at PC=00000001, PS=00000001 TRACE-F-TRACEBACK, symbolic stack dump follows (7) Image Name Module Name Routine Name Line Number rel PC abs PC INT_OVR INT_OVR$MAIN HANDLER 1718 0000023C 0002023C DEC$FORRTL 0 000729F4 000A49F4 ----- above condition handler called with exception 00000504: %SYSTEM-F-HPARITH, high performance arithmetic trap, Imask=00000002, Fmask=00000000, summary=40, PC=000200CC, PS=0000001B -SYSTEM-F-INTOVF, arithmetic trap,integer overflow at PC=000200CC, PS=0000001B ----- end of exception message 0 84C122BC 84C122BC INT_OVR INT_OVR$MAIN INT_OVR$MAIN 19 000000CC 000200CC 0 84D140D0 84D140D0 |
This appendix provides compatibility information between Compaq Fortran (Fortran 90/95) and Compaq Fortran 77 for OpenVMS Systems. It discusses the following topics:
Table A-1 summarizes the compatibility of Compaq Fortran (CF, which supports the Fortran 90 and 95 standards) and Compaq Fortran 77 (CF77) on multiple platforms (architecture/operating system pairs).
Compaq Fortran (CF) is available on Compaq OpenVMS Alpha Systems (Version 7.2), Compaq Tru64 UNIX (formerly DIGITAL UNIX) Alpha systems (Version 5.2), and as Compaq Visual Fortran (CVF) on PC systems (Version 6.0). The Visual Fortran Professional Edition and the VF Standard Edition support the Compaq Fortran compiler for Windows NT, Windows 95, and Windows 98 on x86 systems. The Visual Fortran Professional Edition also supports Windows NT on Alpha systems.
Compaq Fortran (CF), Compaq Visual Fortran (VF), or Compaq Fortran 77 (CF77) for ... Systems | ||||||
---|---|---|---|---|---|---|
Language Feature | CF UNIX Alpha | CF77 UNIX Alpha | VF Windows NT, 98, 95 | CF OpenVMS Alpha | CF77 OpenVMS Alpha | CF77 OpenVMS VAX |
Linking against static and shared libraries | X | X | X | X | X | X |
Create code for shared libraries | X | X | X | X | X | X |
Recursive code support | X | X | X | X | X | X |
AUTOMATIC and STATIC statements | X | X | X | X | X | X |
STRUCTURE and RECORD declarations | X | X | X | X | X | X |
INTEGER*1, *2, *4 | X | X | X | X | X | X |
LOGICAL*1, *2, *4 | X | X | X | X | X | X |
INTEGER*8 and LOGICAL*8 | X | X | X 1 | X | X | |
REAL*4, *8 | X | X | X | X | X | X |
REAL*16 2 | X | X | X | X | X | |
COMPLEX*8, *16 | X | X | X | X | X | X |
POINTER (CRAY-style) | X | X | X | X | X | X |
INCLUDE statements | X | X | X | X | X | X |
IMPLICIT NONE statements | X | X | X | X | X | X |
Data initialization in type declarations | X | X | X | X | X | X |
Automatic arrays | X | X | X | X | X | |
VOLATILE statements | X | X | X | X | X | X |
NAMELIST-directed I/O | X | X | X | X | X | X |
31-character names including $ and _ | X | X | X | X | X | X |
Source listing with machine code | X | X | X | X | X | X |
Debug statements in source | X | X | X | X | X | X |
Bit constants to initialize data and use in arithmetic | X | X | X | X | X | X |
DO WHILE and END DO statements | X | X | X | X | X | X |
Built-in functions %LOC, %REF, %VAL | X | X | X | X | X | X |
SELECT CASE construct | X | X | X | X | X | |
EXIT and CYCLE statements | X | X | X | X | X | |
Variable FORMAT expressions (VFEs) | X | X | X | X | X | X |
! marks end-of-line comment | X | X | X | X | X | X |
Optional run-time bounds checking for arrays and substrings | X | X | X | X | X | X |
Binary (unformatted) I/O in IEEE big endian, IEEE little endian, VAX, IBM, and CRAY floating-point formats | X | X | X | X | X | X |
Fortran 95 standards checking | X | X | X | |||
Fortran 90 standards checking | X | X | X | |||
FORTRAN-77 standards checking | X | X | X | |||
IEEE exception handling | X | X | X | X | X | |
VAX floating data type in memory | X | X | X | |||
IEEE floating data type in memory | X | X | X | X | X | |
CDD/Repository DICTIONARY support | X | X | ||||
KEYED access and INDEXED files | X | X | X | |||
Parallel decomposition | 3,4 | 3,4 | 4 | 4 | 4 | X |
OpenMP parallel directives | X | |||||
Conditional compilation using IF...DEF constructs | X | X | X | |||
Vector code support | X | |||||
Direct inlining of Basic Linear Algebra Subroutines (BLAS) | X 5 | X 5 | 5 | 5 | 5 | X |
DATE_AND_TIME returns 4-digit year | X | X | X | X | X | X |
FORALL statement and construct | X | X | X | |||
Automatic deallocation of ALLOCATABLE arrays | X | X | X | |||
Dim argument to MAXLOC and MINLOC | X | X | X | |||
PURE user-defined subprograms | X | X | X | |||
ELEMENTAL user-defined subprograms | X | X | X | |||
Pointer initialization (initial value) | X | X | X | |||
The NULL intrinsic to nullify a pointer | X | X | X | |||
Derived-type structure initialization | X | X | X | |||
CPU_TIME intrinsic subroutine | X | X | X | |||
Kind argument to CEILING and FLOOR intrinsics | X | X | X | |||
Nested WHERE constructs, masked ELSEWHERE statement, and named WHERE constructs | X | X | X | |||
Comments allowed in namelist input | X | X | X | |||
Generic identifier in END INTERFACE statements | X | X | X | |||
Minimal FORMAT edit descriptor field width | X | X | X | |||
Detection of Obsolescent and/or Deleted features 6 | X | X | X |
Previous | Next | Contents | Index |