技術資料 | アートグラフィックス
SystemVerilog言語に関する知識はもはや常識となりました。弊社の技術資料は、SystemVerilogを業務で的確に使用する為の補助資料として、あらゆるレベルの技術者に役立つ様に準備されています。UVMも IEEE 規格となり、UVMに関する知識は、既に、常識化しつつあります。弊社の技術資料は、SystemVerilogとUVMに関する最新知識を得る目的に最適です。 SystemVerilogによる検証の基礎（検証技術者向け） SystemVerilog言語仕様書は容易に理解できる英文で書かれていないだけでなく、多くの表現には深い意味が込められており、単なる通読では見落としてしまう機能が多々存在します。特に、検証に関わる機能においての不正確な理解は致命的な問題に発展してしまいます。本書は、初心者が陥り易い問題を未然に防ぐ為に、特筆すべき機能に関しては詳細な技術解説と使用例を添えて
Netlink IPCを使ってLinuxカーネルのネットワーク情報にアクセスする - Hash λ Bye
背景 Linux networkingには下記のような様々な構成要素があります。 ネットワークデバイス 経路テーブル フィルタ etc. これらを操作する必要がある場合、一般的には iproute2 などのコマンドラインツールから操作を行うことが多いかと思います。 しかしOpenStackやKubernetesなどの大規模なクラスタを管理する環境では、複数ホストにまたがってネットワークを動的にかつ一貫した方法で構成することが求められます。 こうしたニーズを実現するために、Linux networkingの構成要素を自作のプログラムから直接制御することが最も効率的な場合があります。 NetlinkというLinuxのサブシステムはLinuxカーネル内のネットワーク関連リソースを制御します。このNetlinkサブシステムを活用することでネットワーク管理を自動化することができます。 概要 Netl
アプリ開発者のための TCP/IP ネットワーク入門
概要: この記事では、アプリ開発者の役に立ちそうな TCP/IPネットワークに関する最低限の知識をまとめた。 あくまで視点は「アプリ開発者」なので、 現在の家庭・企業における一般的なネットワーク環境しか想定していないし、 セキュリティに関しても基本的なことしかカバーしていない。 ネットワーク機器の具体的な設定方法や診断については、より専門的な資料を参照のこと。 目的: この記事を理解すると、 まとめ問題1、 まとめ問題2 および NATの動きを理解する のような問題に答えることができる。 (逆に、現時点でこれができる人には本記事は不要。) 目次 使用するツールの準備 インターネットの作り方・概要 ネットワーク通信の原理 ネットワークの「階層」 データリンク層 IP層 (ネットワーク層) TCP層 (トランスポート層) アプリケーション層 データリンク層のしくみ 物理アドレス (MACアドレ
crashコマンドの使い方 - hana_shinのLinux技術ブログ
1 crashコマンドとは? 2 検証環境 3 インストール方法 4 crashコマンド起動方法 5 コマンド一覧、ヘルプを表示する方法(help) 5.1 コマンド一覧を表示する方法 5.2 コマンドのヘルプを表示する方法 6 logコマンドの使い方 6.1 引数無しで実行する方法 6.2 時刻を表示する方法(-T) 6.3 ログの重要度を表示する方法(-m) 7 setコマンドの使い方 7.1 プロセスコンテキストを表示する方法 7.2 プロセスコンテキストを切り替える方法(set PID) 7.3 表示画面のスクロールオフ・オンの切り替え方法(set scroll off/set scroll on) 8 rdコマンドの使い方 8.1 メモリ内容を16進数／10進数(-d)で表示する方法 8.2 メモリ内容を文字列として表示する方法(-a) 9 modコマンドの使い方 9.1 モジュ
あなたのPythonを100倍高速にする技術 / Codon入門
はじめに Pythonは世界的にも人気のあるプログラミング言語ですが、実行速度については課題があります。Pythonの実行速度を高速化したい、という要求は根強く、これまでにも様々なツールや処理系が開発されています。 この記事ではMITの研究者らが開発したPythonを高速化するツール「Codon」について紹介します。 この記事を3行でまとめると： 高性能で簡単に扱えるPythonコンパイラ「Codon」 Pythonとの互換性がありながら、CやC++に匹敵する高速化を実現 実際にPythonコードが100倍速くなることを検証 Codonとは Codonは高性能なPythonコンパイラです。実行時のオーバーヘッドなしにPythonコードをネイティブなマシンコードにコンパイルし、シングルスレッドで10-100倍以上の高速化が実現できます。Codonの開発はGithub上で行われており、2021
Chocolateyで、まっさらWindowsに一気にソフトをインストール | ともすた
Windowsの PCを購入してきたときや、クリーンインストールをしたとき、それまで使っていたソフトを再度インストールし直さなければなりません。 各サイトからプログラムをダウンロードして、セットアッププログラムを起動し、淡々と「次へ」ボタンをクリックする･･･ そんな退屈な作業から解放してくれるのが「Chocolatey」です。 Chocolateyとは Chocolateyは、Chocolatey Software社が開発しているコマンドラインツールです。コマンドラインからさまざまなソフトをインストールすることができ、例えば学校や会社などでの大量のコンピューターへの環境設定などを補助してくれます。 個人が利用する場合には機能限定版が無償で提供されていますが、基本的に個人が使う分にはまったく不便しないので、ありがたく活用させてもらいましょう。 インストールする Chocolateyのインス
二段組みのPDFを読みやすく変換する - 2014-12-11 | 葉月夜堂
本当はこんなことやってる場合じゃないんですけれど（！）あまりに感動したので書いておく． PDFファイルの論文を読むときに一段組み（？）ならば上から下に目線を進めればよいが二段組みだとそういうわけにいかず随分前から不便に思っていた．で，最近見つけたk2pdfoptというツールがかなり便利．Windows, Linux, OS Xで動く．素晴らしい．導入はシンプル．配布のバイナリを落としてきてパスの通ったディレクトリに保存，chmod +xする（パッケージ管理システムで導入できたりするのかな．無さそうだった）．普通にGUI版も各OS用にあるし，CUI版がいい人はこれでいい． で． こういう感じの二段組みのPDFを与えると， こういう感じでいい感じにパーツを認識してくれて（※注：この中間ファイルを出したい場合は -sm オプションを付けて実行すればよい）， こういう感じに出力してくれる． 単純な
無線LAN - CSMA/CAとは
◆ 無線LAN - CSMA/CAとは CSMA/CAは、Carrier Sense Multiple Access with Collision Avoidanceの略であり、無線LANの通信規格 のIEEE802.11a、802.11b、802.11g の通信手順として採用されているものです。CSMAは、CSMA/CDと 同様に、通信開始前に伝送媒体上（無線LANでは電波）に、現在通信をしているホストがいないかどうかを 確認するというCarrier Sence（CS）、複数のホストが同じ伝送媒体を共有して現在他のホストが通信して いない場合は、通信を開始するというMultiple Access（MA）のCSMAです。そして、Carrier Senceにより 通信できる状態分かっても CSMA/CA の場合はさらにランダムな時間だけ待機してからデータを送信します。 無線LANではフレーム
Rust製テキストエディタhelixの特徴まとめ
で紹介されていたRustテキストエディタhelixだが、丁度自分もデザインやコードを眺めていたので、調べている中で得た特徴や知見をまとめていく。 キーバインディングは主にkakouneを踏襲 KakouneはC++で書かれたテキストエディタで、vi系列の「モード切り替え」と「少ないキーストローク数」を維持しつつも、viよりも学習しやすいキーバインディングや機能を目指して開発されている。 例を上げると、viにおいては「カーソル位置からその単語の終わりまでの単語を削除」するストロークはdwなのに対し、Kakouneではwdとなる。 どういうことかというと、wには「単語の終わりまでを選択」というバインディングがなされている。また、選択された単語はUI上でもハイライトによってそれを確認できる状態になる。 で、その選択した範囲を dで削除するというストロークが wd 。 この他にも、「カーソル上の単
Design Principles Behind Smalltalk (in Japanese)
17 August 2004 Quenya 5 April 2004 Маяковский 20 February 2004 国会の議長になったら...Viscuit...になったら...備忘録 10 January 2004 German irregular verbsGerman 9 January 2004 When I become a real mayor, I'll.. 4 January 2004 AdventsKalendar 3 January 2004 chomswiki Swiki 14 December 2003 読みたい本 9 December 2003 気になるものUser Interface 2 December 2003 tide triple helix oral history Smalltalkプロジェクトは私たち一人一人が持つ創造性を計算機によって支
Windows 10 の WSL2 で i3 window manager を使う (WSLg 無効化) - Qiita
Windows 10 の 2004 update で、WSL が WSL2 になりました。 Windows 10 で i3 window manager を使う で書いたように Windows 10 に VcXsrv を入れれば Linux Desktop 環境を Windows 10 の仮想デスクトップの一つで使えてとても便利で快適なのですが、 WSL2 にしてみたらうまく動かなかったので改訂しました。 さらに、systemd と WSLg が入った Microsoft Store 版WSL2 になって、既存の環境が起動しなくなったり、VcXsrv が動かなくなってしまったりといったトラブルが有ったのでその点も改訂しました。 2021-12-23 にちょっと追記 (dbus-x11) 2023-07-07 (WSL2 Microsoft Store版対応) 2023-07-11 (Win
Fire HD 10 (suez)にLineageOSを入れる方法を紹介！ ｜かなり簡単にできます。
最近、損失ばっかりのとある学生です。 今回はFire HD 10(suez)にLineageOSを入れる方法を紹介していきたいと思います。
Prustiを使ってRustでプログラム検証をしよう
導入に際し、ドキュメントに書いてないこととか色々あってつらかったため、軽くメモ代わりに投稿しておきます。 また、Prusti を使う最も簡単な方法は VSCode の拡張である Prusti-Assistant を使うことですが、Vimの使用を見越しコマンドだけで使えるようにアレコレ設定しました。 Prusti の紹介 プログラミングにおいて、関数に対してプログラマが明示的に制約を課すことはよくあります。 例えば、次のような単純な関数 max を考えます。 fn max(x: i32, y: i32) -> i32 { let result = if x > y { x } else { y }; result } さて、この関数は次のような性質を持つことが期待されます。 resultはx以上かつy以上 resultはxまたはy そういった情報は多くの場合ライブラリのドキュメントなどに書い
アマゾン買収から2年半、「Amazon FreeRTOS」は最も手頃なRTOSに
アマゾン買収から2年半、「Amazon FreeRTOS」は最も手頃なRTOSに：リアルタイムOS列伝（2）（1/3 ページ） IoT（モノのインターネット）市場が拡大する中で、エッジ側の機器制御で重要な役割を果たすことが期待されているリアルタイムOS（RTOS）について解説する本連載。第2回は、アマゾンの買収によってRTOSのメインストリームに躍り出た「Amazon FreeRTOS」について紹介する。 連載「リアルタイムOS列伝」の第2回、というかここ10年のリアルタイムOS（RTOS）の動向を概説した前回を除いて実質的な第1回になる今回は「Amazon FreeRTOS」をご紹介したい。 ⇒連載記事「リアルタイムOS列伝」バックナンバー Amazon FreeRTOSの話は、アマゾン（Amazon.com）による買収を受けてのこちらの記事で触れているが、簡単に説明すればもともとはリチ
なぜ、Rustなのか?
rerun.ioより。 BY エミール・アーナーフェルト 私は20年以上プログラマとして働いてきましたが、Rustほど私を興奮させたものはありません。私のバックグラウンドは主にC++ですが、PythonやLuaでも仕事をしたことがあり、さらに多くの言語に手を出してきました。2014年頃からRustを書き始め、2018年からはフルタイムで Rustを書いています。余暇には、人気のあるRust GUIクレートeguiを開発しました。 今年の初めにRerunを共同設立したとき、言語の選択は明らかでした。 Rerunでは、コンピュータビジョンやロボティクスのための視覚化ツールを作っています。そのためには、高速で並列化が容易な言語が必要です。デスクトップで実行する場合、ネイティブの速度が必要ですが、Web上で視覚化したり、Jupyter NotebookやIDEでインライン表示したりすることも考えて
ApacheでPOSTデータをログに記録したい - Qiita
はじめに Apacheのデフォルトの設定ではaccessログにはPOSTデータの 内容は表示されません。 というか、ユーザの機密情報をログに残さないことが目的の一つで POSTメソッドを使っているので、それで正しい思います。 ただ、開発中の検証などで、POSTデータをログに記録したいことが あると思いますので、その方法を説明します。 もっとも、自分はPOSTするようなWEBアプリケーションを作るときはWEBフレームワークを 使っていて、だいたいのフレームワークはdebugモードにすると、POSTのデータを 見ることができるので、めったに使うことはないと思いますが、、、 環境について 下記の環境で設定をしました。 OS: CentOS6.4 x86_64 Apache: Apache 2.2.25 (ソースからインストールしたもの) mod_dumpioインストール POSTデータをログに残
eBPFに3日で入門した話 - CADDi Tech Blog
はじめに eBPF とはなにか ざっくり概要 「Packet Filter」なのに「Virtual Machine」? eBPFでなにができるか? カーネルイベントのフック ユーザーランドアプリケーションとのやりとり eBPFの主な用途 eBPFが注目される背景 eBPFの仕組み アーキテクチャと処理フロー カーネルモジュールとeBPFの違い eBPFプログラムの作り方 eBPFプログラムを作ってみる 環境の準備 Hello world もう少し複雑なサンプル その他のサンプル HTTPリクエストのダンプ TCP接続先の調査 tcplife dirtop filetop oomkill まとめ eBPFはなにに使えるか 参考サイト はじめに こんにちは、Platformチームの小森です。 eBPF (extended Berkley Packet Filter) について、2022年8月2
Zig の文書読んで所感を記す - Qiita
これは何？ Zig を学ぼうと 公式文書 (0.91時点) を読んでいるんだけど、読みながら思ったことを記していく。 続編は Zig の文書読んで所感を記す #2 へ。 その前に Zig への言及が最近多いなぁ、でもシンプルな言語だって言うしまあどうでもいいかなぁ、ぐらいの気持ちでいたんだけど、ZigはCMakeの代替となるか を読んで、俄然興味が湧いてきて、じゃあ読んでみるか、と思った。 数値 i32 とか u16 のような名前で型が提供されている。 整数は 128bit まである。そればかりか、 3bit とか 53bit のような中途半端な幅の整数も使える模様。面白い。 さらに。何に使うのかわかってないけど、 i0 u0 のようなゼロビットの整数もある。 ちなみに0ビット整数には 0 が代入できる。 u1 は、 0 または 1。 i1 は、 0 または -1 が代入可能。 浮動小数点
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - tkmru/linux-insides-ja: Japanese version of linux-insides book
[全編無料] 他言語習得者がとりあえず使えるようになるZig![[全編無料] 他言語習得者がとりあえず使えるようになるZig](https://cdn-ak-scissors.b.st-hatena.com/image/square/2d8d440fcdf561652c31d62b19a9685bdb322a7a/height=288;version=1;width=512/https%3A%2F%2Fres.cloudinary.com%2Fzenn%2Fimage%2Fupload%2Fs--Aqa90pn_--%2Fg_center%252Ch_280%252Cl_fetch%3AaHR0cHM6Ly9zdG9yYWdlLmdvb2dsZWFwaXMuY29tL3plbm4tdXNlci11cGxvYWQvYm9va19jb3Zlci84ZmE1NGE4NWVjLnBuZw%3D%3D%252Cw_200%2Fv1627283836%2Fdefault%2Fog-base-book_yz4z02.jpg)
