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。更高级的代码版本可以使用实际的字符数。在任何情况下，如果将此代码集成到其他代码中，它应该以一种方式DROPped来平衡堆栈。}

Answer 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从堆栈中弹出三个元素，只留下一个元素。这没有改变。

Answer 3

MU！

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

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

这个Forth有一个可寻址和可写的堆栈（如果您认为有关英特尔段描述符的相同读数以及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，你必须将你的想法重新调整到低水平。把内存想象成一堆信箱并从那里开始。

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

3 个答案:

参数堆栈向低内存增长

字符串的内存分配

来自终端的后续输入

解决方案