[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

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]