Mpi direct

eli/README

@@ -5,6 +5,7 @@ Usage:
 Copy sc-mode.el and tcell-mode.el to your emacs library path
 and add the following code into your .emacs file.
 
+(require 'cl)
 (require 'tcell-mode) ; recursively requires sc-mode
 (add-to-list 'auto-mode-alist (cons "\\.sc$" 'sc-mode))
 (add-to-list 'auto-mode-alist (cons "\\.tcell$" 'tcell-mode))

eli/sc-mode.el

@@ -125,9 +125,11 @@
 
 
 (define-derived-mode sc-mode lisp-mode "SC"
-  (setf (car font-lock-defaults)
-	(list 'sc-font-lock-keywords
-	      'sc-font-lock-keywords-1 'sc-font-lock-keywords-2))
+  (setq font-lock-defaults
+	(cons
+	 (list 'sc-font-lock-keywords
+	       'sc-font-lock-keywords-1 'sc-font-lock-keywords-2)
+	 (cdr font-lock-defaults)))
   (let ((tag 'lisp-indent-function))
     ;; SC constructs
     (put 'def tag 2)

eli/tcell-mode.el

@@ -107,7 +107,9 @@
 	      ;; pseudo variables
 	      (,(concat
 		 "\\<" (regexp-opt
-			'("PROBABILITY" "WDATA" "WORKER-ID" "this") t)
+			'("PROBABILITY" "WDATA" "WORKER-ID" "EXITING"
+                          "EXITING-NORMAL" "EXITING-EXCEPTION" "EXITING-CANCEL" "EXITING-SPAWN"
+                          "this") t)
 		 "\\(\\.\\sw+\\)?\\>")
 	       (1 tcell-variable-name-face))
 	      ))))
