ssg.c 24.2 KB
Newer Older
1 2 3 4 5 6
/*
 * Copyright (c) 2016 UChicago Argonne, LLC
 *
 * See COPYRIGHT in top-level directory.
 */

Shane Snyder's avatar
Shane Snyder committed
7 8
#include <ssg-config.h>

Jonathan Jenkins's avatar
Jonathan Jenkins committed
9 10 11 12
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>
#include <unistd.h>
13
#include <errno.h>
Jonathan Jenkins's avatar
Jonathan Jenkins committed
14 15
#include <stdlib.h>
#include <string.h>
Jonathan Jenkins's avatar
Jonathan Jenkins committed
16
#include <assert.h>
Jonathan Jenkins's avatar
Jonathan Jenkins committed
17

Shane Snyder's avatar
Shane Snyder committed
18
#include <mercury.h>
Jonathan Jenkins's avatar
Jonathan Jenkins committed
19
#include <mercury_proc.h>
Jonathan Jenkins's avatar
Jonathan Jenkins committed
20
#include <mercury_macros.h>
Shane Snyder's avatar
Shane Snyder committed
21 22
#include <abt.h>
#include <margo.h>
23
#include <ssg.h>
Jonathan Jenkins's avatar
Jonathan Jenkins committed
24 25
#include "def.h"

26
#define DO_DEBUG 0
Jonathan Jenkins's avatar
Jonathan Jenkins committed
27 28 29 30 31 32 33 34
#define DEBUG(...) \
    do { \
        if(DO_DEBUG) { \
            printf(__VA_ARGS__); \
            fflush(stdout); \
        } \
    } while(0)

Shane Snyder's avatar
Shane Snyder committed
35 36 37 38
// internal initialization of ssg data structures
static ssg_t ssg_init_internal(hg_class_t *hgcl, hg_addr_t self_addr, int rank,
    int num_addrs, char *addr_buf, int addr_buf_size);

Jonathan Jenkins's avatar
Jonathan Jenkins committed
39 40
static char** setup_addr_str_list(int num_addrs, char * buf);

Jonathan Jenkins's avatar
Jonathan Jenkins committed
41 42 43 44 45 46 47 48 49 50 51 52
// helper for hashing (don't want to pull in jenkins hash)
// see http://www.isthe.com/chongo/tech/comp/fnv/index.html
static uint64_t fnv1a_64(void *data, size_t size);

MERCURY_GEN_PROC(barrier_in_t,
        ((int32_t)(barrier_id)) \
        ((int32_t)(rank)))

// barrier RPC decls
static void proc_barrier(void *arg);
DEFINE_MARGO_RPC_HANDLER(proc_barrier)

