Safe Reclamation (RCL)

Goal

Maintainability:

$✓$

Reliability:

$✓$

Portability:

Performance:

$✓$

Security:

$✓$

Description

Related to managing dynamic storage at the system (policy) level, these statement-level rules concern the safe reclamation of access (pointer) values.

Rules

RCL01, RCL02, RCL03

• No Multiple Reclamations (RCL01)
• Only Reclaim Allocated Storage (RCL02)
• Only Reclaim To The Same Pool (RCL03)