2

为什么这段代码不起作用？

TIB 10 ACCEPT
TIB SP@ 1 cells - 10 cmove

在该代码中，我尝试输入一个字符串并将其存储在终端输入缓冲区中，然后将其存储在参数堆栈中。

但是使用 .SI 看，这行不通。

4

3 回答 3

5

参数栈向低内存增长

示例代码的主要问题是参数堆栈向低内存增长。因此，副本目标的起点应该位于更高的内存地址（在现有/定义的参数堆栈内）。所以而不是

TIB SP@ 1 cells - 10 cmove

它应该是：

TIB SP@ 1 cells + 10 cmove

字符串的内存分配

下一个问题是参数堆栈上的字符串没有足够的存储空间。ACCEPT 剩下一个单元格（在 32 位系统上为四个字节），即实际字符数。使用示例输入“user10181”（9 个字符），

TIB 10 ACCEPT

结果是：

.S <1> 9  ok

暂时忘记那个额外的元素1，为了详细说明，我们在参数堆栈上分配了四个单元（实际值，例如，235，无关紧要），在 32 位系统上为 16 个字节：

235 DUP DUP DUP

那么结果TIB SP@ 1 cells + 10 cmove是：

.S <5> 9 235 8241 541085779 541215060  ok

我们看到四个单元中的三个（每个单元有四个字节）已被覆盖cmove（如预期的那样）。

TIB 被来自终端的后续输入覆盖

不幸的是，我们复制的字节并不像预期的那样。解码三个更改单元格（十进制）的输出，首先从

8241 541085779 541215060

转为十六进制：

2031 20405053 20424954

然后解码为ASCII：

20 31 20 40 50 53 20 42 49 54
   1      @  P  S     B  I  T

和倒车（我们首先有高内存，测试平台是little endian）：

 "TIB SP@ 1 "

那是我们第二行的前十个字符，TIB SP@ 1 cells + 10 cmove。因此很明显，终端输入缓冲区 (TIB) 太临时，无法在这种情况下使用。

解决方案

第三个问题的解决方案是在我们要求用户输入之前编译所有代码。例如，把它变成一个词，inputOnStack：

: inputOnStack TIB 10 ACCEPT 235 DUP DUP DUP TIB SP@ 1 cells + 10 cmove ;

结果是：

inputOnStack user10181  ok
.S <5> 9 235 24881 942747697 1919251317  ok

这对应于“user10181”，第十个字符是“a”（很可能来自 中的“a” inputOnStack）。

测试平台：

  • 树莓派，B 型。
  • 操作系统：Raspbian，由NOOBS 1.3.10安装，于 2014-09-09 发布。
  • Gforth：版本 0.7.0（安装sudo apt-get update; sudo apt-get install gforth）

1.更高级的代码版本可以使用实际的字符数。在任何情况下，如果将此代码集成到其他代码中，它应该以一种或另一种方式 DROPped 以平衡堆栈。

于 2015-01-11T20:06:01.380 回答
2

仔细考虑每个单词之后堆栈会发生什么。我在下面复制了您的代码，并在每个点都用堆栈深度对其进行了注释。

( 0 ) TIB ( 1 ) 10 ( 2 ) ACCEPT ( 1 )
( 1 ) TIB ( 2 ) SP@ ( 3 ) 1 ( 4 ) cells ( 4 ) - ( 3 ) 10 ( 4 ) cmove ( 1 )

因此，当SP@执行时，它返回一个指向堆栈元素 2 的指针。然后该指针递减一个单元格，从而产生一个指向堆栈元素 3 的指针（因为堆栈向下增长）。cmove然后覆盖 10 个字节，即 2 个堆栈元素（假设您正在运行 64 位）。因此堆栈元素 3 和 2 被更改。最后，cmove从堆栈中弹出三个元素，只留下一个。这是不变的。

于 2015-01-10T18:33:51.350 回答
1

亩！

基本上，您在这里所做的是将 CMOVE 复制到堆栈区域，在定义 SP@ 的 Forth 上（它不是标准字）。所以你销毁堆栈。答案是：这样的代码不应该工作。

问题不应该是“为什么这不起作用？” 但是“在什么情况下会产生预期的效果？”
让我们假设：

  • 这个 Forth 有一个可寻址和可写的堆栈（如果你认为关于 Intel 段描述符和 POP 和 MOV 指令的细节的阅读相同）

  • SP@ 指向此时调用的栈顶。

  • 堆栈长大。（如果它长大，情况就完全不同了）

  • 在调用开始时，堆栈是空的。

TIB 和 ACCEPT 是红鲱鱼，将被忽略。

 1 cells -   \ The pointer to the stack is changed opening up one cell

100 cmove  \ you overwrite one cell below the stack, 

        \ then the (32-bit) cell place where the result of SP@ resides *and*

        \ then TIB and then a couple of more bytes

假设一个受保护的 Forth，最后一个字节超出堆栈，并导致分段错误。

所以如果你想使用 Forth，你必须重新调整你的思想到低层次。把内存想象成一堆信箱，然后从那里开始。

于 2015-02-09T18:26:50.870 回答