ctx.cpp 14.8 KB
Newer Older
Martin Sustrik's avatar
Martin Sustrik committed
1
/*
2
    Copyright (c) 2007-2014 Contributors as noted in the AUTHORS file
Martin Sustrik's avatar
Martin Sustrik committed
3 4 5 6

    This file is part of 0MQ.

    0MQ is free software; you can redistribute it and/or modify it under
7
    the terms of the GNU Lesser General Public License as published by
Martin Sustrik's avatar
Martin Sustrik committed
8 9 10 11 12 13
    the Free Software Foundation; either version 3 of the License, or
    (at your option) any later version.

    0MQ is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14
    GNU Lesser General Public License for more details.
Martin Sustrik's avatar
Martin Sustrik committed
15

16
    You should have received a copy of the GNU Lesser General Public License
Martin Sustrik's avatar
Martin Sustrik committed
17 18 19
    along with this program.  If not, see <http://www.gnu.org/licenses/>.
*/

20
#include "platform.hpp"
Martin Hurton's avatar
Martin Hurton committed
21
#ifdef ZMQ_HAVE_WINDOWS
22 23 24 25 26
#include "windows.hpp"
#else
#include <unistd.h>
#endif

27
#include <limits>
28
#include <new>
29
#include <string.h>
30

31
#include "ctx.hpp"
32
#include "socket_base.hpp"
Martin Sustrik's avatar
Martin Sustrik committed
33
#include "io_thread.hpp"
34
#include "reaper.hpp"
Martin Sustrik's avatar
Martin Sustrik committed
35
#include "pipe.hpp"
36 37
#include "err.hpp"
#include "msg.hpp"
Martin Sustrik's avatar
Martin Sustrik committed
38

39 40 41
#define ZMQ_CTX_TAG_VALUE_GOOD 0xabadcafe
#define ZMQ_CTX_TAG_VALUE_BAD  0xdeadbeef

42 43
int clipped_maxsocket(int max_requested)
{
Richard Newton's avatar
Richard Newton committed
44
    if (max_requested >= zmq::poller_t::max_fds () && zmq::poller_t::max_fds () != -1)
Pieter Hintjens's avatar
Pieter Hintjens committed
45 46
        // -1 because we need room for the reaper mailbox.
        max_requested = zmq::poller_t::max_fds () - 1;
47 48 49 50
    
    return max_requested;
}

51
zmq::ctx_t::ctx_t () :
52
    tag (ZMQ_CTX_TAG_VALUE_GOOD),
53 54 55 56 57
    starting (true),
    terminating (false),
    reaper (NULL),
    slot_count (0),
    slots (NULL),
Richard Newton's avatar
Richard Newton committed
58
    max_sockets (clipped_maxsocket (ZMQ_MAX_SOCKETS_DFLT)),
Pieter Hintjens's avatar
Pieter Hintjens committed
59 60
    io_thread_count (ZMQ_IO_THREADS_DFLT),
    ipv6 (false)
Martin Sustrik's avatar
Martin Sustrik committed
61
{
62 63 64
#ifdef HAVE_FORK
    pid = getpid();
#endif
65 66
}

67 68
bool zmq::ctx_t::check_tag ()
{
69
    return tag == ZMQ_CTX_TAG_VALUE_GOOD;
70 71
}

72
zmq::ctx_t::~ctx_t ()
Martin Sustrik's avatar
Martin Sustrik committed
73
{
74
    //  Check that there are no remaining sockets.
75 76
    zmq_assert (sockets.empty ());

77 78
    //  Ask I/O threads to terminate. If stop signal wasn't sent to I/O
    //  thread subsequent invocation of destructor would hang-up.
Martin Sustrik's avatar
Martin Sustrik committed
79 80 81 82 83
    for (io_threads_t::size_type i = 0; i != io_threads.size (); i++)
        io_threads [i]->stop ();

    //  Wait till I/O threads actually terminate.
    for (io_threads_t::size_type i = 0; i != io_threads.size (); i++)
84
        delete io_threads [i];
Martin Sustrik's avatar
Martin Sustrik committed
85

86
    //  Deallocate the reaper thread object.
87
    delete reaper;
88

89 90
    //  Deallocate the array of mailboxes. No special work is
    //  needed as mailboxes themselves were deallocated with their
91
    //  corresponding io_thread/socket objects.
92
    free (slots);
93 94

    //  Remove the tag, so that the object is considered dead.
95
    tag = ZMQ_CTX_TAG_VALUE_BAD;
Martin Sustrik's avatar
Martin Sustrik committed
96 97
}