Shane Snyder's avatar
Shane Snyder committed
53
ssg_t ssg_init_config(hg_class_t *hgcl, const char * fname, int is_member)
Jonathan Jenkins's avatar
Jonathan Jenkins committed
54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71
{
    // file to read
    int fd = -1;
    struct stat st;

    // file content to parse
    char *rdbuf = NULL;
    ssize_t rdsz;

    // parse metadata (strtok)
    char *tok;

    // vars to build up the addr string list
    int addr_cap = 128;
    int addr_len = 0;
    int num_addrs = 0;
    void *buf = NULL;

Shane Snyder's avatar
Shane Snyder committed
72 73 74 75 76 77 78 79 80 81
    // self rank/addr resolution helpers
    hg_addr_t self_addr = HG_ADDR_NULL;
    char * self_addr_str = NULL;
    const char * self_addr_substr = NULL;
    hg_size_t self_addr_size = 0;
    const char * addr_substr = NULL;
    // TODO: what is the purpose of an "external" rank (is_member flag)?
    int rank = is_member ? SSG_RANK_UNKNOWN : SSG_EXTERNAL_RANK;

    // return data
Jonathan Jenkins's avatar
Jonathan Jenkins committed
82 83 84 85
    ssg_t s = NULL;

    // misc return codes
    int ret;
Shane Snyder's avatar
Shane Snyder committed
86
    int hret;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
87 88 89 90 91 92 93 94 95 96 97 98 99 100 101

    // open file for reading
    fd = open(fname, O_RDONLY);
    if (fd == -1) goto fini;

    // get file size
    ret = fstat(fd, &st);
    if (ret == -1) goto fini;

    // slurp file in all at once
    rdbuf = malloc(st.st_size+1);
    if (rdbuf == NULL) goto fini;

    // load it all in one fell swoop
    rdsz = read(fd, rdbuf, st.st_size);
Shane Snyder's avatar
Shane Snyder committed
102
    if (rdsz != st.st_size) goto fini;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
103 104
    rdbuf[rdsz]='\0';

Shane Snyder's avatar
Shane Snyder committed
105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123
    if(is_member) {
        // get my address
        hret = HG_Addr_self(hgcl, &self_addr);
        if (hret != HG_SUCCESS) goto fini;
        hret = HG_Addr_to_string(hgcl, NULL, &self_addr_size, self_addr);
        if (hret != HG_SUCCESS) goto fini;
        self_addr_str = malloc(self_addr_size);
        if (self_addr_str == NULL) goto fini;
        hret = HG_Addr_to_string(hgcl, self_addr_str, &self_addr_size, self_addr);
        if (hret != HG_SUCCESS) goto fini;

        // strstr is used here b/c there may be inconsistencies in whether the class
        // is included in the address or not (it's not in HG_Addr_to_string, it
        // should be in ssg_init_config)
        self_addr_substr = strstr(self_addr_str, "://");
        if (self_addr_substr == NULL) goto fini;
        self_addr_substr += 3;
    }

Jonathan Jenkins's avatar
Jonathan Jenkins committed
124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140
    // strtok the result - each space-delimited address is assumed to be
    // a unique mercury address
    tok = strtok(rdbuf, "\r\n\t ");
    if (tok == NULL) goto fini;

    // build up the address buffer
    buf = malloc(addr_cap);
    if (buf == NULL) goto fini;
    do {
        int tok_sz = strlen(tok);
        if (tok_sz + addr_len + 1 > addr_cap) {
            void * tmp;
            addr_cap *= 2;
            tmp = realloc(buf, addr_cap);
            if (tmp == NULL) goto fini;
            buf = tmp;
        }
Shane Snyder's avatar
Shane Snyder committed
141 142 143 144 145 146 147 148
        if(is_member) {
            // check if this is my addr to resolve rank
            addr_substr = strstr(tok, "://");
            if (addr_substr == NULL) goto fini;
            addr_substr+= 3;
            if (strcmp(self_addr_substr, addr_substr) == 0)
                rank = num_addrs;
        }
Jonathan Jenkins's avatar
Jonathan Jenkins committed
149 150 151 152 153 154
        memcpy((char*)buf + addr_len, tok, tok_sz+1);
        addr_len += tok_sz+1;
        num_addrs++;
        tok = strtok(NULL, "\r\n\t ");
    } while (tok != NULL);

Shane Snyder's avatar
Shane Snyder committed
155 156
    // init ssg internal structures
    s = ssg_init_internal(hgcl, self_addr, rank, num_addrs, buf, addr_len);
Jonathan Jenkins's avatar
Jonathan Jenkins committed
157 158
    if (s == NULL) goto fini;

Shane Snyder's avatar
Shane Snyder committed
159 160 161
    // don't free this on success
    buf = NULL;
    self_addr = HG_ADDR_NULL;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
162 163 164 165
fini:
    if (fd != -1) close(fd);
    free(rdbuf);
    free(buf);
Shane Snyder's avatar
Shane Snyder committed
166 167
    if (self_addr != HG_ADDR_NULL) HG_Addr_free(hgcl, self_addr);
    free(self_addr_str);
Jonathan Jenkins's avatar
Jonathan Jenkins committed
168 169 170 171
    return s;
}

