# 수식 ab - 12a + 18b - 7을 평가하는 프로그램 
# 
# 설정: 지연로딩 (delayed load) OFF; 지연분기 (Branch delays) OFF, 
#           트랩파일 (Trap file)   ON; 의사명령 (Pseudoinstructions) ON    
 
        .globl  main 
 
main:    
        lw      $t0,a          # a 구하기 
        lw      $t1,bb         # b 구하기 
        mul     $t0,$t0,$t1    # a*b 
        subu    $sp,$sp,4      # a*b 를 스택에 집어넣기 
        sw      $t0,($sp) 
         
        lw      $t0,a          # a 구하기 
        li      $t1,-12        #  
        mul     $t0,$t0,$t1    # -12a 
        subu    $sp,$sp,4      # -12a 를 스택에 집어넣기 
        sw      $t0,($sp) 
         
        lw      $t0,bb         # b 구하기 
        li      $t1,18         #  
        mul     $t0,$t0,$t1    # 18b 
        subu    $sp,$sp,4      # 18b 를 스택에 집어넣기 
        sw      $t0,($sp) 
 
        li      $t1,-7         # 합을 -7로 초기화 
        lw      $t0,($sp)      # 18b 를 스택에서 빼내기 
        addu    $sp,$sp,4 
        addu    $t1,$t1,$t0    # 18b -7 
                 
        lw      $t0,($sp)      # -12a 를 스택에서 빼내기 
        addu    $sp,$sp,4 
        addu    $t1,$t1,$t0    # -12a + 18b -7 
                 
        lw      $t0,($sp)      # ab 를 스택에서 빼내기 
        addu    $sp,$sp,4 
        addu    $t1,$t1,$t0    # ab - 12a + 18b -7 
          
done:   li      $v0,1          # 합 출력 
        move    $a0,$t1 
        syscall 
        li      $v0,10         # 끝 
        syscall    
 
        .data 
a:      .word  0 
bb:     .word  10 
 

질문: (생각을 요하는 문제)
스택에 너무 많은 것들을 집어넣으면 메모리가 가득 찰까요?

1.7 실행시 스택 (런타임 스택, Runtime Stack)

http://chortle.ccsu.edu/AssemblyTutorial/Chapter-25/ass25_9.html

답: 네

아무리 좋은 컴퓨터 시스템이라 할지라도 메모리의 양은 무한합니다. 그래서 메모리에 존재하는 워드의 수보다 많은 워드를 집어넣는것이 가능합니다. 프로그램이 처음 실행될때 운영체제가 꽤 큰 스택을 주기 때문에, 그런일은 보통 무한루프때문에 일어납니다.

위의 사진은 일반적인 운영체제가 어떻게 메모리를 관리하는지 보여줍니다. 최고 4기가 바이트의 (가상) 메모리가 존재합니다. (주: 메모리 주소가 32비트 크기라고 가정할 때에; 64비트 운영체제에서도 메모리는 이와 비슷한 방식으로 관리됩니다) 메모리 구간 0x10000000 에서부터 0x7FFFFFFF 까지, 약 1.8기가 바이트가 데이터와 스택 세그먼트가 들어갈수 있는 자리입니다.

프로그램이 시작될때 스택포인터 $sp는 유저 메모리의 맨 위 바로 아래 마지막 워드의 주소인 0x7FFFEFFC를 가리킵니다. 프로그램이 실행되는동안 스택은 아래 (사용가능한 공간) 으로 확장됩니다. 데이터 세그먼트는 프로그램이 실행되면서 위로 자랍니다. 물론 동적인 프로그램에서는 두 세그먼트 모두 확장과 수축을 반복합니다. 만약 더이상 메모리가 남아있지 않다면 두 세그먼트는 중간 어디선가 만나게 됩니다.

다른 (후진) 방법으로는, 0x10000000에서 0x7FFFFFFF까지의 메모리를 반으로 나눠 스택과 데이터 구간으로 쓰는 방법이 있습니다. 그러나 이런 방법으로는 데이터세그먼트에 아주 적은 데이터가 있더라도 스택이 그 공간에 갇히는 수가 생깁니다.

질문:
어느 세그먼트가 코드를 저장하는데 쓰입니까?