CloudFlare suffered a massive security issue affecting all of its customers, including Rosetta Code. All passwords not changed since February 19th 2017 have been expired, and session cookie longevity will be reduced until late March.--Michael Mol (talk) 05:15, 25 February 2017 (UTC)

Arena storage pool

From Rosetta Code
Arena storage pool
You are encouraged to solve this task according to the task description, using any language you may know.

Dynamically allocated objects take their memory from a heap. The memory for an object is provided by an allocator which maintains the storage pool used for the heap. Often a call to allocator is denoted as

P := new T

where T is the type of an allocated object and P is a reference to the object.

The storage pool chosen by the allocator can be determined by either:

  • the object type T;
  • the type of pointer P.

In the former case objects can be allocated only in one storage pool. In the latter case objects of the type can be allocated in any storage pool or on the stack.

Task description
The task is to show how allocators and user-defined storage pools are supported by the language. In particular:

  1. define an arena storage pool. An arena is a pool in which objects are allocated individually, but freed by groups.
  2. allocate some objects (e.g., integers) in the pool.

Explain what controls the storage pool choice in the language.


In Ada the choice of storage pool is controlled by the type of the pointer. Objects pointed by anonymous access types are allocated in the default storage pool. Pool-specific pointer types may get a pool assigned to them:

type My_Pointer is access My_Object;
for My_Pointer'Storage_Pool use My_Pool;

The following example illustrates implementation of an arena pool. Specification:

