18
$\begingroup$

When memory bandwidth limited computations are performed in shared memory environments (e.g. threaded via OpenMP, Pthreads, or TBB), there is a dilemma of how to ensure that the memory is correctly distributed across physical memory, such that each thread mostly accesses memory on a "local" memory bus. Although the interfaces are not portable, most operating systems have ways to set thread affinity (e.g. pthread_setaffinity_np() on many POSIX systems, sched_setaffinity() on Linux, SetThreadAffinityMask() on Windows). There are also libraries such as hwloc for determining the memory hierarchy, but unfortunately, most operating systems do not yet provide ways to set NUMA memory policies. Linux is a notable exception, with libnuma allowing the application to manipulate memory policy and page migration at page granularity (in mainline since 2004, thus widely available). Other operating systems expect users to observe an implicit "first touch" policy.

Working with a "first touch" policy means that the caller should create and distribute threads with whatever affinity they plan to use later when first writing to the freshly allocated memory. (Very few systems are configured such that malloc() actually finds pages, it just promises to find them when they are actually faulted, perhaps by different threads.) This implies that allocation using calloc() or immediately initializing memory after allocation using memset() is harmful since it will tend to fault all the memory onto the memory bus of the core running the allocating thread, leading to worst-case memory bandwidth when the memory is accessed from multiple threads. The same applies to the C++ new operator which insists on initializing many new allocations (e.g. std::complex). Some observations about this environment:

  • Allocation can be made "thread collective", but now allocation becomes mixed into the threading model which is undesirable for libraries which may have to interact with clients using different threading models (perhaps each with their own thread pools).
  • RAII is considered to be an important part of idiomatic C++, but it seems to be actively harmful for memory performance in a NUMA environment. Placement new can be used with memory allocated via malloc() or routines from libnuma, but this changes the allocation process (which I believe is necessary).
  • EDIT: My earlier statement about operator new was incorrect, it can support multiple arguments, see Chetan's reply. I believe there is still a concern of getting libraries or STL containers to use specified affinity. Multiple fields may be packed and it may be inconvenient to ensure that, e.g., an std::vector reallocates with the correct context manager active.
  • Each thread can allocate and fault its own private memory, but then indexing into neighboring regions is more complicated. (Consider a sparse matrix-vector product $y \gets A x$ with a row partition of the matrix and vectors; indexing the unowned part of $x$ requires a more complicated data structure when $x$ is not contiguous in virtual memory.)

Are any solutions to NUMA allocation/initialization considered idiomatic? Have I left out other critical gotchas?

