• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

realm / realm-core / 1709

28 Sep 2023 08:33PM UTC coverage: 91.216% (+0.001%) from 91.215%
1709

push

Evergreen

web-flow
Receiving write_not_allowed error crashes the app (#7002)

* Make compensating_write_server_version in ProtocolErrorInfo optional

* Integration test for write_not_allowed(230) error

* Update changelog

* Add comment

95886 of 175738 branches covered (0.0%)

85 of 85 new or added lines in 3 files covered. (100.0%)

121 existing lines in 18 files now uncovered.

232552 of 254947 relevant lines covered (91.22%)

7050845.65 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

87.78
/src/realm/array_string.cpp
1
/*************************************************************************
2
 *
3
 * Copyright 2016 Realm Inc.
4
 *
5
 * Licensed under the Apache License, Version 2.0 (the "License");
6
 * you may not use this file except in compliance with the License.
7
 * You may obtain a copy of the License at
8
 *
9
 * http://www.apache.org/licenses/LICENSE-2.0
10
 *
11
 * Unless required by applicable law or agreed to in writing, software
12
 * distributed under the License is distributed on an "AS IS" BASIS,
13
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14
 * See the License for the specific language governing permissions and
15
 * limitations under the License.
16
 *
17
 **************************************************************************/
18

19
#include <realm/array_string.hpp>
20
#include <realm/spec.hpp>
21
#include <realm/mixed.hpp>
22

23
using namespace realm;
24

25
ArrayString::ArrayString(Allocator& a)
26
    : m_alloc(a)
27
{
20,176,890✔
28
    m_arr = new (&m_storage.m_string_short) ArrayStringShort(a, true);
20,176,890✔
29
}
20,176,890✔
30

31
void ArrayString::create()
32
{
361,887✔
33
    static_cast<ArrayStringShort*>(m_arr)->create();
361,887✔
34
}
361,887✔
35

36
void ArrayString::init_from_mem(MemRef mem) noexcept
37
{
18,196,317✔
38
    char* header = mem.get_addr();
18,196,317✔
39

8,956,050✔
40
    ArrayParent* parent = m_arr->get_parent();
18,196,317✔
41
    size_t ndx_in_parent = m_arr->get_ndx_in_parent();
18,196,317✔
42

8,956,050✔
43
    bool long_strings = Array::get_hasrefs_from_header(header);
18,196,317✔
44
    if (!long_strings) {
18,196,317✔
45
        // Small strings
6,624,981✔
46
        bool is_small = Array::get_wtype_from_header(header) == Array::wtype_Multiply;
13,520,946✔
47
        if (is_small) {
13,520,946✔
48
            auto arr = new (&m_storage.m_string_short) ArrayStringShort(m_alloc, m_nullable);
7,833,237✔
49
            arr->init_from_mem(mem);
7,833,237✔
50
            m_type = Type::small_strings;
7,833,237✔
51
        }
7,833,237✔
52
        else {
5,687,709✔
53
            auto arr = new (&m_storage.m_enum) Array(m_alloc);
5,687,709✔
54
            arr->init_from_mem(mem);
5,687,709✔
55
            m_string_enum_values = std::make_unique<ArrayString>(m_alloc);
5,687,709✔
56
            ArrayParent* p;
5,687,709✔
57
            REALM_ASSERT(m_spec != nullptr);
5,687,709✔
58
            REALM_ASSERT(m_col_ndx != realm::npos);
5,687,709✔
59
            ref_type r = m_spec->get_enumkeys_ref(m_col_ndx, p);
5,687,709✔
60
            m_string_enum_values->init_from_ref(r);
5,687,709✔
61
            m_string_enum_values->set_parent(p, m_col_ndx);
5,687,709✔
62
            m_type = Type::enum_strings;
5,687,709✔
63
        }
5,687,709✔
64
    }
13,520,946✔
65
    else {
4,675,371✔
66
        bool is_big = Array::get_context_flag_from_header(header);
4,675,371✔
67
        if (!is_big) {
4,675,371✔
68
            auto arr = new (&m_storage.m_string_long) ArraySmallBlobs(m_alloc);
1,204,743✔
69
            arr->init_from_mem(mem);
1,204,743✔
70
            m_type = Type::medium_strings;
1,204,743✔
71
        }
1,204,743✔
72
        else {
3,470,628✔
73
            auto arr = new (&m_storage.m_big_blobs) ArrayBigBlobs(m_alloc, m_nullable);
3,470,628✔
74
            arr->init_from_mem(mem);
3,470,628✔
75
            m_type = Type::big_strings;
3,470,628✔
76
        }
3,470,628✔
77
    }
4,675,371✔
78
    m_arr->set_parent(parent, ndx_in_parent);
18,196,317✔
79
}
18,196,317✔
80

81
void ArrayString::init_from_parent()
82
{
5,314,155✔
83
    ref_type ref = m_arr->get_ref_from_parent();
5,314,155✔
84
    init_from_ref(ref);
5,314,155✔
85
}
5,314,155✔
86

87
void ArrayString::destroy() noexcept
88
{
366✔
89
    if (m_arr->is_attached()) {
366✔
90
        Array::destroy_deep(m_arr->get_ref(), m_alloc);
360✔
91
        detach();
360✔
92
    }
360✔
93
}
366✔
94

95
void ArrayString::detach() noexcept
96
{
281,718✔
97
    m_arr->detach();
281,718✔
98
    // Make sure the object is in a state like right after construction
140,619✔
99
    // Next call must be to create()
140,619✔
100
    m_arr = new (&m_storage.m_string_short) ArrayStringShort(m_alloc, true);
281,718✔
101
    m_type = Type::small_strings;
281,718✔
102
}
281,718✔
103

104
size_t ArrayString::size() const
105
{
15,645,951✔
106
    switch (m_type) {
15,645,951✔
107
        case Type::small_strings:
6,761,475✔
108
            return static_cast<ArrayStringShort*>(m_arr)->size();
6,761,475✔
109
        case Type::medium_strings:
434,727✔
110
            return static_cast<ArraySmallBlobs*>(m_arr)->size();
434,727✔
111
        case Type::big_strings:
8,456,829✔
112
            return static_cast<ArrayBigBlobs*>(m_arr)->size();
8,456,829✔
113
        case Type::enum_strings:
282✔
114
            return static_cast<Array*>(m_arr)->size();
282✔
115
    }
×
116
    return {};
×
117
}
×
118

119
void ArrayString::add(StringData value)
120
{
159,873✔
121
    switch (upgrade_leaf(value.size())) {
159,873✔
122
        case Type::small_strings:
104,562✔
123
            static_cast<ArrayStringShort*>(m_arr)->add(value);
104,562✔
124
            break;
104,562✔
125
        case Type::medium_strings:
27,816✔
126
            static_cast<ArraySmallBlobs*>(m_arr)->add_string(value);
27,816✔
127
            break;
27,816✔
128
        case Type::big_strings:
27,495✔
129
            static_cast<ArrayBigBlobs*>(m_arr)->add_string(value);
27,495✔
130
            break;
27,495✔
131
        case Type::enum_strings: {
✔
132
            auto a = static_cast<Array*>(m_arr);
×
133
            size_t ndx = a->size();
×
134
            a->add(0);
×
135
            set(ndx, value);
×
136
            break;
×
137
        }
×
138
    }
159,873✔
139
}
159,873✔
140

141
void ArrayString::set(size_t ndx, StringData value)
142
{
3,805,281✔
143
    switch (upgrade_leaf(value.size())) {
3,805,281✔
144
        case Type::small_strings:
526,071✔
145
            static_cast<ArrayStringShort*>(m_arr)->set(ndx, value);
526,071✔
146
            break;
526,071✔
147
        case Type::medium_strings:
246,441✔
148
            static_cast<ArraySmallBlobs*>(m_arr)->set_string(ndx, value);
246,441✔
149
            break;
246,441✔
150
        case Type::big_strings:
409,011✔
151
            static_cast<ArrayBigBlobs*>(m_arr)->set_string(ndx, value);
409,011✔
152
            break;
409,011✔
153
        case Type::enum_strings: {
2,625,402✔
154
            size_t sz = m_string_enum_values->size();
2,625,402✔
155
            size_t res = m_string_enum_values->find_first(value, 0, sz);
2,625,402✔
156
            if (res == realm::not_found) {
2,625,402✔
157
                m_string_enum_values->add(value);
9,750✔
158
                res = sz;
9,750✔
159
            }
9,750✔
160
            static_cast<Array*>(m_arr)->set(ndx, res);
2,625,402✔
161
            break;
2,625,402✔
162
        }
×
163
    }
3,805,281✔
164
}
3,805,281✔
165

166
void ArrayString::insert(size_t ndx, StringData value)
167
{
3,343,575✔
168
    switch (upgrade_leaf(value.size())) {
3,343,575✔
169
        case Type::small_strings:
1,007,889✔
170
            static_cast<ArrayStringShort*>(m_arr)->insert(ndx, value);
1,007,889✔
171
            break;
1,007,889✔
172
        case Type::medium_strings:
285,669✔
173
            static_cast<ArraySmallBlobs*>(m_arr)->insert_string(ndx, value);
285,669✔
174
            break;
285,669✔
175
        case Type::big_strings:
738,390✔
176
            static_cast<ArrayBigBlobs*>(m_arr)->insert_string(ndx, value);
738,390✔
177
            break;
738,390✔
178
        case Type::enum_strings: {
1,312,698✔
179
            static_cast<Array*>(m_arr)->insert(ndx, 0);
1,312,698✔
180
            set(ndx, value);
1,312,698✔
181
        }
1,312,698✔
182
    }
3,343,575✔
183
}
3,343,575✔
184

185
StringData ArrayString::get(size_t ndx) const
186
{
22,667,301✔
187
    switch (m_type) {
22,667,301✔
188
        case Type::small_strings:
9,205,875✔
189
            return static_cast<ArrayStringShort*>(m_arr)->get(ndx);
9,205,875✔
190
        case Type::medium_strings:
1,339,698✔
191
            return static_cast<ArraySmallBlobs*>(m_arr)->get_string(ndx);
1,339,698✔
192
        case Type::big_strings:
9,095,361✔
193
            return static_cast<ArrayBigBlobs*>(m_arr)->get_string(ndx);
9,095,361✔
194
        case Type::enum_strings: {
3,089,562✔
195
            size_t index = size_t(static_cast<Array*>(m_arr)->get(ndx));
3,089,562✔
196
            return m_string_enum_values->get(index);
3,089,562✔
197
        }
×
198
    }
×
199
    return {};
×
200
}
×
201

202
StringData ArrayString::get_legacy(size_t ndx) const
203
{
6,648✔
204
    switch (m_type) {
6,648✔
205
        case Type::small_strings:
402✔
206
            return static_cast<ArrayStringShort*>(m_arr)->get(ndx);
402✔
207
        case Type::medium_strings:
3,060✔
208
            return static_cast<ArraySmallBlobs*>(m_arr)->get_string_legacy(ndx);
3,060✔
209
        case Type::big_strings:
3,078✔
210
            return static_cast<ArrayBigBlobs*>(m_arr)->get_string(ndx);
3,078✔
211
        case Type::enum_strings: {
108✔
212
            size_t index = size_t(static_cast<Array*>(m_arr)->get(ndx));
108✔
213
            return m_string_enum_values->get(index);
108✔
214
        }
×
215
    }
×
216
    return {};
×
217
}
×
218

219
Mixed ArrayString::get_any(size_t ndx) const
220
{
22,464✔
221
    return Mixed(get(ndx));
22,464✔
222
}
22,464✔
223

224
bool ArrayString::is_null(size_t ndx) const
225
{
4,114,872✔
226
    switch (m_type) {
4,114,872✔
227
        case Type::small_strings:
779,811✔
228
            return static_cast<ArrayStringShort*>(m_arr)->is_null(ndx);
779,811✔
229
        case Type::medium_strings:
16,329✔
230
            return static_cast<ArraySmallBlobs*>(m_arr)->is_null(ndx);
16,329✔
231
        case Type::big_strings:
3,318,762✔
232
            return static_cast<ArrayBigBlobs*>(m_arr)->is_null(ndx);
3,318,762✔
233
        case Type::enum_strings: {
✔
234
            size_t index = size_t(static_cast<Array*>(m_arr)->get(ndx));
×
235
            return m_string_enum_values->is_null(index);
×
236
        }
×
237
    }
×
238
    return {};
×
239
}
×
240

241
void ArrayString::erase(size_t ndx)
242
{
181,584✔
243
    switch (m_type) {
181,584✔
244
        case Type::small_strings:
90,303✔
245
            static_cast<ArrayStringShort*>(m_arr)->erase(ndx);
90,303✔
246
            break;
90,303✔
247
        case Type::medium_strings:
58,896✔
248
            static_cast<ArraySmallBlobs*>(m_arr)->erase(ndx);
58,896✔
249
            break;
58,896✔
250
        case Type::big_strings:
23,979✔
251
            static_cast<ArrayBigBlobs*>(m_arr)->erase(ndx);
23,979✔
252
            break;
23,979✔
253
        case Type::enum_strings:
8,406✔
254
            static_cast<Array*>(m_arr)->erase(ndx);
8,406✔
255
            break;
8,406✔
256
    }
181,584✔
257
}
181,584✔
258

259
void ArrayString::move(ArrayString& dst, size_t ndx)
260
{
66✔
261
    size_t sz = size();
66✔
262
    for (size_t i = ndx; i < sz; i++) {
20,730✔
263
        dst.add(get(i));
20,664✔
264
    }
20,664✔
265

33✔
266
    switch (m_type) {
66✔
267
        case Type::small_strings:
✔
268
            static_cast<ArrayStringShort*>(m_arr)->truncate(ndx);
×
269
            break;
×
270
        case Type::medium_strings:
60✔
271
            static_cast<ArraySmallBlobs*>(m_arr)->truncate(ndx);
60✔
272
            break;
60✔
273
        case Type::big_strings:
6✔
274
            static_cast<ArrayBigBlobs*>(m_arr)->truncate(ndx);
6✔
275
            break;
6✔
276
        case Type::enum_strings:
✔
277
            // this operation will never be called for enumerated columns
278
            REALM_UNREACHABLE();
×
279
            break;
×
280
    }
66✔
281
}
66✔
282

283
void ArrayString::clear()
284
{
354✔
285
    switch (m_type) {
354✔
286
        case Type::small_strings:
300✔
287
            static_cast<ArrayStringShort*>(m_arr)->clear();
300✔
288
            break;
300✔
289
        case Type::medium_strings:
6✔
290
            static_cast<ArraySmallBlobs*>(m_arr)->clear();
6✔
291
            break;
6✔
292
        case Type::big_strings:
48✔
293
            static_cast<ArrayBigBlobs*>(m_arr)->clear();
48✔
294
            break;
48✔
295
        case Type::enum_strings:
✔
296
            static_cast<Array*>(m_arr)->clear();
×
297
            break;
×
298
    }
354✔
299
}
354✔
300

301
size_t ArrayString::find_first(StringData value, size_t begin, size_t end) const noexcept
302
{
4,082,910✔
303
    switch (m_type) {
4,082,910✔
304
        case Type::small_strings:
3,124,206✔
305
            return static_cast<ArrayStringShort*>(m_arr)->find_first(value, begin, end);
3,124,206✔
306
        case Type::medium_strings: {
104,778✔
307
            BinaryData as_binary(value.data(), value.size());
104,778✔
308
            return static_cast<ArraySmallBlobs*>(m_arr)->find_first(as_binary, true, begin, end);
104,778✔
309
            break;
×
310
        }
×
311
        case Type::big_strings: {
257,229✔
312
            BinaryData as_binary(value.data(), value.size());
257,229✔
313
            return static_cast<ArrayBigBlobs*>(m_arr)->find_first(as_binary, true, begin, end);
257,229✔
314
            break;
×
315
        }
×
316
        case Type::enum_strings: {
597,258✔
317
            size_t sz = m_string_enum_values->size();
597,258✔
318
            size_t res = m_string_enum_values->find_first(value, 0, sz);
597,258✔
319
            if (res != realm::not_found) {
597,258✔
320
                return static_cast<Array*>(m_arr)->find_first(res, begin, end);
597,258✔
321
            }
597,258✔
UNCOV
322
            break;
×
UNCOV
323
        }
×
324
    }
×
325
    return not_found;
×
326
}
×
327

328
namespace {
329

330
template <class T>
331
inline StringData get_string(const T* arr, size_t ndx)
332
{
437,337✔
333
    return arr->get_string(ndx);
437,337✔
334
}
437,337✔
335

336
template <>
337
inline StringData get_string(const ArrayStringShort* arr, size_t ndx)
338
{
93,666✔
339
    return arr->get(ndx);
93,666✔
340
}
93,666✔
341

342
template <class T, class U>
343
size_t lower_bound_string(const T* arr, U value)
344
{
234,912✔
345
    size_t i = 0;
234,912✔
346
    size_t sz = arr->size();
234,912✔
347
    while (0 < sz) {
765,915✔
348
        size_t half = sz / 2;
531,003✔
349
        size_t mid = i + half;
531,003✔
350
        auto probe = get_string(arr, mid);
531,003✔
351
        if (probe < value) {
531,003✔
352
            i = mid + 1;
190,704✔
353
            sz -= half + 1;
190,704✔
354
        }
190,704✔
355
        else {
340,299✔
356
            sz = half;
340,299✔
357
        }
340,299✔
358
    }
531,003✔
359
    return i;
234,912✔
360
}
234,912✔
361
}
362

363
size_t ArrayString::lower_bound(StringData value)
364
{
234,912✔
365
    switch (m_type) {
234,912✔
366
        case Type::small_strings:
58,434✔
367
            return lower_bound_string(static_cast<ArrayStringShort*>(m_arr), value);
58,434✔
368
        case Type::medium_strings:
68,418✔
369
            return lower_bound_string(static_cast<ArraySmallBlobs*>(m_arr), value);
68,418✔
370
        case Type::big_strings:
108,060✔
371
            return lower_bound_string(static_cast<ArrayBigBlobs*>(m_arr), value);
108,060✔
372
        case Type::enum_strings:
✔
373
            break;
×
374
    }
×
375
    return realm::npos;
×
376
}
×
377

378
ArrayString::Type ArrayString::upgrade_leaf(size_t value_size)
379
{
7,304,043✔
380
    if (m_type == Type::big_strings)
7,304,043✔
381
        return Type::big_strings;
1,137,192✔
382

3,027,018✔
383
    if (m_type == Type::enum_strings)
6,166,851✔
384
        return Type::enum_strings;
3,937,878✔
385

1,058,568✔
386
    if (m_type == Type::medium_strings) {
2,228,973✔
387
        if (value_size <= medium_string_max_size)
530,790✔
388
            return Type::medium_strings;
530,250✔
389

276✔
390
        // Upgrade root leaf from medium to big strings
276✔
391
        auto string_medium = static_cast<ArraySmallBlobs*>(m_arr);
540✔
392
        ArrayBigBlobs big_blobs(m_alloc, true);
540✔
393
        big_blobs.create(); // Throws
540✔
394

276✔
395
        size_t n = string_medium->size();
540✔
396
        for (size_t i = 0; i < n; i++) {
11,313✔
397
            big_blobs.add_string(string_medium->get_string(i)); // Throws
10,773✔
398
        }
10,773✔
399
        auto parent = string_medium->get_parent();
540✔
400
        auto ndx_in_parent = string_medium->get_ndx_in_parent();
540✔
401
        string_medium->destroy();
540✔
402

276✔
403
        auto arr = new (&m_storage.m_big_blobs) ArrayBigBlobs(m_alloc, true);
540✔
404
        arr->init_from_mem(big_blobs.get_mem());
540✔
405
        arr->set_parent(parent, ndx_in_parent);
540✔
406
        arr->update_parent();
540✔
407

276✔
408
        m_type = Type::big_strings;
540✔
409
        return Type::big_strings;
540✔
410
    }
540✔
411

792,795✔
412
    // m_type == Type::small
792,795✔
413
    if (value_size <= small_string_max_size)
1,698,183✔
414
        return Type::small_strings;
1,638,339✔
415

29,346✔
416
    if (value_size <= medium_string_max_size) {
59,844✔
417
        // Upgrade root leaf from small to medium strings
14,481✔
418
        auto string_short = static_cast<ArrayStringShort*>(m_arr);
29,508✔
419
        ArraySmallBlobs string_long(m_alloc);
29,508✔
420
        string_long.create(); // Throws
29,508✔
421

14,481✔
422
        size_t n = string_short->size();
29,508✔
423
        for (size_t i = 0; i < n; i++) {
63,936✔
424
            string_long.add_string(string_short->get(i)); // Throws
34,428✔
425
        }
34,428✔
426
        auto parent = string_short->get_parent();
29,508✔
427
        auto ndx_in_parent = string_short->get_ndx_in_parent();
29,508✔
428
        string_short->destroy();
29,508✔
429

14,481✔
430
        auto arr = new (&m_storage.m_string_long) ArraySmallBlobs(m_alloc);
29,508✔
431
        arr->init_from_mem(string_long.get_mem());
29,508✔
432
        arr->set_parent(parent, ndx_in_parent);
29,508✔
433
        arr->update_parent();
29,508✔
434

14,481✔
435
        m_type = Type::medium_strings;
29,508✔
436
    }
29,508✔
437
    else {
30,336✔
438
        // Upgrade root leaf from small to big strings
14,865✔
439
        auto string_short = static_cast<ArrayStringShort*>(m_arr);
30,336✔
440
        ArrayBigBlobs big_blobs(m_alloc, true);
30,336✔
441
        big_blobs.create(); // Throws
30,336✔
442

14,865✔
443
        size_t n = string_short->size();
30,336✔
444
        for (size_t i = 0; i < n; i++) {
67,773✔
445
            big_blobs.add_string(string_short->get(i)); // Throws
37,437✔
446
        }
37,437✔
447
        auto parent = string_short->get_parent();
30,336✔
448
        auto ndx_in_parent = string_short->get_ndx_in_parent();
30,336✔
449
        string_short->destroy();
30,336✔
450

14,865✔
451
        auto arr = new (&m_storage.m_big_blobs) ArrayBigBlobs(m_alloc, true);
30,336✔
452
        arr->init_from_mem(big_blobs.get_mem());
30,336✔
453
        arr->set_parent(parent, ndx_in_parent);
30,336✔
454
        arr->update_parent();
30,336✔
455

14,865✔
456
        m_type = Type::big_strings;
30,336✔
457
    }
30,336✔
458

29,346✔
459
    return m_type;
59,844✔
460
}
59,844✔
461

462
void ArrayString::verify() const
463
{
2,969,232✔
464
#ifdef REALM_DEBUG
2,969,232✔
465
    switch (m_type) {
2,969,232✔
466
        case Type::small_strings:
2,962,722✔
467
            static_cast<ArrayStringShort*>(m_arr)->verify();
2,962,722✔
468
            break;
2,962,722✔
469
        case Type::medium_strings:
822✔
470
            static_cast<ArraySmallBlobs*>(m_arr)->verify();
822✔
471
            break;
822✔
472
        case Type::big_strings:
5,442✔
473
            static_cast<ArrayBigBlobs*>(m_arr)->verify();
5,442✔
474
            break;
5,442✔
475
        case Type::enum_strings:
246✔
476
            static_cast<Array*>(m_arr)->verify();
246✔
477
            break;
246✔
478
    }
2,969,232✔
479
#endif
2,969,232✔
480
}
2,969,232✔
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc