Package dev.engine_room.flywheel.backend.engine.embed

Class EnvironmentStorage

java.lang.Object

dev.engine_room.flywheel.backend.engine.embed.EnvironmentStorage

public class EnvironmentStorage
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
final CpuArena	arena
protected final it.unimi.dsi.fastutil.objects.ReferenceSet<EmbeddedEnvironment>	environments
protected final Object	lock
static final int	MATRIX_SIZE_BYTES

Constructor Summary

Constructors

Constructor	Description
EnvironmentStorage()

Method Summary

Modifier and Type	Method	Description
void	delete()
void	flush()
void	track(EmbeddedEnvironment environment)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

MATRIX_SIZE_BYTES

public static final int MATRIX_SIZE_BYTES

See Also:

• Constant Field Values

lock

protected final Object lock

environments

protected final it.unimi.dsi.fastutil.objects.ReferenceSet<EmbeddedEnvironment> environments

arena

public final CpuArena arena

Constructor Details

EnvironmentStorage

public EnvironmentStorage()

Method Details

track

public void track(EmbeddedEnvironment environment)

flush

public void flush()

delete

public void delete()