Meziběhová keš #59

New issue

Open

opened 2024-04-07 13:34:23 +02:00 by jan · 4 comments

jan commented

2024-04-07 13:34:23 +02:00

Member

Například po kešování KaTeXu, ale i jiných věcí.

Jak dává smysl tohle implementovat? Dává smysl si psát nějaké soubory na disk a doufat, že to za nás OS nakešuje v paměti? V jakém formátu? Dává smysl použít pickle? JSON? Jak bude tohle interagovat s paralelním během mnoha instancí, kde každá zpracovává jinou sérii?

Například po kešování KaTeXu, ale i jiných věcí. Jak dává smysl tohle implementovat? Dává smysl si psát nějaké soubory na disk a doufat, že to za nás OS nakešuje v paměti? V jakém formátu? Dává smysl použít pickle? JSON? Jak bude tohle interagovat s paralelním během mnoha instancí, kde každá zpracovává jinou sérii?

jancerny commented

2024-04-08 18:13:26 +02:00

Member

Já sám v jiných projektech cachuju KaTex na disk a má to velký vliv na rychlost. Ukládám to jako hashmapu pomocí knihovny na Marshalling.

Já sám v jiných projektech cachuju KaTex na disk a má to velký vliv na rychlost. Ukládám to jako hashmapu pomocí knihovny na [Marshalling](https://en.wikipedia.org/wiki/Marshalling_(computer_science)).

mj commented

2024-04-08 18:16:10 +02:00

Owner

Nejdřív bych změřil, jak rychlý (pomalý?) ten KaTeX vlastně je. Aby nebyl rychlejší než ta keš :)

jirikalvoda commented

2024-04-08 18:36:05 +02:00

Owner

Osobně mám poměrně rozpačité názory.

Na jednu stranu hezky vyřešené kešování by nebylo špatně.
Na druhou stranu to může být fakt velký zdroj problémů s invalidováním.

Pokud už chceme kešovat, rozhodně by se hodilo, kdyby to byl nějaký obecnější "framework", terý by se dal použít i pro kešování mimo formátítko.
Tak nějak čekám, že v KSP by keš měla být spíš KSP orientováná než spuštění orientovaná.

Jak si například přestavuješ řešit kešování KaTeXu vzhledem k tomu, že momentálně můžeš napsat \def\brůžek{brůžek} a tím změnit výstup všeho následujícího?

Osobně mám poměrně rozpačité názory. Na jednu stranu hezky vyřešené kešování by nebylo špatně. Na druhou stranu to může být fakt velký zdroj problémů s invalidováním. Pokud už chceme kešovat, rozhodně by se hodilo, kdyby to byl nějaký obecnější "framework", terý by se dal použít i pro kešování mimo formátítko. Tak nějak čekám, že v KSP by keš měla být spíš KSP orientováná než spuštění orientovaná. Jak si například přestavuješ řešit kešování KaTeXu vzhledem k tomu, že momentálně můžeš napsat `\def\brůžek{brůžek}` a tím změnit výstup všeho následujícího?