ctx.cpp 8.85 KB
Newer Older
Martin Sustrik's avatar
Martin Sustrik committed
1
/*
2 3
    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
4 5 6 7

    This file is part of 0MQ.

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

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

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

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
zmq::ctx_t::ctx_t (uint32_t io_threads_) :
40
    tag (0xbadcafe0),
41
    terminating (false)
Martin Sustrik's avatar
Martin Sustrik committed
42
{
Martin Sustrik's avatar
Martin Sustrik committed
43 44
    int rc;

45 46 47
    //  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;
48
    slots = (mailbox_t**) malloc (sizeof (mailbox_t*) * slot_count);
49
    alloc_assert (slots);
Martin Sustrik's avatar
Martin Sustrik committed
50

51 52 53 54 55
    //  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);
56
    alloc_assert (reaper);
57 58 59
    slots [reaper_tid] = reaper->get_mailbox ();
    reaper->start ();

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

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

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

83 84 85 86 87
bool zmq::ctx_t::check_tag ()
{
    return tag == 0xbadcafe0;
}

88
zmq::ctx_t::~ctx_t ()
Martin Sustrik's avatar
Martin Sustrik committed
89
{
90
    //  Check that there are no remaining sockets.
91 92
    zmq_assert (sockets.empty ());

93 94
    //  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
95 96 97 98 99
    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++)
100
        delete io_threads [i];
Martin Sustrik's avatar
Martin Sustrik committed
101

102 103 104
    //  Deallocate the reaper thread object.
    delete reaper;

105 106
    //  Deallocate the array of mailboxes. No special work is
    //  needed as mailboxes themselves were deallocated with their
107 108
    //  corresponding io_thread/socket objects.
    free (slots);
109 110 111

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

114
int zmq::ctx_t::terminate ()
Martin Sustrik's avatar
Martin Sustrik committed
115
{
116 117
    //  Check whether termination was already underway, but interrupted and now
    //  restarted.
118
    slot_sync.lock ();
119
    bool restarted = terminating;
120
    slot_sync.unlock ();
121

122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141
    //  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 ();
    }
142

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

154 155
    //  Deallocate the resources.
    delete this;
156

157 158
    return 0;
}
159

160 161 162
zmq::socket_base_t *zmq::ctx_t::create_socket (int type_)
{
    slot_sync.lock ();
163

164 165 166 167 168 169
    //  Once zmq_term() was called, we can't create new sockets.
    if (terminating) {
        slot_sync.unlock ();
        errno = ETERM;
        return NULL;
    }
170

171 172 173 174 175
    //  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
176
    }
177

178 179 180
    //  Choose a slot for the socket.
    uint32_t slot = empty_slots.back ();
    empty_slots.pop_back ();
181

182
    //  Create the socket and register its mailbox.
183 184 185 186
    socket_base_t *s = socket_base_t::create (type_, this, slot);
    if (!s) {
        empty_slots.push_back (slot);
        slot_sync.unlock ();
187
        return NULL;
188 189
    }
    sockets.push_back (s);
190
    slots [slot] = s->get_mailbox ();
191

192
    slot_sync.unlock ();
193

194
    return s;
Martin Sustrik's avatar
Martin Sustrik committed
195 196
}

197
void zmq::ctx_t::destroy_socket (class socket_base_t *socket_)
198
{
199 200
    slot_sync.lock ();

201 202 203 204
    //  Free the associared thread slot.
    uint32_t tid = socket_->get_tid ();
    empty_slots.push_back (tid);
    slots [tid] = NULL;    
205

206 207 208 209 210 211 212
    //  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 ();
213 214

    slot_sync.unlock ();
215 216
}

217 218 219 220 221
zmq::object_t *zmq::ctx_t::get_reaper ()
{
    return reaper;
}

Martin Sustrik's avatar
Martin Sustrik committed
222
void zmq::ctx_t::send_command (uint32_t tid_, const command_t &command_)
223
{
Martin Sustrik's avatar
Martin Sustrik committed
224
    slots [tid_]->send (command_);
225 226
}

227
zmq::io_thread_t *zmq::ctx_t::choose_io_thread (uint64_t affinity_)
Martin Sustrik's avatar
Martin Sustrik committed
228
{
229 230 231
    if (io_threads.empty ())
        return NULL;

Martin Sustrik's avatar
Martin Sustrik committed
232
    //  Find the I/O thread with minimum load.
233
    int min_load = -1;
Martin Sustrik's avatar
Martin Sustrik committed
234
    io_threads_t::size_type result = 0;
235 236
    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
237
            int load = io_threads [i]->get_load ();
238
            if (min_load == -1 || load < min_load) {
Martin Sustrik's avatar
Martin Sustrik committed
239 240 241 242 243
                min_load = load;
                result = i;
            }
        }
    }
244
    zmq_assert (min_load != -1);
Martin Sustrik's avatar
Martin Sustrik committed
245 246
    return io_threads [result];
}
Martin Sustrik's avatar
Martin Sustrik committed
247

248
int zmq::ctx_t::register_endpoint (const char *addr_, endpoint_t &endpoint_)
249 250 251
{
    endpoints_sync.lock ();

252
    bool inserted = endpoints.insert (endpoints_t::value_type (
253
        std::string (addr_), endpoint_)).second;
254 255 256 257 258 259 260 261 262 263
    if (!inserted) {
        errno = EADDRINUSE;
        endpoints_sync.unlock ();
        return -1;
    }

    endpoints_sync.unlock ();
    return 0;
}

264
void zmq::ctx_t::unregister_endpoints (socket_base_t *socket_)
265 266 267 268 269
{
    endpoints_sync.lock ();

    endpoints_t::iterator it = endpoints.begin ();
    while (it != endpoints.end ()) {
270
        if (it->second.socket == socket_) {
271
            endpoints_t::iterator to_erase = it;
272
            ++it;
273 274 275
            endpoints.erase (to_erase);
            continue;
        }
276
        ++it;
277 278 279 280 281
    }
        
    endpoints_sync.unlock ();
}

282
zmq::endpoint_t zmq::ctx_t::find_endpoint (const char *addr_)
283 284 285 286 287 288 289
{
     endpoints_sync.lock ();

     endpoints_t::iterator it = endpoints.find (addr_);
     if (it == endpoints.end ()) {
         endpoints_sync.unlock ();
         errno = ECONNREFUSED;
290 291
         endpoint_t empty = {NULL, options_t()};
         return empty;
292
     }
293
     endpoint_t *endpoint = &it->second;
294 295 296

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

     endpoints_sync.unlock ();
302
     return *endpoint;
303 304
}

305
void zmq::ctx_t::log (const char *format_, va_list args_)
306
{
307
    //  Create the log message.
308 309 310 311
    msg_t msg;
    int rc = msg.init_size (strlen (format_) + 1);
    errno_assert (rc == 0);
    memcpy (msg.data (), format_, msg.size ());
312

313 314 315 316
    //  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)
317
        log_socket->send (&msg, 0);
318
    log_sync.unlock ();
319

320 321
    rc = msg.close ();
    errno_assert (rc == 0);
322 323
}

324