test-guid.c revision bcb4e51a409d94ae670de96afb8483a4f7855294
2e37d45867d081db150ab78dad303b9077aea24fTimo Sirainen/* Copyright (c) 2014-2018 Dovecot authors, see the included COPYING file */
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen * We want earlier timestamps to compare as < with later timestamps, but
2793e3bd31d212d6506686aa70773e13d9d98195Timo Sirainen * guid_128_cmp() doesn't do that because the timestamps in the guid are
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen * stored in little-endian byte order.
2793e3bd31d212d6506686aa70773e13d9d98195Timo Sirainenstatic int reverse_guid_128_cmp(const guid_128_t a, const guid_128_t b)
2793e3bd31d212d6506686aa70773e13d9d98195Timo Sirainen if (a[i] != b[i])
8e371a3ce32bd64288786855b8ce0cb63f19f7d1Timo Sirainen return (int)a[i] - (int)b[i];
2793e3bd31d212d6506686aa70773e13d9d98195Timo Sirainenstatic bool guid_128_has_sane_nsecs(const guid_128_t g)
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen unsigned long nsecs;
88dc563319efecd6e68bad16b0d92672da05584aTimo Sirainenstatic inline void set_fake_time(time_t sec, long usec)
1b0cfbf3cc77a670b92fff5c30f7b1eb17a63ab1Timo Sirainen * We muck with the ioloop_timeval in various ways and make sure that the
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen * guids that get generated make sense. To make sure that the guid
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen * generation code takes up our faked timestamp, we use a far-away time (Jan
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen * 1 2038) as the base time. We don't want to go beyond 32-bit signed
85a4ae7e8df7ea45a7665828e5edf48a5fc85730Timo Sirainen * time_t for the base time to avoid issues on systems with 32-bit signed
8e371a3ce32bd64288786855b8ce0cb63f19f7d1Timo Sirainen * While guids really only need to be unique, here we actually enforce that
8e371a3ce32bd64288786855b8ce0cb63f19f7d1Timo Sirainen * they are increasing (as defined by reverse_guid_128_cmp()). If guids are
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen * always increasing, they will always be unique.
2793e3bd31d212d6506686aa70773e13d9d98195Timo Sirainenstatic void test_ioloop_guid_128_generate(void)
88dc563319efecd6e68bad16b0d92672da05584aTimo Sirainen const time_t basetime = 2145909600; /* Jan 1 2038 */
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen /* save the ioloop_timeval before we start messing with it */
f4616f1875297fb2f583d913c0f01b075bdecd5bTimo Sirainen * Generating multiple guids within a microsecond should keep
f4616f1875297fb2f583d913c0f01b075bdecd5bTimo Sirainen * incrementing them.
bc93929cdd9000ca560a5f42a27f50ab307f1efbTimo Sirainen test_begin("guid_128_generate() increasing guid within a usec");
bc93929cdd9000ca560a5f42a27f50ab307f1efbTimo Sirainen for (i = 0; i < 10; i++) {
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(reverse_guid_128_cmp(guids[prev], guids[this]) < 0);
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(guid_128_has_sane_nsecs(guids[this]));
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen * If the current time changes by +1 usec, so should the guids.
d54ab8987e482a8df250615b44f41fa040c38741Timo Sirainen test_begin("guid_128_generate() increasing guid with usec fast-forward");
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen for (i = 0; i < 10; i++) {
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(reverse_guid_128_cmp(guids[prev], guids[this]) < 0);
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(guid_128_has_sane_nsecs(guids[this]));
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen * If the current time changes by +1 sec, so should the guids.
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_begin("guid_128_generate() increasing guid with sec fast-forward");
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen for (i = 0; i < 10; i++) {
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(reverse_guid_128_cmp(guids[prev], guids[this]) < 0);
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(guid_128_has_sane_nsecs(guids[this]));
88dc563319efecd6e68bad16b0d92672da05584aTimo Sirainen * Requesting enough guids should increment the seconds but always
c4b376dd6e0c423006d7ac83a39253bcaf8e7c47Timo Sirainen * produce valid nsecs.
eef4ba0cc3e78f8c26804c1c9251a76580a41f0cTimo Sirainen * (Set a time that leaves us 1000 guids before seconds overflow and
eef4ba0cc3e78f8c26804c1c9251a76580a41f0cTimo Sirainen * then ask for 2500 guids.)
a0c453a8edaec90fb0d945c874de0b1845bc7d7eTimo Sirainen test_begin("guid_128_generate() proper guid nsec overflow");
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen for (i = 0; i < 2500; i++) {
eef4ba0cc3e78f8c26804c1c9251a76580a41f0cTimo Sirainen test_assert(reverse_guid_128_cmp(guids[prev], guids[this]) < 0);
88dc563319efecd6e68bad16b0d92672da05584aTimo Sirainen test_assert(guid_128_has_sane_nsecs(guids[this]));
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen * When ahead by 1500 guids (see previous test), +1 usec shouldn't
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen * have any effect.
88dc563319efecd6e68bad16b0d92672da05584aTimo Sirainen test_begin("guid_128_generate() no effect with increasing time when ahead");
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(reverse_guid_128_cmp(guids[1], guids[0]) < 0);
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(guid_128_has_sane_nsecs(guids[0]));
8e371a3ce32bd64288786855b8ce0cb63f19f7d1Timo Sirainen /* not a test - just set a more convenient time */
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(reverse_guid_128_cmp(guids[0], guids[1]) < 0);
88dc563319efecd6e68bad16b0d92672da05584aTimo Sirainen test_assert(guid_128_has_sane_nsecs(guids[1]));
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen * Time going backwards by 1 usec should have no effect on guids.
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_begin("guid_128_generate() usec time-travel still increasing");
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(reverse_guid_128_cmp(guids[1], guids[0]) < 0);
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(guid_128_has_sane_nsecs(guids[0]));
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen * Time going backwards by 1 sec should have no effect on guids.
2793e3bd31d212d6506686aa70773e13d9d98195Timo Sirainen test_begin("guid_128_generate() sec time-travel still increasing");
88dc563319efecd6e68bad16b0d92672da05584aTimo Sirainen test_assert(reverse_guid_128_cmp(guids[0], guids[1]) < 0);
88dc563319efecd6e68bad16b0d92672da05584aTimo Sirainen test_assert(guid_128_has_sane_nsecs(guids[1]));
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen /* restore the previously saved value just in case */
88dc563319efecd6e68bad16b0d92672da05584aTimo Sirainen const char *str;
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen unsigned int i;
1b0cfbf3cc77a670b92fff5c30f7b1eb17a63ab1Timo Sirainen test_assert(guid_128_from_string(str, guid3) == 0);
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(guid_128_from_string(guidbuf, guid3) == 0);
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen /* too large */
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(guid_128_from_string(guidbuf, guid3) < 0);
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen /* too small */
f4616f1875297fb2f583d913c0f01b075bdecd5bTimo Sirainen test_assert(guid_128_from_string(guidbuf, guid3) < 0);
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen /* reset to normal */
f4616f1875297fb2f583d913c0f01b075bdecd5bTimo Sirainen test_assert(guid_128_from_string(guidbuf, guid3) == 0);
f4616f1875297fb2f583d913c0f01b075bdecd5bTimo Sirainen /* upper + lowercase hex chars */
2793e3bd31d212d6506686aa70773e13d9d98195Timo Sirainen for (i = 0; i < 10; i++)
2793e3bd31d212d6506686aa70773e13d9d98195Timo Sirainen for (i = 0; i < 6; i++)
94f90df2cfb7587bb5af432b2ba065d1c364e1f7Timo Sirainen for (i = 0; i < 6; i++)
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(guid_128_from_string(guidbuf, guid3) == 0);
8e371a3ce32bd64288786855b8ce0cb63f19f7d1Timo Sirainen test_assert(guid_128_equals(guid3, test_guid));
c63c3c4d548416914b8c6734fe18dd69bb900775Timo Sirainen /* non-hex chars */
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(guid_128_from_string(guidbuf, guid3) < 0);
3852872e6954b7132e637294132005e86b8ebd4aTimo Sirainen test_assert(guid_128_from_string(guidbuf, guid3) < 0);
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(guid_128_from_uuid_string("fee0ceac-0327-11e7-ad39-52540078f374", guid3) == 0);
ecdce39e5ef4b62eefa9f5818f17d153fd5d710aTimo Sirainen test_assert(guid_128_from_uuid_string("fee0ceac032711e7ad3952540078f374", guid2) == 0);
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(guid_128_from_uuid_string("{fee0ceac-0327-11e7-ad39-52540078f374}", guid2) == 0);
ecdce39e5ef4b62eefa9f5818f17d153fd5d710aTimo Sirainen test_assert(strcmp(guid_128_to_uuid_string(guid3, FORMAT_RECORD), "fee0ceac-0327-11e7-ad39-52540078f374")==0);
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(strcmp(guid_128_to_uuid_string(guid3, FORMAT_COMPACT), "fee0ceac032711e7ad3952540078f374")==0);
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(strcmp(guid_128_to_uuid_string(guid3, FORMAT_MICROSOFT), "{fee0ceac-0327-11e7-ad39-52540078f374}")==0);
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen /* failure test */
8d587838c414c48a331f0b54cd7ffd97e5024abdTimo Sirainen test_assert(guid_128_from_uuid_string("fe-e0ceac-0327-11e7-ad39-52540078f374", guid3) < 0);