src/core/ctx.c

/*
    Copyright (c) 2012-2013 250bpm s.r.o.

    Permission is hereby granted, free of charge, to any person obtaining a copy
    of this software and associated documentation files (the "Software"),
    to deal in the Software without restriction, including without limitation
    the rights to use, copy, modify, merge, publish, distribute, sublicense,
    and/or sell copies of the Software, and to permit persons to whom
    the Software is furnished to do so, subject to the following conditions:

    The above copyright notice and this permission notice shall be included
    in all copies or substantial portions of the Software.

    THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
    IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
    FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
    THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
    LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
    FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
    IN THE SOFTWARE.
*/

#include "../sp.h"
#include "../transport.h"
#include "../protocol.h"

#include "ctx.h"
#include "sock.h"
#include "ep.h"

#include "../utils/err.h"
#include "../utils/alloc.h"
#include "../utils/mutex.h"
#include "../utils/list.h"
#include "../utils/cont.h"
#include "../utils/cond.h"
#include "../utils/random.h"
#include "../utils/glock.h"

#include "../transports/inproc/inproc.h"
#include "../transports/ipc/ipc.h"
#include "../transports/tcp/tcp.h"

#include "../protocols/pair/pair.h"
#include "../protocols/pair/xpair.h"
#include "../protocols/pubsub/pub.h"
#include "../protocols/pubsub/sub.h"
#include "../protocols/reqrep/rep.h"
#include "../protocols/reqrep/req.h"
#include "../protocols/reqrep/xrep.h"
#include "../protocols/reqrep/xreq.h"
#include "../protocols/fanin/sink.h"
#include "../protocols/fanin/source.h"
#include "../protocols/fanin/xsink.h"
#include "../protocols/fanin/xsource.h"
#include "../protocols/fanout/push.h"
#include "../protocols/fanout/pull.h"
#include "../protocols/fanout/xpush.h"
#include "../protocols/fanout/xpull.h"
#include "../protocols/survey/respondent.h"
#include "../protocols/survey/surveyor.h"
#include "../protocols/survey/xrespondent.h"
#include "../protocols/survey/xsurveyor.h"

#include <stddef.h>

#if defined SP_HAVE_WINDOWS
#include "../utils/win.h"
#endif

/*  Max number of concurrent SP sockets. */
#define SP_MAX_SOCKETS 512

/*  This check is performed at the beginning of each socket operation to make
    sure that the library was initialised and the socket actually exists. */
#define SP_BASIC_CHECKS \
    if (sp_slow (!self.socks)) {\
        errno = EFAULT;\
        return -1;\
    }\
    if (sp_slow (!self.socks [s])) {\
        errno = EBADF;\
        return -1;\
    }

struct sp_ctx {

    /*  Synchronisation of global state of the library. */
    struct sp_mutex sync;

    /*  The global table of existing sockets. The descriptor representing
        the socket is the index to this table. */
    struct sp_sock **socks;
    size_t max_socks;

    /*  Number of actual open sockets in the socket table. */
    size_t nsocks;

    /*  1, if sp_term() was already called, 0 otherwise. */
    int zombie;

    /*  List of all available transports. The access to this list is not
        synchronised. We assume that it never changes after the library was
        initialised. */
    struct sp_list transports;

    /*  List of all available socket types. */
    struct sp_list socktypes;

    /*  Condition variable used by sp_term() to wait till all the sockets are
        closed. */
    struct sp_cond termcond;
};

/*  Number of times sp_init() was called without corresponding sp_term().
    This variable is synchronised using the global lock (sp_glock). */
int sp_ctx_refcount = 0;

/*  Singleton object containing the global state of the library. */
static struct sp_ctx self = {0};

/*  Transport-related private functions. */
static void sp_ctx_add_transport (struct sp_transport *transport);
static void sp_ctx_add_socktype (struct sp_socktype *socktype);

/*  Private function that unifies sp_bind and sp_connect functionality.
    It returns the ID of the newly created endpoint. */
