AI si vylámalo zuby, řešení pro: ERROR 1728 (HY000): Cannot load from mysql.proc. The table is probably corrupted

Tohle je hodně zajímavý error na MariaDB serveru, se kterým se můžete setkat, protože databáze jede dál, ale může vám to znemožnit některé operace. Můžete se s tímto failem setkat po upgradu balíčku mariadb. Níže v článku jsem se rozhodl článek dost rožšířit o dnešní jazykové modely a jejich schopnost problémy efektivně vyřešit. A byl jsem překvapený, kolik modelů totálně při řešení selhalo a při nasazení někde do produkce by to sestřelilo mariadb server.

K ověření, že máte přesně ten problém, o kterém píšu:

mysql -uroot 

Dostanete se do Mysql konzole a po zadání příkazu SHOW PROCEDURE STATUS; vidíte error hlášku níže:

SHOW PROCEDURE STATUS;
ERROR 1728 (HY000): Cannot load from mysql.proc. The table is probably corrupted

1. prvně backup, vždycky backup!

mysqldump -u root -p mysql proc > /tmp/mysql_proc_backup.sql

2. Řešení, po kterém mám ověřeno, že nic nikde necrashlo v produkci

Vytučnil jsem příkaz, který vás vyzve k zadání hesla. Bez –force to nefungovalo.

mariadb-upgrade -u root -p --force --upgrade-system-tables
Enter password:
The --upgrade-system-tables option was used, user tables won't be touched.
Phase 1/7: Checking and upgrading mysql database
Processing databases
mysql
mysql.column_stats OK
mysql.columns_priv OK
mysql.db OK
mysql.event OK
mysql.func OK
mysql.gtid_slave_pos OK
mysql.help_category OK
mysql.help_keyword OK
mysql.help_relation OK
mysql.help_topic OK
mysql.host OK
mysql.index_stats OK
mysql.innodb_index_stats OK
mysql.innodb_table_stats OK
mysql.plugin OK
mysql.proc OK
mysql.procs_priv OK
mysql.proxies_priv OK
mysql.roles_mapping OK
mysql.servers OK
mysql.table_stats OK
mysql.tables_priv OK
mysql.time_zone OK
mysql.time_zone_leap_second OK
mysql.time_zone_name OK
mysql.time_zone_transition OK
mysql.time_zone_transition_type OK
mysql.transaction_registry OK
mysql.user OK
Phase 2/7: Installing used storage engines… Skipped
Phase 3/7: Fixing views… Skipped
Phase 4/7: Running 'mysql_fix_privilege_tables'
Phase 5/7: Fixing table and database names … Skipped
Phase 6/7: Checking and upgrading tables… Skipped
Phase 7/7: Running 'FLUSH PRIVILEGES'
OK

Ověření, že to zabralo

show procedure status ; už proběhne v pořádku.

Poradilo by si s tím AI?

Gemini flash se točil pořád dokola na stejném řešení bez výsledku. Ale to je logické, tento model není uzpůsobený na debugování kódu a řešení „složitějších“ úloh. Gemini 3.1 PRO si s tím poradil vcelku rychle. ChatGPT by mi po proceduře restartoval Mariadb server, takže by to shodilo produkci a resetovalo všechna navázaná spojení aktivních aplikací a myslím si, že by si s tím nakonec neporadil, ale pokus tam je. Backupovalo by to všechny databáze, pár užitečných příkazů.

Poradily by si s tím lokální AI modely?

Vyzkoušem glm-4.7-Flash-claude-opus-4.5-high-reasoning-distill a ten failoval na úrovni ChatGPT.

Vyzkoušíme qwen3-coder-30b-a3b-instruct, no…posuďte sami, já z toho nadšený nejsem:
(ale je to rychlé na RTX 3090 24GB 131,55 tokenů/s to smekám klobouk)

mistralai/Devstral-small-2-2512 (GGUF model) – ten by v bodech 4 a 5 sestřelil Mariadb server, 44,47 tokenů/s na RTX 3090 24GB je však slušné, na debugování to není.

Claude-3.7-sonnet-reasoning-gemma3-12b@q8_0 (kvantizace 8-bit)

Myslel jsem si, že špatně promptím, mám nový chat, zkoušel jsem mu dát i víc šancí, jestli se nedobere nějakému lepšímu řešení. Sice nic nesestřelí, ale taky problém nevyřeší, takže je to na úrovni Gemini 3 FLASH:

Gemma-3-27b-it
Úroveň jako Gemini flash, ale nic to aspoň nerozbije, ale taky neopraví, nevyřešilo to situaci, ve které to bylo.

Qwen3.5-35B-A3B-GGUF
Tohle je údajně jeden z nejvíce doporučovaných modelů. Má MoE a reasoning.
Modelu trval velmi dlouho thinking a reasoning. Spotřeba celé sestavy s RTX 3090 24GB byla 304Wattů a jeden z příkazů byl stejně systemctl stop mariadb 🙁

Zkusil jsem i qwen3-coder-30b-a3b-instruct. Autoři doporučili tato nastavení: „We suggest using temperature=0.7, top_p=0.8, top_k=20, repetition_penalty=1.05.“
138,32 tokenů/s je šílená rychlost. Nicméně taky by to dopadlo totálním failem.

Takže z pohledu lokálních modelů spíš zklamání, na psaní pipelines v Gitlabu to bude určitě dobré, ale na debugování „pokročilejších“ problémů na MariaDB se to seniorovi právě nevyrovná.

Jaký AI model vybrat?

Načtěte si tento článek na huggingface.com je to tam fakt pěkně rozepsané.

Závěr

Budu rád, když v diskusích dáte rady, co upravit, aby modely nefailovaly v tomto řešení, případně jak sepsat prompt, který by dokopal lokální jazykový model k řešení?
Za mě na debugování složitějších chyb to není, ale na generování nějakého jednoduchého kódu s jasným promptem to fungovat bude.
Přesto v článku vidíme řešení tohoto errou, k jehož vyřešení byla potřeba stále lidská síla a schopnost googlit.

zdroj