Hoe stel je een maximale uitvoeringstijd in voor een mysql-query?

Ik dacht dat het al wat langer bestond, maar volgens dit ,

MySQL 5.7.4 introduceert de mogelijkheid om server-side uitvoeringstijdlimieten in te stellen, gespecificeerd in milliseconden, voor alleen-lezen SELECT-instructies op het hoogste niveau.

SELECT 
/*+ MAX_EXECUTION_TIME(1000) */ --in milliseconds
* 
FROM table;

Merk op dat dit alleen werkt voor alleen-lezen SELECT-instructies.

Bijwerken: Deze variabele is toegevoegd in MySQL 5.7.4 en hernoemd naar max_execution_time in MySQL 5.7.8. (bron )