mirror of
https://github.com/Cockatrice/Cockatrice.git
synced 2026-11-05 09:33:25 -08:00
* [DeckList] Apply include-what-you-use to libcockatrice_deck_list * [IWYU] Apply include-what-you-use across the tree Run one whole-tree IWYU pass over the libcockatrice_* libraries, the Cockatrice client, Oracle, Servatrice and the test suite, so each translation unit includes what it uses directly and forward-declares what it does not need. IWYU only analyses real translation units, never the moc code CMake generates from Q_OBJECT headers, so it strips includes that moc output silently relies on. Where a type is passed by value (or nested in a QList/QMap) in a signal or slot signature, the generated moc code needs the complete type; those includes are kept with an explanatory `// IWYU pragma: keep`. The same holds for Q_DECLARE_METATYPE targets such as QSqlDatabase. A handful of includes are added by hand where callers brace-initialize a const-reference parameter, which also requires the complete type. Applied as a single commit on purpose: stripping includes from the libcockatrice_* headers is precisely what breaks the client, test and server translation units, and the fixes for those live in the same translation units. Splitting by component would therefore leave intermediate commits that do not compile. All 426 modified Q_OBJECT/Q_GADGET headers were verified to be moc-self-contained by compiling each generated moc_*.cpp standalone; several built only because of moc include ordering in mocs_compilation.cpp before the keep-includes were added. * [Tooling] Emit public Qt headers and fix IWYU fallout CI found Three problems the local build could not see, all because a green local build only proves the configuration it was run under. Private Qt headers. IWYU emitted private, lowercase Qt headers, and qtypes.h does not exist at all before Qt 6.9, so the Debian 12 and Ubuntu 24.04 jobs on Qt 6.4.2 failed to compile. The generator only emitted a mapping when the capital header name mirrored the private one (QAbstractAnimation for qabstractanimation.h), so qtypes.h, which is wrapped by QtTypes instead, got no mapping and kept the private spelling. Map it explicitly to <QtTypes>, which is public since Qt 5 and provides the same typedefs either way, and rewrite the 100 affected includes. Do not generalize this to "prefer any Qt* wrapper". The table is generated from whichever Qt is installed, and the wrappers are not equally old: QtLogging only appeared in Qt 6.8 and QtMinMax in 6.5, so that heuristic trades one breakage for another. Every other lowercase header still in the tree has shipped publicly since Qt 5, so those are left alone. Platform-guarded includes. IWYU only sees the preprocessor configuration it is handed, so it dropped an include that only the macOS branch of main.cpp needs, and the macOS jobs failed on an undeclared UrlSchemeEventFilter. Restore the include. Force-compiling every file that carries a platform guard under Q_OS_MAC, Q_OS_MACOS and __APPLE__ reports nothing else, so the macOS branches are covered rather than assumed. shellcheck. Drop a leftover variable and stop assigning the include-what-you-use lookup, which was only ever an existence check. * [Tooling] Map Qt 6.5+ split headers to QtGlobal for Qt 6.4 compatibility IWYU emitted QtTypes, QtPreprocessorSupport, QtVersionChecks, QtAssert, QtMinMax, QtClassHelperMacros, QtEnvironmentVariables and QtTranslation. Qt 6.5 split those declarations out of qglobal.h into separate headers, so neither the Qt* wrapper nor the q*.h private name exists on the oldest Qt we support (6.4.2), and Debian 12 / Ubuntu 24.04 fail with "No such file or directory". qtypes.h is worse still: it only appeared in Qt 6.9. QtGlobal is the one spelling that works across the whole supported range. It has been public since Qt 5, defines these declarations itself up to Qt 6.4, and includes the split headers from Qt 6.5 on, so redirect all eight private headers to it and collapse the affected includes in the tree. Curated overrides now take precedence over the name-mirroring rule, which cannot know about Qt version floors because the mapping is generated from whatever Qt is installed. That rule was mapping qtversionchecks.h to <QtVersionChecks> even with an override present, because the override was only consulted as a fallback. A curated key that matches nothing is now a hard error rather than a silent fallback, and the redirected headers are no longer advertised as the home of a symbol. Verified every Qt include in the tree resolves against the real qt6-base-dev 6.4.2 package: 15 distinct includes, 0 missing. * [Tooling] Map QOverload to QtGlobal and drop the QMetaMethodArgument include Two more headers IWYU emitted do not exist on Qt 6.4.2: QOverload was split out of qglobal.h in Qt 6.5, so on 6.4.2 it is declared in qglobal.h directly and the standalone header is a hard error. QtGlobal covers both, so map qoverload.h to it like the other 6.5+ split headers. QMetaMethodArgument is never referenced anywhere in the tree. It is a bare forwarder for qobjectdefs.h that our generator advertised as a class symbol, which is how IWYU came to add the include at all. The symbol mappings are generated from header names, so they cannot tell a forwarder that happens to be capitalised from a real class; removing the unused include is the fix, and the generic case stays a known limitation of the generator. Extending the audit to every Q* header (an earlier pass only matched headers starting with "Qt" or lowercase q*.h, so it missed all of them) against the real qt6-base-dev, qt6-multimedia-dev, qt6-declarative-dev, qt6-svg-dev and qt6-websockets-dev 6.4.2 packages: 341 distinct Qt includes, 0 missing. * [Game] Give moc the complete CardItem type in player_actions.h player_actions.h forward declares CardItem but passes QList<CardItem *> by value in actPlay/actPlayFacedown/actHide. moc instantiates the metatype for those parameters, and on Qt 6.4 that expands to sizeof(CardItem), so Ubuntu 24.04 fails with "invalid application of 'sizeof' to incomplete type 'CardItem'". Newer Qt tolerates the incomplete type, which is why only the 6.4.2 jobs failed. Include the defining header with an IWYU pragma keep, matching how the other MOC-required includes in this area are handled. * [Game] Give moc the complete ServerInfo_Card type player_logic.h, game_scene.h, view_zone.h and view_zone_widget.h forward declare ServerInfo_Card but pass QList<const ServerInfo_Card *> through signal and slot signatures. moc instantiates the metatype for those parameters, which Qt 6.4 expands to sizeof(ServerInfo_Card), so the connect in game_scene.cpp fails on Debian 12 and Ubuntu 24.04 with "invalid application of 'sizeof' to incomplete type 'const ServerInfo_Card'". Newer Qt tolerates it, so only the 6.4.2 jobs failed. Include the generated protobuf header with an IWYU pragma keep, following the pattern already used for ServerInfo_Player and ServerInfo_User in game_event_handler.h. * [Client] Complete the types Qt 6.4 needs for connect and moc Qt 6.4 expands QMetaType::fromType on the normalised argument list of a PMF connect and on moc-generated metatypes, which requires sizeof on every signal and slot parameter. Newer Qt tolerates forward declarations there, so only the Debian 12 and Ubuntu 24.04 jobs failed, with "invalid application of 'sizeof' to incomplete type" for QMouseEvent, QPrinter and GameReplay. Replace the forward declarations with the real includes: - QMouseEvent in the nine widget headers that pass it through signals - QPrinter in abstract_tab_deck_editor.cpp, for the actPrintDeck lambda - game_replay.pb.h in tab_replays.h. GameReplay is a protobuf message, so the project's game/replay.h only forward declares it and cannot supply the complete type. Found by recompiling all 1918 project TUs against the Debian Qt 6.4.2 headers, which reproduces those two CI jobs locally in one pass. * [Client] Complete Release and QMenu for Qt 6.4 moc and connect Continuing the Qt 6.4 complete-type sweep: - window_main.cpp connects ClientUpdateChecker::finishedCheck to MainWindow::checkClientUpdatesFinished, whose Release * parameter made moc 6.4 instantiate the metatype. GameReplay turned out to be a protobuf message, so Release likewise needed release_channel.h in the three headers declaring those signals: window_main.h, dlg_update.h and client_update_checker.h. - moc 6.4 also needs sizeof(QMenu) for the QList<QMenu *> carried by TabSupervisor::setMenu and MainWindow::updateTabMenu. Verified by regenerating moc output with the Debian moc 6.4.2 for all 434 Q_OBJECT/Q_GADGET classes and compiling it, plus recompiling all 1612 source TUs, against the Qt 6.4.2 headers: no remaining failures. --------- Co-authored-by: Lukas Brübach <Bruebach.Lukas@bdosecurity.de>
143 lines
6.1 KiB
C++
143 lines
6.1 KiB
C++
#include "rng_sfmt.h"
|
|
|
|
#include "libcockatrice/rng/rng_abstract.h"
|
|
#include "libcockatrice/rng/sfmt/SFMT.h"
|
|
|
|
#include <QString>
|
|
#include <stdexcept>
|
|
#include <string>
|
|
|
|
class QObject;
|
|
|
|
// This is from gcc sources, namely from fixincludes/inclhack.def
|
|
// On C++11 systems, <cstdint> could be included instead.
|
|
#ifndef UINT64_MAX
|
|
#define UINT64_MAX (~(uint64_t)0)
|
|
#endif
|
|
|
|
RNG_SFMT::RNG_SFMT(uint64_t seed, QObject *parent) : RNG_Abstract(parent)
|
|
{
|
|
// initialize the random number generator with a 64bit seed, e.g. from a CSPRNG
|
|
uint32_t seedArray[2] = {static_cast<uint32_t>(seed), static_cast<uint32_t>(seed >> 32)};
|
|
sfmt_init_by_array(&sfmt, seedArray, 2);
|
|
}
|
|
|
|
/**
|
|
* This method is the rand() equivalent which calls the cdf with proper bounds.
|
|
*
|
|
* It is possible to generate random numbers from [-min, +/-max] though the RNG uses
|
|
* unsigned numbers only, so this wrapper handles some special cases for min and max.
|
|
*
|
|
* It is only necessary that the upper bound is larger or equal to the lower bound - with the exception
|
|
* that someone wants something like rand() % -foo.
|
|
*/
|
|
unsigned int RNG_SFMT::rand(int min, int max)
|
|
{
|
|
/* If min is negative, it would be possible to calculate
|
|
* cdf(0, max - min) + min
|
|
* There has been no use for negative random numbers with rand() though, so it's treated as error.
|
|
*/
|
|
if (min < 0) {
|
|
throw std::invalid_argument(
|
|
QString("Invalid bounds for RNG: Got min " + QString::number(min) + " < 0!\n").toStdString());
|
|
// at this point, the method exits. No return value is needed, because
|
|
// basically the exception itself is returned.
|
|
}
|
|
|
|
// For complete fairness and equal timing, this should be a roll, but let's skip it anyway
|
|
if (min == max) {
|
|
return max;
|
|
}
|
|
|
|
// This is actually not used in Cockatrice:
|
|
// Someone wants rand() % -foo, so we should compute -rand(0, +foo)
|
|
// But this method returns an unsigned int, so it doesn't really make
|
|
// a difference.
|
|
// This is the only time when min > max is (sort of) legal.
|
|
// Not handling this will cause the application to crash.
|
|
if (min == 0 && max < 0) {
|
|
return cdf(0, -max);
|
|
}
|
|
|
|
// No special cases are left, except !(min > max) which is caught in the cdf itself.
|
|
return cdf(min, max);
|
|
}
|
|
|
|
/**
|
|
* Much thought went into this, please read this comment before you modify the code.
|
|
* Let SFMT() be an alias for sfmt_genrand_uint64() aka SFMT's rand() function.
|
|
*
|
|
* SMFT() returns a uniformly distributed pseudorandom number from 0 to UINT64_MAX.
|
|
* As SFMT() operates on a limited integer range, it is a _discrete_ function.
|
|
*
|
|
* We want a random number from a given interval [min, max] though, so we need to
|
|
* implement the (discrete) cumulative distribution function SFMT(min, max), which
|
|
* returns a random number X from [min, max].
|
|
*
|
|
* This CDF is by formal definition:
|
|
* SFMT(X; min, max) = (floor(X) - min + 1) / (max - min + 1)
|
|
*
|
|
* To get out the random variable, solve for X:
|
|
* floor(X) = SFMT(X; min, max) * (max - min + 1) + min - 1
|
|
* So this is, what rand(min, max) should look like.
|
|
* Problem: SFMT(X; min, max) * (max - min + 1) could produce an integer overflow,
|
|
* so it is not safe.
|
|
*
|
|
* One solution is to divide the universe into buckets of equal size depending on the
|
|
* range [min, max] and assign X to the bucket that contains the number generated
|
|
* by SFMT(). This equals to modulo computation and is not satisfying:
|
|
* If the buckets don't divide the universe equally, because the bucket size is not
|
|
* a divisor of 2, there will be a range in the universe that is biased because one
|
|
* bucket is too small thus will be chosen less equally!
|
|
*
|
|
* This is solved by rejection sampling:
|
|
* As SFMT() is assumed to be unbiased, we are allowed to ignore those random numbers
|
|
* from SFMT() that would force us to have an unequal bucket and generate new random
|
|
* numbers until one number fits into one of the other buckets.
|
|
* This can be compared to an ideal six sided die that is rolled until only sides
|
|
* 1-5 show up, while 6 represents something that you don't want. So you basically roll
|
|
* a five sided die.
|
|
*
|
|
* Note: If you replace the SFMT RNG with some other rand() function in the future,
|
|
* then you _need_ to change the UINT64_MAX constant to the largest possible random
|
|
* number which can be created by the new rand() function. This value is often defined
|
|
* in a RAND_MAX constant.
|
|
* Otherwise you will probably skew the outcome of the rand() method or worsen the
|
|
* performance of the application.
|
|
*/
|
|
unsigned int RNG_SFMT::cdf(unsigned int min, unsigned int max)
|
|
{
|
|
// This all makes no sense if min > max, which should never happen.
|
|
if (min > max) {
|
|
throw std::invalid_argument(QString("Invalid bounds for RNG: min > max! Values were: min = " +
|
|
QString::number(min) + ", max = " + QString::number(max))
|
|
.toStdString());
|
|
// at this point, the method exits. No return value is needed, because
|
|
// basically the exception itself is returned.
|
|
}
|
|
|
|
// First compute the diameter (aka size, length) of the [min, max] interval
|
|
const unsigned int diameter = max - min + 1;
|
|
|
|
// Compute how many buckets (each in size of the diameter) will fit into the
|
|
// universe.
|
|
// If the division has a remainder, the result is floored automatically.
|
|
const uint64_t buckets = UINT64_MAX / diameter;
|
|
|
|
// Compute the last valid random number. All numbers beyond have to be ignored.
|
|
// If there was no remainder in the previous step, limit is equal to UINT64_MAX.
|
|
const uint64_t limit = diameter * buckets;
|
|
|
|
uint64_t rand;
|
|
// To make the random number generation thread-safe, a mutex is created around
|
|
// the generation. Outside of the loop of course, to avoid lock/unlock overhead.
|
|
mutex.lock();
|
|
do {
|
|
rand = sfmt_genrand_uint64(&sfmt);
|
|
} while (rand >= limit);
|
|
mutex.unlock();
|
|
|
|
// Now determine the bucket containing the SFMT() random number and after adding
|
|
// the lower bound, a random number from [min, max] can be returned.
|
|
return (unsigned int)(rand / buckets + min);
|
|
}
|