98
int zmq::ctx_t::terminate ()
Martin Sustrik's avatar
Martin Sustrik committed
99
{
100 101 102 103 104 105 106 107
    // Connect up any pending inproc connections, otherwise we will hang
    pending_connections_t copy = pending_connections;
    for (pending_connections_t::iterator p = copy.begin (); p != copy.end (); ++p) {
        zmq::socket_base_t *s = create_socket (ZMQ_PAIR);
        s->bind (p->first.c_str ());
        s->close ();
    }

108
    slot_sync.lock ();
109
    if (!starting) {
110

111
#ifdef HAVE_FORK
Pieter Hintjens's avatar
Pieter Hintjens committed
112
        if (pid != getpid ()) {
113 114 115 116 117 118 119 120
            // we are a forked child process. Close all file descriptors
            // inherited from the parent.
            for (sockets_t::size_type i = 0; i != sockets.size (); i++)
                sockets[i]->get_mailbox()->forked();

            term_mailbox.forked();
        }
#endif
121

122 123 124
        //  Check whether termination was already underway, but interrupted and now
        //  restarted.
        bool restarted = terminating;
125
        terminating = true;
126

127 128 129 130 131 132 133 134 135 136
        //  First attempt to terminate the context.
        if (!restarted) {
            //  First send stop command to sockets so that any blocking calls
            //  can be interrupted. If there are no sockets we can ask reaper
            //  thread to stop.
            for (sockets_t::size_type i = 0; i != sockets.size (); i++)
                sockets [i]->stop ();
            if (sockets.empty ())
                reaper->stop ();
        }
137
        slot_sync.unlock();
138 139 140 141 142 143

        //  Wait till reaper thread closes all the sockets.
        command_t cmd;
        int rc = term_mailbox.recv (&cmd, -1);
        if (rc == -1 && errno == EINTR)
            return -1;
144
        errno_assert (rc == 0);
145 146 147 148
        zmq_assert (cmd.type == command_t::done);
        slot_sync.lock ();
        zmq_assert (sockets.empty ());
    }
149
    slot_sync.unlock ();
150

151 152
    //  Deallocate the resources.
    delete this;
153

154 155
    return 0;
}
156

157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175
int zmq::ctx_t::shutdown ()
{
    slot_sync.lock ();
    if (!starting && !terminating) {
        terminating = true;

        //  Send stop command to sockets so that any blocking calls
        //  can be interrupted. If there are no sockets we can ask reaper
        //  thread to stop.
        for (sockets_t::size_type i = 0; i != sockets.size (); i++)
            sockets [i]->stop ();
        if (sockets.empty ())
            reaper->stop ();
    }
    slot_sync.unlock ();

    return 0;
}

176 177 178
int zmq::ctx_t::set (int option_, int optval_)
{
    int rc = 0;
Pieter Hintjens's avatar
Pieter Hintjens committed
179 180
    if (option_ == ZMQ_MAX_SOCKETS
    &&  optval_ >= 1 && optval_ == clipped_maxsocket (optval_)) {
181 182 183 184 185
        opt_sync.lock ();
        max_sockets = optval_;
        opt_sync.unlock ();
    }
    else
186
    if (option_ == ZMQ_IO_THREADS && optval_ >= 0) {
187 188 189 190
        opt_sync.lock ();
        io_thread_count = optval_;
        opt_sync.unlock ();
    }
Pieter Hintjens's avatar
Pieter Hintjens committed
191 192 193
    else
    if (option_ == ZMQ_IPV6 && optval_ >= 0) {
        opt_sync.lock ();
194
        ipv6 = (optval_ != 0);
Pieter Hintjens's avatar
Pieter Hintjens committed
195 196
        opt_sync.unlock ();
    }
197 198 199 200 201 202 203 204 205 206 207 208 209
    else {
        errno = EINVAL;
        rc = -1;
    }
    return rc;
}