@@ -120,9 +122,11 @@
   "Default expressions to highlight in Tascell mode.")
 
 (define-derived-mode tcell-mode sc-mode "Tascell"
-  (setf (car font-lock-defaults)
-	(list 'tcell-font-lock-keywords
-	      'tcell-font-lock-keywords-1 'tcell-font-lock-keywords-2))
+  (setq font-lock-defaults
+	(cons
+	 (list 'tcell-font-lock-keywords
+	       'tcell-font-lock-keywords-1 'tcell-font-lock-keywords-2)
+	 (cdr font-lock-defaults)))
   (let ((tag 'lisp-indent-function))
     ;; Tascell constructs
     (put 'do-two tag 2)

src/c2sc-lex.lsp

@@ -288,7 +288,7 @@
 (defun lex-prev-token ()  *prev-token*)
 (defun lex-colon-follows () *colon-follows*)
 
-;; ������Ϥο�ʬ
+;; 字句解析の親分
 (defun lex-get-token (&aux (le *lex-env*) (line nil))
   (the lex-env *lex-env*)
   (unless (setq line (skip-whitespace le (lex-env-lptr le)))

src/c2sc-parser.lsp

@@ -67,14 +67,14 @@
 ;;; whether c2sc::piece-c2sc is being processed
 (defvar *parsing-piece* nil)
 
-;;; c2sc-getline ��� preprocessing directive �����줿�餳����ί��Ƥ�����
+;;; c2sc-getline 中に preprocessing directive が現れたらここに溜めておく。
 ;;; %defmacro, %defconstant, %undef
 ;;;  --> *scpp-macro-buffer* 
-;;;  --> translation-unit �������ˤĤʤ���
-;;; ����ʳ� 
+;;;  --> translation-unit の末尾につなげる
+;;; それ以外 
 ;;;  --> *scpp-directive-buffer* 
-;;;  --> *directive-emit-functions* �˻��ꤵ��Ƥ���ؿ����֤��ͤ�Ƭ��
-;;;      �Ĥʤ��ư����Ǥ��Ф�
+;;;  --> *directive-emit-functions* に指定されている関数の返り値の頭に
+;;;      つなげて一緒に吐き出す
 (defvar *scpp-directive-buffer* nil)
 (defvar *scpp-macro-buffer* nil)
 (defparameter *directive-emit-functions* '(declaration statement))
@@ -298,7 +298,7 @@
 
 ;;;; 
 
-;; get-gensymid �� mark ��Ĥ����Ȥ����� identifier ����ꤹ��
+;; get-gensymid で mark をつけたところの identifier を決定する
 (defun decide-unidentified (sc-program)
   (let ((dec-id (memoize
                  #'(lambda (usym)
@@ -319,7 +319,7 @@
                                       (ragrs *required-aggregates*))
   (if (and (eq t rvars) (eq t ragrs)) sc-program
     (loop for df in sc-program
-        when (or (atom df) (not (defsymbol-p (car df))) ; ���������ʳ�
+        when (or (atom df) (not (defsymbol-p (car df))) ; 宣言・定義以外
                  (if (consp (second df))
                      (if (member (car (second df)) ~(struct union enum))
                          (aggregate-required-p (second (second df)))
@@ -330,8 +330,8 @@
 (defun defsymbol-p (sym)
   (rule:declaration-tag? sym :sc2c))
 
-;; ̵̾��struct�ʤɤϡ�SC�Ǥ�̵̾�ˤǤ��ʤ��Τǡ�
-;; mark ��Ĥ��Ƥ�����,��� identifier ����ꤹ��
+;; 無名のstructなどは，SCでは無名にできないので，
+;; mark をつけておいて,後で identifier を決定する
 (defvar *gensym-num*)
 (defun get-gensymid ()
   (prog1
@@ -1658,9 +1658,9 @@
   (aif (read-line stream nil)
       (if (eql #\$ (string-ref it 0))
           (progn
-            ;; S-expression �Ȥ���read���ơ�����
+            ;; S-expression としてreadして、、、
             (handle-c2sc-directive (string-left-ntrim it))
-            ;; ���餿��Ƽ��ιԤ��ɤ�
+            ;; あらためて次の行を読む
             (c2sc-getline stream))
         (funcall (if *want-debugging-output* #'print #'identity)
                  (string+ it #.(format nil "~%"))))
@@ -1706,8 +1706,8 @@
         (otherwise
          (push directive *scpp-directive-buffer*))))))
 
-;; *directive-emit-functions* �δؿ��ʹ�ʸñ�̡˽����塤
-;; *scpp-direcive-buffer*�ˤ��ޤä��ץ�ץ����å�������Ǥ��Ф�
+;; *directive-emit-functions* の関数（構文単位）処理後，
+;; *scpp-direcive-buffer*にたまったプリプロセッサ指令を吐き出す
 (dolist (de-func *directive-emit-functions*)
   (let ((orig-func (symbol-function de-func)))
     (setf (symbol-function de-func)
@@ -1718,12 +1718,12 @@
             (nconc emit-directive
                    (apply orig-func args)))))))
 
-;;; %defconstant-cexp ���C�����ɤ����Ҥ��ǽ�ʤ�SC��
+;;; %defconstant-cexp 中のCコードの断片を可能ならSC化
 (defun defconstant-cexp-c2sc (defconstant-exp-directive)
   (assert (eq '%defconstant-cexp (car defconstant-exp-directive)))
   (let* ((const-name (second defconstant-exp-directive))
          (piece-c-code (third defconstant-exp-directive))
-         ;; C �� "~" �� "~~" �ˤʤäƤ���Τ�
+         ;; C の "~" は "~~" になっているので
          (formatted-c-code #|(format nil|# piece-c-code #|)|#))
     (if (not (macro-required-p const-name)) nil
       (progn
@@ -1742,8 +1742,8 @@
                (format *error-output* "==> <give up...>~%"))
              `(sc::c-exp ,piece-c-code)) ))))))
 
-;;; defmacro �ˤ����� c-code �� "$<arg_num>$" ����ʬ�����̾���֤�������
-;;; �֤��ͤ�
+;;; defmacro における c-code の "$<arg_num>$" の部分を引数名に置き換える
+;;; 返り値は
 ;;; (values `(c-exp ...)
 ;;;         <formatted-c-code>)
 (defun replace-arguments (piece-c-code arg-list)
@@ -1770,7 +1770,7 @@
       (values `(cl:list 'sc::c-exp ,cexpstr ,@arg-list)
               formatted-c-code) )))
 
-;; �ޥ������Τ� backquote-macro ���Ѵ�
+;; マクロ本体を backquote-macro に変換
 (defun to-eval-macroarg (scized-defmacro macro-arg-list)
   (if (atom scized-defmacro)
       (if (member scized-defmacro macro-arg-list)
@@ -1779,7 +1779,7 @@
     `(cl:list ,@(mapcar (suffixed-func #'to-eval-macroarg macro-arg-list)
                         scized-defmacro))))
 
-;;; %defmacro-cexp ���C�����ɤ����Ҥ��ǽ�ʤ�SC��
+;;; %defmacro-cexp 中のCコードの断片を可能ならSC化
 (defun defmacro-cexp-c2sc (defmacro-exp-directive)
   (assert (eq '%defmacro-cexp (car defmacro-exp-directive)))
   (destructuring-bind (macro-name piece-c-code arg-list)
@@ -1807,7 +1807,7 @@
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
-;; �Ķ���������initiator���鹽ʸ���ϳ���
+;; 環境を整えてinitiatorから構文解析開始
 ;; input : input-stream or string
 (defun parser-main (input
                     &key
@@ -1879,8 +1879,8 @@
         fixed-typename-entries
         (mapcar #'make-typename-entry typename-list) )))))
 
-;; Ʊ���Ѵ���̤������롥
-;; ʣ���θ���θ��������ѿ�(or not)�ξ�硤�����ѿ�̾�����ꤹ�롥
+;; 同じ変換結果を削除する．
+;; 複数の候補の原因が型変数(or not)の場合，その変数名を特定する．
 (defun remove-duplicate-candidates (all-candidates)
   (let ((ret (list)))   ;; (<candidate> <typename-list> <not-typename-list>)
     (dolist (cand all-candidates)
@@ -1889,7 +1889,7 @@
                            (intersection (second (car it)) (second cand))
                            (intersection (third  (car it)) (third  cand)) ))
         (push cand ret)))
-    ;; ����ΰ㤤�˱ƶ����Ƥʤ��ѿ�̾�����
+    ;; 候補の違いに影響してない変数名を除く
     (mapc
      #'(lambda (get-place &aux (get-placea (compose #'car get-place)))
          (dolist (tn (funcall get-placea (first ret)))
@@ -1902,7 +1902,7 @@
      (list #'cdr #'cddr))
     ret))
 
-;; tried-function�ǻ��ꤵ�줿���Ƥξ�꤫��parsing���ߤ�
+;; tried-functionで指定された全ての場所からparsingを試みる
 (defun try-all-parsing (istring &key (tried-function *tried-function*))
   (check-type istring string)
   (let* ((all-candidates)               ; list of (<result> <tn-list> <not-tn-list>)
@@ -2031,8 +2031,8 @@
 
 ;;; (c2sc "csample/c_parser.c")
 
-;;; ���ôĶ��Ǥ����Ѹ���piece-c2sc 
-;;; sc:: �ʤɤξ��������Ƥ��ä������
+;;; 対話環境での利用向けpiece-c2sc 
+;;; sc:: などの情報を除いてすっきり出力
 (defun pcsc (x &rest try)
   (unless try (setq try *tried-function*))
   (immigrate-package (piece-c2sc x :tried-function try) *package*))

src/init.lsp

@@ -33,11 +33,11 @@
 
 ;;; Implementation-dependent settings
 #+cmu (setq ext:*gc-verbose* nil)
-#+clisp (progn (setq custom:*default-file-encoding* charset:euc-jp)
+#+clisp (progn (setq custom:*default-file-encoding* charset:utf-8)
                (unuse-package :ext))
 #+allegro (progn (setq comp:*cltl1-compile-file-toplevel-compatibility-p* t)
                  (require :osi))
-#+(and allegro mswindows) (setq *locale* (find-locale "japan.EUC"))
+#+(and allegro mswindows) (setq *locale* (find-locale "ja_JP.utf8"))
 ;; #+(and composer allegro) (wt:start-composer)
 
 ;;; Printer settings

src/rule/hoist.rule

@@ -63,7 +63,7 @@
     (return-from remove-const (remove-const (car x))))
   (mapcar #'remove-const x))
 
-;; declaration, block-item ���֤��ͤ��������body����ʬ����
+;; declaration, block-item の返り値を宣言部とbody部に分ける
 (defun split-decl-and-body (x)
   (list (apply #'append (mapcar #'first x))
         (remove nil (mapcar #'second x))))
@@ -80,9 +80,9 @@
    (hst:with-hoist-env (call-next-rule) ))
   )
 
-;;; �ʲ�, declaration, block-item ���֤��ͤϡ�
-;;; (<�ؿ����Τ���Ƭ�˽Ф�S���Υꥹ��>
-;;;  <���ξ��˻Ĥ�S��>)
+;;; 以下, declaration, block-item の返り値は、
+;;; (<関数本体の先頭に出すS式のリスト>
+;;;  <元の場所に残すS式>)
 
 ;;; declaration
 (defrule inlined-declaration hoist
@@ -153,12 +153,12 @@
 
 (defrule struct-declaration hoist
   (otherwise
-   (hst:with-new-func                   ; ���ߡ��δؿ����֤��ơ�add-decl���줿�������ޤ���
+   (hst:with-new-func                   ; ダミーの関数を置いて，add-declされた宣言を捕まえる
        (with1 ret (call-next-rule)
          ~(%splice ,.(hst:finfo-flush-decls) ,ret) )))
   )
 
-;;; ���������Ҥǻ��Ȥ��������index��
+;;; 配列初期化子で参照される最大のindex数
 (defrule max-referred-index hoist
   (#?(array ,@inits)
    (with1 cnt 0
@@ -170,7 +170,7 @@
 (defrule referred-index hoist
   ;; initializer with designator
   (#?((aref-this ,@exp-list) ,init)
-   (eval (car exp-list)) )              ; ź����Lisp��ɾ���Ǥ��뼰�Ǥ��뤳�Ȥ���
+   (eval (car exp-list)) )              ; 添字がLispで評価できる式であることを仮定
   (#?((aref ,desig ,@exp-list) ,init)
    (referred-index ~(,desig ,init)))
   ;; initializer without designator

src/rule/hsc-defs.lsp

@@ -51,8 +51,8 @@
 ;;; function information
 (defstruct finfo
   variables                             ; list of (<id> . <type>)
-  tmp-variables                         ; �ɲä��줿����ѿ� list of (<id> . <type>)
-  (function-head t)                     ; �ؿ�����Ƭ�Υ֥��å��̲����nil�ˤ���
+  tmp-variables                         ; 追加された一時変数 list of (<id> . <type>)
+  (function-head t)                     ; 関数の先頭のブロック通過時にnilにする
   main-p
   )
 
@@ -100,12 +100,12 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; struct information
 (defstruct sinfo
-  id                                    ; ���ι�¤��̾
+  id                                    ; 元の構造体名
   members                               ; list of (<id> . <type>) 
-  hsc-sid                               ; �Ѵ���ι�¤��̾
-  data-sid                              ; �ǡ������ι�¤��̾�ʺ��μ����Ǥ�id��Ʊ���
-  smap-id                               ; �ޥå�������ѿ�̾
-  sdesc-id                              ; ��¤�Τ��Ȥ�desc������ݻ������ѿ�̾
+  hsc-sid                               ; 変換後の構造体名
+  data-sid                              ; データ部の構造体名（今の実装ではidと同一）
+  smap-id                               ; マップ配列の変数名
+  sdesc-id                              ; 構造体ごとのdesc情報を保持する変数名
   )
 
 (defun sinfo-asize (&optional (sinfo *sinfo*))
@@ -121,18 +121,18 @@
 
 ;; make expression for aligned size
 
-;; sinfo�ɲ�
+;; sinfo追加
 (defun add-sinfo (&optional (sinfo *sinfo*))
   (push sinfo *sinfo-list*))
 
-;; sinfo��id�Ǹ���
+;; sinfoをidで検索
 (defun find-sinfo (id)
   (find id *sinfo-list* :key #'sinfo-id))
 
 (defun add-member (id type &optional (sinfo *sinfo*))
   (push (cons id type) (sinfo-members sinfo)))
 
-;; ���֥���������λ��Ȥΰ��֤򼨤�����
+;; オブジェクト内の参照の位置を示す配列式
 (defun make-struct-map (&optional (sinfo *sinfo*))
   (let ((vars (sinfo-members sinfo))
         (hsc-sid (sinfo-hsc-sid sinfo))
@@ -152,7 +152,7 @@
                 ,member-id)))
   )
 
-;; ���֥������Ⱦ���¤�μ�����
+;; オブジェクト情報構造体式を作る
 (defun make-descriptor (&optional (sinfo *sinfo*))
   (let ((hsc-sid (sinfo-hsc-sid sinfo))
         (smap-id (sinfo-smap-id sinfo)))