mirror of
https://github.com/MariaDB/server.git
synced 2025-01-21 06:22:28 +01:00
MariaDB server is a community developed fork of MySQL server. Started by core members of the original MySQL team, MariaDB actively works with outside developers to deliver the most featureful, stable, and sanely licensed open SQL server in the industry.
amazon-web-servicesdatabasefulltext-searchgalerageographical-information-systeminnodbjsonmariadbmysqlrdbmsrelational-databasessqlstorage-enginevector-database
a78bf6ddda
to one. Note that buf_pool_watch_occurred(space, page_no) could start to hold again and explain why it is not a problem. |
||
---|---|---|
btr | ||
buf | ||
data | ||
dict | ||
dyn | ||
eval | ||
fil | ||
fsp | ||
fut | ||
ha | ||
handler | ||
ibuf | ||
include | ||
lock | ||
log | ||
mach | ||
mem | ||
mtr | ||
mysql-test | ||
os | ||
page | ||
pars | ||
que | ||
read | ||
rem | ||
row | ||
scripts | ||
srv | ||
sync | ||
thr | ||
trx | ||
usr | ||
ut | ||
win-plugin | ||
ChangeLog | ||
CMakeLists.txt | ||
compile-innodb | ||
compile-innodb-debug | ||
ha_innodb.def | ||
Makefile.am | ||
plug.in | ||
revert_gen.sh | ||
setup.sh |