Qiita 2 - キータぞ、来たぞ、キータだぞー

**デフォルトの名無しさん** · 2022/07/26(火) 00:20:10.32

Hello hackers !
Qiitaは、エンジニアリングに関する知識を記録・共有するためのサービスです。
コードを書いていて気づいたことや、自分がハマったあの仕様について、
他のエンジニアと知見を共有しましょう ;)

https://qiita.com/

Qiita（キータ）は、Incrementsが運営するプログラミング情報のナレッジコミュニティ。
2016年現在で日本最大のプログラマーコミュニティとされている[1]。

https://internet.watch.impress.co.jp/docs/news/1025972.html

前スレ Qiita
https://mevius.5ch.net/test/read.cgi/tech/1542357242/

**デフォルトの名無しさん** · 2023/01/16(月) 15:33:29.58

>>562
参考までにそいつのURL

**デフォルトの名無しさん** · 2023/01/16(月) 15:41:34.80

>>565

>>559

**デフォルトの名無しさん** · 2023/01/16(月) 19:52:43.25

試し割り法っていう言葉があるのか
初めて知った

**デフォルトの名無しさん** · 2023/01/16(月) 22:52:33.00

https://qiita.com/zacky1972/items/8923735951724ff21d44#comment-f9c01dd4810a4481c15c
> そうですね

准教授そっけないリプライでこの時点で大分ムカついてる感じだけどその後の
エラトステネスのふるいについて丁寧に説明してくれてるコメントにはリプライすら
しなくなったなｗ

こういうところで人間性が出てる気がする。

**デフォルトの名無しさん** · 2023/01/16(月) 23:01:48.64

>>560
お前もリプライしなくなったな
このくらいならどうにか理解できたということか？

**デフォルトの名無しさん** · 2023/01/17(火) 01:25:10.59

https://qiita.com/zacky1972/items/8923735951724ff21d44#comment-d1324cdcff5d8eeac723
> 以上は旧態依然としたC言語によるマルチスレッドも使用しない素朴な
> 方法による結果ですが、これをElixirを使用してマルチコアを活かした場合
> どのような結果となるかは興味深いところですね。