with System.Storage_Elements;  use System.Storage_Elements;
with System.Storage_Pools; use System.Storage_Pools;
package Arena_Pools is
type Arena (Size : Storage_Count) is new Root_Storage_Pool with private;
procedure Allocate
( Pool  : in out Arena;
Address  : out System.Address;
Size  : Storage_Count;
Alignment : Storage_Count
procedure Deallocate
( Pool  : in out Arena;
Address  : System.Address;
Size  : Storage_Count;
Alignment : Storage_Count
) is null;
function Storage_Size (Pool : Arena) return Storage_Count;
type Arena (Size : Storage_Count) is new Root_Storage_Pool with record
Free : Storage_Offset := 1;
Core : Storage_Array (1..Size);
end record;
end Arena_Pools;

Here is an implementation of the package:

package body Arena_Pools is
procedure Allocate
( Pool  : in out Arena;
Address  : out System.Address;
Size  : Storage_Count;
Alignment : Storage_Count
) is
Free : constant Storage_Offset :=
Pool.Free + Alignment - Pool.Core (Pool.Free)'Address mod Alignment + Size;
if Free - 1 > Pool.Size then
raise Storage_Error;
end if;
Pool.Free := Free;
Address := Pool.Core (Pool.Free - Size)'Address;
end Allocate;
function Storage_Size (Pool : Arena) return Storage_Count is
return Pool.Size;
end Storage_Size;
end Arena_Pools;

The following is a test program that uses the pool:

with Arena_Pools;
use Arena_Pools;
procedure Test_Allocator is
Pool : Arena_Pools.Arena (1024);
type Integer_Ptr is access Integer;
for Integer_Ptr'Storage_Pool use Pool;
X : Integer_Ptr := new Integer'(1);
Y : Integer_Ptr := new Integer'(2);
Z : Integer_Ptr;
Z := new Integer;
Z.all := X.all + Y.all;
end Test_Allocator;


For C, dynamic memory is often used for structures and for arrays when the size of the array is unknown in advance. 'Objects' in C are pretty much structures, with the structure sometimes including a pointer to a virtual dispatch table.

To use dynamic memory, the header for the standard library must be included in the module.

#include <stdlib.h>

Uninitialized memory is allocated using the malloc function. To obtain the amount of memory that needs to be allocated, sizeof is used. Sizeof is not a normal C function, it is evaluated by the compiler to obtain the amount of memory needed.

int *var = malloc(n*sizeof(int));
Typename *var = malloc(sizeof(Typename));
Typename *var = malloc(sizeof var[0]);

Since pointers to structures are needed so frequently, often a typedef will define a type as being a pointer to the associated structure. Once one gets used to the notation, programs are actually easier to read, as the variable declarations don't include all the '*'s.

typedef struct mytypeStruct { .... } sMyType, *MyType;
MyType var = malloc(sizeof(sMyType));

The calloc() function initializes all allocated memory to zero. It is also often used for allocating memory for arrays of some type.

/* allocate an array of n MyTypes */
MyType var = calloc(n, sizeof(sMyType));
MyType third = var+3; /* a reference to the 3rd item allocated */
MyType fourth = &var[4]; /* another way, getting the fourth item */

Freeing memory dynamically allocated from the heap is done by calling free().


One can allocate space on the stack using the alloca() function. You do not free memory that's been allocated with alloca

Typename *var = alloca(sizeof(Typename));

An object oriented approach will define a function for creating a new object of a class. In these systems, the size of the memory that needs to be allocated for an instance of the class will often be included in the 'class' record. See


In C++, the situation with allocators is quite complex:

  • You can define class-specific allocation/deallocation by adding class members operator new and operator delete. Those are then used whenever you use new for that type (or a type derived from it, if it doesn't itself replace operator new), and when you delete an object of that type. Note that arrays and single objects have both separate allocation functions and deallocation functions.
  • You can replace the global allocation/deallocation routines, which are used by new/delete whenever there are no class specific functions available.
  • You can write operator new/operator delete with additional arguments, both in a class and globally. To use those, you add those parameters after the keyword new, like
T* foo = new(arena) T;
  • In addition, for objects in containers, there's a completely separate allocator interface, where the containers use an allocator object for allocating/deallocating memory.

The following code uses class-specific allocation and deallocation functions:

#include <cstdlib>
#include <cassert>
#include <new>
// This class basically provides a global stack of pools; it is not thread-safe, and pools must be destructed in reverse order of construction
// (you definitely want something better in production use :-))
class Pool
Pool(std::size_type sz);
static Pool& current() { return *cur; }
void* allocate(std::size_type sz, std::size_t alignment);
char* memory; // char* instead of void* enables pointer arithmetic
char* free;
char* end;
Pool* prev;
static Pool* cur;
// prohibit copying
Pool(Pool const&); // not implemented
Pool& operator=(Pool const&); // not implemented
Pool* pool::cur = 0;
Pool::Pool(std::size_type size):
memory(static_cast<char*>(::operator new(size))),
end(memory + size))
prev = cur;
cur = this;
::operator delete(memory);
cur = prev;
void* Pool::allocate(std::size_t size, std::size_t alignment)
char* start = free;
// align the pointer
std::size_t extra = (start - memory) % aligment;
if (extra != 0)
extra = alignment - extra;
// test if we can still allocate that much memory
if (end - free < size + extra)
throw std::bad_alloc();
// the free memory now starts after the newly allocated object
free = start + size + extra;
return start;
// this is just a simple C-like struct, except that it uses a specific allocation/deallocation function.
struct X
int member;
void* operator new(std::size_t);
void operator delete(void*) {} // don't deallocate memory for single objects
void* X::operator new(std::size_t size)
// unfortunately C++ doesn't offer a portable way to find out alignment
// however, using the size as alignment is always safe (although usually wasteful)
return Pool::current().allocate(size, size);
// Example program
int main()
Pool my_pool(3*sizeof(X));
X* p1 = new X; // uses the allocator function defined above
X* p2 = new X;
X* p3 = new X;
delete p3; // doesn't really deallocate the memory because operator delete has an empty body
X* p4 = new X; // should fail
X* p5 = new X[10]; // uses global array allocation routine because we didn't provide operator new[] and operator delete[]
delete[] p5; // global array deallocation
Pool* my_second_pool(1000); // a large pool
X* p6 = new X; // allocate a new object from that pool
X* p7 = new X;
delete my_second_pool // also deallocates the memory for p6 and p7
} // Here my_pool goes out of scope, deallocating the memory for p1, p2 and p3


