forth - 从终端输入缓冲区加载到参数堆栈

Question

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

TIB 10 ACCEPT
TIB SP@ 1 cells - 10 cmove

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

但是对于 .S，我发现这不起作用。

Answer 1

参数栈向低内存增长

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

TIB SP@ 1 cells - 10 cmove

应该是:

TIB SP@ 1 cells + 10 cmove

字符串的内存分配

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

TIB 10 ACCEPT

结果:

.S <1> 9  ok

暂时忘记那个额外的元素¹，为了这个阐述的目的，我们在参数堆栈上分配了四个单元格(实际值，例如，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”(很可能来自 inputOnStack 中的“a”)。

测试平台:

• Raspberry Pi , 模型 B。
• 操作系统:Raspbian ，由 NOOBS 1.3.10 安装, 发布于 2014-09-09。
• Gforth:版本 0.7.0(使用 sudo apt-get update; sudo apt-get install gforth 安装)

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