#ifdef HAVE_MPI
Jonathan Jenkins's avatar
Jonathan Jenkins committed
172
ssg_t ssg_init_mpi(hg_class_t *hgcl, MPI_Comm comm)
Jonathan Jenkins's avatar
Jonathan Jenkins committed
173 174
{
    // my addr
Jonathan Jenkins's avatar
Jonathan Jenkins committed
175
    hg_addr_t self_addr = HG_ADDR_NULL;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
176
    char * self_addr_str = NULL;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
177
    hg_size_t self_addr_size = 0;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
178 179 180 181 182 183 184 185 186 187 188 189 190
    int self_addr_size_int = 0; // for mpi-friendly conversion

    // collective helpers
    char * buf = NULL;
    int * sizes = NULL;
    int * sizes_psum = NULL;
    int comm_size = 0;
    int comm_rank = 0;

    // return data
    ssg_t s = NULL;

    // misc return codes
Jonathan Jenkins's avatar
Jonathan Jenkins committed
191
    hg_return_t hret;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
192 193

    // get my address
Jonathan Jenkins's avatar
Jonathan Jenkins committed
194 195 196
    hret = HG_Addr_self(hgcl, &self_addr);
    if (hret != HG_SUCCESS) goto fini;
    hret = HG_Addr_to_string(hgcl, NULL, &self_addr_size, self_addr);
Shane Snyder's avatar
Shane Snyder committed
197
    if (hret != HG_SUCCESS) goto fini;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
198 199
    self_addr_str = malloc(self_addr_size);
    if (self_addr_str == NULL) goto fini;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
200 201
    hret = HG_Addr_to_string(hgcl, self_addr_str, &self_addr_size, self_addr);
    if (hret != HG_SUCCESS) goto fini;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225
    self_addr_size_int = (int)self_addr_size; // null char included in call

    // gather the buffer sizes
    MPI_Comm_size(comm, &comm_size);
    MPI_Comm_rank(comm, &comm_rank);
    sizes = malloc(comm_size * sizeof(*sizes));
    if (sizes == NULL) goto fini;
    sizes[comm_rank] = self_addr_size_int;
    MPI_Allgather(MPI_IN_PLACE, 0, MPI_BYTE, sizes, 1, MPI_INT, comm);

    // compute a exclusive prefix sum of the data sizes,
    // including the total at the end
    sizes_psum = malloc((comm_size+1) * sizeof(*sizes_psum));
    if (sizes_psum == NULL) goto fini;
    sizes_psum[0] = 0;
    for (int i = 1; i < comm_size+1; i++)
        sizes_psum[i] = sizes_psum[i-1] + sizes[i-1];

    // allgather the addresses
    buf = malloc(sizes_psum[comm_size]);
    if (buf == NULL) goto fini;
    MPI_Allgatherv(self_addr_str, self_addr_size_int, MPI_BYTE,
            buf, sizes, sizes_psum, MPI_BYTE, comm);

Shane Snyder's avatar
Shane Snyder committed
226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259
    // init ssg internal structures
    s = ssg_init_internal(hgcl, self_addr, comm_rank, comm_size,
        buf, sizes_psum[comm_size]);
    if (s == NULL) goto fini;

    // don't free these on success
    self_addr = HG_ADDR_NULL;
    buf = NULL;
fini:
    if (self_addr != HG_ADDR_NULL) HG_Addr_free(hgcl, self_addr);
    free(self_addr_str);
    free(sizes);
    free(sizes_psum);
    free(buf);
    return s;
}
#endif

static ssg_t ssg_init_internal(hg_class_t *hgcl, hg_addr_t self_addr, int rank,
    int num_addrs, char *addr_buf, int addr_buf_size)
{
    // arrays of peer address strings and addresses
    char **addr_strs = NULL;
    hg_addr_t *addrs = NULL;

    // return data
    ssg_t s = NULL;

    if(rank == SSG_RANK_UNKNOWN) goto fini;
    if(self_addr == HG_ADDR_NULL && rank != SSG_EXTERNAL_RANK) goto fini;

    // set peer address strings
    addr_strs = setup_addr_str_list(num_addrs, addr_buf);
    if(addr_strs == NULL) goto fini;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
260 261

    // init peer addresses
Shane Snyder's avatar
Shane Snyder committed
262
    addrs = malloc(num_addrs*sizeof(*addrs));
Jonathan Jenkins's avatar
Jonathan Jenkins committed
263
    if (addrs == NULL) goto fini;
Shane Snyder's avatar
Shane Snyder committed
264
    for (int i = 0; i < num_addrs; i++) addrs[i] = HG_ADDR_NULL;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
265 266 267 268

    // set up the output
    s = malloc(sizeof(*s));
    if (s == NULL) goto fini;
Shane Snyder's avatar
Shane Snyder committed
269
    s->hgcl = hgcl;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
270 271
    s->addr_strs = addr_strs; addr_strs = NULL;
    s->addrs = addrs; addrs = NULL;
Shane Snyder's avatar
Shane Snyder committed
272 273 274 275 276
    s->backing_buf = addr_buf;
    s->num_addrs = num_addrs;
    s->buf_size = addr_buf_size;
    s->rank = rank;
    s->addrs[rank] = self_addr; // NOTE: remaining addrs are set in ssg_lookup
277 278 279 280 281 282 283
    s->mid = MARGO_INSTANCE_NULL;
    s->barrier_rpc_id = 0;
    s->barrier_id = 0;
    s->barrier_count = 0;
    s->barrier_mutex = ABT_MUTEX_NULL;
    s->barrier_cond  = ABT_COND_NULL;
    s->barrier_eventual = ABT_EVENTUAL_NULL;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
284 285 286 287 288 289 290

fini:
    free(addr_strs);
    free(addrs);
    return s;
}