int zmq::ctx_t::get (int option_)
{
    int rc = 0;
    if (option_ == ZMQ_MAX_SOCKETS)
        rc = max_sockets;
    else
210
    if (option_ == ZMQ_SOCKET_LIMIT)
211
        rc = clipped_maxsocket (65535);
212
    else
213 214
    if (option_ == ZMQ_IO_THREADS)
        rc = io_thread_count;
Pieter Hintjens's avatar
Pieter Hintjens committed
215 216 217
    else
    if (option_ == ZMQ_IPV6)
        rc = ipv6;
218 219 220 221 222 223 224
    else {
        errno = EINVAL;
        rc = -1;
    }
    return rc;
}

225 226
zmq::socket_base_t *zmq::ctx_t::create_socket (int type_)
{
227
    slot_sync.lock ();
228 229 230 231
    if (unlikely (starting)) {

        starting = false;
        //  Initialise the array of mailboxes. Additional three slots are for
Pieter Hintjens's avatar
Pieter Hintjens committed
232
        //  zmq_ctx_term thread and reaper thread.
233 234 235 236 237
        opt_sync.lock ();
        int mazmq = max_sockets;
        int ios = io_thread_count;
        opt_sync.unlock ();
        slot_count = mazmq + ios + 2;
Pieter Hintjens's avatar
Pieter Hintjens committed
238
        slots = (mailbox_t **) malloc (sizeof (mailbox_t*) * slot_count);
239 240
        alloc_assert (slots);

Pieter Hintjens's avatar
Pieter Hintjens committed
241
        //  Initialise the infrastructure for zmq_ctx_term thread.
242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266
        slots [term_tid] = &term_mailbox;

        //  Create the reaper thread.
        reaper = new (std::nothrow) reaper_t (this, reaper_tid);
        alloc_assert (reaper);
        slots [reaper_tid] = reaper->get_mailbox ();
        reaper->start ();

        //  Create I/O thread objects and launch them.
        for (int i = 2; i != ios + 2; i++) {
            io_thread_t *io_thread = new (std::nothrow) io_thread_t (this, i);
            alloc_assert (io_thread);
            io_threads.push_back (io_thread);
            slots [i] = io_thread->get_mailbox ();
            io_thread->start ();
        }

        //  In the unused part of the slot array, create a list of empty slots.
        for (int32_t i = (int32_t) slot_count - 1;
              i >= (int32_t) ios + 2; i--) {
            empty_slots.push_back (i);
            slots [i] = NULL;
        }
    }

Pieter Hintjens's avatar
Pieter Hintjens committed
267
    //  Once zmq_ctx_term() was called, we can't create new sockets.
268 269 270 271 272
    if (terminating) {
        slot_sync.unlock ();
        errno = ETERM;
        return NULL;
    }
273

274 275 276 277 278
    //  If max_sockets limit was reached, return error.
    if (empty_slots.empty ()) {
        slot_sync.unlock ();
        errno = EMFILE;
        return NULL;
Martin Sustrik's avatar
Martin Sustrik committed
279
    }
280

281 282 283
    //  Choose a slot for the socket.
    uint32_t slot = empty_slots.back ();
    empty_slots.pop_back ();
284

285 286 287
    //  Generate new unique socket ID.
    int sid = ((int) max_socket_id.add (1)) + 1;

288
    //  Create the socket and register its mailbox.
289
    socket_base_t *s = socket_base_t::create (type_, this, slot, sid);
290 291 292
    if (!s) {
        empty_slots.push_back (slot);
        slot_sync.unlock ();
293
        return NULL;
294 295
    }
    sockets.push_back (s);
296
    slots [slot] = s->get_mailbox ();
297

298
    slot_sync.unlock ();
299
    return s;
Martin Sustrik's avatar
Martin Sustrik committed
300 301
}

302
void zmq::ctx_t::destroy_socket (class socket_base_t *socket_)
303
{
304 305
    slot_sync.lock ();

Martin Hurton's avatar
Martin Hurton committed
306
    //  Free the associated thread slot.
307 308
    uint32_t tid = socket_->get_tid ();
    empty_slots.push_back (tid);
Martin Hurton's avatar
Martin Hurton committed
309
    slots [tid] = NULL;
310

311 312 313
    //  Remove the socket from the list of sockets.
    sockets.erase (socket_);

Pieter Hintjens's avatar
Pieter Hintjens committed
314
    //  If zmq_ctx_term() was already called and there are no more socket
315 316 317
    //  we can ask reaper thread to terminate.
    if (terminating && sockets.empty ())
        reaper->stop ();
318 319

    slot_sync.unlock ();
320 321
}

