|
本文成篇的起因于社长的一条记录 链接 D- ~4 O% z7 }# G: P
# L l' H w$ `" b0 a5 `) @* q8 p
递归是计算机科学中一种解决问题的重要方法。所谓递归,通俗地说就是自己调用自己,它在很多语言和环境下都可以实现。以社长的工作场景为例,根据爱坛上的信息,大概是两个关键词:Unix和汇编。本人条件有限,只能用Linux模拟,汇编也只限于x86汇编。下面就是用汇编语言编写的,用递归方法计算阶乘的示范程序。4 _# p% I; b" {7 x+ U0 X
- LEN_OF_OUTPUT equ 10
3 b: M/ y7 T5 k/ H# ?
4 D# [9 K5 X0 j$ M5 w- S- section .data ;9 u O8 S+ Q6 n% H( v
- userMsg db 'Please enter a single-digit number: ' ;0 ~% i6 U; e5 Q4 d" W7 X$ j7 Y
- lenUserMsg equ $-userMsg ;7 H- G1 ~8 ]. w. S# E; w1 m
- disp1Msg db 'The factorial of '7 s0 @* C" P* E: V. p
- lenDisp1Msg equ $-disp1Msg
9 A2 j7 @: B. [% N+ ~ - disp2Msg db ' is '
2 }; V2 Y) V) y. B2 U" r - lenDisp2Msg equ $-disp2Msg
" }! O3 r4 `. j) Z - errMsg db 'Wrong input. Only one-digit number can be accepted.',0x0a
" p5 [8 z# O4 j% e/ e2 D% i - lenErrMsg equ $-errMsg * f j* T6 ?7 }8 S
- / l" F0 Q. x+ P' _+ ^$ E
- section .bss ;
: [8 B' e. [4 L3 P3 {1 G! [; W - num resb 1! d, \" v/ `4 k5 ]" `% l
- result resd 1
; ]# B9 D6 {, Y9 P) D- C - buffer resb LEN_OF_OUTPUT+19 J4 c1 z( `1 J8 [. e, X
-
( J5 }0 x* ^; y$ t8 v; e/ h - section .text ;* X: p0 D2 P5 Z
- global _start9 [5 B+ e- y1 X/ A; s; E7 Z
-
4 A0 S* ]8 F( g, N+ V - _start: ;
# p. g7 G$ a- K) m; I% w' h' \ - mov eax, 4! K0 [2 `* \% j
- mov ebx, 1. Z5 k8 ]/ Z8 Q, N" n4 _
- mov ecx, userMsg
4 h Y# Y2 J( X. B, z' M& F0 E- p: p - mov edx, lenUserMsg
9 c/ P, v. K4 _ - int 80h
Q, K$ S1 _0 z0 E" l; ~; q
, G" v! G0 Q/ n- F( z- ; read user's input
4 y" r( ?' O) W$ x% A - mov eax, 3
* @% h1 Z7 l* e) O! }/ e - mov ebx, 0
: C2 S! `/ S+ T - mov ecx, num , F9 B2 y. g! n5 Z
- mov edx, 1 ; length of input buffer
& Q1 K4 l" Y6 ]' C! R9 ]* l, ? - int 80h
8 X" `8 m5 v8 ^ -
% W1 L, G4 U, K5 z- d - mov eax, [num]2 G* D! E/ z2 U% b$ t9 e
- and eax, 0xFF. {& l' | s- i1 j, W
- sub eax, 0x30
. p/ e8 m1 V& f/ B9 n6 ~6 f- i - jl ERROR- I. H, }, o1 t7 D& z) J
- cmp eax, 10
9 E5 E% T' e N+ A, ^4 u - jl DO_CALC. k9 g [0 j( @( S( @+ J9 g
- ERROR:
4 b' n2 @7 K: f) a - mov eax, 4
5 U' z: l T& C: R5 h - mov ebx, 1
/ M& ~" c2 Q. j - mov ecx, errMsg9 x a0 s; m% g
- mov edx, lenErrMsg2 R& n$ t- \2 o: I: H7 Z
- int 80h
( K" r( c) n$ p - jmp EXIT3 z5 R2 K1 A( w* G' p
- 2 |& X$ w2 S5 J( n# V
* E8 B3 u/ _! Z) k4 p2 v. F- DO_CALC:% i& N$ ~% g% ?" ]( w& M
- call factorial
/ @' m3 L; C# J1 ] - ; The parameter is in eax. After calling, the result will be stored in eax.
4 n1 U5 {: ~) X- | - mov [result], eax ; Save the result
: t' l9 j" `0 Y8 T0 K( M7 k+ h4 _
4 X4 z! r& `9 S/ B- ; print result9 h: \0 u5 G7 S! S' ]0 f, y
- mov eax, 4% q% r3 S: ~! z7 O( z4 ~1 U
- mov ebx, 15 m( U/ T T+ B# z3 u) S8 {- S
- mov ecx, disp1Msg
5 k7 B( d0 C* @# @& G$ J8 v. { - mov edx, lenDisp1Msg
. g2 _0 |1 M( n: p, d( ] - int 80h / t+ N: h) o4 H
- mov eax, 4. x. R5 W! Q I- A
- mov ebx, 12 Z1 f2 o! a* }8 D1 [; ]7 v
- mov ecx, num4 _ a4 z# W7 u. [. ~: B- o( k
- mov edx, 1
9 F4 [. H. O' ?; Y7 l: G* r - int 80h
( y# a8 i6 k: Z - mov eax, 4; F: C: P. M# |3 W/ u' V5 e9 X
- mov ebx, 16 u" m2 v% ~" N5 y2 y
- mov ecx, disp2Msg0 y* o3 Z$ M, ]/ [# l+ t
- mov edx, lenDisp2Msg m6 R, d& {' T. O$ m. D% g, q
- int 80h
/ F' _- j' u' j; j - 9 r! ~4 C4 H! } r$ Z4 ]) L u* x
- ; output number y+ k5 L2 x; Q
- mov eax, [result] ; VALUE THAT I WANT TO CONVERT AND DISPLAY( ]! c {3 G" ~; y; x( b; i
- mov byte [buffer+LEN_OF_OUTPUT],0x0a, {' W* c9 m" C5 s" q
- lea esi,[buffer+LEN_OF_OUTPUT]2 V' ^+ f+ q0 s$ @
- mov ebx,10
# c1 ?- U& G- k) u N7 y - ASC_LOOP:
, n/ @+ Q0 i, Q5 G - mov edx,0 ; clear dx prior to dividing edx:eax by bx" L4 e. m1 c: s8 e3 X3 F
- div ebx ;DIV EAX/10
* [ A& Q$ s6 P) e - add edx,0x30 ;ADD 48 TO REMAINDER TO GET ASCII CHARACTER OF NUMBER " w( m& q" |$ e
- dec esi ; store characters in reverse order
0 r* K4 I: p8 H$ x3 V- ? - mov [esi],dl
& q& ~" j# r9 y8 T# N2 D6 { - cmp eax,0
# D' c& O9 ?7 g - jz END_ASC ;IF AX=0, END THE PROCEDURE OF NUMBER TO ASCII4 ], A6 T) [/ i i
- jmp ASC_LOOP ;ELSE REPEAT
' _/ P. D0 Z; z( I' j - END_ASC:* G4 i7 e; i; l/ R4 s
- mov eax, 4* I6 h' }9 w- V J
- mov ebx, 1
3 l1 ?! E7 g/ a+ C* i - mov ecx, esi
5 |6 S) j* @( s1 l( h3 J; G - lea edx,[buffer+LEN_OF_OUTPUT+1]
. T+ }6 t' }# i+ i6 e8 p - sub edx, ecx
6 B% x" u: y* C - int 80h
$ ]* h! T+ M4 @, q" j - $ Q& G/ P. `3 }$ a5 l" m
- ; Exit code& i$ `4 f: I& X+ @& r$ O* F
- EXIT:
, l* w# H! m! @0 l( | - mov eax, 1
5 x# W# z7 k; ^) C - mov ebx, 0
2 e9 y1 ^/ `" Q - int 80h' }- x9 Z, q9 q
- ( n7 m: B. R& v5 T E( t% Z, t. N
- 0 D4 I# S% x3 s. k( T& {
. Y, b' W/ W5 {) q0 }# Z& n: @- ; Factorial function using recursion
. T) h8 ]" |/ ?4 K - factorial:, x+ C( v: t0 Y" W# U# B" _
- ; Check if eax is 0 (base condition)
# C9 S8 c- t A$ t. ~% T - cmp eax, 0, z; a, z }" Q$ W/ F& T, q1 w
- jz end_recursion
, j9 U* w5 a0 Z" B" s2 N. R+ h - e1 x6 \7 {6 _6 h( W
- ; Save the current value of eax! f8 ?; p# T5 M4 A
- push eax
3 w9 n7 B8 S# Z% |! T y
/ S" s. [; V! z" D+ D+ M6 d- ; Decrement eax and call factorial function recursively4 P1 L5 u- P) ~5 \
- dec eax' W7 P* Y; z; z- O1 ]; |) T% o0 }4 c0 m
- call factorial, X6 {; @# U( q. t# d. \
, A+ I4 t+ g t- f2 y# ]1 c, s- ; Multiply the result returned in eax with the saved value of eax) s4 M1 `. p7 _- J! I* A* d" b
- pop ebx
! n/ f! r1 z4 O/ K. k - imul eax, ebx
0 b4 x3 w* `' T; q2 `6 A+ c/ } - + r' ~* t5 ?# c( n F Y3 w
- ret' _0 j1 j' i ]) ^2 M, Y
- # g0 I/ L7 M- H; C
- end_recursion:4 H6 o# F d/ v/ Q
- ; Return 1 when eax is 0 (base condition)/ B0 l8 U- u0 P! L
- mov eax, 1
; ]" ]. W8 P% j$ \2 b' X - ret
复制代码 % j2 O7 t/ i$ K) F
程序在nasm编译器下通过并成功运行。相应的命令行如下,有兴趣的童鞋可以自行验证。: s3 B# l. v$ K9 J. S
- nasm -f elf factorial.asm
8 ~1 B" k( {3 b2 `1 \ - ld -m elf_i386 -s -o factorial factorial.o" P7 q$ A* X! p+ t1 |
- ./factorial# e, L) }- C. d( W
复制代码
3 r9 Y+ n7 }* w; D+ l1 ]: ?! e由于汇编不擅长处理I/O,所以程序限制输入仅限于一位数字(0-9),以免过于喧宾夺主。其实程序中真正紧扣主题的就最后一小段:- A$ ]2 w0 @3 c
- ; Factorial function using recursion
4 \1 @7 G' _9 M# ?7 I - factorial:
$ H" J& E: E! U3 F. Q: B - ; Check if eax is 0 (base condition)% Z) v: M# V" S9 |; U5 V6 @% l5 k0 V
- cmp eax, 0: f$ Y6 A* A8 @
- jz end_recursion/ o+ o" r4 P: C q! S- h |1 N
- & W+ V* h- J- ~# x
- ; Save the current value of eax6 X" i7 ~2 _: H# G
- push eax* U. I' I2 D9 Z2 K
- 8 z7 q1 N# Z1 i+ r+ ~- D
- ; Decrement eax and call factorial function recursively' e1 e* y+ B2 X9 m& ~' i
- dec eax, j; U2 E0 {& O( C- p/ z
- call factorial
: \* T$ F+ `$ M; }0 ~' Y: `/ v - % J$ W0 t; J5 @# d- t6 k* r
- ; Multiply the result returned in eax with the saved value of eax& _! [! x9 F1 b: e
- pop ebx
$ C! \' R2 m; ` - imul eax, ebx
8 n6 _# S2 e5 ]" a7 @- X. @) N& b - 0 v' K0 Y9 H1 G
- ret
! K2 z7 } R1 C' l" R/ e5 Z: _2 g
4 C3 Y. ^ W' F% c, Z- end_recursion:
0 N6 Q9 @ i* h5 w - ; Return 1 when eax is 0 (base condition)
; c- B, ]( N, {( q8 ]0 c - mov eax, 1% L C4 @8 q$ t; H/ `! u7 ^5 `
- ret
复制代码 可以清晰看出函数在其函数体中调用了它本身。
; d3 t2 P( C6 \$ A- x: S& d3 U* U1 a1 R- g) I8 C1 f2 B
以上证明了汇编语言不是实现递归的障碍。推而广之,所有中低级语言都可以轻松实现递归。某些高级语言反而不能做递归是人为强制规定的,换而言之是原作者权衡利弊的结果。
4 x, V, m5 r/ g4 B2 j6 \. J, Z; v5 ]" ~: i
世界上没有免费的午餐,递归在编写程序的时候简洁优雅,但运行过程中要付出极大的代价,甚至有可能是灾难。由于是函数反复调用自己,那么所有的中间结果都要暂时保留在栈(stack)上,直到最后一层函数调用完毕才能逐步清除。这既低效,又不安全。栈式计算是一个古老的概念,它与现代的多寄存器和流水线等都格格不入,难以优化提速。递归对栈空间的占用更可怕,占用量与调用函数次数线性相关(套用复杂度的概念就是O(n)),递归次数多了之后,很容易超出栈容量,从而导致栈溢出。具体到社长的工作中可能还有很多实时任务,一大堆高优先级的中断响应程序可不会等着递归函数运行完了再启动,这会让栈空间雪上加霜。想一想某个核电控制程序突然栈溢出了,那场面,哈哈哈。
0 C$ Q& B7 D5 @% g1 i* C. ]3 s: s! C
这可以解释,为什么条件上有可能,但社长很长时间里都没有接触到递归编程。无论用C还是用汇编,都强调的是速度与可靠性。社长实战出发,不需要知道回字的4种写法。至于Python,整个编程思想都变了,Python假定计算机的计算速度远远超过了需求,编程者无需为性能而操心。 Python语言的设计初衷,也不是为关键任务而生,而是想让更多的门外汉用起计算机来。所以在Python程序中容易见到递归。4 r( ~- |: }4 z0 j) P) n2 p0 Z
% Y) F. a; ^* Z: a4 v有很多时候,递归用作概念性算法表达。真到了用代码实现的时候,再换用其它方法。比如说将递归转化成迭代(iteration)。) w# a& U1 ~$ d# X
! m5 D! `0 @ M! h% |" g8 {
另外,汇编语言作为一种低级编程语言,在不考虑时间成本的前提下,没有什么是它做不了的。本期课后作业:如何用汇编语言实现继承(Inheritance)和多态(Polymorphism)?请写出示范程序。我们知道继承和多态是面向对象编程(Object-oriented programming)的两个基本点,有了它们就可以实现汇编语言的面向对象编程。
- k- ~) k4 e. K0 g9 j/ F7 q7 X" J7 ~' ^$ j& S+ v
|
评分
-
查看全部评分
|