291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344
hg_return_t ssg_resolve_rank(ssg_t s, hg_class_t *hgcl)
{
    if (s->rank == SSG_EXTERNAL_RANK ||
            s->rank != SSG_RANK_UNKNOWN)
        return HG_SUCCESS;

    // helpers
    hg_addr_t self_addr = HG_ADDR_NULL;
    char * self_addr_str = NULL;
    const char * self_addr_substr = NULL;
    hg_size_t self_addr_size = 0;
    const char * addr_substr = NULL;
    int rank = 0;
    hg_return_t hret;

    // get my address
    hret = HG_Addr_self(hgcl, &self_addr);
    if (hret != HG_SUCCESS) goto end;
    hret = HG_Addr_to_string(hgcl, NULL, &self_addr_size, self_addr);
    if (self_addr == NULL) { hret = HG_NOMEM_ERROR; goto end; }
    self_addr_str = malloc(self_addr_size);
    if (self_addr_str == NULL) { hret = HG_NOMEM_ERROR; goto end; }
    hret = HG_Addr_to_string(hgcl, self_addr_str, &self_addr_size, self_addr);
    if (hret != HG_SUCCESS) goto end;

    // strstr is used here b/c there may be inconsistencies in whether the class
    // is included in the address or not (it's not in HG_Addr_to_string, it
    // should be in ssg_init_config)
    self_addr_substr = strstr(self_addr_str, "://");
    if (self_addr_substr == NULL) { hret = HG_INVALID_PARAM; goto end; }
    self_addr_substr += 3;
    for (rank = 0; rank < s->num_addrs; rank++) {
        addr_substr = strstr(s->addr_strs[rank], "://");
        if (addr_substr == NULL) { hret = HG_INVALID_PARAM; goto end; }
        addr_substr+= 3;
        if (strcmp(self_addr_substr, addr_substr) == 0)
            break;
    }
    if (rank == s->num_addrs) {
        hret = HG_INVALID_PARAM;
        goto end;
    }

    // success - set
    s->rank = rank;
    s->addrs[rank] = self_addr; self_addr = HG_ADDR_NULL;

end:
    if (self_addr != HG_ADDR_NULL) HG_Addr_free(hgcl, self_addr);
    free(self_addr_str);

    return hret;
}

Jonathan Jenkins's avatar
Jonathan Jenkins committed
345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374
// TODO: handle hash collision, misc errors
void ssg_register_barrier(ssg_t s, hg_class_t *hgcl)
{
    if (s->num_addrs == 1) return;

    s->barrier_rpc_id = fnv1a_64(s->backing_buf, s->buf_size);
    hg_return_t hret = HG_Register(hgcl, s->barrier_rpc_id,
            hg_proc_barrier_in_t, NULL, &proc_barrier_handler);
    assert(hret == HG_SUCCESS);
    hret = HG_Register_data(hgcl, s->barrier_rpc_id, s, NULL);
    assert(hret == HG_SUCCESS);

    int aret = ABT_mutex_create(&s->barrier_mutex);
    assert(aret == ABT_SUCCESS);
    aret = ABT_cond_create(&s->barrier_cond);
    assert(aret == ABT_SUCCESS);
    aret = ABT_eventual_create(0, &s->barrier_eventual);
    assert(aret == ABT_SUCCESS);
}

void ssg_set_margo_id(ssg_t s, margo_instance_id mid)
{
    s->mid = mid;
}

margo_instance_id ssg_get_margo_id(ssg_t s)
{
    return s->mid;
}

375 376 377 378 379 380 381 382 383 384 385 386
struct lookup_ult_args
{
    ssg_t ssg;
    margo_instance_id mid;
    int rank;
    hg_return_t out;
};

static void lookup_ult(void *arg)
{
    struct lookup_ult_args *l = arg;

Jonathan Jenkins's avatar
Jonathan Jenkins committed
387
    DEBUG("%d (ult): looking up rank %d\n", l->ssg->rank, l->rank);
388 389
    l->out = margo_addr_lookup(l->mid, l->ssg->addr_strs[l->rank],
            &l->ssg->addrs[l->rank]);
Jonathan Jenkins's avatar
Jonathan Jenkins committed
390
    DEBUG("%d (ult): looked up rank %d\n", l->ssg->rank, l->rank);
391 392
}

