プライマリ宣言のリストを作成し、グローバル修飾リストにプライマリではないオーバーロード・特殊化が登録されたらエラーにするようにした #1478
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Member
Author
|
手元ではビルドが通ったので、CIでエラーがでてるのは、 |
Member
すみません。実は低確率で CI 上のビルドが頓死します。長らく問題自体は認識しているのですが原因不明です。。たぶん |
Contributor
|
⚡ プレビュー (HTML) (更新時刻: 2025-07-22 22:07:43 JST) 変更記事一覧1件の記事が変更されました。 ※ソース (.md) に直接変更のあった記事を列挙しています。グローバル修飾や変換規則の変更による変化は考慮していません。 |
Member
|
今 Re-run しても失敗して、再び re-run したら通りました。。。 直近で同じ事が起こったのは例えば以下の action です。
成功した場合とログを比べてみるとどうもこんな感じのエラーが最初のほうで出ているみたいです。 Traceback (most recent call last):
File "/opt/hostedtoolcache/Python/3.11.13/x64/lib/python3.11/multiprocessing/process.py", line 314, in _bootstrap
self.run()
File "/opt/hostedtoolcache/Python/3.11.13/x64/lib/python3.11/multiprocessing/process.py", line 108, in run
self._target(*self._args, **self._kwargs)
File "/home/runner/work/site/site/site_generator/run.py", line 593, in run
convert_pageinfo(pageinfo, sidebar, sidebar_index, template, hrefs, global_qualify_list, global_defined_words)
File "/home/runner/work/site/site/site_generator/run.py", line 553, in convert_pageinfo
convert(pageinfo['path'], template, context, hrefs, global_qualify_list, global_defined_words)
File "/home/runner/work/site/site/site_generator/run.py", line 151, in convert
os.makedirs(dst_dir)
File "<frozen os>", line 225, in makedirs
FileExistsError: [Errno 17] File exists: 'cpprefjp/cpprefjp.github.io/reference/mdspan/mdspan'並列で実行している時に、存在しないディレクトリを別スレッドで同時に作成しようとして死ぬという、race condition の気がします。セマフォか何かで同期するか、並列に入る前に必要なディレクトリを先に全部作っておくか、「ファイルが既に存在しますエラー」を握りつぶすか。握りつぶすので良い気がする (ディレクトリ作成をセマフォ代わりにするテクもあるし…)。 |
akinomyoga
added a commit
to akinomyoga/cpprefjp-site_generator
that referenced
this pull request
Jul 22, 2025
手動でディレクトリが存在しなかったら作るという判定を行っているが、並列 で実行している場合には、ディレクトリの存在チェック (os.path.exists) と 実際のディレクトリの作成 (os.makedirs) の間に、他のスレッドがディレク トリを作成してしまいエラーが生じる可能性が残る (race condition)。始め から os.makedirs の側で既に存在するディレクトリを無視するべき。 cpprefjp/site#1478 (comment)
Member
Author
|
週明けくらいにマージします〜 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
グローバル修飾リスト (GLOBAL_QUALIFY_LIST.txt) への登録ルールとして、「プライマリ宣言ではないオーバーロード・特殊化へのリンクを登録してはならない」というものがありますが、それの自動チェックのために、以下を追加しました：
このPRがマージされたあとの作業として、以下をやろうと思います：
link_check.py --check-inner-linkで、GLOBAL_QUALIFY_LIST.txtとPRIMARY_OVERLOAD_SPECIALIZATION.txtのリンクチェック