Posted to tcl by Zarutian at Fri Apr 13 16:30:03 GMT 2007view raw

  1. # The below text by Zarutian is here by put in the international public domain.
  2. #
  3. #Backaus-Noir Form:
  4. # task_quanta := input_queue, output_queue, address_book, state, run_quota
  5. # run_quota := how many commands to be run until next task switching (the size of the slice so to speak)
  6. # input_queue := message*
  7. # output_queue := message*
  8. # message := address_handle*, data
  9. # address_book := address_book_entry*
  10. # address_book_entry := address_handle, real address of an other task_quanta or an entity that can recive messages
  11. # state := return_stack, data_stack, definitions
  12. # return_stack := stack_frame+
  13. # stack_frame := code, code_index
  14. #
  15. # when a message is recived for an task_quanta
  16. # all addresses in the message are substituted to address_handles
  17. # makeing new address_handles for previously unknown addresses
  18. # when a message is sent from an task_quanta
  19. # all address_handles are substituted to real addresses
  20. #
  21. # a task_quanta can only be suspended because of one of these conditions has occured:
  22. # a) run_quota for current scheduling round has been used up
  23. # b) the task_quanta requested the next message from its input queue
  24. # and the input queue is empty
  25.  

Comments

Posted by Zarutian at Fri Apr 13 16:49:28 GMT 2007 [text] [code]

# continued: # # definitions := definition+ # definition := name, code