Jonathan Jenkins's avatar
Jonathan Jenkins committed
393
// TODO: refactor - code is mostly a copy of ssg_lookup
Jonathan Jenkins's avatar
Jonathan Jenkins committed
394
hg_return_t ssg_lookup_margo(ssg_t s)
Jonathan Jenkins's avatar
Jonathan Jenkins committed
395 396
{
    hg_context_t *hgctx;
397 398 399
    ABT_thread *ults;
    struct lookup_ult_args *args;
    hg_return_t hret = HG_SUCCESS;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
400 401 402 403

    // "effective" rank for the lookup loop
    int eff_rank = 0;

Jonathan Jenkins's avatar
Jonathan Jenkins committed
404 405
    DEBUG("%d: entered lookup\n", s->rank);

Jonathan Jenkins's avatar
Jonathan Jenkins committed
406
    // set the hg class up front - need for destructing addrs
Jonathan Jenkins's avatar
Jonathan Jenkins committed
407
    hgctx = margo_get_context(s->mid);
Jonathan Jenkins's avatar
Jonathan Jenkins committed
408 409 410 411
    if (hgctx == NULL) return HG_INVALID_PARAM;

    // perform search for my rank if not already set
    if (s->rank == SSG_RANK_UNKNOWN) {
412
        hret = ssg_resolve_rank(s, s->hgcl);
Jonathan Jenkins's avatar
Jonathan Jenkins committed
413 414 415 416 417 418 419 420 421 422 423
        if (hret != HG_SUCCESS) return hret;
    }

    if (s->rank == SSG_EXTERNAL_RANK) {
        // do a completely arbitrary effective rank determination to try and
        // prevent everyone talking to the same member at once
        eff_rank = (((intptr_t)hgctx)/sizeof(hgctx)) % s->num_addrs;
    }
    else
        eff_rank = s->rank;

424 425 426 427 428 429 430 431 432 433 434
    // initialize ULTs
    ults = malloc(s->num_addrs * sizeof(*ults));
    if (ults == NULL) return HG_NOMEM_ERROR;
    args = malloc(s->num_addrs * sizeof(*args));
    if (args == NULL) {
        free(ults);
        return HG_NOMEM_ERROR;
    }
    for (int i = 0; i < s->num_addrs; i++)
        ults[i] = ABT_THREAD_NULL;

Jonathan Jenkins's avatar
Jonathan Jenkins committed
435 436 437 438 439 440 441 442 443 444 445
    DEBUG("%d: beginning thread create loop (%d...%d)\n", s->rank,
            (s->rank!=SSG_EXTERNAL_RANK), s->num_addrs);
    for (int i = (s->rank!=SSG_EXTERNAL_RANK); i < s->num_addrs; i++) {
        int r = (eff_rank+i) % s->num_addrs;
        args[r].ssg = s;
        args[r].mid = s->mid;
        args[r].rank = r;

        DEBUG("%d: lookup: create thread for rank %d\n", s->rank, r);
        int aret = ABT_thread_create(*margo_get_handler_pool(s->mid), &lookup_ult,
                &args[r], ABT_THREAD_ATTR_NULL, &ults[r]);
446 447 448 449
        if (aret != ABT_SUCCESS) {
            hret = HG_OTHER_ERROR;
            goto fin;
        }
Jonathan Jenkins's avatar
Jonathan Jenkins committed
450
    }
451

Jonathan Jenkins's avatar
Jonathan Jenkins committed
452 453 454 455 456 457 458 459
    // wait on all
    for (int i = (s->rank!=SSG_EXTERNAL_RANK); i < s->num_addrs; i++) {
        int r = (eff_rank+i) % s->num_addrs;
        DEBUG("%d: lookup: join thread for rank %d\n", s->rank, r);
        int aret = ABT_thread_join(ults[r]);
        DEBUG("%d: lookup: join thread for rank %d fin\n", s->rank, r);
        ABT_thread_free(&ults[r]);
        ults[r] = ABT_THREAD_NULL; // in case of cascading failure from join
460 461
        if (aret != ABT_SUCCESS) {
            hret = HG_OTHER_ERROR;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
462
            break;
463
        }
Jonathan Jenkins's avatar
Jonathan Jenkins committed
464 465 466
        else if (args[r].out != HG_SUCCESS) {
            hret = args[r].out;
            break;
467 468 469
        }
    }

Shane Snyder's avatar
Shane Snyder committed
470
#ifdef HAVE_SWIM_FD
471
    // initialize swim failure detector
472 473
    if(s->rank != SSG_EXTERNAL_RANK)
        s->swim_ctx = swim_init(s->mid, s, 1);
Shane Snyder's avatar
Shane Snyder committed
474 475
#endif
    
476 477 478 479 480
fin:
    // cleanup
    if (ults != NULL) {
        for (int i = 0; i < s->num_addrs; i++) {
            if (ults[i] != ABT_THREAD_NULL) {
Jonathan Jenkins's avatar
Jonathan Jenkins committed
481
                DEBUG("%d: lookup failed, cancelling ULT %d\n", s->rank, i);
482 483 484 485 486 487 488 489 490
                ABT_thread_cancel(ults[i]);
                ABT_thread_free(ults[i]);
            }
        }
        free(ults);
    }
    if (args != NULL) free(args);

    return hret;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
491
}
Jonathan Jenkins's avatar
Jonathan Jenkins committed
492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605

