A Very Lively Memory Leak

It’s summer, and we all all know what that means: rain!  And when it rains, things get all leaky.  Memory leaky. The past couple days, we encountered a particularly interesting memory leak.  We had some code which would leak memory and after around a month or so of running, it would start yielding problems. Due […]

Read More… from A Very Lively Memory Leak

How Much Memory is Needed to Store a Log?

I’ve been looking a bit at log representations in ProM.  We are using the XES standard and the OpenXES implementation.  This was prompted by me wondering why ProM was so slow at handling logs.  Many of the things ProM did with logs, I could replicate in a short time (i.e., less than an hour) in […]

Read More… from How Much Memory is Needed to Store a Log?

When Pointers Attack (or How to Save 26-36 bytes of Memory in a Week)

You may have noticed, I’m currently running experiments where I have a lot of small things.  So many, that I computed I had an overhead of 16 bytes apiece (12 bytes per state and 4 bytes for a pointer to it), and was too lazy to improve my handling to reduce that to 8 bytes […]

Read More… from When Pointers Attack (or How to Save 26-36 bytes of Memory in a Week)

Memory-Efficiency in Java

I like to generate state-spaces.  I generate a lot of them.  And I have made the code efficient enough that I can generate very large ones.  Normally, when you code, using hundreds or even thousands of bytes for an object is no issue, but when you multiple 1000 with a million, you suddenly use 1 […]

Read More… from Memory-Efficiency in Java

Memory Leaks in Java Code

I’m working on some Java code I’ve inherited.  I’m doing some speed improvements in critical places, and to test my improvements, I need test cases to compare different implementations.  Unfortunately, manually generating test cases is way too time consuming (need need thousands and generating one manually takes minutes or even hours).  Unfortunately, randomly generated test […]

Read More… from Memory Leaks in Java Code