static int sp_ctx_create_ep (int fd, const char *addr, int bind);

void sp_version (int *major, int *minor, int *patch)
{
    if (major)
        *major = SP_VERSION_MAJOR;
    if (minor)
        *minor = SP_VERSION_MINOR;
    if (patch)
        *patch = SP_VERSION_PATCH;
}

int sp_errno (void)
{
    return sp_err_errno ();
}

const char *sp_strerror (int errnum)
{
    return sp_err_strerror (errnum);
}

int sp_init (void)
{
    int i;
#if defined SP_HAVE_WINDOWS
    WSADATA data;
    int rc;
#endif

    sp_glock_lock ();

    /*  If the library is already initialised, do nothing, just increment
        the reference count. */
    ++sp_ctx_refcount;
    if (sp_ctx_refcount > 1) {
        sp_glock_unlock ();
        return 0;
    }

    /*  On Windows, initialise the socket library. */
#if defined SP_HAVE_WINDOWS
    rc = WSAStartup (MAKEWORD (2, 2), &data);
    sp_assert (rc == 0);
    sp_assert (LOBYTE (data.wVersion) == 2 &&
        HIBYTE (data.wVersion) == 2);
#endif

    /*  Initialise the memory allocation subsystem. */
    sp_alloc_init ();

    /*  Seed the pseudo-random number generator. */
    sp_random_seed ();

    /*  Allocate the global table of SP sockets. */
    self.max_socks = SP_MAX_SOCKETS;
    self.socks = sp_alloc (sizeof (struct sp_sock*) * self.max_socks,
        "socket table");
    alloc_assert (self.socks);
    for (i = 0; i != self.max_socks; ++i)
        self.socks [i] = NULL;
    self.nsocks = 0;
    self.zombie = 0;

    /*  Initialise other parts of the global state. */
    sp_mutex_init (&self.sync);
    sp_list_init (&self.transports);
    sp_list_init (&self.socktypes);
    sp_cond_init (&self.termcond);

    /*  Plug in individual transports. */
    sp_ctx_add_transport (sp_inproc);
#if !defined SP_HAVE_WINDOWS
    sp_ctx_add_transport (sp_ipc);
#endif
    sp_ctx_add_transport (sp_tcp);

    /*  Plug in individual socktypes. */
    sp_ctx_add_socktype (sp_pair_socktype);
    sp_ctx_add_socktype (sp_xpair_socktype);
    sp_ctx_add_socktype (sp_pub_socktype);
    sp_ctx_add_socktype (sp_sub_socktype);
    sp_ctx_add_socktype (sp_rep_socktype);
    sp_ctx_add_socktype (sp_req_socktype);
    sp_ctx_add_socktype (sp_xrep_socktype);
    sp_ctx_add_socktype (sp_xreq_socktype);
    sp_ctx_add_socktype (sp_sink_socktype);
    sp_ctx_add_socktype (sp_source_socktype);
    sp_ctx_add_socktype (sp_xsink_socktype);
    sp_ctx_add_socktype (sp_xsource_socktype);
    sp_ctx_add_socktype (sp_push_socktype);
    sp_ctx_add_socktype (sp_pull_socktype);
    sp_ctx_add_socktype (sp_xpull_socktype);
    sp_ctx_add_socktype (sp_respondent_socktype);
    sp_ctx_add_socktype (sp_surveyor_socktype);
    sp_ctx_add_socktype (sp_xrespondent_socktype);
    sp_ctx_add_socktype (sp_xsurveyor_socktype);

    sp_glock_unlock ();

    return 0;
}