// TODO: process errors in a sane manner
static void proc_barrier(void *arg)
{
    barrier_in_t in;
    hg_return_t hret;
    int aret;
    hg_handle_t h = arg;
    struct hg_info *info = HG_Get_info(h);
    ssg_t s = HG_Registered_data(info->hg_class, info->id);

    assert(s->rank == 0);

    hret = HG_Get_input(h, &in);
    assert(hret == HG_SUCCESS);

    DEBUG("%d: barrier ult: rx round %d from %d\n", s->rank, in.barrier_id,
            in.rank);
    // first wait until the nth barrier has been processed
    aret = ABT_mutex_lock(s->barrier_mutex);
    assert(aret == ABT_SUCCESS);
    while (s->barrier_id < in.barrier_id) {
        DEBUG("%d: barrier ult: waiting to enter round %d\n", s->rank,
                in.barrier_id);
        aret = ABT_cond_wait(s->barrier_cond, s->barrier_mutex);
        assert(aret == ABT_SUCCESS);
    }

    // inform all other ULTs waiting on this
    aret = ABT_cond_signal(s->barrier_cond);
    assert(aret == ABT_SUCCESS);
    // now wait until all barriers have been rx'd
    DEBUG("%d: barrier ult: out, incr count to %d\n", s->rank,
            s->barrier_count+1);
    s->barrier_count++;
    while (s->barrier_count < s->num_addrs-1) {
        DEBUG("%d: barrier ult: waiting (count at %d)\n", s->rank,
                s->barrier_count);
        aret = ABT_cond_wait(s->barrier_cond, s->barrier_mutex);
        assert(aret == ABT_SUCCESS);
    }
    DEBUG("%d: barrier ult: count compl, signal and respond\n", s->rank);
    // all barriers rx'd, inform other ULTs
    ABT_cond_signal(s->barrier_cond);
    ABT_mutex_unlock(s->barrier_mutex);

    hret = margo_respond(s->mid, h, NULL);
    assert(hret == HG_SUCCESS);
    HG_Destroy(h);

    DEBUG("%d: barrier ult: respond compl, count at %d\n", s->rank,
            s->barrier_count);

    aret = ABT_mutex_lock(s->barrier_mutex);
    assert(aret == ABT_SUCCESS);
    // done -> I'm the last ULT to enter, I do the eventual set
    int is_done = (++s->barrier_count) == 2*(s->num_addrs-1);
    if (is_done) s->barrier_count = 0;
    aret = ABT_mutex_unlock(s->barrier_mutex);
    assert(aret == ABT_SUCCESS);
    if (is_done) {
        aret = ABT_eventual_set(s->barrier_eventual, NULL, 0);
        assert(aret == ABT_SUCCESS);
    }
}

hg_return_t ssg_barrier_margo(ssg_t s)
{
    // non-members can't barrier
    if (s->rank < 0) return HG_INVALID_PARAM;

    // return immediately if a singleton group
    if (s->num_addrs == 1) return HG_SUCCESS;

    int aret = ABT_eventual_reset(s->barrier_eventual);
    if (aret != ABT_SUCCESS) return HG_OTHER_ERROR;

    DEBUG("%d: barrier: lock and incr id to %d\n", s->rank, s->barrier_id+1);
    int bid;
    // init the barrier state
    aret = ABT_mutex_lock(s->barrier_mutex);
    if (aret != ABT_SUCCESS) return HG_OTHER_ERROR;
    bid = ++s->barrier_id;
    aret = ABT_cond_broadcast(s->barrier_cond);
    if (aret != ABT_SUCCESS) {
        ABT_mutex_unlock(s->barrier_mutex); return HG_OTHER_ERROR;
    }
    aret = ABT_mutex_unlock(s->barrier_mutex);
    if (aret != ABT_SUCCESS) return HG_OTHER_ERROR;

    if (s->rank > 0) {
        DEBUG("%d: barrier: create and forward to 0\n", s->rank);
        barrier_in_t in;
        hg_handle_t h;
        hg_return_t hret = HG_Create(margo_get_context(s->mid),
                ssg_get_addr(s, 0), s->barrier_rpc_id, &h);
        if (hret != HG_SUCCESS) return hret;

        in.rank = s->rank;
        in.barrier_id = bid;
        hret = margo_forward(s->mid, h, &in);
        DEBUG("%d: barrier: finish\n", s->rank);
        HG_Destroy(h);
        if (hret != HG_SUCCESS) return hret;
    }
    else {
        DEBUG("%d: barrier: wait on eventual\n", s->rank);
        aret = ABT_eventual_wait(s->barrier_eventual, NULL);
        if (aret != ABT_SUCCESS) return HG_OTHER_ERROR;
    }

    return HG_SUCCESS;
}

