Re: [Monotone-devel] [ANNOUNCE] monotone 0.26pre3 released

[Petr Ovtchenkov]

On Tuesday 04 April 2006 15:23, Nathaniel Smith wrote:
> On Thu, Mar 30, 2006 at 09:48:52PM +0400, Petr Ovtchenkov wrote:
> > > mtn --db=venge.mtn db init
> > > mtn --db=venge.mtn pull venge.net "net.venge.monotone*" --exclude 
> > > net.venge.monotone.contrib.webhost --dump venge.dump.2
> [...]
> > monotone: fatal: std::logic_error: roster.cc:1422: invariant 
> > 'I(right_uncommon_ancestors.find(right_marking.birth_revision) != 
> > right_uncommon_ancestors.end())' violated
> 
> I ran this command and the pull worked fine; I don't get this error.
> The dump files look very strange, too -- they don't contain any
> information on the actual source of the problem.  I went to go add
> more instrumentation, so you could re-run it and get more data, but...
> the instrumentation is already there -- the only caller of the
> function that contains the failing invariant, marks more than a dozen
> pieces of data as being interesting in the case of a crash, but
> somehow when it crashes it says "work set contains 0 items".

I add near the following (near roster.cc:1422):

...
        else if (!exists_in_left && exists_in_right)
          {
            node_t const & right_node = rni->second;
            marking_t const & right_marking = safe_get(right_markings, n->self);
            // must be unborn on the left (as opposed to dead)
            string ss;
            dump( right_marking, ss );
            cerr << '\n' << ss << endl;
            cerr << "--------------\n";
            ss.clear();
            dump( right_uncommon_ancestors, ss );
            cerr << '\n' << ss << endl;
            cerr << "--------------\n";
            I(right_uncommon_ancestors.find(right_marking.birth_revision)
              != right_uncommon_ancestors.end());
            mark_unmerged_node(right_marking, right_node,
                               new_rid, n, new_marking);
          }
...

And see:

> mtn --db=venge.mtn pull venge.net "net.venge.monotone*" --exclude 
> net.venge.monotone.contrib.webhost
monotone: doing anonymous pull; use -kKEYNAME if you need authentication
monotone: connecting to venge.net
monotone: finding items to synchronize:
monotone: certificates | keys | revisions
monotone:         4130 |    6 |      1358
monotone: bytes in | bytes out | certs in | revs in
monotone:  758.0 k |   435.6 k |        0 |       0
monotone: bytes in | bytes out |    certs in |   revs in
monotone:  883.9 k |   435.7 k |    60/15860 |   16/3951
birth_revision: ca3b81855cbc9f57ee33f5ff6cefaafb671e613e
parent_name: ca3b81855cbc9f57ee33f5ff6cefaafb671e613e
file_content: 73102ea69ed37e6df4d199941af0030894f07389
attrs (number: 0):

--------------

