cache garbage collector

Closes #257

See merge request !817

Main motivation is getting rid of tab-space mix.

Vladimír Čunát authored 5 years ago and Petr Špaček committed 5 years ago

I think the condition is still quite well readable even though much
shorter than my original !(kd[i - 1] == 0 && kd[i - 2] == 0)

Vladimír Čunát authored 5 years ago and Petr Špaček committed 5 years ago

- don't print a line in every checking cycle
- don't exit when cache isn't found
- reduce recommended interval to 10s (compromise)
- don't increase cache size (but keep the code for now)

Vladimír Čunát authored 5 years ago and Petr Špaček committed 5 years ago

I can't see any real benefit of floating-point in the amount_tofree
computation; we could use round(), but it doesn't seem significant.

Vladimír Čunát authored 5 years ago and Petr Špaček committed 5 years ago

For example, "10foo" will no longer be accepted as number 10.

Vladimír Čunát authored 5 years ago and Petr Špaček committed 5 years ago

It should be no real change, just better readability, hopefully.

Vladimír Čunát authored 5 years ago and Petr Špaček committed 5 years ago

Basically all use cases get renamed to *_E(), except one in utils/kr_cache_gc.
It was perhaps confusing that this name only applied to 'E' entries.

Libor Peltan authored 6 years ago and Petr Špaček committed 5 years ago

categories: different level of what should be deleted based on DB usage