channel_decls.h

/*
 *  Copyright (C) 2006  Helmut Grohne
 *
 *  This program is free software; you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation; either version 2 of the License, or
 *  (at your option) any later version.
 *
 *  This program 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
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program; if not, write to the Free Software
 *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 */

#ifndef LIBMUTH_CHANNEL_DECLS_H
#define LIBMUTH_CHANNEL_DECLS_H

#include <list>
#include <set>
#include <utility>
#include <queue>
#ifndef __WIN32__
#include <stdint.h>
#else
#include "win32.h"
#endif
#include "lock.h"

typedef uint64_t MessageID;

class BaseChannel;
class Microthread;

class ChannelManager {
        private:
                Lock datalock;
                MessageID lastid;
                Microthread *waiter;
                MessageID genid();
                void notify();
        public:
                ChannelManager();
                friend class BaseChannel;
                friend class ChannelGroup;
                template<class T> friend class Channel;
};

class BaseChannel {
        protected:
                ChannelManager &manager;
                MessageID messageid;
                BaseChannel(ChannelManager &m);
                MessageID nextid() const;
                struct MSGIDComparator
                                : public std::binary_function<BaseChannel,
                                                BaseChannel, bool> {
                        bool operator()(const BaseChannel& a,
                                const BaseChannel &b) const;
                };
                void waitformessage();
        public:
                friend class ChannelGroup;
};

template<class T> class Channel : public BaseChannel {
        private:
                std::queue<std::pair<MessageID, T>*> queue;
        public:
                Channel(ChannelManager &m);
                void send(T data);
                T receive();
                bool isempty() const;
};

class ChannelGroup {
        private:
                ChannelManager &manager;
                std::set<BaseChannel*> channels;
                BaseChannel *unlockedtryselect() const;
        public:
                ChannelGroup(ChannelManager &m);
                void addChannel(BaseChannel &chan);
                void removeChannel(BaseChannel &chan);
                BaseChannel *tryselect() const;
                BaseChannel &select() const;
};

#endif

---