Jonathan Jenkins's avatar
Jonathan Jenkins committed
606 607
void ssg_finalize(ssg_t s)
{
608 609
    if (s == SSG_NULL) return;

610 611 612 613 614
#ifdef HAVE_SWIM_FD
    if(s->swim_ctx)
        swim_finalize(s->swim_ctx);
#endif

Jonathan Jenkins's avatar
Jonathan Jenkins committed
615 616 617 618 619 620
    if (s->barrier_mutex != ABT_MUTEX_NULL)
        ABT_mutex_free(&s->barrier_mutex);
    if (s->barrier_cond != ABT_COND_NULL)
        ABT_cond_free(&s->barrier_cond);
    if (s->barrier_eventual != ABT_EVENTUAL_NULL)
        ABT_eventual_free(&s->barrier_eventual);
621

Jonathan Jenkins's avatar
Jonathan Jenkins committed
622
    for (int i = 0; i < s->num_addrs; i++) {
Jonathan Jenkins's avatar
Jonathan Jenkins committed
623
        if (s->addrs[i] != HG_ADDR_NULL) HG_Addr_free(s->hgcl, s->addrs[i]);
Jonathan Jenkins's avatar
Jonathan Jenkins committed
624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640
    }
    free(s->backing_buf);
    free(s->addr_strs);
    free(s->addrs);
    free(s);
}

int ssg_get_rank(const ssg_t s)
{
    return s->rank;
}

int ssg_get_count(const ssg_t s)
{
    return s->num_addrs;
}

Jonathan Jenkins's avatar
Jonathan Jenkins committed
641
hg_addr_t ssg_get_addr(const ssg_t s, int rank)
Jonathan Jenkins's avatar
Jonathan Jenkins committed
642
{
643
    if (rank >= 0 && rank < s->num_addrs)
Jonathan Jenkins's avatar
Jonathan Jenkins committed
644 645
        return s->addrs[rank];
    else
Jonathan Jenkins's avatar
Jonathan Jenkins committed
646
        return HG_ADDR_NULL;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
647 648 649 650
}

const char * ssg_get_addr_str(const ssg_t s, int rank)
{
651
    if (rank >= 0 && rank < s->num_addrs)
Jonathan Jenkins's avatar
Jonathan Jenkins committed
652 653 654 655 656 657 658
        return s->addr_strs[rank];
    else
        return NULL;
}