020241296b2b2280bb1d2110fb3740d6ba37d043, 
06599b7f82223f6d683169af657616f814670c3a, 
083661eef7c79b79cbb50a63a32f591d749d16cf, 
0a79877bc000d9cb7eb0424786d7d4176f6b1c9d, 
0ba9fed6d82ec304eeb4a93769068fdc9262bace, 
0e2d1c77beb9fa561774e8bc520b91254fb81061, 
0ec4d69495ed2fa1ef3594e8c88bf522aa14209d, 
0f4aeeb6927692801b9543ecf31d2bf5c77e62d4, 
0fcaabb9086c6b5f953e87ffef12a2cdc7485441, 
13b41de0b35ea94f518db7b1b7fb367f29d02cc6, 
1c9930d34c5329bd0a043b1d67ecd636a69d5894, 
24fcb6cafcca131b098dad25f92495ffa9b41e5b, 
26c664904ce2e09c93aec686a0832c3269af858e, 
31c9b805e6289c4b176ba5df62f5e7fe2cc21f26, 
3be9b96afbcb1844462c877e0dc0c42e1e000c29, 
40f7bfe889a5100a2350b3ac70abb3e02709ac0e, 
46384e06e6661998a610331f14b9edfb676ac18f, 
486c1beb544a4c7a28c6facd529595dd31013c67, 
4a09bbbb739e95738f8d858adb862168e3187dca, 
4cf32d62b7dabaef258daab83b123207b858ff4c, 
4e0d31790f9b3deed3439c38e858cc51ff3649c6, 
5b055703b798177e381b2592bb96883107b4c926, 
617abef6880b23a0012ea48d372f9dc8c10cefc5, 
62cb56e4b012ac0e001f0818064576fc9caac9c2, 
6979366026ae2c5202e1cbc13e569bec157feb7b, 
6aa59ce6dd243e5dd2236084db8c1cf0bc38f71c, 
73fb85bb9736c5b26975e1ef3a7d3f372bd2b695, 
740c5b0715167c7ce5e103ddd797d99d81aa6578, 
745a40213d0d807328d5c2903c2eec334cb30b0b, 
75a903c057e2712253ee8594e20d9475b3eedba5, 
785f84202c14c83e51d5b0e9017640b24bf69304, 
799651613cc42c53b2ee11668fac6bcf531302b2, 
7e5aade8e6d15aaa9e91337e71ca31c6b16d7192, 
7ef5618f0f5dc286f9a3e11f75702f0f8814b088, 
7fb5955905789fad108d1181c123d0a58c47e721, 
84fe0ad261af6160f36af8381812462c632f7bf0, 
8510ae75a9c1adc727503206796778f268bd9081, 
881ff336c10943412f6d2da781f05baa8314c72f, 
8ca0ceffff7a1c0fdf9280b380ffca69718e753b, 
8f5da507b5feb64487e8e4bab0afc6ef53ac6782, 
91295298a37a09adcee86c1596330e2d7657cc39, 
91d854aa3e6b42a74fb5bb5036a9dcca78b2a1dc, 
9424537445f31b371bb00f913d3c33fb3c333111, 
9b61537f39e92a2715098b369996a3f3133b3c6a, 
9d9a62e542a7a736559cecad1d4f3c634d8e581b, 
9dbf7208806d4fa6e36467907f6108e22002c6b7, 
a6c05a58ce881e0198d719f3689912751bce039a, 
b075f9a46b29223d29a4838b9f5d12d6712e001d, 
b327dcc27b9794d075e18eb0ef28cc667094151a, 
c4b1c49e8bd5457ca475f327afaef417a13389a0, 
c54e7a0f8808206c279e2f04985750d625e22052, 
c5b49333b24283e000f3806e3bdb77a1576466b7, 
c5e6be48be9e6007d5c62e22b3254356702ea4ee, 
c9683e01d1ca425ad18d2427566c765226a45fbc, 
cc83c35b4fb40ca1082cfed940140247259a6702, 
d06bca9a9c3925e1f90e0f71d33c4a0dd78b168a, 
dacce16c66e80383e5a3394609dfd4b476608a59, 
e2256be966025f762eab59aa38f06288bb435c7b, 
e2b05c636547417196780007f55255f7f30fc720, 
e58f9aff29d075b7633a2397a057e4fa5dcee8f8, 
e5dbb9eda8e32759fdf7175173d0194054f8c700, 
ea0f33061eb259698249850a8911dd2fc79f3697, 
eb56ca6fdc0d36ad121ebbdc16187f080b5428aa, 
ec60c8cdbf8f20c732bf9cd368ea0766fe842292, 
f8972bf826ca87553ee500eaced10f4bb9026b22, 
f8bfe1996fc8a28bda0001a1881fbb44beab0c75, 
fa3b5c446e1db1bf8ff40fdc77c5405ea21c015e
--------------

monotone: fatal: std::logic_error: roster.cc:1433: invariant 
'I(right_uncommon_ancestors.find(right_marking.birth_revision) != 
right_uncommon_ancestors.end())' violated
....

Where I should trace then?

> 
> I'm almost wondering about some sort of strange issue with compiler or
> libraries?  Though that's strange, since you're running on linux,
> which is very well tested.  We might even need to take extreme
> measures to reproduce this, like asking you to compile with
> --enable-static-boost and debugging, and seeing if the resulting
> binary still causes a problem on our system, etc....

I am sure both in libs and in compiler. The situation is reprodusable, so I'm
expect some logic error.


  - Petr