Given automatic memory handling the only way to ask for memory in Erlang is when creating a process. Likewise the only way to manually return memory is by killing a process. So the pool could be built like this. The unit for memory is word, b.t.w.

-module( arena_storage_pool ).
-export( [task/0] ).
task() ->
Pid = erlang:spawn_opt( fun() -> loop([]) end, [{min_heap_size, 10000}] ),
set( Pid, 1, ett ),
set( Pid, "kalle", "hobbe" ),
V1 = get( Pid, 1 ),
V2 = get( Pid, "kalle" ),
true = (V1 =:= ett) and (V2 =:= "hobbe"),
erlang:exit( Pid, normal ).
get( Pid, Key ) ->
Pid ! {get, Key, erlang:self()},
{value, Value, Pid} -> Value
loop( List ) ->
{set, Key, Value} -> loop( [{Key, Value} | proplists:delete(Key, List)] );
{get, Key, Pid} ->
Pid ! {value, proplists:get_value(Key, List), erlang:self()},
loop( List )
set( Pid, Key, Value ) -> Pid ! {set, Key, Value}.


Run-time memory allocation is a latter-day feature in Fortran. In the beginning, a programme would either fit in the available memory or it would not. Any local variables declared in subroutines, especially arrays, would have some storage requirement that had been fixed at compile time, and space would be reserved for all of them whether any subroutine would be invoked or not in a particular run. Fixed array sizes were particularly troublesome in subroutines, as pre-specifying some largeish size for all such arrays would soon exhaust the available memory and this was especially annoying when it was never going to be the case that all the arrays had to be available simultaneously because not all the subroutines would be invoked. Thus, developers of complicated calculations, say involving a lot of matrix manipulation, would be forced towards devising some storage allocation scheme involving scratchpad arrays that would be passed as additional parameters for subroutines to use as working storage, and soon enough one escalated to having a "pool" array, with portions being reserved and passed about the various routines as needed for a given run. Possibly escalating to further schemes involving disc storage and a lot of effort, repaid in suddenly having larger problems solvable.

Fortran 90 standardised two ameliorations. A subroutine can now declare arrays whose size is specified at run time, with storage typically organised via a stack, since on exit from the subroutine such storage is abandoned, which is to say, returned to the system pool. Secondly, within a routine, and not requiring entry into a subroutine (nor a begin ... end; block as in Algol), storage can be explicitly allocated with a specified size for arrays as needed, this time from a "heap" storage pool, and later de-allocated. Again, on exiting the subroutine, storage for such arrays (if declared within the subroutine) is abandoned.

Thus, in a sense, a group of items for which storage has been allocated can have their storage released en-mass by exiting the routine. However, it is not the case that items A, B, C can be allocated in one storage "area" (say called "Able") and another group D, E in a second named area (say "Baker"), and that by discarding "Able" all its components would be de-allocated without the need to name them in tedious detail.

So, for example:
      SUBROUTINE CHECK(A,N)	!Inspect matrix A.
REAL A(:,:) !The matrix, whatever size it is.
INTEGER N !The order.
REAL B(N,N) !A scratchpad, size known on entry..
INTEGER, ALLOCATABLE::TROUBLE(:) !But for this, I'll decide later.
M = COUNT(A(1:N,1:N).LE.0) !Some maximum number of troublemakers.
ALLOCATE (TROUBLE(1:M**3)) !Just enough.

Thus, whereas previously a problem might not be solvable via the existing code because of excessive fixed-size storage requirements, now reduced demands can be made and those only for subroutines that are in action. Thus larger problems can be handled without agonising attempts to cut-to-fit, the usage for scratchpads such as B being particularly natural as in Algol from the 1960s. But on the other hand, a run might exhaust the available storage (either via the stack or via the heap) somewhere in the middle of job because its particular execution path made too many requests and the happy anticipation of results is instead met by a mess.