准教授名誉挽回チャンスｷﾀｰ(AA略

**デフォルトの名無しさん** · 2023/01/17(火) 05:49:50.36

キモすぎ。どうせお前らニートなんだから
いくら言っても准教授には太刀打ちできんぞｗ

**デフォルトの名無しさん** · 2023/01/17(火) 07:02:17.26

論破されると暴言でごまかす癖があるのな

**デフォルトの名無しさん** · 2023/01/17(火) 16:53:44.85

ニートに専門分野での誤り指摘される准教授って程度低すぎじゃねｗ

**デフォルトの名無しさん** · 2023/01/17(火) 17:13:20.30

指摘されて「（今回は端折ったけど）真面目にした場合は」って答えるやつな
知りもせず出来もせず指摘されるまで観点すらなかったことをまず認め恥じよ
真面目にやったらとか許されるのは中学生まで

**デフォルトの名無しさん** · 2023/01/17(火) 17:37:54.15

やればできる子

**デフォルトの名無しさん** · 2023/01/18(水) 09:10:10.72

Elixirって結局何の役に立つんだ？
他の言語と差別化できるような際立った長所が無いから流行る気がしない
あ、プログラミングしやすいとかの個人の主観はいいので

**デフォルトの名無しさん** · 2023/01/18(水) 09:45:53.45

並列計算が容易らしいけどQiitaのElixir絡みの記事見ても
並列計算ができたレベルで喜んでて他の言語と比較して
性能がどうのというのは見当たらないな。

[Elixir] 並行して素数を求める
https://qiita.com/saltheads/items/b502356ae7a488d835b4

↑10000未満の素数を挙げるのに0.5秒も掛かってるのに並列計算で
5倍速くなったと喜んでる例

Elixirで性能を引き出すには　アルゴリズム✕最適化✕並列計算
の知識が要りそうだけど結構大変なんじゃなかろうか。
Elixirコミュニティは優れた言語に目をつけた我々は偉い、優秀だ
という意識が露骨で気持ち悪いな。

**デフォルトの名無しさん** · 2023/01/18(水) 10:08:23.37

並列計算なんか他の言語でもできるしなぁ

**デフォルトの名無しさん** · 2023/01/18(水) 12:01:49.69

Elixir is not a fast language. Not even close. Yes, it handles concurrency and parallelism beautifully which in turn enable distributed applications to perform quite well. But the language itself is significantly slower than Crystal / Rust / Go / Swift. It's not in the same category at all.
That said, it's a great language worth recommending.
https://news.ycombinator.com/item?id=12223614

ここでの議論が読んでて割合納得いった。
QiitaのElixir狂信者達はこのレベルまでElixirを冷静に評価できていない
気がするし他者への宣伝のしかたも異常だと思う。
特に准教授、偏差値40台の大学でこんなニッチな言語学生に勧めるより
アルゴリズムとか基礎的なこと先にやるべきだと思うぞ。

**デフォルトの名無しさん** · 2023/01/18(水) 12:06:20.91

並列を選ぶのは速度が重要な時だけなのに並列が売りで遅い言語に何の価値があるのかわからん
他の言語で並列計算するのも全然難しくないのにマジでなんなんこれ

**デフォルトの名無しさん** · 2023/01/18(水) 12:16:57.80

ヒント：バカは三歩下がって二歩進むのが好き

**デフォルトの名無しさん** · 2023/01/18(水) 18:49:11.83

准教授が忙しくなってリプライ返さなくなった途端にこっちのリプライも消えるの草

**デフォルトの名無しさん** · 2023/01/18(水) 20:19:31.91

最初からここには准教授なんていねーよｗｗｗ

**デフォルトの名無しさん** · 2023/01/18(水) 20:53:23.36

ふーん
で、いつ記事を修正するの？

**デフォルトの名無しさん** · 2023/01/19(木) 00:22:55.85

正しい記事を修正する必要はないよ
修正したら間違っていたということ
修正しなかったら正しいという証拠

**デフォルトの名無しさん** · 2023/01/19(木) 00:56:31.49

例の准教授、RISC-Vについての浅い記事も矢鱈と書いてるけど
https://qiita.com/search?sort=&q=zacky1972+RISC-V
将来流行りそうなものに目をつけて予めツバ付けとこうって感じが露骨だね。
Elixirもその一環だろう。今まで碌な実績ないところで必死なんだろうなｗ

**デフォルトの名無しさん** · 2023/01/19(木) 01:16:16.33

>>585
修正したら間違いを認めたってことだけど
修正しないなら間違いを認めてないってだけのことだよ。

**デフォルトの名無しさん** · 2023/01/19(木) 01:24:25.97

webの記事なら直せばまあ良いんだろうけど
過去に嘘教えた学生にはどうフォローすんのかなあ?
まあすっとぼけかね?

**デフォルトの名無しさん** · 2023/01/19(木) 06:44:33.86

任天堂Switchのプッシュ通知のシステム
スクウェア・エニックスのロマンシングサガリ・ユニバース
Erlang & Elixir Fest 2019 https://elixir-fest.jp/
意外と使われてるんだね

**デフォルトの名無しさん** · 2023/01/19(木) 07:47:31.16

>>589
特定用途向けで実用されてると聞いてもそうなんだろうなあとしか
思わんけど、セッション一覧の最初の人見た時点でダメだこりゃって
感じなイベントだなあ。

**デフォルトの名無しさん** · 2023/01/19(木) 10:35:31.12

>>587
ほらな。最初からかイチャモンつけるつもりでしか喋ってない
共産党と強いつながりを持つ夢のナンタラと同じ

**デフォルトの名無しさん** · 2023/01/19(木) 10:46:44.30

修正しなければ間違ってないという理論なのか
狂ってるな

**デフォルトの名無しさん** · 2023/01/19(木) 12:17:51.68

何が「ほらな」なのかサッパリ分からんのだけど
>>591の頭の中では他人に伝わる話のつもりなんだろうか?

**デフォルトの名無しさん** · 2023/01/19(木) 12:24:54.69

正しいなら修正する必要がないですよね？
それだけの話しでしょ

**デフォルトの名無しさん** · 2023/01/19(木) 12:29:44.74

「修正しなかったら正しいという証拠」
…にはならんやろ残念ながらｗ

**デフォルトの名無しさん** · 2023/01/19(木) 12:29:53.25

中学数学からやり直せ

**デフォルトの名無しさん** · 2023/01/19(木) 12:43:19.82

正しいなら修正する必要はないが間違ってるのでする必要はあるし修正しないのは正しい証拠にはならんな
幼稚園児でもわかりそうな理屈だがはてさて

**デフォルトの名無しさん** · 2023/01/19(木) 15:19:43.57

おや？まだ修正しない＝正しいか正しくないかどちらなのかわからないって
結論なのに気づいてないのですか？ｗ

**デフォルトの名無しさん** · 2023/01/19(木) 15:40:06.63

すげえな
修正しないものは正しい証拠と本気で言ってやがる
Elixir教に入信するとこうなるのかそれともこういうやつしか入信しないのか

**デフォルトの名無しさん** · 2023/01/19(木) 18:36:44.03

> 修正しなかったら正しいという証拠

正しいから修正しないという主張は可能だけどそれができるのは准教授本人だけ。
たとえ本人がそういう主張をしたとしても正しい証拠にはならん。

**デフォルトの名無しさん** · 2023/01/19(木) 20:29:30.01

>>600
逆も同じことがいえますね。

ここで間違ってるんだーって主張は可能だけど（笑）
たとえそいつがそういう主張をしたとしても間違って証拠にはならん。

最初からこの話をしてる

**デフォルトの名無しさん** · 2023/01/19(木) 20:55:46.86

いやこれが間違ってるのがわからないのは相当ヤバいぞw

**デフォルトの名無しさん** · 2023/01/19(木) 21:14:23.68

すげえな
修正しないものは正しい証拠と本気で言ってやがる

>>602とかまさにこれｗｗｗｗ

**デフォルトの名無しさん** · 2023/01/19(木) 21:34:50.93

ID変え忘れたの？

585 デフォルトの名無しさん sage 2023/01/19(木) 00:22:55.85 ID:RK+2q8py
正しい記事を修正する必要はないよ
修正したら間違っていたということ
修正しなかったら正しいという証拠

**デフォルトの名無しさん** · 2023/01/19(木) 21:37:37.26

マウント取れたような文章が書ければ内容とか脈絡とかはどうでもいいんだろう

**デフォルトの名無しさん** · 2023/01/19(木) 21:52:06.36

> 私はJosé Valim、Elixirプログラミング言語の作者でPlataformatec社の共同設立者です。
> 私はブラジル人でポーランドに住んでおり、オープンソース業務で日々を過ごしています。
> https://qiita.com/HirofumiTamori/items/441cb854967b46ca2055

この記事いいね
何人かどこにも書いてなかった
コンピュータサイエンスのバックグラウンドがないが数冊の本を読んで作れた
Ruby Railsで活躍してた
ということもわかる

なぜブラジル人がポーランドに行ったのか？現在の国籍は？

**デフォルトの名無しさん** · 2023/01/19(木) 22:53:33.28

>>604
だから最初から言ってる
間違ってると指摘できないアホが
こんな所で騒いでも無意味だって

**デフォルトの名無しさん** · 2023/01/19(木) 23:04:57.10

>>607
おまえがアホ
過去レスを読んでも攻撃的になる理由が全くわからん

**デフォルトの名無しさん** · 2023/01/20(金) 00:31:06.33

先生イライラすんなよ
エラトステネスのふるいと書いてあるのを試し割り法に変えるだけだろ
何にそんなに時間かかってんだ

**デフォルトの名無しさん** · 2023/01/20(金) 00:44:14.40

ここは記事の間違いを指摘する場所ではない
スレチ

**デフォルトの名無しさん** · 2023/01/20(金) 00:47:08.82

直接ツイッターで言えば？

**デフォルトの名無しさん** · 2023/01/20(金) 00:47:58.25

匿名でないと言えないの？
クズかよ

**デフォルトの名無しさん** · 2023/01/20(金) 05:05:22.67

アップロードしたファイルを削除する機能を公開しました
https://qiita.com/release-notes#2023-01-17

**デフォルトの名無しさん** · 2023/01/20(金) 08:44:27.81

>>611
ここで本人に伝わるんだからそれでいいじゃんw
匿名で指摘するの禁止するなら匿名じゃないコメントにさっさと応えろよw

**デフォルトの名無しさん** · 2023/01/20(金) 09:24:18.39

>>614
本人に何が伝わってるの？
お前がここでほざいてる主張が記事に反映されたの？
あほかｗ

**デフォルトの名無しさん** · 2023/01/20(金) 09:25:59.69

記事へのコメントは匿名じゃないのに反映されてないのはどういうこと？w

**デフォルトの名無しさん** · 2023/01/20(金) 09:27:33.22

本人じゃないのになぜか大激怒して発狂してる人がいますね

**デフォルトの名無しさん** · 2023/01/20(金) 09:28:41.71

>>616
コメントまで含めて記事だぞ
なんのためのコメント欄だと思ってんだ？
頭わりぃな

**デフォルトの名無しさん** · 2023/01/20(金) 09:43:41.21

記事で間違ってコメントで指摘されて修正せず恥を晒し続けてるとこまで記事なんだろ？
じゃあここで言っても何の問題もないなw

**デフォルトの名無しさん** · 2023/01/20(金) 10:05:49.84

ここに本人いないだろｗ
何の影響力もないやつが
ワーワー言ってるだけ

**デフォルトの名無しさん** · 2023/01/20(金) 11:33:56.43

本人いるところでコメントしてるやついるんだけどそれは？

**デフォルトの名無しさん** · 2023/01/20(金) 19:14:16.20

修正してないのが間違ってない証拠とかたまげたな
そういう感じの論文を書く人なのかな
日本の学力の低下パないな

**デフォルトの名無しさん** · 2023/01/20(金) 19:20:01.36

でも間違ってないなら修正されませんよね？

正しいか間違っているか、どうやって判断しろと？
ああそうか。

「逐次プログラミングも聞いたことがない」人は
間違ってるってことでしたっけねｗｗｗ

**デフォルトの名無しさん** · 2023/01/20(金) 20:12:37.08

> 正しいか間違っているか、どうやって判断しろと？

エラトステネスのふるいと試し割り法の違いぐらい人並みの頭あれば自分で判断できるだろアホか

**デフォルトの名無しさん** · 2023/01/20(金) 20:16:29.58

すげーどうでもいいけど試し割りって半分まで試さなくてもルートまで試せば良くなかったっけ？

**デフォルトの名無しさん** · 2023/01/20(金) 20:21:54.08

それと何の話があるんだ？
アルゴリズム改良しても並列の話とは何の関係もないだろ
むしろ並列の効果を知りたいのにデータ数減らしてどうするんだと

**デフォルトの名無しさん** · 2023/01/20(金) 21:59:16.63

きっつ
頭の悪いやつっているんだな

**デフォルトの名無しさん** · 2023/01/20(金) 22:36:40.67

> アルゴリズム改良しても並列の話とは何の関係もないだろ
> むしろ並列の効果を知りたいのにデータ数減らしてどうするんだと

逐次処理より遅い並列処理に意味がないことくらいフツー気付くもんだが
Elixirで並列処理が目的になってる人たちは馬鹿だから理解しないんだろうね。

**デフォルトの名無しさん** · 2023/01/20(金) 22:44:58.52

はぁ？アルゴリズム改良＋並列化すればいいだろ
アホ化ｗｗｗ

**デフォルトの名無しさん** · 2023/01/20(金) 23:15:15.43

アルゴリズム改良できない上に既存の超有名なアルゴリズムの実装ができてないから指摘されてるわけでな

**デフォルトの名無しさん** · 2023/01/21(土) 03:13:03.57

Elixir は、1秒で10万の小プロセスを起動できる。
130GB メモリで、5千万の小プロセス

Stack Overflow 2023年の年収。高～低

Ruby, Elixir : 9.3 万ドル
Go : 8.9
Rust : 8.7

多くの言語 : 6.5 ぐらい

PHP : 5
Dart : 4.4

**デフォルトの名無しさん** · 2023/01/21(土) 06:32:02.06

>>631
書き込みがとっ散らかりすぎ
軽量プロセスを大量に生成するくだりと給与の話が繋がってない

**デフォルトの名無しさん** · 2023/01/21(土) 08:55:43.49

>>630
並列化の話をしてるのに、アルゴリズムの話をするのは的はずれじゃね？
そういうところがわかってないから馬鹿にされるんだよ

**デフォルトの名無しさん** · 2023/01/21(土) 09:00:34.61

並列化の話をしてても間違ったところは突っ込まれるんだよ
会議と間違えてんのかw

**デフォルトの名無しさん** · 2023/01/21(土) 10:29:57.83

だからアルゴリズムの話でごまかすなってことだろ

**デフォルトの名無しさん** · 2023/01/21(土) 10:59:56.07

ごまかすって何よ？
間違ってることを間違ってると言う方じゃなく間違ってるのに直しもせず本題じゃないから云々言ってる方がごまかしだっらーぅ？w

**デフォルトの名無しさん** · 2023/01/21(土) 15:57:42.35

じゃあまず「間違っている」の証明からだなｗ

**デフォルトの名無しさん** · 2023/01/21(土) 16:38:35.57

え？
これだけ説明されて間違ってるのまだわかんないの？
マジで？

**デフォルトの名無しさん** · 2023/01/21(土) 16:55:28.57

わかったから説明してくださいね。

**デフォルトの名無しさん** · 2023/01/21(土) 18:16:32.87

わかってないのにわかったと言うやついるよね

**デフォルトの名無しさん** · 2023/01/21(土) 22:54:02.93

>>638
説明が分散してるのがダメ
分散した記事を探して読むことはしない
１つの記事にまとめてね
マジで読まないから

**デフォルトの名無しさん** · 2023/01/22(日) 14:12:14.04

説明されなくてもわかれよこのくらい
小学生なら仕方ないが

**デフォルトの名無しさん** · 2023/01/23(月) 14:17:48.20

エラトステネスのふるいを変更するだけに何日かかるんですかねぇ

**デフォルトの名無しさん** · 2023/01/23(月) 14:22:36.31

なんで変更する必要があるの？
エラトステネスのふるいのアルゴリズムの話じゃないでしょ
ってか、お前しつこいよｗｗｗ

**デフォルトの名無しさん** · 2023/01/23(月) 14:28:01.34

まだわかってないのはさすがに草

**デフォルトの名無しさん** · 2023/01/23(月) 14:32:36.09

先生本気で言ってるんすか？
エラトステネスのふるいではないものをエラトステネスのふるいと書いてるんだから訂正しないとw

**デフォルトの名無しさん** · 2023/01/23(月) 23:49:11.61

ふるいのはお前の頭だよ
これからはあれがエラストテネスのふるいだ

**デフォルトの名無しさん** · 2023/01/24(火) 08:23:37.99

修正しないのが間違ってない証拠になるとか本気で言ってる人はそう言うよね

**デフォルトの名無しさん** · 2023/01/24(火) 21:31:28.45

忙しいから修正しないといいつつ他の記事は書くのな

**デフォルトの名無しさん** · 2023/01/24(火) 22:16:33.17

>>589
こういうビッグイベントで戦う人だからおまえのことは視界に入ってないｗ

**デフォルトの名無しさん** · 2023/01/24(火) 23:52:27.21

草

**デフォルトの名無しさん** · 2023/01/25(水) 09:49:02.12

ビッグイベントで戦う人はバブルソートとクイックソートの区別がつかない説

**デフォルトの名無しさん** · 2023/01/25(水) 11:02:15.23

馬鹿なのに積極的な奴が現場でいちばん邪魔。ましてqiitaに記事書きたがるなんて現場に留まらず世界中で邪魔なんよ理解してマジで。

**デフォルトの名無しさん** · 2023/01/25(水) 12:54:14.76

他者の製品の動作レポートなんて記事新たに投稿するよか自分が過去に投稿した記事に責任持つほうが重要と思うけどね、准教授のやってることマジワケワカランなｗ

**デフォルトの名無しさん** · 2023/01/26(木) 02:44:55.39

Qiitaマークダウンの箇条書きの間に空行があるかないかで行間の幅が異なることがCommonMark準拠だというディスカッション
github.com/increments/qiita-discussions/discussions/420

**デフォルトの名無しさん** · 2023/01/28(土) 14:54:23.83

ALU Controlを実装していてパタヘネRISC-V版の誤りに気づいた件
https://qiita.com/zacky1972/items/160d9043c5cec5d083cf
> Appendix C: Mapping Control to Hardware の C.2 Implementing Combinational Control Units の記載のFigure C.2.3が誤っていました．どのように訂正するかについては，前述のSystemVerilogのソースコードから察してください．

どう間違っててどう書くのが正しいみたいな具体的な指摘をしないのは
墓穴掘りたくないからかな

**デフォルトの名無しさん** · 2023/01/29(日) 13:13:36.42

>>656
パタヘネのFigure C2.3のOperation0(alu_ctl[0])をそのままVerilogで書くと
alu_ctl[0] = (alu_op[1] & (f[3] & f[0]));
だけど
alu_ctl[0] = (alu_op[1] & (f[1] & ~f[0]));
が正しいと言いたいらしい

でも、Figure C.2.1の4行目は
1,x,x,x,0,0,1,0 (alu_op[1],alu_op[0],f[5],f[4],f[3],f[2],f[1],f[0]) => 0110
だから最下位bitのalu_ctl[0]は0になるんだけど、
そのコードだとalu_op[1]=1,f[1]=1,f[0]=0だから~f[0]=1になり、
alu_ctl[0]が1 & (1 & 1) => 1になるからおかしいと思う

そもそも、パタヘネのFigure C.2.xに出てくるfはなんだかよくわからない
f[2:0]はいわゆるFunct3(inst[14:12]で、f[3]はFunct7の6bit目(減算命令とかに
使われる,inst[30])、そのコードでも
f = {inst[30], inst[14:12]};
にしているけど、全く使ってないf[5],f[4]は何のためのあるの?

**デフォルトの名無しさん** · 2023/01/29(日) 13:55:29.23

補足というか、このコードが何の処理をしている部分か説明

これはRISC-Vの機械語からどういう演算をすべきか決める回路のコード

RISC-Vの命令フォーマットはR-type、I-type,S-type, U-typeの4種類で、S-typeとU-typeは
即値のフォーマットにより、それぞれS-formatとSB-format、U-formatとUJ-formatに分けられる

32bitの命令instのうち最下位7bit(inst[6:0])がopcode
7bitだと命令数が足らなくなるので、U-type以外中央の3bit(inst[14:12])が追加のopcode(Funct3)
レジスタ間演算命令のR-typeでは最上位ビットから7bit分(inst[31:25])がさらに追加のopcode(Funct7)
I-typeは基本的に最上位ビットから12bit分(inst[31:20])は即値だけど、シフト命令は32bitの場合
5bitでシフト量の指定ができるから、余ったbitのinst[30]をopcodeとして使う命令がある

実際にRV32Iの範囲でFunct7のinst[30]を利用する命令は、R-typeの加算命令ADD(Funct3=000)に
対する減算命令SUB命令、論理右シフトSRL(Funct3=101)に対する算術右シフトSRA、I-typeの
即値論理右シフトSRLI(Funct3=101)に対する算術右シフトSRAI

このことを理解していれば、ALUに対して加算命令か減算命令かやシフト命令かそうでないかの
信号を送らないといけないわけで、alu_ctl[0]は加算か減算かの信号線で、alu_ctl[2]はシフト命令か
どうかの信号線って推測できるから、どちらもinst[30]がないと区別できないことがわかるはず

だとするとなんでinst[30]がいらないって発想になるんだろう?こちらがなんか勘違いしている?

**デフォルトの名無しさん** · 2023/01/29(日) 14:03:18.90

>>658
一応補足
> だとするとなんでinst[30]がいらないって発想になるんだろう?

inst[30]はf[3]ね

alu_ctl[0]が加算化減算化を区別する信号線ならinst[30]=f[3]がないといけないのに
>>656のコードはf[3]を取り除くコードにしていて、こんな書き換えようと思うこと自体
理解できないという意味

**デフォルトの名無しさん** · 2023/01/30(月) 08:49:37.18

> alu_ctl[0]が加算化減算化を区別する信号線ならinst[30]=f[3]がないといけない

f[3]なら

> alu_ctl[2] = (alu_op[0] | (alu_op[1] & f[3]));

で参照してる。正しいかはわからん。

**デフォルトの名無しさん** · 2023/01/30(月) 08:55:53.94

准教授おるな

これを言ってみたかったｗｗｗ

**デフォルトの名無しさん** · 2023/01/30(月) 12:28:18.29

出版されてから6年近く経つ世界中で読まれてる本にそんな間違い今更見つかるかな?という気はする。

**デフォルトの名無しさん** · 2023/01/30(月) 20:54:31.60

>>660
あ、見落としていた

パタヘネのFigure C.2.3をVerilogで書くとOperation2(alu_ctl[2])は
alu_ctl[2] = (alu_op[0] | (alu_op[1] & f[1]));
になっているのを、>>656のコードは
alu_ctl[2] = (alu_op[0] | (alu_op[1] & f[3]));
に修正している

alu_ctl[0]と同様にFigure C.2.1の4行目の
1,x,x,x,0,0,1,0 (alu_op[1],alu_op[0],f[5],f[4],f[3],f[2],f[1],f[0]) => 0110
に従うとalu_ctl[2]は1
修正コードだとalu_op[0]=1,alu_op[1]=1,f[3]=0のときは
(1 | (1 & 0)) => (1 | 0) => 1で正しいけど
alu_op[0]=0,alu_op[1]=1,f[3]=0のときは
(0 | (1 & 0)) => (0 | 0) => 0になるからFigure C.2.1と食い違う

Operation1(alu_ctl[1])とOperation3(alu_ctl[3])はパタヘネと同じ

少なくともパタヘネのFigure C.2.1とFigure C.2.3は正しい対応関係だが
>>656のコードはFigure C.2.1とは食い違っている

**デフォルトの名無しさん** · 2023/01/30(月) 21:21:37.55

で、ちゃんとパタヘネ読み直したけど、パタヘネはRISC-Vのサブセットであって
RV32Iではないから独自仕様になっている部分があるのね

なので>>658は忘れて

パタヘネ4章4.4より、ALUはLD, SD, BEQ, ADD, SUB, AND, ORだけ処理でき、
alu_opは、LDとSDが00、BEQが01、ADDとSUBとANDとORが10で、
Operation(alu_ctl)は、論理積が0000、論理和が0001、加算が0010、減算が0110

論理積ANDのalu_ctlは0000
論理和ORのalu_ctlは0001

加算命令ADDだけでなく、メモリ読み書き命令LDとSDはアドレス計算に加算を
利用するから、ADDとLDとSDのalu_ctlは0010

減算命令のSUBだけでなく、値が同じ場合に分岐する条件分岐命令のBEQは
同じかどうかの判定にrs1-rs2を計算して0であるか判定するので減算が必要
だから、SUBとBEQのalu_ctlは0110

これらの処理をする回路の説明がFIGURE C.2.1の表で、1行目がLDとSD、
2行目がBEQ、3行目がADD、4行目がSUB、5行目がAND、6行目がOR

FIGURE C.2.1に対応する回路図がFIGURE C.2.3

改めてチェックしてみたけど、この仕様のALUなら、FIGURE C.2.1と
FIGURE C.2.3は何も間違っていないと思う