Re: pgsql: Test pg_atomic_fetch_add_ with variable addend and 16-bit edge c
On Sun, Sep 15, 2019 at 09:47:52PM -0700, Andres Freund wrote: > On 2019-09-15 15:14:50 -0700, Noah Misch wrote: > > --- a/src/test/regress/regress.c > > +++ b/src/test/regress/regress.c > > @@ -670,6 +670,16 @@ test_atomic_flag(void) > > pg_atomic_clear_flag(); > > } > > > > +#define EXPECT(result_expr, expected_expr) \ > > + do { \ > > + uint32 result = (result_expr); \ > > + uint32 expected = (expected_expr); \ > > + if (result != expected) \ > > + elog(ERROR, \ > > +"%s yielded %u, expected %s in file \"%s\" > > line %u", \ > > +#result_expr, result, #expected_expr, > > __FILE__, __LINE__); \ > > + } while (0) > > + > Unfortunately we can't easily make this type independent. The local > variables are needed to avoid multiple evaluation. While we could infer > their type using compiler specific magic (__typeof__() or C++), we'd > still need to print them. We could however remove the local variables, > and purely rely on stringification of the arguments for printing the > error. > I'd name it EXPECT_EQ_U32 or such, but otherwise I think this is a clear > improvement. EXPECT_EQ_U32 works for me; I mildly prefer that to a type-independent macro that doesn't print the unexpected value. Attached. diff --git a/src/test/regress/regress.c b/src/test/regress/regress.c index 8cc1568..9294751 100644 --- a/src/test/regress/regress.c +++ b/src/test/regress/regress.c @@ -41,6 +41,33 @@ #include "utils/memutils.h" +#define EXPECT_TRUE(expr) \ + do { \ + if (!(expr)) \ + elog(ERROR, \ +"%s was unexpectedly false in file \"%s\" line %u", \ +#expr, __FILE__, __LINE__); \ + } while (0) +#define EXPECT_EQ_U32(result_expr, expected_expr) \ + do { \ + uint32 result = (result_expr); \ + uint32 expected = (expected_expr); \ + if (result != expected) \ + elog(ERROR, \ +"%s yielded %u, expected %s in file \"%s\" line %u", \ +#result_expr, result, #expected_expr, __FILE__, __LINE__); \ + } while (0) + +#define EXPECT_EQ_U64(result_expr, expected_expr) \ + do { \ + uint64 result = (result_expr); \ + uint64 expected = (expected_expr); \ + if (result != expected) \ + elog(ERROR, \ +"%s yielded " UINT64_FORMAT ", expected %s in file \"%s\" line %u", \ +#result_expr, result, #expected_expr, __FILE__, __LINE__); \ + } while (0) + #define LDELIM '(' #define RDELIM ')' #define DELIM ',' @@ -646,27 +673,13 @@ test_atomic_flag(void) pg_atomic_flag flag; pg_atomic_init_flag(); - - if (!pg_atomic_unlocked_test_flag()) - elog(ERROR, "flag: unexpectedly set"); - - if (!pg_atomic_test_set_flag()) - elog(ERROR, "flag: couldn't set"); - - if (pg_atomic_unlocked_test_flag()) - elog(ERROR, "flag: unexpectedly unset"); - - if (pg_atomic_test_set_flag()) - elog(ERROR, "flag: set spuriously #2"); - + EXPECT_TRUE(pg_atomic_unlocked_test_flag()); + EXPECT_TRUE(pg_atomic_test_set_flag()); + EXPECT_TRUE(!pg_atomic_unlocked_test_flag()); + EXPECT_TRUE(!pg_atomic_test_set_flag()); pg_atomic_clear_flag(); - - if (!pg_atomic_unlocked_test_flag()) - elog(ERROR, "flag: unexpectedly set #2"); - - if (!pg_atomic_test_set_flag()) - elog(ERROR, "flag: couldn't set"); - + EXPECT_TRUE(pg_atomic_unlocked_test_flag()); + EXPECT_TRUE(pg_atomic_test_set_flag()); pg_atomic_clear_flag(); } @@ -678,75 +691,38 @@ test_atomic_uint32(void) int i; pg_atomic_init_u32(, 0); - - if (pg_atomic_read_u32() != 0) - elog(ERROR, "atomic_read_u32() #1 wrong"); - + EXPECT_EQ_U32(pg_atomic_read_u32(), 0); pg_atomic_write_u32(, 3); - - if (pg_atomic_read_u32() != 3) - elog(ERROR, "atomic_read_u32() #2 wrong"); - - if (pg_atomic_fetch_add_u32(, pg_atomic_read_u32() - 2) != 3) - elog(ERROR, "atomic_fetch_add_u32() #1 wrong"); - - if (pg_atomic_fetch_sub_u32(, 1) != 4) - elog(ERROR, "atomic_fetch_sub_u32() #1 wrong"); - - if (pg_atomic_sub_fetch_u32(, 3) != 0) - elog(ERROR, "atomic_sub_fetch_u32() #1 wrong"); - - if (pg_atomic_add_fetch_u32(, 10) != 10) - elog(ERROR, "atomic_add_fetch_u32() #1 wrong"); - - if (pg_atomic_exchange_u32(, 5) != 10) - elog(ERROR,
Re: pgsql: Test pg_atomic_fetch_add_ with variable addend and 16-bit edge c
Hi, On 2019-09-15 15:14:50 -0700, Noah Misch wrote: > On Sun, Sep 15, 2019 at 01:00:21PM -0300, Alvaro Herrera wrote: > > On 2019-Sep-14, Noah Misch wrote: > > > Test pg_atomic_fetch_add_ with variable addend and 16-bit edge cases. > > > > I don't understand this. > > > > if (pg_atomic_fetch_add_u32(, INT_MAX) != INT_MAX) > > elog(ERROR, "pg_atomic_add_fetch_u32() #3 wrong"); > > > > pg_atomic_fetch_add_u32(, 2); /* wrap to 0 */ > > > > if (pg_atomic_fetch_add_u32(, PG_INT16_MAX) != 0) > > elog(ERROR, "pg_atomic_fetch_add_u32() #3 wrong"); > > > > The existing one seems to be naming the wrong function in the error > > message, and if you fix that then you have two "#3 wrong" cases. > > Isn't this confusing? Am I just too sensitive? Is this pointless to > > fix? > > It's a typo-class defect. Would you like me to fix it, or would you like to > fix it? I'd consider wrapping the tests in a macro (may be overkill, since > these tests don't change much): > > --- a/src/test/regress/regress.c > +++ b/src/test/regress/regress.c > @@ -670,6 +670,16 @@ test_atomic_flag(void) > pg_atomic_clear_flag(); > } > > +#define EXPECT(result_expr, expected_expr) \ > + do { \ > + uint32 result = (result_expr); \ > + uint32 expected = (expected_expr); \ > + if (result != expected) \ > + elog(ERROR, \ > + "%s yielded %u, expected %s in file \"%s\" > line %u", \ > + #result_expr, result, #expected_expr, > __FILE__, __LINE__); \ > + } while (0) > + While it might be overkill on its own, it seems like it'd be a good utility to have for these kinds of tests. Unfortunately we can't easily make this type independent. The local variables are needed to avoid multiple evaluation. While we could infer their type using compiler specific magic (__typeof__() or C++), we'd still need to print them. We could however remove the local variables, and purely rely on stringification of the arguments for printing the error. > static void > test_atomic_uint32(void) > { > @@ -678,17 +688,10 @@ test_atomic_uint32(void) > int i; > > pg_atomic_init_u32(, 0); > - > - if (pg_atomic_read_u32() != 0) > - elog(ERROR, "atomic_read_u32() #1 wrong"); > - > + EXPECT(pg_atomic_read_u32(), 0); > pg_atomic_write_u32(, 3); > - > - if (pg_atomic_read_u32() != 3) > - elog(ERROR, "atomic_read_u32() #2 wrong"); > - > - if (pg_atomic_fetch_add_u32(, pg_atomic_read_u32() - 2) != 3) > - elog(ERROR, "atomic_fetch_add_u32() #1 wrong"); > + EXPECT(pg_atomic_read_u32(), 3); > + EXPECT(pg_atomic_fetch_add_u32(, pg_atomic_read_u32() - 2), 3); > > if (pg_atomic_fetch_sub_u32(, 1) != 4) > elog(ERROR, "atomic_fetch_sub_u32() #1 wrong"); I'd name it EXPECT_EQ_U32 or such, but otherwise I think this is a clear improvement. Greetings, Andres Freund
Re: pgsql: Test pg_atomic_fetch_add_ with variable addend and 16-bit edge c
On Sun, Sep 15, 2019 at 01:00:21PM -0300, Alvaro Herrera wrote: > On 2019-Sep-14, Noah Misch wrote: > > Test pg_atomic_fetch_add_ with variable addend and 16-bit edge cases. > > I don't understand this. > > if (pg_atomic_fetch_add_u32(, INT_MAX) != INT_MAX) > elog(ERROR, "pg_atomic_add_fetch_u32() #3 wrong"); > > pg_atomic_fetch_add_u32(, 2); /* wrap to 0 */ > > if (pg_atomic_fetch_add_u32(, PG_INT16_MAX) != 0) > elog(ERROR, "pg_atomic_fetch_add_u32() #3 wrong"); > > The existing one seems to be naming the wrong function in the error > message, and if you fix that then you have two "#3 wrong" cases. > Isn't this confusing? Am I just too sensitive? Is this pointless to > fix? It's a typo-class defect. Would you like me to fix it, or would you like to fix it? I'd consider wrapping the tests in a macro (may be overkill, since these tests don't change much): --- a/src/test/regress/regress.c +++ b/src/test/regress/regress.c @@ -670,6 +670,16 @@ test_atomic_flag(void) pg_atomic_clear_flag(); } +#define EXPECT(result_expr, expected_expr) \ + do { \ + uint32 result = (result_expr); \ + uint32 expected = (expected_expr); \ + if (result != expected) \ + elog(ERROR, \ +"%s yielded %u, expected %s in file \"%s\" line %u", \ +#result_expr, result, #expected_expr, __FILE__, __LINE__); \ + } while (0) + static void test_atomic_uint32(void) { @@ -678,17 +688,10 @@ test_atomic_uint32(void) int i; pg_atomic_init_u32(, 0); - - if (pg_atomic_read_u32() != 0) - elog(ERROR, "atomic_read_u32() #1 wrong"); - + EXPECT(pg_atomic_read_u32(), 0); pg_atomic_write_u32(, 3); - - if (pg_atomic_read_u32() != 3) - elog(ERROR, "atomic_read_u32() #2 wrong"); - - if (pg_atomic_fetch_add_u32(, pg_atomic_read_u32() - 2) != 3) - elog(ERROR, "atomic_fetch_add_u32() #1 wrong"); + EXPECT(pg_atomic_read_u32(), 3); + EXPECT(pg_atomic_fetch_add_u32(, pg_atomic_read_u32() - 2), 3); if (pg_atomic_fetch_sub_u32(, 1) != 4) elog(ERROR, "atomic_fetch_sub_u32() #1 wrong");
Re: pgsql: Test pg_atomic_fetch_add_ with variable addend and 16-bit edge c
On 2019-Sep-14, Noah Misch wrote: > Test pg_atomic_fetch_add_ with variable addend and 16-bit edge cases. I don't understand this. if (pg_atomic_fetch_add_u32(, INT_MAX) != INT_MAX) elog(ERROR, "pg_atomic_add_fetch_u32() #3 wrong"); pg_atomic_fetch_add_u32(, 2); /* wrap to 0 */ if (pg_atomic_fetch_add_u32(, PG_INT16_MAX) != 0) elog(ERROR, "pg_atomic_fetch_add_u32() #3 wrong"); The existing one seems to be naming the wrong function in the error message, and if you fix that then you have two "#3 wrong" cases. Isn't this confusing? Am I just too sensitive? Is this pointless to fix? -- Álvaro Herrerahttps://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
pgsql: Test pg_atomic_fetch_add_ with variable addend and 16-bit edge c
Test pg_atomic_fetch_add_ with variable addend and 16-bit edge cases. Back-patch to 9.5, which introduced these functions. Reviewed by Tom Lane. Discussion: https://postgr.es/m/20190831071157.ga3251...@rfd.leadboat.com Branch -- master Details --- https://git.postgresql.org/pg/commitdiff/f380c5190134a4e928bf30a4ff9fec775cdcc692 Modified Files -- src/test/regress/regress.c | 18 -- 1 file changed, 16 insertions(+), 2 deletions(-)
pgsql: Test pg_atomic_fetch_add_ with variable addend and 16-bit edge c
Test pg_atomic_fetch_add_ with variable addend and 16-bit edge cases. Back-patch to 9.5, which introduced these functions. Reviewed by Tom Lane. Discussion: https://postgr.es/m/20190831071157.ga3251...@rfd.leadboat.com Branch -- REL_11_STABLE Details --- https://git.postgresql.org/pg/commitdiff/585fc561f8246fde76cee691607cc43325e16b29 Modified Files -- src/test/regress/regress.c | 18 -- 1 file changed, 16 insertions(+), 2 deletions(-)
pgsql: Test pg_atomic_fetch_add_ with variable addend and 16-bit edge c
Test pg_atomic_fetch_add_ with variable addend and 16-bit edge cases. Back-patch to 9.5, which introduced these functions. Reviewed by Tom Lane. Discussion: https://postgr.es/m/20190831071157.ga3251...@rfd.leadboat.com Branch -- REL9_5_STABLE Details --- https://git.postgresql.org/pg/commitdiff/4737d3a75b725b6babf2d402c767751a105b67e9 Modified Files -- src/test/regress/regress.c | 18 -- 1 file changed, 16 insertions(+), 2 deletions(-)
pgsql: Test pg_atomic_fetch_add_ with variable addend and 16-bit edge c
Test pg_atomic_fetch_add_ with variable addend and 16-bit edge cases. Back-patch to 9.5, which introduced these functions. Reviewed by Tom Lane. Discussion: https://postgr.es/m/20190831071157.ga3251...@rfd.leadboat.com Branch -- REL9_6_STABLE Details --- https://git.postgresql.org/pg/commitdiff/8d32f82ca5dd3da76edc298c04d3fd6041ae Modified Files -- src/test/regress/regress.c | 18 -- 1 file changed, 16 insertions(+), 2 deletions(-)
pgsql: Test pg_atomic_fetch_add_ with variable addend and 16-bit edge c
Test pg_atomic_fetch_add_ with variable addend and 16-bit edge cases. Back-patch to 9.5, which introduced these functions. Reviewed by Tom Lane. Discussion: https://postgr.es/m/20190831071157.ga3251...@rfd.leadboat.com Branch -- REL_12_STABLE Details --- https://git.postgresql.org/pg/commitdiff/5b5b0f721d9cece8fb68ecdd1d53c3bffe6e753c Modified Files -- src/test/regress/regress.c | 18 -- 1 file changed, 16 insertions(+), 2 deletions(-)
pgsql: Test pg_atomic_fetch_add_ with variable addend and 16-bit edge c
Test pg_atomic_fetch_add_ with variable addend and 16-bit edge cases. Back-patch to 9.5, which introduced these functions. Reviewed by Tom Lane. Discussion: https://postgr.es/m/20190831071157.ga3251...@rfd.leadboat.com Branch -- REL_10_STABLE Details --- https://git.postgresql.org/pg/commitdiff/e6a90ded5a6c2085a71b0e564451b48e800f4e8f Modified Files -- src/test/regress/regress.c | 18 -- 1 file changed, 16 insertions(+), 2 deletions(-)