Picodata SQL now manages the Tarantool statement cache using a
dedicated SQL fiber that handles preparation and unpreparation of
statements based on an LRU eviction policy. Prepared statements
can be executed across different sessions by SQL clients.

Previously, when a client executed a prepared statement, it
increased the reference count in the statement cache and linked
the statement to the client's session. While this approach seemed
fine, it caused issues during eviction, as references to these
statements remained in client sessions, preventing proper eviction.

This commit addresses the issue by ensuring that if a statement is
added to the current session during execution, it is removed and
the session state is restored once execution is complete.

NO_DOC=internal
NO_CHANGELOG=internal

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

Dmitry Rodionov authored 1 year ago and Dmitry Ivanov committed 7 months ago

* smoke test that verifies that cluster can be successfully bootstrapped
* test diverging limbo owner (litmus test)
  - doesn't work on fork master, works with promote chains
* test aba leader
  - two cases where elected leader fails to deliver promote to others
* attempt to model 2+2 quorum lowering case
* two cases with two outstanding promotes
* use new injections for particular xrow types

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

Co-authored-by: Dmitry Ivanov <ivadmi5@gmail.com>

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

Further reading:
* https://git.picodata.io/picodata/tarantool/-/merge_requests/175
* https://github.com/tarantool/tarantool/pull/10334

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

Dmitry Rodionov authored 1 year ago and Dmitry Ivanov committed 7 months ago

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

Co-authored-by: Dmitry Ivanov <ivadmi5@gmail.com>

- If you prepare and execute statement with params
in the projection and then unprepare the
statement, byte counter may show the wrong value
or even overflow.
- The problem is that when we compile sql
statement, we set parameter type to 'any'.
But when we execute the statement we set parameter
type to actual type. Then we use this type in
calculation of estimated of sql cache entry size.
This leads to different estimated sizes of cache
entry during prepare and during unprepare after
statement was executed
- Fix this by resetting type to 'any' after
executing the statement

NO_DOC=picodata internal patch
NO_CHANGELOG=picodata internal patch

BREAKING CHANGE!:
1. add session id argument to sql_prepare_ext
2. introduce sql_unprepare_ext function.
This function removes prepared stmt using
given session id.

In picodata SQL, we may prepare stmt in one
session and unprepare it in some
other session, which does not know in
what session the statement was prepared. Now
sql_prepare_ext returns not only statement id,
but also a session id. This way statement can
be unprepared from other session using
sql_unprepare_ext.

NO_DOC=picodata internal patch
NO_CHANGELOG=picodata internal patch

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

Dmitry Ivanov authored 7 months ago and Dmitry Ivanov committed 7 months ago

NO_DOC=internal
NO_CHANGELOG=internal
NO_TEST=internal

NO_DOC=internal
NO_CHANGELOG=internal
NO_TEST=internal

Replace fiber.sleep with luatest.helpers.retrying
to make tests less flaky

NO_DOC=internal
NO_CHANGELOG=internal

godzie44 authored 1 year ago and Дмитрий Кольцов committed 7 months ago

WAL extensions allows to add auxiliary information to each
write-ahead log record. WAL extensions configured by
`box.cfg.wal_ext` option. Currently, there is only one builtin
extension: `new_old`. `new_old` extension add information about
new and old tuples for ddl operations.

NO_DOC=internal
NO_CHANGELOG=internal

NO_DOC=internal
NO_CHANGELOG=internal
NO_TEST=internal

NO_DOC=internal
NO_CHANGELOG=internal
NO_TEST=internal

Виталий Шунков authored 7 months ago and Виталий Шунков committed 7 months ago

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

Nikolay Shirokovskiy authored 10 months ago and Dmitry Ivanov committed 7 months ago

```
/home/shiny/dev/tarantool/src/lib/core/coio_task.c:114:58:
	error: ‘calloc’ sizes specified with ‘sizeof’ in the earlier argument
	and not in the later argument [-Werror=calloc-transposed-args]
  114 |         struct cord *cord = (struct cord *)calloc(sizeof(struct cord), 1);
```

NO_TEST=build fix
NO_CHANGELOG=build fix
NO_DOC=build fix

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

Дмитрий Кибирев authored 8 months ago and Denis Smirnov committed 8 months ago