(I don't mean for my C++ examples to imply an emphasis on that language, however the C++ language encodes some decisions about memory management that a language like C does not, thus there tends to be more resistance when suggesting that C++ programmers do those things differently.)

$\endgroup$

4 Answers 4

7
$\begingroup$

One solution to this problem that I tend to prefer is to disaggregate threads and (MPI) tasks at the, effectively, memory controller level. I.e., remove the NUMA aspects from your code by having one task per CPU socket or memory controller and then threads under each task. If you do it that way, then you should be able to bind all memory to that socket/controller safely either via first-touch or one of the available APIs no matter which thread actually does the work of allocation or initialization. Message passing between sockets is usually quite well optimized, in MPI at the very least. You can always have more MPI tasks than this, but due to the issues you raise, I rarely recommend folks have less.

$\endgroup$
4
  • 1
    $\begingroup$ This is a practical solution, but even though we are rapidly getting more cores, the number of cores per NUMA node is fairly stagnant at around 4. So on the hypothetical 1000 core node, will we be running 250 MPI processes? (This would be great, but I'm skeptical.) $\endgroup$
    – Jed Brown
    Apr 23, 2012 at 19:00
  • $\begingroup$ I disagree that the number of cores per NUMA is stagnant. Sandy Bridge E5 has 8. Magny Cours had 12. I've got a Westmere-EX node with 10. Interlagos (ORNL Titan) has 20. Knights Corner will have more than 50. I'd guess that the cores per NUMA are keeping pace with Moore's Law, more or less. $\endgroup$
    – Bill Barth
    Apr 23, 2012 at 20:10
  • $\begingroup$ Magny Cours and Interlagos have two dies in different NUMA regions, thus 6 and 8 cores per NUMA region. Rewind to 2006 where two sockets of quad-core Clovertown would be sharing the same interface (Blackford chipset) to memory and it doesn't look to me like the number of cores per NUMA region is growing so rapidly. Blue Gene/Q extends this flat view of memory a bit further and maybe Knight's Corner will take another step (though it is a different device, so maybe we should be comparing to GPUs instead, where we have 15 (Fermi) or now 8 (Kepler) SMs viewing flat memory). $\endgroup$
    – Jed Brown
    Apr 24, 2012 at 0:22
  • $\begingroup$ Good call on the AMD chips. I had forgotten. Still, I think you're going to see continued growth in this area for awhile. $\endgroup$
    – Bill Barth
    Apr 24, 2012 at 3:05
6
$\begingroup$

This answer is in response to two C++ related misconceptions in the question.

  1. "The same applies to the C++ new operator which insists on initializing new allocations (including PODs)"
  2. "C++ operator new takes only one parameter"

It is not a direct answer for multi-core issues you mention. Just responding to comments that classify C++ programmers as C++ zealots so that the the reputation is maintained ;).

To point 1. C++ "new" or stack allocation does not insist on initializing new objects, whether PODs or not. The class's default constructor, as defined by the user, has that responsibility. The first code below shows junk printed whether the class is POD or not.

To point 2. C++ allows overloading "new" with multiple arguments. The second code below shows such a case for allocating single objects. It should give an idea and perhaps be useful for the situation you have. operator new[] can be modified appropriately too.

// Code for point 1.

#include <iostream>

struct A
{
    // int/double/char/etc not inited with 0
    // with or without this constructor
    // If present, the class is not POD, else it is.
    A() { }

    int i;
    double d;
    char c[20];
};

int main()
{
    A* a = new A;
    std::cout << a->i << ' ' << a->d << '\n';
    for(int i = 0; i < 20; ++i)
        std::cout << (int) a->c[i] << '\n';
}

Intel's 11.1 compiler shows this output (which is of course uninitialized memory pointed by "a").

993001483 6.50751e+029
105
108
... // skipped
97
108

// Code for point 2.

#include <cstddef>
#include <iostream>
#include <new>

// Just to use two different classes.
class arena { };
class policy { };

struct A
{
    void* operator new(std::size_t, arena& arena_obj, policy& policy_obj)
    {
        std::cout << "special operator new\n";
        return (void*)0x1234; //Just to test
    }
};

void* operator new(std::size_t, arena& arena_obj, policy& policy_obj)
{
    std::cout << "special operator new (global)\n";
    return (void*)0x5678; //Just to test
}

int main ()
{
    arena arena_obj;
    policy policy_obj;
    A* ptr = new(arena_obj, policy_obj) A;
    int* iptr = new(arena_obj, policy_obj) int;
    std::cout << ptr << "\n";
    std::cout << iptr << "\n";
}
$\endgroup$
2
  • $\begingroup$ Thanks for the corrections. It seems that C++ does not present additional complications relative to C, except for non-POD arrays such as std::complex which are explicitly initialized. $\endgroup$
    – Jed Brown
    Apr 24, 2012 at 21:37
  • 1
    $\begingroup$ @JedBrown: Reason number 6 to avoid using std::complex? $\endgroup$ Apr 24, 2012 at 21:58
1
$\begingroup$

In deal.II we've got the software infrastructure to parallelize assembly on each cell onto multiple cores using the Threading Building Blocks (in essence, you have one task per cell and need to schedule these tasks onto available processors -- that's not how it's implemented but it's the general idea). The problem is that for the local integration you need a number of temporary (scratch) objects and you need to provide at least as many as there are tasks that can run in parallel. We see poor speedup, presumably because when a task is put onto a processor it grabs one of the scratch objects that will typically be in some other core's cache. We had two questions:

(i) Is this really the reason? When we run the program under cachegrind I see that I'm using basically the same number of instructions as when running the program on a single thread, yet the total run-time accumulated over all threads is much larger than the single-thread one. Is it really because I continually fault the cache?

(ii) How can I find out where I am, where each of the scratch objects are, and which scratch object I'd need to take to access the one that's hot in my current core's cache?

Ultimately, we haven't found answers to either of these solutions and after a couple of works decided that we lack the tools to investigate and solve these problems. I do know how to at least in principle solve problem (ii) (namely, using thread-local objects, assuming that threads remain pinned to processor cores -- another conjecture that's not trivial to test), but I have no tools to test problem (i).

So, from our perspective, dealing with NUMA is still an unsolved question.

$\endgroup$
3
  • $\begingroup$ You should bind your threads to sockets so that you don't have to wonder whether processors are pinned. Linux likes to move stuff around. $\endgroup$
    – Bill Barth
    May 4, 2012 at 15:28
  • $\begingroup$ Also, sampling getcpu() or sched_getcpu() (depending on your libc and kernel and whatnot) should allow you determine where threads are running on Linux. $\endgroup$
    – Bill Barth
    May 4, 2012 at 15:56
  • $\begingroup$ Yes, and I think the Threading Building Blocks that we use to schedule work onto threads pins threads to processors. This is why we tried to work with thread-local storage. But it's still difficult for me to come up with a solution to my problem (i). $\endgroup$ May 4, 2012 at 19:33
1
$\begingroup$

Beyond hwloc there are a few tools that can report on a HPC cluster's memory environment and which can be used to set a variety of NUMA configurations.

I would recommend LIKWID as one such tool as it avoids a code based approach allowing you for instance to pin a process to a core. This approach of tooling to address machine specific memory configuration will help ensure the portability of your code across clusters.

You can find a short presentation outlining it from ISC'13 "LIKWID - Lightweight Performance Tools" and the authors have published a paper on Arxiv "Best practices for HPM-assisted performance engineering on modern multicore processor". This paper describes an approach to interpreting the data from hardware counters to develop performant code specific to your machine's architecture and memory topology.

$\endgroup$
1
  • $\begingroup$ LIKWID is useful, but the question was more about how to write numerical/memory-sensitive libraries that can reliably obtain and self-audit expected locality across a diverse range of execution environments, threading schemes, MPI resource management and affinity-setting, use with other libraries, etc. $\endgroup$
    – Jed Brown
    Dec 21, 2013 at 6:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.