322 323 324 325 326
zmq::object_t *zmq::ctx_t::get_reaper ()
{
    return reaper;
}

Martin Sustrik's avatar
Martin Sustrik committed
327
void zmq::ctx_t::send_command (uint32_t tid_, const command_t &command_)
328
{
Martin Sustrik's avatar
Martin Sustrik committed
329
    slots [tid_]->send (command_);
330 331
}

332
zmq::io_thread_t *zmq::ctx_t::choose_io_thread (uint64_t affinity_)
Martin Sustrik's avatar
Martin Sustrik committed
333
{
334 335 336
    if (io_threads.empty ())
        return NULL;

Martin Sustrik's avatar
Martin Sustrik committed
337
    //  Find the I/O thread with minimum load.
338
    int min_load = -1;
339
    io_thread_t *selected_io_thread = NULL;
340 341
    for (io_threads_t::size_type i = 0; i != io_threads.size (); i++) {
        if (!affinity_ || (affinity_ & (uint64_t (1) << i))) {
Martin Sustrik's avatar
Martin Sustrik committed
342
            int load = io_threads [i]->get_load ();
343
            if (selected_io_thread == NULL || load < min_load) {
Martin Sustrik's avatar
Martin Sustrik committed
344
                min_load = load;
345
                selected_io_thread = io_threads [i];
Martin Sustrik's avatar
Martin Sustrik committed
346 347 348
            }
        }
    }
349
    return selected_io_thread;
Martin Sustrik's avatar
Martin Sustrik committed
350
}
Martin Sustrik's avatar
Martin Sustrik committed
351

352 353
int zmq::ctx_t::register_endpoint (const char *addr_,
        const endpoint_t &endpoint_)
354 355 356
{
    endpoints_sync.lock ();

357
    bool inserted = endpoints.insert (endpoints_t::value_type (
358
        std::string (addr_), endpoint_)).second;
359 360 361

    endpoints_sync.unlock ();

362 363 364 365 366 367 368
    if (!inserted) {
        errno = EADDRINUSE;
        return -1;
    }
    return 0;
}

369
void zmq::ctx_t::unregister_endpoints (socket_base_t *socket_)
370 371 372 373 374
{
    endpoints_sync.lock ();

    endpoints_t::iterator it = endpoints.begin ();
    while (it != endpoints.end ()) {
375
        if (it->second.socket == socket_) {
376
            endpoints_t::iterator to_erase = it;
377
            ++it;
378 379 380
            endpoints.erase (to_erase);
            continue;
        }
381
        ++it;
382 383 384 385
    }
    endpoints_sync.unlock ();
}

386
zmq::endpoint_t zmq::ctx_t::find_endpoint (const char *addr_)
387 388 389 390 391 392 393
{
     endpoints_sync.lock ();

     endpoints_t::iterator it = endpoints.find (addr_);
     if (it == endpoints.end ()) {
         endpoints_sync.unlock ();
         errno = ECONNREFUSED;
394 395
         endpoint_t empty = {NULL, options_t()};
         return empty;
396
     }
397
     endpoint_t endpoint = it->second;
398 399 400

     //  Increment the command sequence number of the peer so that it won't
     //  get deallocated until "bind" command is issued by the caller.
401 402
     //  The subsequent 'bind' has to be called with inc_seqnum parameter
     //  set to false, so that the seqnum isn't incremented twice.
403
     endpoint.socket->inc_seqnum ();
404 405

     endpoints_sync.unlock ();
406
     return endpoint;
407
}
408

Martin Hurton's avatar
Martin Hurton committed
409 410
void zmq::ctx_t::pend_connection (const std::string &addr_,
        const endpoint_t &endpoint_, pipe_t **pipes_)
411
{
Martin Hurton's avatar
Martin Hurton committed
412 413 414
    const pending_connection_t pending_connection =
        {endpoint_, pipes_ [0], pipes_ [1]};

415 416
    endpoints_sync.lock ();

417
    endpoints_t::iterator it = endpoints.find (addr_);
Pieter Hintjens's avatar
Pieter Hintjens committed
418
    if (it == endpoints.end ()) {
419
        // Still no bind.
Martin Hurton's avatar
Martin Hurton committed
420 421
        endpoint_.socket->inc_seqnum ();
        pending_connections.insert (pending_connections_t::value_type (addr_, pending_connection));
422 423 424
    }
    else
        // Bind has happened in the mean time, connect directly
Martin Hurton's avatar
Martin Hurton committed
425
        connect_inproc_sockets (it->second.socket, it->second.options, pending_connection, connect_side);
426 427 428 429

    endpoints_sync.unlock ();
}

