Vax 750 correctable memory errors

[haynes%ucsce.ucscc.UUCP%Berkeley at ucscc.UUCP]

<>

Under 4.2BSD:  Sometimes we get a correctable memory error reported on
the console, and it seems to persist until the system is rebooted.  Presumably
it is in an area of memory that is only read, such as the kernel or locore.
This suggests that (1) The memory controller hardware/firmware doesn't
write the corrected word back into memory when it corrects an error, but
leaves the bad word in there. (2) An appropriate thing for the software to
do in case of a correctable memory error would be to read the contents of
the location and write it back, thus making the correction 'permanent'.

Can anybody confirm that (1) is true and that (2) is appropriate?  Has
anybody patched the kernel code to do this?  Is this problem peculiar
to 750s?

ucbvax!ucscc!haynes