2020-01-29

nfq_bind_pf の使い方

Linux にはネットワークフィルタリング機能と、そのラッパーライブラリである libnetfilter-queue があります。
そのライブラリの提供するAPIである nfq_bind_pf と nfq_unbind_pf は uint16_t pf を要求します。
これに何を渡せばいいのかよく判らなかったという話。

サンプルコードでは AF_INET を使うように書いてある。
nfq_bind_pf のコメントでは PF_INET(など) を使えと書いてある。
どっちを使っても動いてる(ように見える)

どっちを使えばいいのか？というか AF_INET と PF_INET って何だっけ？

PF_INETとAF_INETの微妙な違いによると:

PF_ はプロトコルファミリー、AF_ はアドレスファミリーを表す
BSDソケットの設計ではプロトコルファミリーとアドレスファミリーは独立している
現状のインターネットではIPv4/v6とそれらの唯一のアドレッシング方法しか無い(から独立に指定出来るうれしみは無い)

(適当な)結論

PF はプロトコルファミリーを表す
AF はアドレスファミリーを表す
実装は同じ値なのでどっちでも動く(PF_INET も AF_INET も 2)
ドキュメントには bind a nfqueue handler to a given protocol family と書いてあるので PF_* を指定するべき
サンプルコード書いた人が怪しい

リンク

libnetfilter_queueのdoxygen (2020/01/29時点でのバージョンは1.0.3)

2020-01-23

GitHub Actions で Github Pages を更新する方法

github actions でビルドした内容で github pages で公開しているサイトを更新する方法をメモ。

環境+要件
案1: github-push-action
案2: actions-gh-pages
採用案

環境+要件

github 上のパブリックリポジトリである
gh-pages ブランチを github pages として公開したい
gh-pages ブランチの中身を一部だけ差し替えたい(各リリースの内容をまとめて公開したい)
master への push の時のみ公開するページを更新したい

案1: github-push-action

github token を使って簡単に git push してくれる action。簡単に使えるし単機能でよいが、以下の理由で今回は使えなかった。

So while you can push to the `gh-pages` branch using the `GITHUB_TOKEN`, it won't spawn a GitHub Pages build.
You'll need to create a personal access token and supply it to your GitHub Action as a secret.
https://github.community/t5/GitHub-Actions/Github-action-not-triggering-gh-pages-upon-push/m-p/26869/highlight/true#M301

↑のスレッドの内容(でかつ私の環境で再現した事項)をまとめると、
GitHub Actions から `GITHUB_TOKEN` で push するとパブリックリポジトリの GitHub Pages のビルドが動かない

案2: actions-gh-pages

案1 の引用先で薦められてた github pages 専用 action。
なにやらいろいろ出来るようだけどブランチ全体のコンテンツを上書きしてしまうので使えなかった。

採用案

自力で personal access token を使って push すればよい。

..
jobs:
  ..
  publish:
    name: publish to github pages
    runs-on: ubuntu-18.04
    needs: build     # ビルドの後に実行
    # master への push の時のみ動作
    if: github.event_name == 'push' && github.ref == 'refs/heads/master'
    steps:
      - uses: actions/checkout@v1
        with:
          ref: gh-pages
          fetch-depth: 1
      - uses: actions/download-artifact@v1
        with:
          name: artifact
      - name: Commit artifact
        run: |
          git config user.email "admin@example.com"
          git config user.name "Github Action Bot"
          git add .    # artifact を追加(実際はコンテンツの一部を上書き)
          if ! (git diff --quiet && git diff --staged --quiet); then
            git commit -m "Add: changes ($GITHUB_SHA)"    # ハッシュをメモってコミット
          fi
      - name: Push to gh-pages branch
        env:
          PERSONAL_TOKEN: ${{ secrets.PERSONAL_TOKEN }}    # personal access token を使う
          PUBLISH_BRANCH: gh-pages
        run: |
          git push https://<githubユーザ>:${PERSONAL_TOKEN}@github.com/<githubユーザ>/<リポジトリ>

2020-01-17

Github Actions を勉強した

今後覚えざるを得なさそうだったのでリポジトリを作ったついでに Github Actions を勉強して使ってみました。
勘や常識(を出来るだけ)無しに公式ドキュメントに書いてある内容のみで理解することを目標にしましたが、ちょっとつらかった。

とりあえずビルドは動かせるようになったしあまり深入りしないようにしよう。。。

2019-03-18

coqdocを使った

Coq 日記

coqdocを初めて使ってみました。

はじめは company-coq のスタイルに合わせて見出しとか書いてましたが、なんとなく気が向いたので公式(documenting-coq-files-with-coqdoc )の方を確認してみたのでした。

目的はcoqスクリプトの(主にコメントの)整形スタイルを妥当なモノに統一することなので出力はどうでもいいんですが、…デフォルトはあまりかっこよくないですね :p

今のところ単一ファイルなのでコマンドは：

$ coqdoc --utf8 hoge.v

これだけ。

2019-03-05

静的コード解析の会#9

(会場と日程を変更しました) #静的コード解析の会第9回 - connpass に行ってきました。今回も何らかの発表は出来ず。
どこかで宣伝したらしく、前回から人数が大幅に増えて14~5人くらいの参加者でした。

参加者の傾向としては：

なぜかIsabelle使いが多い。
モデル検査勢が(人数的に)優勢。
他は各々の好みでいろいろ。

といった感じでした。

2019-02-27

RustでマルチスレッドWebサーバを作る例を写経

Rust 日記 Tutorial

Final Project: Building a Multithreaded Web Server - The Rust Programming Languageを写経した。
標準ライブラリのみを使って簡単なマルチスレッドWebサーバを書く例。
スレッドプールを作ってacceptするたびに「htmlを応答する関数」をJobとしてチャンネルで配る。

最終的にちゃんと各Workerスレッドを終了させるところまで作る。

思ったよりかなり簡単に書けてしまった印象。設計がいいからだろうか？