]> git.ipfire.org Git - thirdparty/squid.git/blame_incremental - src/cbdata.h
Simplify appending SBuf to String (#2108)
[thirdparty/squid.git] / src / cbdata.h
... / ...
CommitLineData
1/*
2 * Copyright (C) 1996-2025 The Squid Software Foundation and contributors
3 *
4 * Squid software is distributed under GPLv2+ license and includes
5 * contributions from numerous individuals and organizations.
6 * Please see the COPYING and CONTRIBUTORS files for details.
7 */
8
9#ifndef SQUID_SRC_CBDATA_H
10#define SQUID_SRC_CBDATA_H
11
12/**
13\page CBDATA Callback Data Allocator API
14
15 \section CbDataIntro Introduction
16
17 \par
18 Squid's extensive use of callback functions makes it very
19 susceptible to memory access errors. To address this all callback
20 functions make use of a construct called cbdata. This allows
21 functions doing callbacks to verify that the caller is still
22 valid before making the callback.
23
24 \note cbdata is intended for callback data and is tailored specifically
25 to make callbacks less dangerous leaving as few windows of errors as
26 possible. It is not suitable or intended as a generic RefCount
27 memory allocator.
28
29 \par
30 The AsyncJob/AsyncCall mechanism is preferred over CBDATA.
31 It replaces cbdata with an AsyncCall::Pointer object which
32 performs the same memory protection duties via other means.
33
34 \section Examples Examples
35 \par
36 Here you can find some examples on how to use cbdata, and why.
37
38 \subsection AsyncOpWithoutCBDATA Asynchronous operation without cbdata, showing why cbdata is needed
39 \par
40 For a asynchronous operation with callback functions, the normal
41 sequence of events in programs NOT using cbdata is as follows:
42
43 \code
44 // initialization
45 type_of_data our_data = new ...;
46 ...
47 // Initiate a asynchronous operation, with our_data as callback_data
48 fooOperationStart(bar, callback_func, our_data);
49 ...
50 // The asynchronous operation completes and makes the callback
51 callback_func(callback_data, ....);
52 // Some time later we clean up our data
53 delete our_data;
54 \endcode
55
56 \par
57 However, things become more interesting if we want or need
58 to free the callback_data, or otherwise cancel the callback,
59 before the operation completes. In constructs like this you
60 can quite easily end up with having the memory referenced
61 pointed to by callback_data freed before the callback is invoked
62 causing a program failure or memory corruption:
63
64 \code
65 // initialization
66 type_of_data our_data = new ...;
67 ...
68 // Initiate a asynchronous operation, with our_data as callback_data
69 fooOperationStart(bar, callback_func, our_data);
70 ...
71 // ouch, something bad happened elsewhere.. try to cleanup
72 // but the programmer forgot there is a callback pending from
73 // fooOperationsStart(). An easy thing to forget when writing code
74 // to deal with errors, especially if there may be many different
75 // pending operations.
76 delete our_data;
77 ...
78 // The asynchronous operation completes and makes the callback
79 callback_func(callback_data, ....);
80 // CRASH, the memory pointer to by callback_data is no longer valid
81 // at the time of the callback
82 \endcode
83
84 \subsection AsyncOpWithCBDATA Asynchronous operation with cbdata
85
86 \par
87 The callback data allocator lets us do this in a uniform and
88 safe manner. The callback data allocator is used to allocate,
89 track and free memory pool objects used during callback
90 operations. Allocated memory is locked while the asynchronous
91 operation executes elsewhere, and is freed when the operation
92 completes. The normal sequence of events is:
93
94 \code
95 // initialization
96 type_of_data our_data = new type_of_data;
97 ...
98 // Initiate a asynchronous operation, with our_data as callback_data
99 fooOperationStart(..., callback_func, our_data);
100 ...
101 // foo
102 void *local_pointer = cbdataReference(callback_data);
103 ....
104 // The asynchronous operation completes and makes the callback
105 void *cbdata;
106 if (cbdataReferenceValidDone(local_pointer, &cbdata))
107 callback_func(...., cbdata);
108 delete our_data;
109 \endcode
110
111 \subsection AsynchronousOpCancelledByCBDATA Asynchronous operation cancelled by cbdata
112
113 \par
114 With this scheme, nothing bad happens if delete gets called
115 before fooOperantionComplete(...).
116
117 \par Initialization
118 \code
119 // initialization
120 type_of_data our_data = new type_of_data;
121 ...
122 // Initiate a asynchronous operation, with our_data as callback_data
123 fooOperationStart(..., callback_func, our_data);
124 ...
125 // do some stuff with it
126 void *local_pointer = cbdataReference(callback_data);
127 ...
128 // something bad happened elsewhere.. cleanup
129 delete our_data;
130 ....
131 // The asynchronous operation completes and makes the callback
132 void *cbdata;
133 if (cbdataReferenceValidDone(local_pointer, &cbdata))
134 // won't be called, as the data is no longer valid
135 callback_func(...., cbdata);
136 delete our_data;
137 \endcode
138
139 \par
140 In this case, when delete is called before cbdataReferenceValidDone(),
141 the callback_data gets marked as invalid.
142 When the callback_data is invalid before executing the callback
143 function, cbdataReferenceValidDone() will return 0 and
144 callback_func is never executed.
145
146 \subsection AddingCBDATAType Adding a new cbdata registered type
147
148 \par
149 To add new module specific data types to the allocator one uses
150 the macro CBDATA_CLASS() in the class private section, and
151 CBDATA_CLASS_INIT() or CBDATA_NAMESPACED_CLASS_INIT() in the
152 class .cc file.
153
154 \code
155 class Foo
156 {
157 CBDATA_CLASS(Foo);
158
159 public:
160 Foo() {}
161 ~Foo() {}
162 };
163 ...
164 CBDATA_CLASS_INIT(Foo);
165 \endcode
166
167 \par
168 These macros create new(), delete() and toCbdata() methods
169 definition in class scope. Any allocate calls must be made with
170 new() and destruction with delete(), they may be called from
171 anywhere.
172
173 \par
174 The class constructor must make sure that all member
175 variables are initialized, and the class destructor that all
176 dynamic memory is released.
177
178 \par
179 The CbcPointer<> template should be used to create a smart-pointer
180 type for simple reference tracking. It provides get() and valid()
181 accessors for use instead of cbdataReferenceValid(), and performs
182 reliable automatic cbdataReference() and cbdataReferenceDone()
183 tracking.
184 Note that it does NOT provide a replacement for cbdataReferenceValidDone().
185
186 */
187
188/**
189 * cbdata types. Similar to the MEM_* types, but managed in cbdata.cc
190 * A big difference is that cbdata types are dynamically allocated.
191 *
192 * Initially only UNKNOWN type is predefined.
193 * Other types are added at runtime by CBDATA_CLASS().
194 */
195typedef int cbdata_type;
196static const cbdata_type CBDATA_UNKNOWN = 0;
197
198/**
199 * Allocates a new entry of a registered CBDATA type.
200 *
201 * \note For internal CBDATA use only.
202 */
203void *cbdataInternalAlloc(cbdata_type type);
204
205/**
206 * Frees a entry allocated by cbdataInternalAlloc().
207 *
208 * Once this has been called cbdataReferenceValid() and
209 * cbdataReferenceValidDone() will return false regardless
210 * of whether there are remaining cbdata references.
211 *
212 * cbdataReferenceDone() must still be called for any active
213 * references to the cbdata entry. The cbdata entry will be freed
214 * only when the last reference is removed.
215 *
216 * \note For internal CBDATA use only.
217 */
218void *cbdataInternalFree(void *p);
219
220void cbdataInternalLock(const void *p);
221void cbdataInternalUnlock(const void *p);
222
223/**
224 * Removes a reference created by cbdataReference() and checks
225 * it for validity. Meant to be used on the last dereference,
226 * usually to make a callback.
227 *
228 \code
229 void *cbdata;
230 ...
231 if (cbdataReferenceValidDone(reference, &cbdata)))
232 callback(..., cbdata);
233 \endcode
234 *
235 * \param var The reference variable. Will be automatically cleared to nullptr
236 * \param ptr A temporary pointer to the referenced data (if valid).
237 */
238int cbdataInternalReferenceDoneValid(void **p, void **tp);
239#define cbdataReferenceValidDone(var, ptr) cbdataInternalReferenceDoneValid((void **)&(var), (ptr))
240
241/**
242 * \param p A cbdata entry reference pointer.
243 *
244 * \retval 0 A reference is stale. The pointer refers to a entry already freed.
245 * \retval true The reference is valid and active.
246 */
247int cbdataReferenceValid(const void *p);
248
249/**
250 * Create a run-time registration for the class type with cbdata memory allocator.
251 *
252 * \note For internal CBDATA use only.
253 */
254cbdata_type cbdataInternalAddType(cbdata_type type, const char *label, int size);
255
256/// declaration-generator used internally by CBDATA_CLASS() and CBDATA_CHILD()
257#define CBDATA_DECL_(type, methodSpecifiers) \
258 void *operator new(size_t size) { \
259 assert(size == sizeof(type)); \
260 if (!CBDATA_##type) CBDATA_##type = cbdataInternalAddType(CBDATA_##type, #type, sizeof(type)); \
261 return (type *)cbdataInternalAlloc(CBDATA_##type); \
262 } \
263 public: \
264 void operator delete (void *address) { \
265 if (address) cbdataInternalFree(address); \
266 } \
267 void *toCbdata() methodSpecifiers { return this; } \
268 private: \
269 static cbdata_type CBDATA_##type;
270
271/// Starts cbdata-protection in a class hierarchy.
272/// Intermediate classes in the same hierarchy must use CBDATA_INTERMEDIATE() if
273/// they risk creating cbdata pointers in their constructors.
274/// Final classes in the same hierarchy must use CBDATA_CHILD().
275class CbdataParent
276{
277public:
278 virtual ~CbdataParent() {}
279 virtual void *toCbdata() = 0;
280
281private:
282 /// hack: ensure CBDATA_CHILD() after a toCbdata()-defining CBDATA_INTERMEDIATE()
283 virtual void finalizedInCbdataChild() = 0;
284};
285
286/// cbdata-enables a stand-alone class that is not a CbdataParent child
287/// sets the class declaration section to "private"
288/// use this at the start of your class declaration for consistency sake
289#define CBDATA_CLASS(type) public: CBDATA_DECL_(type, noexcept)
290
291/// A CBDATA_CLASS() variant for classes that want to prevent accidental
292/// operator new() calls by making that operator private and forcing external
293/// users to call a Make() function instead.
294#define CBDATA_CLASS_WITH_MAKE(type) private: CBDATA_DECL_(type, noexcept)
295
296/// cbdata-enables a final CbdataParent-derived class in a hierarchy
297/// sets the class declaration section to "private"
298/// use this at the start of your class declaration for consistency sake
299#define CBDATA_CHILD(type) public: CBDATA_DECL_(type, final) \
300 void finalizedInCbdataChild() final {}
301
302/// cbdata-enables a non-final CbdataParent-derived class T in a hierarchy.
303/// Using this macro is required to be able to create cbdata pointers in T
304/// constructors, when the current vtable is still pointing to T::toCbdata()
305/// that would have been pure without this macro, leading to FATAL runtime
306/// OnTerminate() calls. However, assuming that the final cbdata pointer will
307/// still point to T::this is risky -- multiple inheritance changes "this"!
308///
309/// sets the class declaration section to "private"
310/// use this at the start of your class declaration for consistency sake
311#define CBDATA_INTERMEDIATE() \
312 public: \
313 void *toCbdata() override { return this; } \
314 private:
315
316/**
317 * Creates a global instance pointer for the CBDATA memory allocator
318 * to allocate and free objects for the matching CBDATA_CLASS().
319 *
320 * Place this in the appropriate .cc file for the class being registered.
321 *
322 * May be placed inside an explicit namespace scope declaration,
323 * or CBDATA_NAMESPACED_CLASS_INIT() used instead.
324 */
325#define CBDATA_CLASS_INIT(type) cbdata_type type::CBDATA_##type = CBDATA_UNKNOWN
326
327/**
328 * Creates a global instance pointer for the CBDATA memory allocator
329 * to allocate and free objects for the matching CBDATA_CLASS().
330 *
331 * Place this in the appropriate .cc file for the class being registered.
332 */
333#define CBDATA_NAMESPACED_CLASS_INIT(namespace, type) cbdata_type namespace::type::CBDATA_##type = CBDATA_UNKNOWN
334
335/**
336 * Creates a new reference to a cbdata entry. Used when you need to
337 * store a reference in another structure. The reference can later
338 * be verified for validity by cbdataReferenceValid().
339 *
340 * \deprecated Prefer the use of CbcPointer<> smart pointer.
341 *
342 * \param var
343 * The reference variable is a pointer to the entry, in all
344 * aspects identical to the original pointer. But semantically it
345 * is quite different. It is best if the reference is thought of
346 * and handled as a "void *".
347 */
348#define cbdataReference(var) (cbdataInternalLock(var), var)
349
350/**
351 * Removes a reference created by cbdataReference().
352 *
353 * \deprecated Prefer the use of CbcPointer<> smart pointer.
354 *
355 * \param var The reference variable. Will be automatically cleared to nullptr
356 */
357#define cbdataReferenceDone(var) do {if (var) {cbdataInternalUnlock(var); var = nullptr;}} while(0)
358
359/**
360 * A generic wrapper for passing object pointers through cbdata.
361 * Use this when you need to pass callback data to a blocking
362 * operation, but you don't want to/cannot have that pointer be
363 * cbdata itself.
364 */
365class generic_cbdata
366{
367 CBDATA_CLASS(generic_cbdata);
368
369public:
370 generic_cbdata(void *aData) : data(aData) {}
371
372 template<typename wrapped_type>void unwrap(wrapped_type **output) {
373 *output = static_cast<wrapped_type *>(data);
374 delete this;
375 }
376
377private:
378 void *data;
379};
380
381// Discouraged: Use CbcPointer<> and asynchronous calls instead if possible.
382/// an old-style void* callback parameter
383class CallbackData
384{
385public:
386 CallbackData(): data_(nullptr) {}
387 CallbackData(void *data): data_(cbdataReference(data)) {}
388 CallbackData(const CallbackData &other): data_(cbdataReference(other.data_)) {}
389 CallbackData(CallbackData &&other): data_(other.data_) { other.data_ = nullptr; }
390 ~CallbackData() { cbdataReferenceDone(data_); }
391
392 CallbackData &operator =(const CallbackData &other);
393 CallbackData &operator =(CallbackData &&other) { cbdataReferenceDone(data_); data_ = other.data_; other.data_ = nullptr; return *this; }
394
395 bool valid() const { return cbdataReferenceValid(data_); }
396 void *validDone() { void *result; return cbdataReferenceValidDone(data_, &result) ? result : nullptr; }
397
398private:
399 void *data_; ///< raw callback data, maybe invalid
400};
401
402#endif /* SQUID_SRC_CBDATA_H */
403