Vitalik Buterin foreslår en ny model for hukommelseseffektivitet
Ethereums medstifter Vitalik Buterin har udgivet en ny artikel med titlen "Memory Access is O(N^(1/3))", som udfordrer en af de mangeårige antagelser i datalogien om, hvordan hukommelsesadgang måles. Traditionelt er hukommelsesoperationer blevet behandlet som konstant tid, eller O(1), i algoritmisk kompleksitet. Buterin hævder, at denne model er fejlbehæftet, og at både teoretiske og praktiske beviser tyder på, at hukommelsesadgang bør betragtes som O(N^(1/3)), hvilket betyder, at adgangstiden stiger med kubikroden af hukommelsesstørrelsen.
Denne artikel er oversat fra originalen. Læs den oprindelige version af vores korrespondent her.
Ifølge Buterin kan en forståelse af dette ændre, hvordan udviklere griber algoritmedesign og performanceoptimering an, især inden for områder som kryptografi, hvor hukommelsesadgangshastigheden spiller en afgørende rolle.
Teoretisk og empirisk grundlag for O(N^(1/3))-modellen
I sin analyse forklarer Buterin, at begrænsningen stammer fra fysiske begrænsninger, især lysets hastighed og den rumlige fordeling af hukommelsen. Han bruger en simpel model: En fordobling af den fysiske afstand fra en processor giver mulighed for otte gange mere hukommelse, men fordobler den tid, det tager at få adgang til den. Dette forhold understøtter terning-rod-skaleringen.
Han udvider dette ræsonnement til parallel adgang, hvor fysiske og energimæssige begrænsninger stadig gælder, selv om flere hukommelsesenheder kan tilgås samtidigt. I den virkelige verden udviser forskellige hukommelsesniveauer - fra CPU-registre til cacher og RAM - latenstidsmønstre, der nøje følger dette terning-rod-forhold.
Empiriske data understøtter yderligere teorien. Når man sammenligner adgangstider på tværs af hukommelsestyper i typiske systemer, vokser ventetiden omtrent med terningroden af hukommelsesstørrelsen, hvilket validerer Buterins foreslåede model.
Indvirkning på algoritmedesign og optimering
Buterin fremhæver, at dette perspektivskifte er afgørende for optimering af algoritmer, der er afhængige af forudberegning. I kryptografiske procedurer som elliptiske kurveoperationer eller binær feltaritmetik gemmer udviklere ofte forudberegnede tabeller for at fremskynde beregningerne. Under den gamle O(1)-model syntes det altid at være en fordel at udvide disse tabeller.
Men hvis hukommelsesadgangen er O(N^(1/3)), er der et punkt, hvor større tabeller bliver kontraproduktive på grund af langsommere adgang. I et af Buterins eksperimenter var en 8-bit forudberegnet tabel, der var gemt i cache, bedre end en større 16-bit tabel, der var gemt i RAM - hvilket viser, at hurtigere adgang opvejer større lagerplads i mange tilfælde.
Dette har yderligere konsekvenser for ASIC- og GPU-design, hvor lokal hukommelsesadgang kan optimeres til konstant tid, men global adgang forbliver begrænset af fysiske principper.
Konsekvenser for kryptoindustrien
Buterins resultater kan få betydelig indflydelse på blockchain og kryptografisk teknik. Mange kryptoalgoritmer, fra hashingfunktioner til zk-SNARKs og signaturordninger, er afhængige af hukommelseskrævende operationer. Ved at gentænke hukommelseskompleksiteten kan udviklere opnå mere effektive kryptografiske protokoller, hurtigere blockchain-validering og optimerede hardwareimplementeringer.
I takt med at branchen bevæger sig mod højtydende computere og modulære blockchain-arkitekturer, giver Buterins model et nyt perspektiv på innovation - med vægt på lokalitet, hukommelseseffektivitet og realistisk modellering af ydeevne i næste generations krypto-infrastruktur.
Læs også: Vitalik Buterin kommenterer den sårbarhed, der opstod efter Chat GPT-opdateringen
Seneste crypto nyheder
- Forex
- Crypto