int sp_term (void)
{
#if defined SP_HAVE_WINDOWS
    int rc;
#endif
    int i;

    sp_glock_lock ();

    /*  If there are still references to the library, do nothing, just
        decrement the reference count. */
    --sp_ctx_refcount;
    if (sp_ctx_refcount) {
        sp_glock_unlock ();
        return 0;
    }

    /*  Notify all the open sockets about the process shutdown and wait till
        all of them are closed. */
    sp_mutex_lock (&self.sync);
    if (self.nsocks) {
        for (i = 0; i != self.max_socks; ++i)
            if (self.socks [i])
                sp_sock_zombify (self.socks [i]);
        self.zombie = 1;
        sp_cond_wait (&self.termcond, &self.sync);
    }
    sp_mutex_unlock (&self.sync);

    /*  Final deallocation of the global resources. */
    sp_cond_term (&self.termcond);
    sp_list_term (&self.socktypes);
    sp_list_term (&self.transports);
    sp_mutex_term (&self.sync);
    sp_free (self.socks);
    self.socks = NULL;

    /*  Shut down the memory allocation subsystem. */
    sp_alloc_term ();

    /*  On Windows, uninitialise the socket library. */
#if defined SP_HAVE_WINDOWS
    rc = WSACleanup ();
    sp_assert (rc == 0);
#endif

    sp_glock_unlock ();

    return 0;
}

void *sp_allocmsg (size_t size, int type)
{
    sp_assert (0);
}

int sp_freemsg (void *msg)
{
    sp_assert (0);
}

int sp_socket (int domain, int protocol)
{
    int s;
    struct sp_list_item *it;
    struct sp_socktype *socktype;

    /*  Check whether library was initialised. */
    if (sp_slow (!self.socks)) {
        errno = EFAULT;
        return -1;
    }

    /*  Only AF_SP and AF_SP_RAW domains are supported. */
    if (sp_slow (domain != AF_SP && domain != AF_SP_RAW)) {
        errno = -EAFNOSUPPORT;
        return -1;
    }

    sp_mutex_lock (&self.sync);

    /*  Find an empty socket slot. */
    /*  TODO: This is O(n) operation! Linked list of empty slots should be
        implemented. */
    for (s = 0; s != self.max_socks; ++s)
        if (!self.socks [s])
            break;

    /*  TODO: Auto-resize the array here! */
    if (sp_slow (s == self.max_socks)) {
        sp_mutex_unlock (&self.sync);
        errno = EMFILE;
        return -1;
    }

    for (it = sp_list_begin (&self.socktypes);
          it != sp_list_end (&self.socktypes);
          it = sp_list_next (&self.socktypes, it)) {
        socktype = sp_cont (it, struct sp_socktype, list);
        if (socktype->domain == domain && socktype->protocol == protocol) {
            self.socks [s] = (struct sp_sock*) socktype->create (s);
            ++self.nsocks;
            sp_mutex_unlock (&self.sync);
            return s;
        }
    }

    /*  Specified socket type wasn't found. */
    sp_mutex_unlock (&self.sync);
    errno = EINVAL;
    return -1;
}

int sp_close (int s)
{
    SP_BASIC_CHECKS;

    /*  Deallocate the socket object. */
    sp_sock_term (self.socks [s]);

    /*  If there's sp_term() waiting for all sockets being closed and this is
        the last open socket let library termination proceed. */
    sp_mutex_lock (&self.sync);
    self.socks [s] = NULL;
    --self.nsocks;
    if (self.zombie && self.nsocks == 0)
        sp_cond_post (&self.termcond);
    sp_mutex_unlock (&self.sync);

    return 0;
}

int sp_setsockopt (int s, int level, int option, const void *optval,
    size_t optvallen)
{
    int rc;

    SP_BASIC_CHECKS;

    if (sp_slow (!optval && optvallen)) {
        errno = EFAULT;
        return -1;
    }

    rc = sp_sock_setopt (self.socks [s], level, option, optval, optvallen);
    if (sp_slow (rc < 0)) {
        errno = -rc;
        return -1;
    }
    errnum_assert (rc == 0, -rc);

    return 0;
}
 
int sp_getsockopt (int s, int level, int option, void *optval,
    size_t *optvallen)
{
    int rc;

    SP_BASIC_CHECKS;

    if (sp_slow (!optval && optvallen)) {
        errno = EFAULT;
        return -1;
    }

    rc = sp_sock_getopt (self.socks [s], level, option, optval, optvallen, 0);
    if (sp_slow (rc < 0)) {
        errno = -rc;
        return -1;
    }
    errnum_assert (rc == 0, -rc);

    return 0;
}

