- 1 名前：デフォルトの名無しさん mailto:sage [2005/05/06(金) 08:28:29 ]
- プログラミング言語処理系の開発に興味のある人達のスレッドです。
字句解析・構文解析から，データフロー解析，ループ並列化，タスク並列化，SSA変換，
CPS変換，レジスタ割付，命令スケジューリング，ソフトウェアパイプライン等各種最適化，
それにVM，GC，JIT，リンク時最適化，動的バイナリ変換などなど。
意味論に関する話題も歓迎です。
前スレ
1 pc.2ch.net/tech/kako/981/981672957.html
2 pc2.2ch.net/test/read.cgi/tech/1021136715/
3 pc5.2ch.net/test/read.cgi/tech/1070089173/
4 pc5.2ch.net/test/read.cgi/tech/1100097050/
5 pc8.2ch.net/test/read.cgi/tech/1106129164/ (前スレ)
関連リンクは多分 >>2-10 あたり
- 7 名前：デフォルトの名無しさん mailto:sage [2005/05/06(金) 08:31:38 ]
- ということで、新スレです。
- 8 名前：デフォルトの名無しさん mailto:sage [2005/05/06(金) 17:56:21 ]
- 乙。
- 9 名前：デフォルトの名無しさん mailto:sage [2005/05/07(土) 09:05:25 ]
- お疲れ。
- 10 名前：三遊亭円楽 mailto:sage [2005/05/07(土) 10:19:03 ]
- pc8.2ch.net/test/read.cgi/tech/1106129164/
プログラミング言語処理系をネタにした大喜利は上記すれでどうぞ
- 11 名前：デフォルトの名無しさん mailto:sage [2005/05/08(日) 08:10:36 ]
- このスレにしては奇跡的に穏やかな始まり方だな。
- 12 名前：デフォルトの名無しさん [2005/05/08(日) 11:41:07 ]
- なんだ荒れてほしいのか？
>>1
糞スレ
- 13 名前：あぼーん mailto:あぼーん [あぼーん]
- あぼーん
- 14 名前：あぼーん mailto:あぼーん [あぼーん]
- あぼーん
- 15 名前：あぼーん mailto:あぼーん [あぼーん]
- あぼーん
- 16 名前：デフォルトの名無しさん [2005/05/08(日) 14:45:38 ]
- >>1が前スレのテンプレを使っているのでこっちが本スレ。
- 17 名前：あぼーん mailto:あぼーん [あぼーん]
- あぼーん
- 18 名前：デフォルトの名無しさん mailto:sage [2005/05/08(日) 14:49:36 ]
- >>16
意味なく上げるなボケッ
- 19 名前：デフォルトの名無しさん mailto:sage [2005/05/08(日) 15:42:28 ]
- 前スレをわざわざ埋めたやつが居るんだな
時刻からして手動っぽい？
- 20 名前：マニュアル嫁 mailto:sage [2005/05/08(日) 15:54:04 ]
- FLEX
www.asahi-net.or.jp/~WG5K-ICKW/html/online/flex-2.5.4/flex_toc.html
Bison
www.gnu.org/software/bison/manual/html_mono/bison.html
- 21 名前：デフォルトの名無しさん [2005/05/08(日) 15:57:50 ]
- OCamllex, OCamlyacc
caml.inria.fr/pub/docs/manual-ocaml/manual026.html
- 22 名前：あぼーん mailto:あぼーん [あぼーん]
- あぼーん
- 23 名前：デフォルトの名無しさん mailto:sage [2005/05/08(日) 17:05:10 ]
- おまいらはどんなコンパイラを作りましたか
- 24 名前：あぼーん mailto:あぼーん [あぼーん]
- あぼーん
- 25 名前：あぼーん mailto:あぼーん [あぼーん]
- あぼーん
- 26 名前：あぼーん mailto:あぼーん [あぼーん]
- あぼーん
- 27 名前：あぼーん mailto:あぼーん [あぼーん]
- あぼーん
- 28 名前：あぼーん mailto:あぼーん [あぼーん]
- あぼーん
- 29 名前：デフォルトの名無しさん [2005/05/08(日) 23:19:37 ]
- 池沼がわいてるな。
- 30 名前：デフォルトの名無しさん mailto:sage [2005/05/08(日) 23:46:10 ]
- >>29
意味の無い書き込みで上げるな、ボケッ
- 31 名前：デフォルトの名無しさん mailto:sage [2005/05/09(月) 00:08:11 ]
- どっちが本スレなのかはっきりしてくれないか
- 32 名前：デフォルトの名無しさん mailto:sage [2005/05/09(月) 00:35:39 ]
- 両方の>>1のタイムスタンプ見れば一目瞭然
- 33 名前：デフォルトの名無しさん mailto:sage [2005/05/09(月) 00:39:19 ]
- >>31
>>1を読む限りじゃこっちだと思われる。
つかネタないの？
- 34 名前：デフォルトの名無しさん mailto:sage [2005/05/09(月) 00:49:27 ]
- ではGCについて。
- 35 名前：デフォルトの名無しさん mailto:sage [2005/05/09(月) 00:58:06 ]
- GCで連想するのは、Javaがスレッドでいつもいつもメモリを観察しているということと、マークアンドスイープしか知りません。
超エリート中学生の私にいろいろ教えてください。
- 36 名前：デフォルトの名無しさん mailto:sage [2005/05/09(月) 01:02:46 ]
- マーク付けはオブジェクトにフラグを持たせるのと
ビットマップで管理するのとどっちが好きですか?
- 37 名前：デフォルトの名無しさん mailto:sage [2005/05/09(月) 01:06:22 ]
- 1ビットも無駄にしたくないからビットマップ。
ただしリニアなメモリブロックを強要される。
- 38 名前：あぼーん mailto:あぼーん [あぼーん]
- あぼーん
- 39 名前：デフォルトの名無しさん mailto:sage [2005/05/09(月) 09:38:29 ]
- lex+yaccで、yaccからスキャナに文脈を渡したいときにフラグを使いますが、
lexのスタート状態を変更できるようにすればいいのではと思うことがあります。
ただlexにはy.tab.hのようなのを吐かないので
多少冗長なコードを書く(もしくはそれを生成するツールを書く)必要があり、
標準ではそれが簡単にできるようにはなっていません。
しかしそれが有用ならとっくにflexあたりには実装されているでありましょうし、
やはり上記の思いつきはあまり有用ではないのでしょうか...?
- 40 名前：デフォルトの名無しさん [2005/05/09(月) 19:02:28 ]
- >>39
なるほど確かに弁理かもしれんな。
じゃが、標準というものは得てしてそういうものじゃ。
ex. /bin/sh
- 41 名前：デフォルトの名無しさん mailto:sage [2005/05/09(月) 20:38:15 ]
- >>40
flexあたりには、という部分を読んどらんのか?
- 42 名前：デフォルトの名無しさん mailto:sage [2005/05/09(月) 20:59:06 ]
- >>39
よくわからん。
.lファイルの%%の後ろに、
void start_hoge() {
BEGIN HOGE;
}
って書いといて、yacc側からstart_hoge()を呼んだらだめなんだっけ?
- 43 名前：40 [2005/05/09(月) 21:19:38 ]
- >>41
読んで書いてるんだが？
>>42
余計なもの(-1)
- 44 名前：デフォルトの名無しさん mailto:sage [2005/05/10(火) 00:45:55 ]
- >>42
それが
> 多少冗長なコードを書く(もしくはそれを生成するツールを書く)必要があり、
という部分なのでは。
>>43
読んでたら>>40には繋がらんような。flexは標準じゃないだろ。
/bin/shに例えられるのはAT&T lexとかじゃねえ? flexはbashとかzshだと思われ。
- 45 名前：42 mailto:sage [2005/05/10(火) 08:20:34 ]
- >>44
うーん、たいした手間じゃないし、lexerのカプセル化という点から考えても、
むしろその手間は「かけるべき手間」なんでは。
だいたいparserがlexerに頻繁にちょっかい出すってのもなあ…
Rubyじゃあるまいし。
- 46 名前：デフォルトの名無しさん mailto:sage [2005/05/10(火) 17:45:20 ]
- Rubyに限らずわりとよくある要求だろ。 > lexerに文脈を渡す
- 47 名前：デフォルトの名無しさん mailto:sage [2005/05/10(火) 18:28:43 ]
- >>45
うーん、スタート状態の変更は実質的にスキャナの切り替えとみることもできるから
BEGINマクロというインタフェースが公開されれば
むしろ変数で情報を渡すよりカプセル化に有益なんでは。
だいたいlexがマクロの定義をヘッダに出力するオプションが一つあれば済む話なのに
それ以後%startと整合性をとる必要を生じるのが「かけるべき手間」ってのもなあ…
マゾじゃあるまいし。
- 48 名前：デフォルトの名無しさん mailto:sage [2005/05/10(火) 19:50:04 ]
- このスレでflexのパッチでも作ってみるか。
- 49 名前：あぼーん mailto:あぼーん [あぼーん]
- あぼーん
- 50 名前：デフォルトの名無しさん mailto:sagee [2005/05/10(火) 20:46:08 ]
- 馬鹿かおまえら？
LISPじゃあるまいし
- 51 名前：デフォルトの名無しさん mailto:sage [2005/05/10(火) 23:27:57 ]
- LISPがあればいいや
- 52 名前：42 mailto:sage [2005/05/10(火) 23:42:48 ]
- >>46
>Rubyに限らずわりとよくある要求だろ。 > lexerに文脈を渡す
そうかねえ。
Cあたりでも、typedefなんかでparserがlexerにちょっかい出すけど、
parserがlexerに『頻繁に』ちょっかい出すのはやっぱり行儀悪いと俺は思うよ。
人間にとっても曖昧な、落とし穴の多い言語になりそうだ。
>>47
>むしろ変数で情報を渡すよりカプセル化に有益なんでは。
「変数で状態を渡す」と言った覚えはないし、
>それ以後%startと整合性をとる必要を生じるのが「かけるべき手間」ってのもなあ…
「%startと整合性をとる必要を生じる」ってのがわからないんだけど。
俺アホだからなにか気付いてないことがあるんかね。だとしたら教えてくれや。
>マゾじゃあるまいし。
クラスにsetterメソッド書くのがマゾだ、とまで言うんならもう何も言わないけどさ。
現状で、flexでさえそんな機能がないってことが、大半のプログラマはそんな
機能を望まない、っていうひとつの証拠だと思うよ。
- 53 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 00:00:13 ]
- アホなら黙ってりゃいいのに。
- 54 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 02:18:35 ]
- >>52
機能がないことがその証拠ってのもおかしいだろ。機能がないからほとんどの人間が気づいていないだけ、という可能性も十分あるわな。
いろんな記号を多用するような言語（スクリプト言語では多いよな）なら、コンテキストによってlexerの動作を変えたいという要求はすごくある。
それが今までのツールじゃ難しかったか面倒くさかったから、言語の機能が増えるたびに予約語も増える傾向にある。
- 55 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 03:05:04 ]
- >>52
> 人間にとっても曖昧な、落とし穴の多い言語になりそうだ。
ここに全く同意できない。
開発する人間とって曖昧な、落とし穴の多い実装になりそうだ。
↑これなら納得するし説得されてやる。
- 56 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 04:44:45 ]
- >>55
>開発する人間とって曖昧な、落とし穴の多い実装になりそうだ。
んで、だからこそそれをサポートする>>39の提案が意味を持つわけだね。
- 57 名前：デフォルトの名無しさん [2005/05/11(水) 20:41:25 ]
- WindowsでC++モドキを作ってて、UNIXに移植する段階でこの問題が出た。
WindowsのC++処理系のほとんど（全て？）はtry catchの例外機構を
SEHで実装してるけど、
UNIXでは何使って実装するもんなの？まさかsetjmp/longjmpとか？
- 58 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 20:54:31 ]
- g++を見たほうが早いような
- 59 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:01:17 ]
- たぶんアセかな。
そのアセ自体が何してるのか知らんが。
- 60 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:07:35 ]
- >>57
言いたいことはわからんでもないが，SEHとはtry/catchのような構文によるエラー処理の
総称では？
SEHをCで実装する場合、setjmp/longjmpもしくは2返戻値によるのが普通かな。
- 61 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:09:26 ]
- 確かに
> try catchの例外機構をSEHで実装してるけど、
という言い方は変だよな。
- 62 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:10:15 ]
- >>57
つまり、そのまさか。
- 63 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:12:12 ]
- >>60-61
知ったかぶんなよ。
WindowsにはSEHという機構がOSに組み込まれてるの。
- 64 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:19:39 ]
- >>63
そんなことは分かってる
- 65 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:20:25 ]
- ちなみに例外がアプリケーション側で補足されず、そのままスルーすると出る
デフォルトのダイアログ（ご迷惑をお掛けしています〜）は、
OS側にこの機構があるおかげです。
UNIXの糞ダンプと違って、そのままデバッガに飛ぶなりできます。。。
- 66 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:22:08 ]
- >>64
いや、おまえ判ってない。
ぜんぜんわかってない。
- 67 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:23:08 ]
- ＞SEHをCで実装する場合、setjmp/longjmp
なんせこんなこと言ってるし
- 68 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:25:45 ]
- じゃあ糞UNIXはsetjmp/longjmpで糞チェインを自分で作らないと駄目って事で。
- 69 名前：デフォルトの名無しさん [2005/05/11(水) 21:28:21 ]
- 言語語ってるやつが、WIN使いとはなｗ
ワロタ
- 70 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:29:36 ]
- え、どこが面白いの？
- 71 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:31:13 ]
- >>69
そんな奴おらんだろｗ
- 72 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:33:25 ]
- Windowsの高度な技術議論についてけずUNIXerの頭が崩壊したらしいなw
- 73 名前：デフォルトの名無しさん [2005/05/11(水) 21:34:28 ]
- それで、UNIXでは本当にsetjmp使うんですか？
なんか信じられないけど。
まあgcc読んできますが。
- 74 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:39:00 ]
-
SEHとはこれのことだろ。
www.microsoft.com/japan/msdn/library/ja/jpdndeepc/htm/deep051099.asp?frame=true
www.microsoft.com/japan/msdn/library/ja/jpdndeepc/htm/deep060399.asp?frame=true
- 75 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:42:23 ]
- >>65
ｻｰﾊﾞでそんな事してたらｱﾎだろ
- 76 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:42:36 ]
- なんでsetjmp使うことに驚く。別にUNIXでなくても普通に使ってるぞ。
ところで上でもめてるようだが、SEHという言葉には
・win32固有の機能（よく__try, __exceptで利用するものね）
・try〜catch的なエラー処理構文（on error goto等との対比で）
のふたつの意味があり、Microsoftでもその両方を文脈に応じて使いわけている。
- 77 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:45:19 ]
- >>75
Windowsにはサービスというものが(以下略
ほんと糞UNIXerは使えねえなw
- 78 名前：デフォルトの名無しさん [2005/05/11(水) 21:46:00 ]
- UNIX使いの使えなさ加減にﾜﾛﾀ
- 79 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:46:44 ]
- >>76
文脈から理解できなかったアフォの言い訳だなw
- 80 名前：デフォルトの名無しさん [2005/05/11(水) 21:48:08 ]
- UNIX使いのアホさ加減にﾜﾛﾀ
- 81 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:49:08 ]
- やけにスレ伸びてるかと思ったら
UNIX嫌いのバカが一匹いるだけか
- 82 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:49:50 ]
- UNIX使いの煽りってたいしたことないのなw
- 83 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:50:15 ]
- >>77
一生ﾓﾆﾀのお守りしてるつもり?
- 84 名前：デフォルトの名無しさん [2005/05/11(水) 21:50:18 ]
- UNIX使いの煽りの低レベルさにﾜﾛﾀ
- 85 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:51:11 ]
- windows最高。microsoftは神。
- 86 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:51:14 ]
- >>83
無知がでしゃばるなって。
サービス登録すれば勝手に再起動とか色々できるわけですよ。
- 87 名前：デフォルトの名無しさん [2005/05/11(水) 21:51:42 ]
- UNIX使いの無知さ加減にﾜﾛﾀ
- 88 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:52:06 ]
- はやくunixにもwin32が移植されるといいね。
- 89 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:52:40 ]
- win32万歳。seh万歳。
- 90 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:54:02 ]
- >>86
ﾍｪ、凄い凄いw
- 91 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:54:13 ]
- windowsは究極のos
- 92 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:54:33 ]
- UNIXを馬鹿にしないでください
2chのサーバだってUNIXですよ？
- 93 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:54:44 ]
- windowsに足りないものは何もない
- 94 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:55:51 ]
- 余分なものは山ほど(ry
- 95 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:56:07 ]
- みんなで崇めようwindows
- 96 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:56:26 ]
- >>92
おれが馬鹿にしてるのはUNIXでなくてここにいるUNIX使いだってばw
- 97 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:56:59 ]
- >>96
おい、レベル下がってるぞ
もっと面白い事言ってくれよ
- 98 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:57:00 ]
- こんなに愛されて…windowsも幸せ者だな
- 99 名前：デフォルトの名無しさん [2005/05/11(水) 21:57:29 ]
- UNIX使いの早とちりにﾜﾛｽ
- 100 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:57:47 ]
- そうだwindowsで行こう
- 101 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:58:38 ]
- 世の中windowsが標準です
- 102 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 21:59:52 ]
- つまらん
- 103 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 22:00:33 ]
- _ ∩
( ﾟ∀ﾟ)彡 windows! windows!
⊂彡
- 104 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 22:00:38 ]
- UNIXにもプロセスが死んだらコアダンプというものがあって、
デバッガを自分で起動できますが何か？
- 105 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 22:02:20 ]
- unixさんが好きです。でもWindowsさんの方がもっと好きです。
- 106 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 22:03:53 ]
- お前ら、まとめてこっちへ行っちゃえ。
最高に頭悪そうな発言してください in ム板 (V)
pc8.2ch.net/test/read.cgi/tech/1115386557/
- 107 名前：デフォルトの名無しさん mailto:sage [2005/05/11(水) 22:06:38 ]
- ためになるお話でした。
|
 |