430
void zmq::ctx_t::connect_pending (const char *addr_, zmq::socket_base_t *bind_socket_)
431 432 433
{
    endpoints_sync.lock ();

434
    std::pair<pending_connections_t::iterator, pending_connections_t::iterator> pending = pending_connections.equal_range(addr_);
435

436
    for (pending_connections_t::iterator p = pending.first; p != pending.second; ++p)
437 438 439 440 441 442
        connect_inproc_sockets(bind_socket_, endpoints[addr_].options, p->second, bind_side);

    pending_connections.erase(pending.first, pending.second);
    endpoints_sync.unlock ();
}

Pieter Hintjens's avatar
Pieter Hintjens committed
443
void zmq::ctx_t::connect_inproc_sockets (zmq::socket_base_t *bind_socket_,
Martin Hurton's avatar
Martin Hurton committed
444
    options_t& bind_options, const pending_connection_t &pending_connection_, side side_)
445 446 447 448
{
    bind_socket_->inc_seqnum();
    pending_connection_.bind_pipe->set_tid(bind_socket_->get_tid());

449 450 451 452 453 454 455 456
    if (!bind_options.recv_identity) {
        msg_t msg;
        const bool ok = pending_connection_.bind_pipe->read (&msg);
        zmq_assert (ok);
        const int rc = msg.close ();
        errno_assert (rc == 0);
    }

457

458 459 460
    int sndhwm = 0;
    if (pending_connection_.endpoint.options.sndhwm != 0 && bind_options.rcvhwm != 0)
        sndhwm = pending_connection_.endpoint.options.sndhwm + bind_options.rcvhwm;
Pieter Hintjens's avatar
Pieter Hintjens committed
461

462 463 464 465 466 467 468 469 470 471 472
    int rcvhwm = 0;
    if (pending_connection_.endpoint.options.rcvhwm != 0 && bind_options.sndhwm != 0)
        rcvhwm = pending_connection_.endpoint.options.rcvhwm + bind_options.sndhwm;

    bool conflate = pending_connection_.endpoint.options.conflate &&
            (pending_connection_.endpoint.options.type == ZMQ_DEALER ||
             pending_connection_.endpoint.options.type == ZMQ_PULL ||
             pending_connection_.endpoint.options.type == ZMQ_PUSH ||
             pending_connection_.endpoint.options.type == ZMQ_PUB ||
             pending_connection_.endpoint.options.type == ZMQ_SUB);

473 474 475 476 477 478 479 480 481 482 483 484 485
    int hwms [2] = {conflate? -1 : sndhwm, conflate? -1 : rcvhwm};
    pending_connection_.connect_pipe->set_hwms(hwms [1], hwms [0]);
    pending_connection_.bind_pipe->set_hwms(hwms [0], hwms [1]);

    if (side_ == bind_side) {
        command_t cmd;
        cmd.type = command_t::bind;
        cmd.args.bind.pipe = pending_connection_.bind_pipe;
        bind_socket_->process_command (cmd);
        bind_socket_->send_inproc_connected (pending_connection_.endpoint.socket);
    }
    else
        pending_connection_.connect_pipe->send_bind (bind_socket_, pending_connection_.bind_pipe, false);
486 487 488 489 490 491 492 493 494 495

    if (pending_connection_.endpoint.options.recv_identity) {
        msg_t id;
        int rc = id.init_size (bind_options.identity_size);
        errno_assert (rc == 0);
        memcpy (id.data (), bind_options.identity, bind_options.identity_size);
        id.set_flags (msg_t::identity);
        bool written = pending_connection_.bind_pipe->write (&id);
        zmq_assert (written);
        pending_connection_.bind_pipe->flush ();
496 497 498
    }
}

499 500 501 502
//  The last used socket ID, or 0 if no socket was used so far. Note that this
//  is a global variable. Thus, even sockets created in different contexts have
//  unique IDs.
zmq::atomic_counter_t zmq::ctx_t::max_socket_id;