Modify performance scripts to run with sequential prover
まだ誰も着手していません。
評価
- 難易度
- 2/5
- 見積もり時間
- 1〜3時間
- 初心者へのやさしさ
- 35/100
- issue の種類
- リファクタリング
- 明瞭さ
- おおむね明確
- 活発さ
- 停滞
- 技術スタック
- haskell
- 領域
- backend, performance
調査の方向性
KEVM と Kontrol のパフォーマンススクリプトから始め、PR 2518 と、参照されている姉妹 PR が利用可能になったらそれも確認します。proof の呼び出しを --force-sequential を使用するように更新し、その後、パフォーマンス実行で proof レベルの不要な並列処理が使われなくなったことを確認します。
索引モデルが issue の本文から書いたものです。
説明
The KEVM and Kontrol performance scripts need to run proofs with --force-sequential once https://github.com/runtimeverification/evm-semantics/pull/2518 and its sister PR to Kontrol (add link when open) is merged.
This prevents unwanted proof-level parallelism. See this Slack thread.
- 主要言語
- Haskell
- スター
- 224
- フォーク
- 43
- 平均マージ
- 21時間 48分
- マージ済み PR（30日）
- 1
環境構築
このプロジェクトの環境構築ファイルはまだ確認していません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
runtimeverification/haskell-backend のほかの issue
-
Booster: Optimize KMap internal data structure to improve Map operation performance再び着手できるかも @Stevengre が 219 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/haskell-backend#4138 · コメント 9 件 · 担当者 1 名 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 48/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 38/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 35/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
runtimeverification/haskell-backend#4112 · コメント 2 件 ·
runtimeverification/haskell-backend の issue をすべて見る
似ている issue
-
bug good-title pdd
難易度 2/5 1時間未満 初心者へのやさしさ 82/100
objectionary/phino#1630 ·
メンテナーはふだん 1 日以内に返信