[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gnu-arch-users] [BUG] New bug report for 1k barrier PANIC
From: |
Robert Anderson |
Subject: |
Re: [Gnu-arch-users] [BUG] New bug report for 1k barrier PANIC |
Date: |
Mon, 30 Aug 2004 21:08:55 -0500 |
--- Original Message ---
From: "Robert Anderson" <address@hidden>
To: <address@hidden>, <address@hidden>
Subject: Re: [Gnu-arch-users] [BUG] New bug report for 1k
barrier PANIC
>--- Original Message ---
>From: address@hidden (James Blackwell)
>To: address@hidden
>Subject: Re: [Gnu-arch-users] [BUG] New bug report for 1k
>barrier PANIC
>
>>Robert Anderson wrote:
>>> // 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
>>
>>Among the many bugs _already existing_ bugs that this seems to be
>>exercising, one of them looks like there's an off by one on the
>>begin tag code. It tla detects and end-of-file tag, it reads all
>but
>>the very last byte (credit to jivera for finding this).
>
>There's all kinds of misbehavior going on here. How about this one:
>
>% echo
Good lord, what a POS email program. Let's try it this way:
'
% echo "// arch-tag: blah" > file
% /home/rwa/linux-packages/tla-1.2.1/bin/tla inventory
S file
% echo -n "// arch-tag: blah" > file
% /home/rwa/linux-packages/tla-1.2.1/bin/tla inventory
PANIC: Top-of-file arch tag crosses 1k boundary
'
Bob