int sp_bind (int s, const char *addr)
{
    int rc;

    SP_BASIC_CHECKS;

    rc = sp_ctx_create_ep (s, addr, 1);
    if (rc < 0) {
        errno = -rc;
        return -1;
    }

    return rc;
}

int sp_connect (int s, const char *addr)
{
    int rc;

    SP_BASIC_CHECKS;

    rc = sp_ctx_create_ep (s, addr, 0);
    if (rc < 0) {
        errno = -rc;
        return -1;
    }

    return rc;
}

int sp_shutdown (int s, int how)
{
    int rc;

    SP_BASIC_CHECKS;

    rc = sp_sock_shutdown (self.socks [s], how);
    if (sp_slow (rc < 0)) {
        errno = -rc;
        return -1;
    }
    sp_assert (rc == 0);

    return 0;
}

int sp_send (int s, const void *buf, size_t len, int flags)
{
    int rc;

    SP_BASIC_CHECKS;

    if (sp_slow (!buf && len)) {
        errno = EFAULT;
        return -1;
    }

    rc = sp_sock_send (self.socks [s], buf, len, flags);
    if (sp_slow (rc < 0)) {
        errno = -rc;
        return -1;
    }
    sp_assert (rc == 0);

    return (int) len;
}

int sp_recv (int s, void *buf, size_t len, int flags)
{
    int rc;

    SP_BASIC_CHECKS;

    if (sp_slow (!buf && len)) {
        errno = EFAULT;
        return -1;
    }

    rc = sp_sock_recv (self.socks [s], buf, &len, flags);
    if (sp_slow (rc < 0)) {
        errno = -rc;
        return -1;
    }
    sp_assert (rc == 0);

    return (int) len;
}

int sp_sendmsg (int s, void *msg, int flags)
{
    sp_assert (0);
}

int sp_recvmsg (int s, void **msg, int flags)
{
    sp_assert (0);
}

static void sp_ctx_add_transport (struct sp_transport *transport)
{
    transport->init ();
    sp_list_insert (&self.transports, &transport->list,
        sp_list_end (&self.transports));
}

static void sp_ctx_add_socktype (struct sp_socktype *socktype)
{
    sp_list_insert (&self.socktypes, &socktype->list,
        sp_list_end (&self.socktypes));
}

static int sp_ctx_create_ep (int fd, const char *addr, int bind)
{
    const char *proto;
    const char *delim;
    size_t protosz;
    struct sp_transport *tp;
    struct sp_list_item *it;

    /*  Check whether address is valid. */
    if (!addr)
        return -EINVAL;
    if (strlen (addr) >= SP_SOCKADDR_MAX)
        return -ENAMETOOLONG;

    /*  Separate the protocol and the actual address. */
    proto = addr;
    delim = strchr (addr, ':');
    if (!delim)
        return -EINVAL;
    if (delim [1] != '/' || delim [2] != '/')
        return -EINVAL;
    protosz = delim - addr;
    addr += protosz + 3;

    /*  Find the specified protocol. */
    tp = NULL;
    sp_mutex_lock (&self.sync);
    for (it = sp_list_begin (&self.transports);
          it != sp_list_end (&self.transports);
          it = sp_list_next (&self.transports, it)) {
        tp = sp_cont (it, struct sp_transport, list);
        if (strlen (tp->name ()) == protosz &&
              memcmp (tp->name (), proto, protosz) == 0)
            break;
        tp = NULL;
    }
    sp_mutex_unlock (&self.sync);

    /*  The protocol specified doesn't match any known protocol. */
    if (!tp)
        return -EPROTONOSUPPORT;

    /*  Ask socket to create the endpoint. Pass it the class factory
        function. */
    return sp_sock_create_ep (self.socks [fd], addr,
        bind ? tp->bind : tp->connect);
}