fpt Reference: SHOW LIVES

fpt and WinFPT Reference Manual - Command-line Commands

| SimCon Home | Ref Manual Home |

SHOW LIVES

Syntax:

[DO NOT] SHOW LIVES

Function:

The same variable within a program may be used to hold two or more different and unconnected values. When this occurs, the different uses of the symbol are referred to as different lives.

A life of a variable starts with an assignment or data initialisation. All accesses to the variable which may share the same assignment or initialisation are considered to be accesses to the same life. A life may end at the end of a sub-program, but does not necessarily do so if the variable is public in a module or is in a COMMON block. A life may end at an assignment which starts another life. If the data assigned to a variable in two or more assignments may be accessed by a single right-hand-side use, the different assignments refer to the same life. If two different assignments can never reach the same right-hand-side use the lives are distinct.

For example, in:

REAL x : : 1 x = MIN(a,b) WRITE(6,'("Minimum:",F12.6)')x 2 x = MAX(a,b) WRITE(6,'("Maximum:",F12.6)')x

The variable x has two lives, one starting at label 1, and one at label 2. The two uses of x are independent in that no data flows between them. Either could be renamed without changing the meaning of the code.

In the code:

REAL x : : IF (min_f) THEN 1 x = MIN(a,b) ELSE 2 x = MAX(a,b) ENDIF 3 WRITE(6,'(''X: ''.F12.6)')x

The assignments of x at labels 1 and 2 are not independent because either could be used at 3, and therefore belong to the same life.

Different lives are important in that real variables could have different physical units and dimensions in different lives without creating an inconsistency. Please see the commands SHOW UNITS and CHECK UNITS for a further discussion.

Note also that if the separate lives of a variable were renamed as different variables the meaning of a program would not change. This renaming may be carried out by the command SEPARATE SYMBOL LIVES. This is used in optimising code for some parallel architectures.

Where to Use this Command

Operating system command line	Yes
Configuration file, config.fsp	No
Specification (fsp) files, *.fsp	Yes
Interactively, to FPT> prompt	Yes
Interactive command files	Yes
Embedded in the Fortran code	No

Examples

The command

FPT> show lives

generates a listing for every variable of the form:

Symbol: AYSEN ============= Name Sub-prog/Struct Use/COMMON Address Type Size Value/Bounds ---- --------------- ---------- ------- ---- ---- ------------ AYSEN ROTCON Local REAL *4 df Lives ===== Life: 1 ------- Assignments: 1 Read accesses: 4 Units: Undetermined Assignments: ------------ Line: 2525, File: e:\projects\fpt\fpttests\uh60a\original_source\bench.f AYSEN=AYPS Life: 2 ------- Assignments: 1 Read accesses: 2 Units: Undetermined Assignments: ------------ Line: 2598, File: e:\projects\fpt\fpttests\uh60a\original_source\bench.f ! ! Longitudinal section Sensor filter AYSEN=C1S*AYSENP+C2S*AYSNPP+C3S*AYPSP+C4S*AYPSPP ------------------------------------------------------------------------------