Tasty » Adam Sampson's memory bookmarks

A dangling pointer is indeterminate | TrustInSoft edit / delete

Well, that's an interesting bit of the C standard: "free(m); if (m == NULL) ..." is undefined behaviour...

to c language-design memory semantics undefined ... on 15 July 2014

Reasoning About the Heap in Rust edit / delete

Quote: "it's still worth applying Separation logic to get a feel for what's happening to the heap". I'm kind of impressed that the Rust designers have managed to come up with a design for reference types that's *more* complex than C++'s.

to formal-methods language-design memory reference rust separation-logic ... on 03 May 2014

Blosc edit / delete

"Blosc is a high performance compressor optimized for binary data. It has been designed to transmit data to the processor cache faster than the traditional, non-compressed, direct memory fetch approach via a memcpy() OS call." This is very neat -- it's a compressed data format designed so that you can decompress it into cache very quickly. AG0803 students take note!

to ag0803 cache compression memory optimisation python ... on 28 April 2014

gdb-heap edit / delete

Memory usage tracking for GDB. "gdb-heap is different in that it allows for unplanned memory usage debugging: if a process unexpectedly starts using large amounts of memory you can attach to it with gdb, and use a new heap command to figure out where the memory is going."

to debugging gdb heap memory performance ... on 28 April 2014

The UK Memory Management Network edit / delete

to memory mm mmnet research ... on 20 July 2013

Optimizing Software Occlusion Culling – index | The ryg blog edit / delete

Detailed worked example of optimising low-level graphics code. AG0803 students, you'll probably like this (well, if you like AG0803).

to ag0803 graphics memory optimisation parallel ... on 24 March 2013

DUMA library edit / delete

Extended version of Electric Fence.

to debugger memory software ... on 13 December 2012

ArchitectNotes – Varnish edit / delete

Making good use of virtual memory (i.e. don't second-guess the kernel) in a web cache. The comment about this not being 1976-style programming is amusing in that it's *exactly* 1976 programming, provided you think EMAS and not Unix...

to cache memory programming vm ... on 17 August 2010

R-trees v6.pptx - Windows Live edit / delete

Using R-trees, with a view to efficient memory structure use on games consoles. (Eww at the link, but it does work OK in Firefox.)

to architecture data-structures games memory ... on 10 August 2010

Greve, Andrea, Dr edit / delete

She gave a seminar at Kent about models of (human) memory a couple of weeks ago -- interesting stuff.

to memory psychology research ... on 01 May 2009