[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gnu-arch-users] [BUG] New bug report for 1k barrier PANIC
From: |
Robert Anderson |
Subject: |
[Gnu-arch-users] [BUG] New bug report for 1k barrier PANIC |
Date: |
Mon, 30 Aug 2004 17:48:23 -0500 |
Here is a hopefully more clear bug report for the 1k PANIC issue,
since there seems to be a lot of confusion and misconception on
this so far:
This report is for GNU tla 1.2.1 from ftp.gnu.org.
Consider the following:
% ~/linux-packages/tla-1.2pre3/bin/tla inventory --ids
S file i_df5fee29-4522-4f55-a800-1a6a8d304deb
This is the implicit inventory id using 1.2pre3. This is
consistent with the tag in the file:
% tail file
// arch-tag: df5fee29-4522-4f55-a800-1a6a8d304deb
Therefore it seems that there is NO TRUNCATION of the tag. This
seems to be the main point of confusion.
Now, using GNU tla 1.2.1:
% ~/linux-packages/tla-1.2.1/bin/tla changes
[snip output]
PANIC: Top-of-file arch tag crosses 1k boundary
So, there is a problem here which is independent of any id-tag
truncation issue. I don't see how this can't be considered a bug
of high severity.
It is interesting to note:
% wc --bytes file
1025 file
I hope this is useful in fixing the bug.
Thanks,
Bob
- [Gnu-arch-users] [BUG] New bug report for 1k barrier PANIC,
Robert Anderson <=