// serialization format looks like:
// < num members, buffer size, buffer... >
Jonathan Jenkins's avatar
Jonathan Jenkins committed
659
// doesn't attempt to grab hg_addr's, string buffers, etc. - client will be
Jonathan Jenkins's avatar
Jonathan Jenkins committed
660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730
// responsible for doing a separate address lookup routine
hg_return_t hg_proc_ssg_t(hg_proc_t proc, ssg_t *s)
{
    // error and return handling
    hg_return_t hret = HG_SUCCESS;
    char * err_str = NULL;

    // input/output vars + helpers for ssg decode setup
    ssg_t ss = NULL;

    switch(hg_proc_get_op(proc)) {
        case HG_ENCODE:
            ss = *s;
            // encode address count
            hret = hg_proc_int32_t(proc, &ss->num_addrs);
            if (hret != HG_SUCCESS) { err_str = "ssg num addrs"; goto end; }
            // encode addr
            hret = hg_proc_int32_t(proc, &ss->buf_size);
            if (hret != HG_SUCCESS) { err_str = "ssg buf size"; goto end; }
            // encode addr string, simple as blitting the backing buffer
            hret = hg_proc_memcpy(proc, ss->backing_buf, ss->buf_size);
            if (hret != HG_SUCCESS) { err_str = "ssg addr buf"; goto end; }
            break;

        case HG_DECODE:
            // create the output
            *s = NULL;
            ss = malloc(sizeof(*ss));
            if (ss == NULL) {
                err_str = "ssg alloc";
                hret = HG_NOMEM_ERROR;
                goto end;
            }
            ss->addr_strs = NULL;
            ss->addrs = NULL;
            ss->backing_buf = NULL;
            // get address count
            hret = hg_proc_int32_t(proc, &ss->num_addrs);
            if (hret != HG_SUCCESS) { err_str = "ssg num addrs"; goto end; }
            // get number of bytes for the address
            hret = hg_proc_int32_t(proc, &ss->buf_size);
            if (hret != HG_SUCCESS) { err_str = "ssg buf size"; goto end; }
            // allocate output buffer
            ss->backing_buf = malloc(ss->buf_size);
            if (hret != HG_SUCCESS) {
                err_str = "ssg buf alloc";
                hret = HG_NOMEM_ERROR;
                goto end;
            }
            hret = hg_proc_memcpy(proc, ss->backing_buf, ss->buf_size);
            if (hret != HG_SUCCESS) { err_str = "ssg addr buf"; goto end; }

            // set the remaining ssg vars

            ss->addr_strs = NULL; ss->addrs = NULL;
            ss->rank = -1; // receivers aren't part of the group

            ss->addr_strs = setup_addr_str_list(ss->num_addrs, ss->backing_buf);
            if (ss->addr_strs == NULL) {
                err_str = "ssg addr strs alloc";
                hret = HG_NOMEM_ERROR;
                goto end;
            }

            ss->addrs = malloc(ss->num_addrs * sizeof(*ss->addrs));
            if (ss->addrs == NULL) {
                err_str = "ssg addrs alloc";
                hret = HG_NOMEM_ERROR;
                goto end;
            }
            for (int i = 0; i < ss->num_addrs; i++) {
Jonathan Jenkins's avatar
Jonathan Jenkins committed
731
                ss->addrs[i] = HG_ADDR_NULL;
Jonathan Jenkins's avatar
Jonathan Jenkins committed
732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761
            }

            // success: set the output
            *s = ss;
            break;

        case HG_FREE:
            if (s != NULL && *s != NULL) {
                err_str = "ssg shouldn't be freed via HG_Free_*";
                hret = HG_INVALID_PARAM;
            }
            goto end;

        default:
            err_str = "bad proc mode";
            hret = HG_INVALID_PARAM;
    }
end:
    if (err_str) {
        HG_LOG_ERROR("Proc error: %s", err_str);
        if (hg_proc_get_op(proc) == HG_DECODE) {
            free(ss->addr_strs);
            free(ss->addrs);
            free(ss->backing_buf);
            free(ss);
        }
    }
    return hret;
}

762 763 764 765 766 767 768 769 770 771 772 773 774 775
int ssg_dump(const ssg_t s, const char *fname)
{
    // file to write to
    int fd = -1;
    ssize_t written;

    // string to xform and dump
    char * addrs_dup = NULL;
    char * tok = NULL;
    char * addrs_dup_end = NULL;

    // return code
    int ret = 0;

776 777
    // copy the backing buffer, replacing all null chars with
    // newlines
778 779 780 781 782
    addrs_dup = malloc(s->buf_size);
    if (addrs_dup == NULL) { errno = ENOMEM; ret = -1; goto end; }
    memcpy(addrs_dup, s->backing_buf, s->buf_size);
    tok = addrs_dup;
    addrs_dup_end = addrs_dup + s->buf_size;
783
    for (int i = 0; i < s->num_addrs; i++) {
784 785 786 787 788 789
        tok = memchr(tok, '\0', addrs_dup_end - tok);
        if (tok == NULL) { errno = EINVAL; ret = -1; goto end; }
        *tok = '\n';
    }

    // open the file and dump in a single call
790
    fd = open(fname, O_WRONLY | O_CREAT | O_EXCL, 0644);
791 792
    if (fd == -1) { ret = -1; goto end; }
    // don't include the null char at the end
793 794
    written = write(fd, addrs_dup, s->buf_size);
    if (written != s->buf_size) ret = -1;
795 796 797 798 799 800 801 802

end:
    free(addrs_dup);
    if (fd != -1) close(fd);

    return ret;
}

Jonathan Jenkins's avatar
Jonathan Jenkins committed
803 804 805 806 807 808 809 810 811 812 813 814
static char** setup_addr_str_list(int num_addrs, char * buf)
{
    char ** ret = malloc(num_addrs * sizeof(*ret));
    if (ret == NULL) return NULL;

    ret[0] = buf;
    for (int i = 1; i < num_addrs; i++) {
        char * a = ret[i-1];
        ret[i] = a + strlen(a) + 1;
    }
    return ret;
}
Jonathan Jenkins's avatar
Jonathan Jenkins committed
815 816 817 818 819 820 821 822 823 824 825 826

static uint64_t fnv1a_64(void *data, size_t size)
{
    uint64_t hash = 14695981039346656037ul;
    unsigned char *d = data;

    for (size_t i = 0; i < size; i++) {
        hash ^= (uint64_t)*d++;
        hash *= 1099511628211;
    }
    return hash;
}