CentOS 7 reached its end-of-life on 30/06/2024, making its
repositories unavailable. Therefore, continuing to build CI
images for it is no longer sensible. We have now switched to
Rocky Linux 8.

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

BREAKING CHANGE!:
1. remove sql_prepare from the export list;
2. introduce sql_prepare_ext.

The sql_prepare symbol previously included the tarantool port as
an output parameter. However, this structure was inconvenient for
libraries using the C API, as they primarily required just the
statement ID. To address this issue, the sql_prepare symbol was
replaced with the sql_prepare_ext symbol.

NO_DOC=picodata internal patch
NO_CHANGELOG=picodata internal patch

Previously, users with multiple connections to tarantool instance
couldn't share prepared statements across sessions. They had to
manually call prepare in each session before execution.

This commit automates this process for the exported version of
SQL prepared statement execution (sql_execute_prepared_ext symbol).
Original Lua execution keeps the old behavior for backward
compatibility.

NO_DOC=picodata internal patch
NO_CHANGELOG=picodata internal patch
NO_TEST=picodata internal patch

Previously, sql_prepare_and_execute and sql_execute_prepared
functions didn't follow a convention to keep output parameters
(the port to be exact) at the end of the argument list.

NO_DOC=picodata internal patch
NO_CHANGELOG=picodata internal patch
NO_TEST=picodata internal patch

BREAKING CHANGE!:
1. sql_bind_list_decode - removed
2. sql_execute_prepared_ext - new arguments
3. sql_prepare_and_execute_ext - exported

There were several reasons to refactor the API.
1. sql_bind_list_decode (decodes message pack parameters into
   internal C bind structure) is very difficult to use without
   memory leaks (as it allocates results on fiber()->gc).
2. sql_execute_prepared_ext missed vdbe step limit in parameters
   and used the default value.
3. Sometimes SQL queries don't fit into prepared statement cache
   and the user still wants to execute them via a slow pass with
   full compilations from the query text. That was the reason to
   export sql_prepare_and_execute_ext symbol.

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

The following commit introduced a tautological if expression:

```gitcommit
sql: introduce structs assembling DDL arguments during parsing (ba56b145fafaa3)
```

Due to the changes in commit

```gitcommit
sql: refactor memory allocation system (cb777136dd7a0c)
```

the allocations in sql expressions became infallible, which means
that we may safely fix static analysis warnings by dropping the
tautological comparison altogether.

Original patch by Feodor Alexandrov.

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

This patch fixes the following problem at build time:

cyrus-sasl-2.1.28/lib/saslutil.c:280:3: error: implicit declaration of function 'time' [-Wimplicit-function-declaration]
280 |   time(&now);
    |   ^~~~
cyrus-sasl-2.1.28/lib/saslutil.c:66:1: note: 'time' is defined in header '<time.h>'; this is probably fixable by adding '#include <time.h>'
 65 | #include "saslint.h"
+++ |+#include <time.h>
 66 | #include <saslutil.h>
cyrus-sasl-2.1.28/lib/saslutil.c: In function 'getranddata':
cyrus-sasl-2.1.28/lib/saslutil.c:364:41: error: implicit declaration of function 'clock' [-Wimplicit-function-declaration]
364 |             ret[1] ^= (unsigned short) (clock() & 0xFFFF);
    |                                         ^~~~~
cyrus-sasl-2.1.28/lib/saslutil.c:364:41: note: 'clock' is defined in header '<time.h>'; this is probably fixable by adding '#include <time.h>'
cyrus-sasl-2.1.28/lib/saslutil.c: In function 'get_fqhostname':
cyrus-sasl-2.1.28/lib/saslutil.c:563:42: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
563 |         || strlen (result->ai_canonname) > namelen -1) {
    |                                          ^
make[9]: *** [Makefile:643: saslutil.lo] Error 1

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

This patch fixes the following problem at build time:

checking for regex.h... yes
checking for library containing regfree... none required
checking for compatible POSIX regex... no
configure: error: broken POSIX regex!

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

Also remove CI pipeline for fuzz_until, as running it in CI is not planned

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

- add cli flag whether to wait for 2x coverage
- add timestamps to log lines
- remove dictionary passing as it is not needed when
  corpus already exist

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal

NO_DOC=internal
NO_TEST=internal
NO_CHANGELOG=internal