/ 
SPVM-0.989103
River stage two • 34 direct dependents • 37 total dependents
/ SPVM::Document::Language::GarbageCollection

Name

SPVM::Document::Language::GarbageCollection - Garbage Collection in the SPVM Language

Description

This document describes garbage collection in the SPVM language.

Garbage Collection

Reference Count GC

Garbage collection in SPVM is a reference counted GC.

The object is destroyed when its reference count reaches 0.

The reference count of an object assigned by the assignment operator is incremented by 1.

# The reference count is incremented by 1
my $object = Point->new;

The reference count of an object whose assignment is removed by an assignment operator is decreased by 1.

# The reference count is decremented by 1
$object = undef;

Reference counts incremented by assignments to local variables are decremented at the end of its scope.

{
  # The reference count is incremented by 1
  my $object = Point->new;
  
  # The reference count of $object is decremented by 1 at the end of this scope
}

Assignment

An assignment operator changes the reference count of the left operand and the right operand.

LEFT_OPERAND = RIGHT_OPERAND

If the type of the value owned by RIGHT_OPERAND is an object type and defined, the reference count of the object is incremented by 1.

And if the type of the value owned by LEFT_OPERAND is an object type and defined, the reference count of the object is decremented by 1.

Scope

A scope is the part surrounded by a scope block.

# Scope block
{
  # Beginning of scope
  
  my $point = Point->new;
  
  # End of scope
}

Entering Scope

The operation of entering scope is executed at the start of a scope block.

This operation memorizes the top position of the mortal stack of a method.

Pushing a Local Variable on the Mortal Stack

The operation of a local variable on the mortal stack pushes a local variable on the mortal stack of a method.

Leaving Scope

The operation of leaving scope is executed at the end of a scope block.

This operation assigns objects from the top position memorized by entering scope to the current top position of the mortal stack to undef.

Mortal Stack

A mortal stack is a stack that is used by entering scope, pushing a local variable on the mortal stack and leaving scope.

A method has one mortal stack.

Weak Reference

SPVM supports weak references. Weak references are used to avoid circular references.

This is an example that objects have circular references.

{
  my $foo = new Foo;
  my $bar = new Bar;
  
  $foo->{bar} = $bar;
  $bar->{foo} = $foo;
}

The weaken operator converts a reference to a weak reference.

{
  my $foo = new Foo;
  my $bar = new Bar;
  
  $foo->{bar} = $bar;
  $bar->{foo} = $foo;
  
  weaken $foo->{bar};
}

If a reference is convertd to a weak reference, the reference count of the referenced object is decremented by 1.

And the weaken flag of the field trun on, and the back reference from the field is added to the referenced object.

The isweak operator checks if the weaken flag of the field turn on.

my $isweak = isweaken $foo->{bar};

The unweaken operator converts a weak reference to a reference.

unweaken $foo->{bar};

If a weak reference is convertd to a reference, the reference count of the referenced object is incremented by 1.

And the weaken flag of the field trun off, and the back reference from the field is removed from the referenced object.

See Also

Copyright & License

Copyright (c) 2023 Yuki Kimoto

MIT License