Loop.hxx 5.16 KB
Newer Older
1
/*
Max Kellermann's avatar
Max Kellermann committed
2
 * Copyright 2003-2017 The Music Player Daemon Project
3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
 * http://www.musicpd.org
 *
 * 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.,
 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
 */

#ifndef MPD_EVENT_LOOP_HXX
#define MPD_EVENT_LOOP_HXX

#include "check.h"
24
#include "thread/Id.hxx"
25
#include "Compiler.h"
26

27
#include "PollGroup.hxx"
28 29 30 31
#include "thread/Mutex.hxx"
#include "WakeFD.hxx"
#include "SocketMonitor.hxx"

32
#include <chrono>
33 34
#include <list>
#include <set>
35

36 37
class TimeoutMonitor;
class IdleMonitor;
38
class DeferredMonitor;
39

40 41
#include <assert.h>

42 43 44 45 46 47 48 49 50
/**
 * An event loop that polls for events on file/socket descriptors.
 *
 * This class is not thread-safe, all methods must be called from the
 * thread that runs it, except where explicitly documented as
 * thread-safe.
 *
 * @see SocketMonitor, MultiSocketMonitor, TimeoutMonitor, IdleMonitor
 */
51
class EventLoop final : SocketMonitor
52 53 54 55 56 57
{
	struct TimerRecord {
		/**
		 * Projected monotonic_clock_ms() value when this
		 * timer is due.
		 */
58
		const std::chrono::steady_clock::time_point due;
59 60 61 62

		TimeoutMonitor &timer;

		constexpr TimerRecord(TimeoutMonitor &_timer,
63 64
				      std::chrono::steady_clock::time_point _due)
			:due(_due), timer(_timer) {}
65 66

		bool operator<(const TimerRecord &other) const {
67
			return due < other.due;
68 69
		}

70 71
		bool IsDue(std::chrono::steady_clock::time_point _now) const {
			return _now >= due;
72 73 74 75 76 77 78 79 80
		}
	};

	WakeFD wake_fd;

	std::multiset<TimerRecord> timers;
	std::list<IdleMonitor *> idle;

	Mutex mutex;
81
	std::list<DeferredMonitor *> deferred;
82

83
	std::chrono::steady_clock::time_point now = std::chrono::steady_clock::now();
84

85
	bool quit = false;
86

87 88 89 90 91 92
	/**
	 * True when the object has been modified and another check is
	 * necessary before going to sleep via PollGroup::ReadEvents().
	 */
	bool again;

93 94 95 96 97 98
	/**
	 * True when handling callbacks, false when waiting for I/O or
	 * timeout.
	 *
	 * Protected with #mutex.
	 */
99
	bool busy = true;
100

101 102 103 104 105
#ifndef NDEBUG
	/**
	 * True if Run() was never called.  This is used for assert()
	 * calls.
	 */
106
	bool virgin = true;
107 108
#endif

109 110
	PollGroup poll_group;
	PollResult poll_result;
111

112 113 114
	/**
	 * A reference to the thread that is currently inside Run().
	 */
115
	ThreadId thread = ThreadId::Null();
116

117
public:
118
	EventLoop();
119 120
	~EventLoop();

121
	/**
122
	 * A caching wrapper for std::chrono::steady_clock::now().
123
	 */
124
	std::chrono::steady_clock::time_point GetTime() const {
125 126
		assert(IsInside());

127
		return now;
128 129
	}

130 131 132 133 134
	/**
	 * Stop execution of this #EventLoop at the next chance.  This
	 * method is thread-safe and non-blocking: after returning, it
	 * is not guaranteed that the EventLoop has really stopped.
	 */
135 136 137
	void Break();

	bool AddFD(int _fd, unsigned flags, SocketMonitor &m) {
138 139
		assert(thread.IsNull() || thread.IsInside());

140
		return poll_group.Add(_fd, flags, &m);
141 142 143
	}

	bool ModifyFD(int _fd, unsigned flags, SocketMonitor &m) {
144 145
		assert(IsInside());

146
		return poll_group.Modify(_fd, flags, &m);
147 148
	}

149 150 151 152 153
	/**
	 * Remove the given #SocketMonitor after the file descriptor
	 * has been closed.  This is like RemoveFD(), but does not
	 * attempt to use #EPOLL_CTL_DEL.
	 */
154
	bool Abandon(int fd, SocketMonitor &m);
155

156 157 158 159 160
	bool RemoveFD(int fd, SocketMonitor &m);

	void AddIdle(IdleMonitor &i);
	void RemoveIdle(IdleMonitor &i);

161 162
	void AddTimer(TimeoutMonitor &t,
		      std::chrono::steady_clock::duration d);
163 164
	void CancelTimer(TimeoutMonitor &t);

165 166 167 168 169 170 171 172 173 174 175 176 177 178 179
	/**
	 * Schedule a call to DeferredMonitor::RunDeferred().
	 *
	 * This method is thread-safe.
	 */
	void AddDeferred(DeferredMonitor &d);

	/**
	 * Cancel a pending call to DeferredMonitor::RunDeferred().
	 * However after returning, the call may still be running.
	 *
	 * This method is thread-safe.
	 */
	void RemoveDeferred(DeferredMonitor &d);

180 181 182 183
	/**
	 * The main function of this class.  It will loop until
	 * Break() gets called.  Can be called only once.
	 */
184 185 186
	void Run();

private:
187 188 189 190 191 192 193
	/**
	 * Invoke all pending DeferredMonitors.
	 *
	 * Caller must lock the mutex.
	 */
	void HandleDeferred();

194 195 196 197 198 199 200 201
	virtual bool OnSocketReady(unsigned flags) override;

public:

	/**
	 * Are we currently running inside this EventLoop's thread?
	 */
	gcc_pure
202
	bool IsInside() const noexcept {
203 204 205 206
		assert(!thread.IsNull());

		return thread.IsInside();
	}
207

208 209
#ifndef NDEBUG
	gcc_pure
210
	bool IsInsideOrVirgin() const noexcept {
211 212 213 214
		return virgin || IsInside();
	}
#endif

215 216 217 218 219 220
	/**
	 * Like IsInside(), but also returns true if the thread has
	 * already ended (or was not started yet).  This is useful for
	 * code which may run during startup or shutdown, when events
	 * are not yet/anymore handled.
	 */
221
	gcc_pure
222
	bool IsInsideOrNull() const noexcept {
223 224
		return thread.IsNull() || thread.IsInside();
	}
225 226 227
};

#endif /* MAIN_NOTIFY_H */