> > > > > > that my linked list allocation file-backed strategy > > > > > > > > > > > > is __full of bugs densely__
> > > > > now i like bugs. all my life i loved insects! i was a nerdy introvert
> on to the software bugs
here is i.py right now, i'm trying to kind of direct my logic turmoil
to slowly improve it
here is the current backtrace:
File
"/nix/store/f2krmq3iv5nibcvn4rw7nrnrciqprdkh-python3-3.12.9/lib/python3.12/pdb.py",
line 1754, in _run
self.run(target.code)
File
"/nix/store/f2krmq3iv5nibcvn4rw7nrnrciqprdkh-python3-3.12.9/lib/python3.12/bdb.py",
line 627, in run
exec(cmd, globals, locals)
File "/home/karl3/projects/rep/rep/array.py", line 138, in <module>
doc[:] = b''
~~~^^^
File "/home/karl3/projects/rep/rep/array.py", line 111, in __setitem__
dealloc(old_id)
File "/home/karl3/projects/rep/rep/i.py", line 36, in dealloc
self.fsck()
File "/home/karl3/projects/rep/rep/i.py", line 114, in fsck
assert l8 <= self.yq - addr8
somehow it seems after a dealloc that the store became inconsistent.
(Pdb) list
31 addr8 = memoryview(id).cast('Q')[0]
32 l8 = max((self.q[addr8]+self.idsize-1)//self.idsize,1) + 1
33 self.q[addr8] = self.q[0]
34 self.q[addr8+1] = l8
35 self.q[0] = addr8
36 -> self.fsck()
37 def alloc(self, data, replacing=[]):
38 self.fsck()
39 l8 = max((len(data)+self.idsize-1)//self.idsize,1) + 1
40 addr8 = 0
41 assert self.q[addr8] != 0
(Pdb) p addr8
1
(Pdb) p id
b'\x01\x00\x00\x00\x00\x00\x00\x00'
(Pdb) p self.q[addr8]
11
(Pdb) p l8
4
(Pdb) p addr8
1
(Pdb) p l8
4
(Pdb) p self.w[addr8*self.idsize:addr8+self.idsize+4*self.idsize]
<memory at 0x7f0a3b9d9840>
(Pdb) p self.w[addr8*self.idsize:addr8+self.idsize+4*self.idsize].tobytes()
b'\x0b\x00\x00\x00\x00\x00\x00\x00\x04\x00\x00\x00\x00\x00\x00\x00k
brown fox jum\x00\t'
the 'k brown fox jum' content looks believable. additionally, the fsck
prior to the deallocation passed [ :S ]
i.py
Description: Binary data
