ctx.cpp 9.03 KB
Newer Older
Martin Sustrik's avatar
Martin Sustrik committed
1
/*
Martin Sustrik's avatar
Martin Sustrik committed
2
    Copyright (c) 2009-2011 250bpm s.r.o.
3 4
    Copyright (c) 2007-2011 iMatix Corporation
    Copyright (c) 2007-2011 Other contributors as noted in the AUTHORS file
Martin Sustrik's avatar
Martin Sustrik committed
5 6 7 8

    This file is part of 0MQ.

    0MQ is free software; you can redistribute it and/or modify it under
9
    the terms of the GNU Lesser General Public License as published by
Martin Sustrik's avatar
Martin Sustrik committed
10 11 12 13 14 15
    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
16
    GNU Lesser General Public License for more details.
Martin Sustrik's avatar
Martin Sustrik committed
17

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

22 23 24 25 26 27 28
#include "platform.hpp"
#if defined ZMQ_HAVE_WINDOWS
#include "windows.hpp"
#else
#include <unistd.h>
#endif

29
#include <new>
30
#include <string.h>
31

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

40
zmq::ctx_t::ctx_t (uint32_t io_threads_) :
41
    tag (0xbadcafe0),
42
    terminating (false)
Martin Sustrik's avatar
Martin Sustrik committed
43
{
Martin Sustrik's avatar
Martin Sustrik committed
44 45
    int rc;

46 47 48
    //  Initialise the array of mailboxes. Additional three slots are for
    //  internal log socket and the zmq_term thread the reaper thread.
    slot_count = max_sockets + io_threads_ + 3;
49
    slots = (mailbox_t**) malloc (sizeof (mailbox_t*) * slot_count);
50
    alloc_assert (slots);
Martin Sustrik's avatar
Martin Sustrik committed
51

52 53 54 55 56
    //  Initialise the infrastructure for zmq_term thread.
    slots [term_tid] = &term_mailbox;

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

61
    //  Create I/O thread objects and launch them.
62
    for (uint32_t i = 2; i != io_threads_ + 2; i++) {
63
        io_thread_t *io_thread = new (std::nothrow) io_thread_t (this, i);
64
        alloc_assert (io_thread);
Martin Sustrik's avatar
Martin Sustrik committed
65
        io_threads.push_back (io_thread);
66
        slots [i] = io_thread->get_mailbox ();
67
        io_thread->start ();
Martin Sustrik's avatar
Martin Sustrik committed
68
    }
69

70
    //  In the unused part of the slot array, create a list of empty slots.
71
    for (int32_t i = (int32_t) slot_count - 1;
72
          i >= (int32_t) io_threads_ + 2; i--) {
73 74 75
        empty_slots.push_back (i);
        slots [i] = NULL;
    }
76 77 78 79

    //  Create the logging infrastructure.
    log_socket = create_socket (ZMQ_PUB);
    zmq_assert (log_socket);
Martin Sustrik's avatar
Martin Sustrik committed
80
    rc = log_socket->bind ("sys://log");
81
    zmq_assert (rc == 0);
82 83
}

84 85 86 87 88 89 90 91 92 93
void zmq::ctx_t::set_thread_safe() 
{
  thread_safe_flag = true;
}

bool zmq::ctx_t::get_thread_safe() const
{
  return thread_safe_flag;
}

94 95 96 97 98
bool zmq::ctx_t::check_tag ()
{
    return tag == 0xbadcafe0;
}

99
zmq::ctx_t::~ctx_t ()
Martin Sustrik's avatar
Martin Sustrik committed
100
{
101
    //  Check that there are no remaining sockets.
102 103
    zmq_assert (sockets.empty ());

104 105
    //  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
106 107 108 109 110
    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++)
111
        delete io_threads [i];
Martin Sustrik's avatar
Martin Sustrik committed
112

113 114 115
    //  Deallocate the reaper thread object.
    delete reaper;

116 117
    //  Deallocate the array of mailboxes. No special work is
    //  needed as mailboxes themselves were deallocated with their
118 119
    //  corresponding io_thread/socket objects.
    free (slots);
120 121 122

    //  Remove the tag, so that the object is considered dead.
    tag = 0xdeadbeef;
Martin Sustrik's avatar
Martin Sustrik committed
123 124
}

125
int zmq::ctx_t::terminate ()
Martin Sustrik's avatar
Martin Sustrik committed
126
{
127 128
    //  Check whether termination was already underway, but interrupted and now
    //  restarted.
129
    slot_sync.lock ();
130
    bool restarted = terminating;
131
    slot_sync.unlock ();
132

133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152
    //  First attempt to terminate the context.
    if (!restarted) {

        //  Close the logging infrastructure.
        log_sync.lock ();
        int rc = log_socket->close ();
        zmq_assert (rc == 0);
        log_socket = NULL;
        log_sync.unlock ();

        //  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.
        slot_sync.lock ();
        terminating = true;
        for (sockets_t::size_type i = 0; i != sockets.size (); i++)
            sockets [i]->stop ();
        if (sockets.empty ())
            reaper->stop ();
        slot_sync.unlock ();
    }
153

154 155
    //  Wait till reaper thread closes all the sockets.
    command_t cmd;
156
    int rc = term_mailbox.recv (&cmd, -1);
157 158 159 160
    if (rc == -1 && errno == EINTR)
        return -1;
    zmq_assert (rc == 0);
    zmq_assert (cmd.type == command_t::done);
161
    slot_sync.lock ();
162
    zmq_assert (sockets.empty ());
163
    slot_sync.unlock ();
164

165 166
    //  Deallocate the resources.
    delete this;
167

168 169
    return 0;
}
170

171 172 173
zmq::socket_base_t *zmq::ctx_t::create_socket (int type_)
{
    slot_sync.lock ();
174

175 176 177 178 179 180
    //  Once zmq_term() was called, we can't create new sockets.
    if (terminating) {
        slot_sync.unlock ();
        errno = ETERM;
        return NULL;
    }
181

182 183 184 185 186
    //  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
187
    }
188

189 190 191
    //  Choose a slot for the socket.
    uint32_t slot = empty_slots.back ();
    empty_slots.pop_back ();
192

193
    //  Create the socket and register its mailbox.
194 195 196 197
    socket_base_t *s = socket_base_t::create (type_, this, slot);
    if (!s) {
        empty_slots.push_back (slot);
        slot_sync.unlock ();
198
        return NULL;
199 200
    }
    sockets.push_back (s);
201
    slots [slot] = s->get_mailbox ();
202

203
    slot_sync.unlock ();
204

205
    return s;
Martin Sustrik's avatar
Martin Sustrik committed
206 207
}

208
void zmq::ctx_t::destroy_socket (class socket_base_t *socket_)
209
{
210 211
    slot_sync.lock ();

212 213 214 215
    //  Free the associared thread slot.
    uint32_t tid = socket_->get_tid ();
    empty_slots.push_back (tid);
    slots [tid] = NULL;    
216

217 218 219 220 221 222 223
    //  Remove the socket from the list of sockets.
    sockets.erase (socket_);

    //  If zmq_term() was already called and there are no more socket
    //  we can ask reaper thread to terminate.
    if (terminating && sockets.empty ())
        reaper->stop ();
224 225

    slot_sync.unlock ();
226 227
}

228 229 230 231 232
zmq::object_t *zmq::ctx_t::get_reaper ()
{
    return reaper;
}

Martin Sustrik's avatar
Martin Sustrik committed
233
void zmq::ctx_t::send_command (uint32_t tid_, const command_t &command_)
234
{
Martin Sustrik's avatar
Martin Sustrik committed
235
    slots [tid_]->send (command_);
236 237
}

238
zmq::io_thread_t *zmq::ctx_t::choose_io_thread (uint64_t affinity_)
Martin Sustrik's avatar
Martin Sustrik committed
239
{
240 241 242
    if (io_threads.empty ())
        return NULL;

Martin Sustrik's avatar
Martin Sustrik committed
243
    //  Find the I/O thread with minimum load.
244
    int min_load = -1;
Martin Sustrik's avatar
Martin Sustrik committed
245
    io_threads_t::size_type result = 0;
246 247
    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
248
            int load = io_threads [i]->get_load ();
249
            if (min_load == -1 || load < min_load) {
Martin Sustrik's avatar
Martin Sustrik committed
250 251 252 253 254
                min_load = load;
                result = i;
            }
        }
    }
255
    zmq_assert (min_load != -1);
Martin Sustrik's avatar
Martin Sustrik committed
256 257
    return io_threads [result];
}
Martin Sustrik's avatar
Martin Sustrik committed
258

259
int zmq::ctx_t::register_endpoint (const char *addr_, endpoint_t &endpoint_)
260 261 262
{
    endpoints_sync.lock ();

263
    bool inserted = endpoints.insert (endpoints_t::value_type (
264
        std::string (addr_), endpoint_)).second;
265 266 267 268 269 270 271 272 273 274
    if (!inserted) {
        errno = EADDRINUSE;
        endpoints_sync.unlock ();
        return -1;
    }

    endpoints_sync.unlock ();
    return 0;
}

275
void zmq::ctx_t::unregister_endpoints (socket_base_t *socket_)
276 277 278 279 280
{
    endpoints_sync.lock ();

    endpoints_t::iterator it = endpoints.begin ();
    while (it != endpoints.end ()) {
281
        if (it->second.socket == socket_) {
282
            endpoints_t::iterator to_erase = it;
283
            ++it;
284 285 286
            endpoints.erase (to_erase);
            continue;
        }
287
        ++it;
288 289 290 291 292
    }
        
    endpoints_sync.unlock ();
}

293
zmq::endpoint_t zmq::ctx_t::find_endpoint (const char *addr_)
294 295 296 297 298 299 300
{
     endpoints_sync.lock ();

     endpoints_t::iterator it = endpoints.find (addr_);
     if (it == endpoints.end ()) {
         endpoints_sync.unlock ();
         errno = ECONNREFUSED;
301 302
         endpoint_t empty = {NULL, options_t()};
         return empty;
303
     }
304
     endpoint_t *endpoint = &it->second;
305 306 307

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

     endpoints_sync.unlock ();
313
     return *endpoint;
314 315
}

316
void zmq::ctx_t::log (const char *format_, va_list args_)
317
{
318
    //  Create the log message.
319 320 321 322
    msg_t msg;
    int rc = msg.init_size (strlen (format_) + 1);
    errno_assert (rc == 0);
    memcpy (msg.data (), format_, msg.size ());
323

324 325 326 327
    //  At this  point we migrate the log socket to the current thread.
    //  We rely on mutex for executing the memory barrier.
    log_sync.lock ();
    if (log_socket)
328
        log_socket->send (&msg, 0);
329
    log_sync.unlock ();
330

331 332
    rc = msg.close ();
    errno_assert (rc == 0);
333 334
}

335