package main
import (
// New to Go 1.3 are sync.Pools, basically goroutine-safe free lists.
// There is overhead in the goroutine-safety and if you do not need this
// you might do better by implementing your own free list.
func main() {
// Task 1: Define a pool (of ints). Just as the task says, a sync.Pool
// allocates individually and can free as a group.
p := sync.Pool{New: func() interface{} {
fmt.Println("pool empty")
return new(int)
// Task 2: Allocate some ints.
i := new(int)
j := new(int)
// Show that they're usable.
*i = 1
*j = 2
fmt.Println(*i + *j) // prints 3
// Task 2 continued: Put allocated ints in pool p.
// Task explanation: Variable p has a pool as its value. Another pool
// could be be created and assigned to a different variable. You choose
// a pool simply by using the appropriate variable, p here.
// Drop references to i and j. This allows them to be garbage collected;
// that is, freed as a group.
i = nil
j = nil
// Get ints for i and j again, this time from the pool. P.Get may reuse
// an object allocated above as long as objects haven't been garbage
// collected yet; otherwise p.Get will allocate a new object.
i = p.Get().(*int)
j = p.Get().(*int)
*i = 4
*j = 5
fmt.Println(*i + *j) // prints 9
// One more test, this time forcing a garbage collection.
i = nil
j = nil
i = p.Get().(*int)
j = p.Get().(*int)
*i = 7
*j = 8
fmt.Println(*i + *j) // prints 15
pool empty
pool empty


The concepts of pools and allocation is foreign to J, and excessively verbose for most purposes. However, this task can be accomplished by relying on J's facilities for dealing with code written in foreign languages.

For example, you can define a class which allocates a pool of integers:

coclass 'integerPool'
require 'jmf'
create=: monad define
Lim=: y*SZI_jmf_
Next=: -SZI_jmf_
Pool=: mema Lim
destroy=: monad define
memf Pool
alloc=: monad define
assert.Lim >: Next=: Next+SZI_jmf_
r set y
get=: adverb define
memr m
set=: adverb define
y memw m

With this script you can then create instances of this class, and use them. In this case, we will create a pool of three integers:

   pool0=: 3 conew 'integerPool'
x0=: alloc__pool0 0
x1=: alloc__pool0 0
x2=: alloc__pool0 0
x0 set__pool0 7
x1 set__pool0 8
x2 set__pool0 9
x0 get__pool0 + x1 get__pool0 + x2 get__pool0

Finally, the pool can be destroyed:

   destroy__pool0 _

That said, using J's built-in support for integers (and for using them) usually results in better code.


Mathematica does not allow stack/heap control, so all variables are defined on the heap. However, tags must be given a value for a meaningful assignment to take place.

f[x_] := x^2


This only way to allocate memory is to ask new class method on a class object. This will create an instance of this class on the heap. The heap is managed by the garbage collector.

The stacks (data stack and execution stack) only holds addresses of these objects. There is no object created on the stacks, apart small integers.

There is no user-defined storage pool and it is not possible to explicitly destroy an object.

Object Class new: MyClass(a, b, c)
MyClass new


In ooRexx:

  • Everything is an object.
  • Objects are dynamically allocated.
  • Unused objects are garbage collected.

Where objects appear from, or disappear to, is treated as an implementation detail.

Statements, such as assignments, class, method, and routine definitions, and ::requires directives can create objects and assign references to them to variables. Objects can also be referred to from other objects e.g. in collections such as lists. When objects are no longer referenced, the objects become candidates for garbage collection. It is not possible to explicitly destroy an object.


Class ArenaPool
string buf
sys pb,ii
method Setup(sys n) as sys {buf=nuls n : pb=strptr buf : ii=0 : return pb}
method Alloc(sys n) as sys {method=pb+ii : ii+=n}
method Empty() {buf="" : pb=0 : ii=0}
end class
macro Create(type,name,qty,pool)
type name[qty] at (pool##.alloc qty * sizeof type)
end macro
ArenaPool pool : pool.setup 1000 * sizeof int
Create int,i,100,pool
Create int,j,100,pool
j[51] <= 1,2,3,4,5
print j[51] j[52] j[53] j[54] j[55] 'result 15


GP has no particular control over the layout of objects in memory.

PARI allocates objects on the PARI stack by default, but objects can be allocated on the heap if desired.

pari_init(1<<20, 0); // Initialize PARI with a stack size of 1 MB.
GEN four = addii(gen_2, gen_2); // On the stack
GEN persist = gclone(four); // On the heap


Works with: Free_Pascal

The procedure New allocates memory on the heap:

procedure New (var P: Pointer);

The Pointer P is typed and the amount of memory allocated on the heap matches the type. Deallocation is done with the procedure Dispose. In ObjectPascal constructors and destructors can be passed to New and Dispose correspondingly. The following example is from the rtl docs of Free_Pascal

Program Example16;
{ Program to demonstrate the Dispose and New functions. }
SS = String[20];
AnObj = Object
I : integer;
Constructor Init;
Destructor Done;
P : ^SS;
T : ^AnObj;
Constructor Anobj.Init;
Writeln ( ' Initializing an instance of AnObj! ' );
Destructor AnObj.Done;
Writeln ( ' Destroying an instance of AnObj! ' ) ;
New ( P );
P^ := 'Hello, World!';
Dispose ( P );
{ P is undefined from here on! }
New ( T, Init );
T^.i := 0;
Dispose ( T, Done );
end .

Instead of implicit specification of the amount of memory using a type, the explicit amount can directly specified with the procedure getmem (out p: pointer; Size: PtrUInt);


PicoLisp allocates any kind of data from a single pool, because everything is built out of a "cell" primitive. Most of this allocation happens automatically, but can also be done explicitly with 'new' or 'box'. For memory-allocated objects, there is no explicit way of freeing them. Database objects can be freed with 'zap'.


Allocation of storage other than via routine or block entry is via the ALLOCATE statement applied to variables declared with the CONTROLLED attribute. Such storage is obtained from and returned to a single "heap" storage area during the course of execution and not necessarily corresponding to the entry and exit of routines or blocks. However, variables can further be declared as being BASED on some other variable which might be considered to be a storage area that can be manipulated separately. This can be escalated to being based IN the storage area of a named variable, say POOL. In this situation, storage for items declared IN the POOL are allocated and de-allocated within the storage space of POOL (and there may be insufficient space in the POOL, whereupon the AREA error condition is raised) so this POOL, although obtained from the system heap, is treated as if it were a heap as well.

One reason for doing this is that the addressing of entities within the POOL is relative to the address of the POOL so that pointer variables linking items with the POOL do not employ the momentary machine address of the POOL storage. The point of this is that the contents of a POOL may be saved and read back from a suitable disc file (say at the start of a new execution) and although the memory address of the new POOL may well be different from that during the previous usage, addressing within the new POOL remains the same. In other words, a complex data structure can be developed within the POOL then saved and restored simply by writing the POOL and later reading it back, rather than having to unravel the assemblage in some convention that can be reversed to read it back piece-by-piece. Similarly, if the POOL is a CONTROLLED variable, new POOL areas can be allocated and de-allocated at any time, and by de-allocating a POOL, all of its complex content vanishes in one poof.


In Python:

  • Everything is an object.
  • Objects are dynamically allocated.
  • Unused objects are garbage collected.

Where objects appear from, or disappear to, is treated as an implementation detail.

Statements, such as assignments, class and function definitions, and import statements can create objects and assign names to them which can be seen as assigning a reference to objects. Objects can also be referred to from other objects e.g. in collections such as lists.
When names go out of scope, or objects are explicitly destroyed, references to objects are diminished. Python's implementation keeps track of references to objects and marks objects that have no remaining references so that they become candidates for 'garbage collection' at a later time.


As is common with high-level languages, Racket usually deals with memory automatically. By default, this means using a precise generational GC. However, when there's need for better control over allocation, we can use the malloc() function via the FFI, and the many variants that are provided by the GC:

(malloc 1000 'raw)  ; raw allocation, bypass the GC, requires free()-ing
(malloc 1000 'uncollectable)  ; no GC, for use with other GCs that Racket can be configured with
(malloc 1000 'atomic)  ; a block of memory without internal pointers
(malloc 1000 'nonatomic)  ; a block of pointers
(malloc 1000 'eternal)  ; uncollectable & atomic, similar to raw malloc but no freeing
(malloc 1000 'stubborn)  ; can be declared immutable when mutation is done
(malloc 1000 'interior)  ; allocate an immovable block with possible pointers into it
(malloc 1000 'atomic-interior) ; same for atomic chunks
(malloc-immobile-cell v)  ; allocates a single cell that the GC will not move


In the REXX language, each (internal and external) procedure has its own storage (memory) to hold local variables and other information pertaining to a procedure.
Each call to a procedure (to facilitate recursion) has its own storage.
Garbage collection can be performed after a procedure finishes executing (either via an EXIT, RETURN, or some other external action), but this isn't specified in the language.
A   drop   (a REXX verb) will mark a variable as not defined, but doesn't necessarily deallocate its storage, but the freed storage can be used by other variables within the program (or procedure).
Essentially, the method used by a particular REXX interpreter isn't of concern to a programmer as there is but one type of variable (character), and even (stemmed) arrays aren't preallocated or even allocated sequentially in virtual (local) storage (as its elements are defined).
Some REXX interpreters have built-in functions to query how much free memory is available (these were written when real storage was a premium during the early DOS days).

/*REXX doesn't have declarations/allocations of variables, */
/* but this is the closest to an allocation: */
stemmed_array.= 0 /*any undefined element will have this value. */
stemmed_array.1 = '1st entry'
stemmed_array.2 = '2nd entry'
stemmed_array.6000 = 12 ** 2 = stemmed_array.6000 / 2
drop stemmed_array.


extern crate arena;
use arena::TypedArena;
fn main() {
// Memory is allocated using the default allocator (currently jemalloc). The memory is
// allocated in chunks, and when one chunk is full another is allocated. This ensures that
// references to an arena don't become invalid when the original chunk runs out of space. The
// chunk size is configurable as an argument to TypedArena::with_capacity if necessary.
let arena = TypedArena::new();
// The arena crate contains two types of arenas: TypedArena and Arena. Arena is
// reflection-basd and slower, but can allocate objects of any type. TypedArena is faster, and
// can allocate only objects of one type. The type is determined by type inference--if you try
// to allocate an integer, then Rust's compiler knows it is an integer arena.
let v1 = arena.alloc(1i32);
// TypedArena returns a mutable reference
let v2 = arena.alloc(3);
*v2 += 38;
println!("{}", *v1 + *v2);
// The arena's destructor is called as it goes out of scope, at which point it deallocates
// everything stored within it at once.


This example is incorrect. Please fix the code and remove this message.
Details: It does not even attempt to accomplish the given task.

Spam deleted.


Tcl does not really expose the heap itself, and while it is possible to use SWIG or Critcl to map the implementation-level allocator into the language, this is highly unusual.

However, it is entirely possible to use a pooled memory manager for Tcl's objects.

Works with: Tcl version 8.6

The pool engine class itself (a metaclass):

package require Tcl 8.6
oo::class create Pool {
superclass oo::class
variable capacity pool busy
unexport create
constructor args {
next {*}$args
set capacity 100
set pool [set busy {}]
method new {args} {
if {[llength $pool]} {
set pool [lassign $pool obj]
} else {
if {[llength $busy] >= $capacity} {
throw {POOL CAPACITY} "exceeded capacity: $capacity"
set obj [next]
set newobj [namespace current]::[namespace tail $obj]
rename $obj $newobj
set obj $newobj
try {
[info object namespace $obj]::my Init {*}$args
} on error {msg opt} {
lappend pool $obj
return -options $opt $msg
lappend busy $obj
return $obj
method ReturnToPool obj {
try {
if {"Finalize" in [info object methods $obj -all -private]} {
[info object namespace $obj]::my Finalize
} on error {msg opt} {
after 0 [list return -options $opt $msg]
return false
set idx [lsearch -exact $busy $obj]
set busy [lreplace $busy $idx $idx]
if {[llength $pool] + [llength $busy] + 1 <= $capacity} {
lappend pool $obj
return true
} else {
return false
method capacity {{value {}}} {
if {[llength [info level 0]] == 3} {
if {$value < $capacity} {
while {[llength $pool] > 0 && [llength $pool] + [llength $busy] > $value} {
set pool [lassign $pool obj]
rename $obj {}
set capacity [expr {$value >> 0}]
} else {
return $capacity
method clearPool {} {
foreach obj $busy {
$obj destroy
method destroy {} {
my clearPool
self method create {class {definition {}}} {
set cls [next $class $definition]
oo::define $cls method destroy {} {
if {![[info object namespace [self class]]::my ReturnToPool [self]]} {
return $cls

Example of how to use:

Pool create PoolExample {
variable int
method Init value {
puts stderr "Initializing [self] with $value"
set int $value
incr int 0
method Finalize {} {
puts stderr "Finalizing [self] which held $int"
method value {{newValue {}}} {
if {[llength [info level 0]] == 3} {
set int [incr newValue 0]
} else {
return $int
PoolExample capacity 10
set objs {}
try {
for {set i 0} {$i < 20} {incr i} {
lappend objs [PoolExample new $i]
} trap {POOL CAPACITY} msg {
puts "trapped: $msg"
puts -nonewline "number of objects: [llength $objs]\n\t"
foreach o $objs {
puts -nonewline "[$o value] "
puts ""
set objs [lassign $objs a b c]
$a destroy
$b destroy
$c destroy
PoolExample capacity 9
try {
for {} {$i < 20} {incr i} {
lappend objs [PoolExample new $i]
} trap {POOL CAPACITY} msg {
puts "trapped: $msg"
puts -nonewline "number of objects: [llength $objs]\n\t"
foreach o $objs {
puts -nonewline "[$o value] "
puts ""
PoolExample clearPool

Produces this output (red text to stderr, black text to stdout):

Initializing ::oo::Obj4::Obj5 with 0
Initializing ::oo::Obj4::Obj6 with 1
Initializing ::oo::Obj4::Obj7 with 2
Initializing ::oo::Obj4::Obj8 with 3
Initializing ::oo::Obj4::Obj9 with 4
Initializing ::oo::Obj4::Obj10 with 5
Initializing ::oo::Obj4::Obj11 with 6
Initializing ::oo::Obj4::Obj12 with 7
Initializing ::oo::Obj4::Obj13 with 8
Initializing ::oo::Obj4::Obj14 with 9
trapped: exceeded capacity: 10
number of objects: 10
        0 1 2 3 4 5 6 7 8 9 
Finalizing ::oo::Obj4::Obj5 which held 0
Finalizing ::oo::Obj4::Obj6 which held 1
Finalizing ::oo::Obj4::Obj7 which held 2
Initializing ::oo::Obj4::Obj6 with 10
Initializing ::oo::Obj4::Obj7 with 11
trapped: exceeded capacity: 9
number of objects: 9
        3 4 5 6 7 8 9 10 11 
Finalizing ::oo::Obj4::Obj8 which held 3
Finalizing ::oo::Obj4::Obj9 which held 4
Finalizing ::oo::Obj4::Obj10 which held 5
Finalizing ::oo::Obj4::Obj11 which held 6
Finalizing ::oo::Obj4::Obj12 which held 7
Finalizing ::oo::Obj4::Obj13 which held 8
Finalizing ::oo::Obj4::Obj14 which held 9
Finalizing ::oo::Obj4::Obj6 which held 10
Finalizing ::oo::Obj4::Obj7 which held 11


Memory allocation "just happens", unreachable memory is recovered via garbage collection. The closest thing to explicit memory allocation is Data object, which is a bit bucket you can [optionally] set the size of upon creation. However, it grows as needed. The closest thing to "new" is the create method, which tells an object to create a new instance of itself. For this task:

var pool=List();  // pool could be any mutable container
pool.append(Data(0,1234)); // allocate mem blob and add to pool
pool=Void; // free the pool and everything in it.