Vlákno názorů k článku Common Lisp: žralok mezi programovacími jazyky (2.část) od atarist - Trosku mi unika, proc jsou ty integery na...

Trosku mi unika, proc jsou ty integery na 30 nebo 62 bitech. Nema byt 32 a 64?

Pár bitů se používá na tagy.

28. 4. 2022, 10:27 editováno autorem komentáře

ajo vlastne, pro ten union. To by ale stacil jeden bit ne? Jako rozliseni hodnota <---> reference?

Nevím, co přesně dělá SBCL, ale třeba Symbolics Lisp Machines používaly ještě druhý bit tagu pro určení, jestli se jedná integer nebo float.

No to je různé pro různé platformy. Ony se ty bity pro tagy a masky řeší až v době překladu pro danou architekturu. A například na x86-64 je (zdá se) rezervován jiný počet bitů, než na 32bitové x86 - ale popravdě je to trošku divočina, ještě to musím prozkoumat (třeba takový PicoLisp to má řešeno přímo ve specifikaci)

Tiez si myslim, ze to bude z tohoto dovodu - tag oznaci, ze hodnota je ulozena priamo a nie je to referencia. Pravdepodobne rychlejsie na vypocty, ale zmensuje sa rozsah toho typu.

Po kratkom googleni to v pripade SBCL bude este trochu komplikovanejsie to rozlisovanie, v pripade fixnum je tam len 1 bit ale lowtag je az 4 bity:

sb-vm:n-fixnum-bits
63
sb-vm:n-fixnum-tag-bits
1
sb-vm:n-lowtag-bits
4

Aj podla CLHS specifikacie je to implementacne zavisle.

(describe (* -1 (expt 2 62)))
-4611686018427387904
[fixnum]
(describe (* 1 (- (expt 2 62) 1)))
4611686018427387903
[fixnum]

28. 4. 2022, 13:19 editováno autorem komentáře

jj přesně tak. Já se tedy díval na zdrojáky generované při překladu a je to trošku komplikované.