ホーム>プログラミング関連>AI ソースコード
ダウンロード

apache nuttx rtosとlorawanを含むrisc-v bl602のzig

記事を読む...

  • 「RISC-V BL602のZig：apache nuttx rtosでのクイックピーク」

  • 「ZigとLorawanを使用してIoTアプリを構築する」

bl602でnuttx用のhello zigアプリを構築するために... 

 # #  Enable Zig App in NuttX menuconfig
make menuconfig

# #  TODO: Select "Application Configuration > Examples > Hello Zig Example"
# #  Save the configuration and exit menuconfig.

# #  Build Nuttx
make

# #  NuttX Build fails with Undefined Reference to `hello_zig_main`
# #  That's OK, here's the fix...

# #  Download our modified Zig App for NuttX
git clone --recursive https://github.com/lupyuen/zig-bl602-nuttx
cd zig-bl602-nuttx

# #  Compile the Zig App for BL602 (RV32IMACF with Hardware Floating-Point)
zig build-obj 
    -target riscv32-freestanding-none 
    -mcpu sifive_e76 
    hello_zig_main.zig

# #  Dump the ABI for the compiled app
riscv64-unknown-elf-readelf -h -A hello_zig_main.o
# #  Shows "Flags: 0x1, RVC, soft-float ABI"
# #  Which is Software Floating-Point.
# #  This won't link with NuttX because NuttX is compiled with Hardware Floating-Point

# #  We change Software Floating-Point to Hardware Floating-Point...
# #  Edit hello_zig_main.o in a Hex Editor, change byte 0x24 from 0x01 to 0x03
# #  (See https://en.wikipedia.org/wiki/Executable_and_Linkable_Format#File_header)

# #  Dump the ABI for the compiled app
riscv64-unknown-elf-readelf -h -A hello_zig_main.o
# #  Shows "Flags: 0x3, RVC, single-float ABI"
# #  Which is Hardware Floating-Point and will link with NuttX

# #  Copy the compiled app to NuttX and overwrite `hello.o`
# #  TODO: Change "$HOME/nuttx" to your NuttX Project Directory
cp hello_zig_main.o $HOME /nuttx/apps/examples/hello/ * hello.o

# #  Build NuttX to link the Zig Object from `hello.o`
# #  TODO: Change "$HOME/nuttx" to your NuttX Project Directory
cd $HOME /nuttx/nuttx
make

# #  NuttX build should now succeed

nuttxを起動し、これをNuttxシェルに入力してください... 

 NuttShell (NSH) NuttX-10.3.0-RC2

nsh> hello_zig
Hello, Zig!

Lorawan Zigアプリについては、これを参照してください...

  • 「ロラワンアプリをzigに変換」

Zigコンパイラを使用してCのLORA SX1262ライブラリをコンパイルするには、これを参照してください...

  • 「GCCのドロップイン交換としてのZigコンパイラ」

これが私たちがZigとLorawanをBL602 Nuttxで走らせた方法です...

nuttxのzigアプリ

apache nuttx rtosはシンプルなzigアプリにバンドルされています...これをbl602で実行しましょう：hello_zig_main.zig 

 //  Import the Zig Standard Library
const std = @import ( "std" );

//  Import printf() from C
pub extern fn printf (
    _format : [ * : 0 ] const u8
) c_int ;

//  Main Function
pub export fn hello_zig_main (
    _argc : c_int , 
    _argv : [ * ] const [ * ] const u8
) c_int {
    _ = _argc ;
    _ = _argv ;
    _ = printf ( "Hello, Zig! n " );
    return 0 ;
}

Zigコンパイラを幸せにするために、最後の2行を修正しました... 

 //  Previously: printf("Hello, Zig!n");
//  Zig needs us to use the returned value from printf()...
_ = printf ( "Hello, Zig! n " );

//  Previously this was missing.
//  Zig needs us to return a value...
return 0 ;

オリジナルバージョンはこちら：hello_zig_main.zigです

zigアプリを有効にします

nuttxでzi​​gアプリを有効にするために... 

make menuconfig

「アプリケーション構成>例>ハローzigの例」を選択します

構成を保存し、Menuconfigを終了します。

nuttxでビルドが失敗します

nuttxを構築するとき... 

make

このエラーが表示されます... 

 LD: nuttx
riscv64-unknown-elf-ld: nuttx/staging/libapps.a(builtin_list.c.home.user.nuttx.apps.builtin.o):(.rodata.g_builtins+0xbc): 
undefined reference to `hello_zig_main'

（ソース）

この問題に似ています...

Apache/nuttx＃6219

これは、zigコンパイラを呼び出さないnuttxビルドが原因のようです。

しかし、心配はありません！ Zigアプリを自分でコンパイルし、Nuttxにリンクしましょう。

zigアプリをコンパイルします

RISC-V BL602用のZigアプリをコンパイルし、Nuttxにリンクする方法は次のとおりです。 

 # #  Download our modified Zig App for NuttX
git clone --recursive https://github.com/lupyuen/zig-bl602-nuttx
cd zig-bl602-nuttx

# #  Compile the Zig App for BL602 (RV32IMACF with Hardware Floating-Point)
zig build-obj 
    -target riscv32-freestanding-none 
    -mcpu sifive_e76 
    hello_zig_main.zig

# #  Copy the compiled app to NuttX and overwrite `hello.o`
# #  TODO: Change "$HOME/nuttx" to your NuttX Project Directory
cp hello_zig_main.o $HOME /nuttx/apps/examples/hello/ * hello.o

# #  Build NuttX to link the Zig Object from `hello.o`
# #  TODO: Change "$HOME/nuttx" to your NuttX Project Directory
cd $HOME /nuttx/nuttx
make

zigターゲット

ターゲットriscv32-freestanding-noneなのはなぜですか？

Zigのターゲットには<arch><sub>-<os>-<abi> ...

riscv32 ：BL602は32ビットRISC-Vプロセッサであるためです

freestanding ：埋め込まれたターゲットはOSを必要としないためです

none ：埋め込まれたターゲットはABIを指定しないためです

ターゲットCPU sifive_e76がなぜですか？

BL602はRV32IMACFとして指定されています...

指定意味
RV32Iベース整数命令を備えた32ビットRISC-V
M整数乗算 +分割
A原子指示
C圧縮手順
Fシングルエシジョンフローティングポイント

（ソース）

すべてのZigターゲットの中で、 sifive_e76のみが同じ指定を持っています... 

$ zig targets
...
" sifive_e76 " : [ " a " , " c " , " f " , " m " ],

（ソース）

したがって、 sifive_e76 CPUターゲットとして使用します。

または、CPUターゲットとしてbaseline_rv32-d使用する場合があります... 

 # #  Compile the Zig App for BL602 (RV32IMACF with Hardware Floating-Point)
zig build-obj 
    -target riscv32-freestanding-none 
    -mcpu=baseline_rv32-d 
    hello_zig_main.zig

なぜなら...

  • baseline_rv32はRV32IMACFDを意味します

    （d二重精度の浮動小数点の場合）

  • -d 、二重精度のフローティングポイント（d）を削除することを意味します

    （ただし、単一の精度のフローティングポイントを保持します）

（RISC-V機能フラグの詳細。Matheusに感謝します！）

フローティングポイントABI

コンパイルされたZigアプリをNuttxとリンクすると、このエラーが表示されます... 

$ make
...
riscv64-unknown-elf-ld: nuttx/staging/libapps.a(hello_main.c.home.user.nuttx.apps.examples.hello.o): 
can ' t link soft-float modules with single-float modules

これは、Nuttxが（単一の程度）フローティングポイントABI（アプリケーションバイナリインターフェイス）のためにコンパイルされたためです。 

 # #  Do this BEFORE overwriting hello.o by hello_zig_main.o.
# #  "*hello.o" expands to something like "hello_main.c.home.user.nuttx.apps.examples.hello.o"
$ riscv64-unknown-elf-readelf -h -A $HOME /nuttx/apps/examples/hello/ * hello.o
ELF Header:
  Magic:   7f 45 4c 46 01 01 01 00 00 00 00 00 00 00 00 00 
  Class:                             ELF32
  Data:                              2 ' s complement, little endian
  Version:                           1 (current)
  OS/ABI:                            UNIX - System V
  ABI Version:                       0
  Type:                              REL (Relocatable file)
  Machine:                           RISC-V
  Version:                           0x1
  Entry point address:               0x0
  Start of program headers:          0 (bytes into file)
  Start of section headers:          4528 (bytes into file)
  Flags:                             0x3, RVC, single-float ABI
  Size of this header:               52 (bytes)
  Size of program headers:           0 (bytes)
  Number of program headers:         0
  Size of section headers:           40 (bytes)
  Number of section headers:         26
  Section header string table index: 25
Attribute Section: riscv
File Attributes
  Tag_RISCV_stack_align: 16-bytes
  Tag_RISCV_arch: "rv32i2p0_m2p0_a2p0_f2p0_c2p0"

（ソース）

（nuttxはGCCフラグにまとめられました-march=rv32imafc -mabi=ilp32f ）

一方、Zigコンパイラは、ソフトウェアフローティングポイントABIを備えたオブジェクトファイルを生成します... 

$ riscv64-unknown-elf-readelf -h -A hello_zig_main.o
ELF Header:
  Magic:   7f 45 4c 46 01 01 01 00 00 00 00 00 00 00 00 00 
  Class:                             ELF32
  Data:                              2 ' s complement, little endian
  Version:                           1 (current)
  OS/ABI:                            UNIX - System V
  ABI Version:                       0
  Type:                              REL (Relocatable file)
  Machine:                           RISC-V
  Version:                           0x1
  Entry point address:               0x0
  Start of program headers:          0 (bytes into file)
  Start of section headers:          11968 (bytes into file)
  Flags:                             0x1, RVC, soft-float ABI
  Size of this header:               52 (bytes)
  Size of program headers:           0 (bytes)
  Number of program headers:         0
  Size of section headers:           40 (bytes)
  Number of section headers:         24
  Section header string table index: 22
Attribute Section: riscv
File Attributes
  Tag_RISCV_stack_align: 16-bytes
  Tag_RISCV_arch: "rv32i2p0_m2p0_a2p0_f2p0_c2p0"

（ソース）

GCCは、オブジェクトファイルをソフトウェアフローティングポイントおよびハードウェアフローティングポイントABIにリンクすることはできません。

（ sifive_e76ハードウェアフローティングポイントをサポートしているのに、なぜZigコンパイラはソフトウェアの浮動小数点ABIを使用してオブジェクトファイルを作成したのですか？これを参照してください）

パッチエルフヘッダー

Zigコンパイラは、ソフトウェアフローティングポイントABI（アプリケーションバイナリインターフェイス）を使用してオブジェクトファイルを生成します... 

 # #  Dump the ABI for the compiled app
$ riscv64-unknown-elf-readelf -h -A hello_zig_main.o
...
Flags: 0x1, RVC, soft-float ABI

NuttxはハードウェアフローティングポイントABIでコンパイルされているため、これはNuttxにリンクしません。

ELFヘッダーを変更してこれを修正します...

  • hello_zig_main.o hexエディターで編集します

    （vscode hexエディターのように）

  • バイト0x24 （フラグ）を0x01 （ソフトフロート）から0x03 （ハードフロート）に変更します

    （これを参照）

オブジェクトファイルがハードウェアフローティングポイントABIに変更されたことを確認します... 

 # #  Dump the ABI for the compiled app
$ riscv64-unknown-elf-readelf -h -A hello_zig_main.o
...
Flags: 0x3, RVC, single-float ABI

これは現在、ハードウェアフローティングポイントABIであり、Nuttxとリンクします。

次に、変更されたオブジェクトファイルをNuttxにリンクします... 

 # #  Copy the compiled app to NuttX and overwrite `hello.o`
# #  TODO: Change "$HOME/nuttx" to your NuttX Project Directory
cp hello_zig_main.o $HOME /nuttx/apps/examples/hello/ * hello.o

# #  Build NuttX to link the Zig Object from `hello.o`
# #  TODO: Change "$HOME/nuttx" to your NuttX Project Directory
cd $HOME /nuttx/nuttx
make

Nuttxビルドは成功する必要があります。

このようにABIを変更しても大丈夫ですか？

技術的には、 ABIはZigコンパイラによって正しく生成されます... 

 # #  Dump the ABI for the compiled Zig app
$ riscv64-unknown-elf-readelf -h -A hello_zig_main.o
...
Flags: 0x1, RVC, soft-float ABI
Tag_RISCV_arch: " rv32i2p0_m2p0_a2p0_f2p0_c2p0 "

最後の行はRV32IMACFに翻訳されます。これは、RISC-V命令セットが実際にハードウェアフローティングポイントをターゲットにしていることを意味します。

ELFヘッダーのみを編集しています。これは、オブジェクトファイルの正しいABIを反映していないように見えるためです。

これに適切な修正はありますか？

将来的には、Zigコンパイラを使用すると、フローティングポイントABIをターゲットとして指定できる場合があります... 

 # #  Compile the Zig App for BL602
# #  ("ilp32f" means Hardware Floating-Point ABI)
zig build-obj 
  -target riscv32-freestanding-ilp32f 
  ...

（これを参照）

乞うご期待！

コマンドラインを介してエルフヘッダーにパッチを当てることはできますか？

うん、コマンドラインを介してエルフヘッダーにパッチを当てることができます... 

xxd -c 1 hello_zig_main.o 
  | sed ' s/00000024: 01/00000024: 03/ ' 
  | xxd -r -c 1 - hello_zig_main2.o

zigは大丈夫です！

nuttxビルドは成功します。 zigはnuttx bl602でOKを実行します！ 

 NuttShell (NSH) NuttX-10.3.0-RC2

nsh> hello_zig
Hello, Zig!

こんにちはアプリ

Zigコンパイルされたオブジェクトファイルでhello.oを上書きしたことを忘れないでください。

hello_main関数を提供しない限り、nuttxビルドは失敗します... 

 riscv64-unknown-elf-ld: nuttx/staging/libapps.a(builtin_list.c.home.user.nuttx.apps.builtin.o):(.rodata.g_builtins+0xcc): 
undefined reference to `hello_main'

だから私たちはZigアプリでhello_mainを定義します... 

 pub export fn hello_main (
    _argc : c_int , 
    _argv : [ * ] const [ * ] const u8
) c_int {
    _ = _argc ;
    _ = _argv ;
    _ = printf ( "Hello, Zig! n " );
    return 0 ;
}

（ソース）

つまり、 helloアプリはZigコードも呼び出します... 

 NuttShell (NSH) NuttX-10.3.0-RC2

nsh> hello
Hello, Zig!

Pine64 Pinecone BL602ボード（右）SemTech SX1262 LORA TRANSCEIVER（左）に接続

GCCのドロップイン交換としてのZigコンパイラ

Zigコンパイラは、NuttxライブラリをコンパイルするためのGCCのドロップイン交換として機能しますか？

Apache nuttx rtosのLora SX1262ライブラリでテストしましょう！

NUTTXがGCCでLORA SX1262ライブラリをコンパイルする方法は次のとおりです。 

 # #  LoRa SX1262 Source Directory
cd $HOME /nuttx/nuttx/libs/libsx1262

# #  Compile radio.c with GCC
riscv64-unknown-elf-gcc 
  -c 
  -fno-common 
  -Wall 
  -Wstrict-prototypes 
  -Wshadow 
  -Wundef 
  -Os 
  -fno-strict-aliasing 
  -fomit-frame-pointer 
  -fstack-protector-all 
  -ffunction-sections 
  -fdata-sections 
  -g 
  -march=rv32imafc 
  -mabi=ilp32f 
  -mno-relax 
  -isystem " $HOME /nuttx/nuttx/include " 
  -D__NuttX__ 
  -DNDEBUG 
  -DARCH_RISCV  
  -pipe   src/radio.c 
  -o  src/radio.o

# #  Compile sx126x.c with GCC
riscv64-unknown-elf-gcc 
  -c 
  -fno-common 
  -Wall 
  -Wstrict-prototypes 
  -Wshadow 
  -Wundef 
  -Os 
  -fno-strict-aliasing 
  -fomit-frame-pointer 
  -fstack-protector-all 
  -ffunction-sections 
  -fdata-sections 
  -g 
  -march=rv32imafc 
  -mabi=ilp32f 
  -mno-relax 
  -isystem " $HOME /nuttx/nuttx/include " 
  -D__NuttX__ 
  -DNDEBUG 
  -DARCH_RISCV  
  -pipe   src/sx126x.c 
  -o  src/sx126x.o

# #  Compile sx126x-nuttx.c with GCC
riscv64-unknown-elf-gcc 
  -c 
  -fno-common 
  -Wall 
  -Wstrict-prototypes 
  -Wshadow 
  -Wundef 
  -Os 
  -fno-strict-aliasing 
  -fomit-frame-pointer 
  -fstack-protector-all 
  -ffunction-sections 
  -fdata-sections 
  -g 
  -march=rv32imafc 
  -mabi=ilp32f 
  -mno-relax 
  -isystem " $HOME /nuttx/nuttx/include " 
  -D__NuttX__ 
  -DNDEBUG 
  -DARCH_RISCV  
  -pipe   src/sx126x-nuttx.c 
  -o  src/sx126x-nuttx.o

これらの変更を加えます...

  • riscv64-unknown-elf-gcc zig ccに変更します

  • ターゲット-target riscv32-freestanding-none -mcpu=baseline_rv32-dを追加します

  • -march=rv32imafcを削除します

そして、私たちはこれを実行します... 

 # #  LoRa SX1262 Source Directory
cd $HOME /nuttx/nuttx/libs/libsx1262

# #  Compile radio.c with zig cc
zig cc 
  -target riscv32-freestanding-none 
  -mcpu=baseline_rv32-d 
  -c 
  -fno-common 
  -Wall 
  -Wstrict-prototypes 
  -Wshadow 
  -Wundef 
  -Os 
  -fno-strict-aliasing 
  -fomit-frame-pointer 
  -fstack-protector-all 
  -ffunction-sections 
  -fdata-sections 
  -g 
  -mabi=ilp32f 
  -mno-relax 
  -isystem " $HOME /nuttx/nuttx/include " 
  -D__NuttX__ 
  -DNDEBUG 
  -DARCH_RISCV  
  -pipe   src/radio.c 
  -o  src/radio.o

# #  Compile sx126x.c with zig cc
zig cc 
  -target riscv32-freestanding-none 
  -mcpu=baseline_rv32-d 
  -c 
  -fno-common 
  -Wall 
  -Wstrict-prototypes 
  -Wshadow 
  -Wundef 
  -Os 
  -fno-strict-aliasing 
  -fomit-frame-pointer 
  -fstack-protector-all 
  -ffunction-sections 
  -fdata-sections 
  -g 
  -mabi=ilp32f 
  -mno-relax 
  -isystem " $HOME /nuttx/nuttx/include " 
  -D__NuttX__ 
  -DNDEBUG 
  -DARCH_RISCV  
  -pipe   src/sx126x.c 
  -o  src/sx126x.o

# #  Compile sx126x-nuttx.c with zig cc
zig cc 
  -target riscv32-freestanding-none 
  -mcpu=baseline_rv32-d 
  -c 
  -fno-common 
  -Wall 
  -Wstrict-prototypes 
  -Wshadow 
  -Wundef 
  -Os 
  -fno-strict-aliasing 
  -fomit-frame-pointer 
  -fstack-protector-all 
  -ffunction-sections 
  -fdata-sections 
  -g 
  -mabi=ilp32f 
  -mno-relax 
  -isystem " $HOME /nuttx/nuttx/include " 
  -D__NuttX__ 
  -DNDEBUG 
  -DARCH_RISCV  
  -pipe   src/sx126x-nuttx.c 
  -o  src/sx126x-nuttx.o

# #  Link Zig Object Files with NuttX after compiling with `zig cc`
# #  TODO: Change "$HOME/nuttx" to your NuttX Project Directory
cd $HOME /nuttx/nuttx
make

Zigコンパイラはこれらのエラーを表示します... 

 In file included from src/sx126x-nuttx.c:3:
In file included from nuttx/include/debug.h:39:
In file included from nuttx/include/sys/uio.h:45:
nuttx/include/sys/types.h:119:9: error: unknown type name '_size_t'
typedef _size_t      size_t;
        ^
nuttx/include/sys/types.h:120:9: error: unknown type name '_ssize_t'
typedef _ssize_t     ssize_t;
        ^
nuttx/include/sys/types.h:121:9: error: unknown type name '_size_t'
typedef _size_t      rsize_t;
        ^
nuttx/include/sys/types.h:174:9: error: unknown type name '_wchar_t'
typedef _wchar_t     wchar_t;
        ^
In file included from src/sx126x-nuttx.c:4:
In file included from nuttx/include/stdio.h:34:
nuttx/include/nuttx/fs/fs.h:238:20: error: use of undeclared identifier 'NAME_MAX'
  char      parent[NAME_MAX + 1];
                   ^

適切なヘッダーファイルを含めることでこれを修正します... 

 #if defined( __NuttX__ ) && defined( __clang__ )  //  Workaround for NuttX with zig cc
#include <arch/types.h>
#include "../../nuttx/include/limits.h"
#endif  //  defined(__NuttX__) && defined(__clang__)

これらのソースファイルに...

  • Radio.C
  • SX126X-NUTTX.C
  • SX126X.C

（変更を参照）

このコードを挿入して（実行時に）ZigコンパイラまたはGCCでコンパイルされたかどうかを教えてください... 

 void SX126xIoInit ( void ) {
#ifdef __clang__
#warning Compiled with zig cc
    puts ( "SX126xIoInit: Compiled with zig cc" );
#else
#warning Compiled with gcc
    puts ( "SX126xIoInit: Compiled with gcc" );
#endif  //  __clang__

（ソース）

zig ccと編集されたLora SX1262ライブラリは、Nuttx YayでOKを実行します！ 

 nsh> lorawan_test
SX126xIoInit: Compiled with zig cc
...
###### =========== MLME-Confirm ============ ######
STATUS      : OK
###### ===========   JOINED     ============ ######
OTAA
DevAddr     :  000E268C
DATA RATE   : DR_2
...
###### =========== MCPS-Confirm ============ ######
STATUS      : OK
###### =====   UPLINK FRAME        1   ===== ######
CLASS       : A
TX PORT     : 1
TX DATA     : UNCONFIRMED
48 69 20 4E 75 74 74 58 00
DATA RATE   : DR_3
U/L FREQ    : 923400000
TX POWER    : 0
CHANNEL MASK: 0003

（完全なログを参照）

NuttxのLorawan Library

巨大なロラワンライブラリをZigコンパイラでコンパイルしましょう。

Nuttxはこのようにロラワンライブラリをコンパイルします... 

 # #  LoRaWAN Source Directory
cd $HOME /nuttx/nuttx/libs/liblorawan

# #  Compile mac/LoRaMac.c with GCC
riscv64-unknown-elf-gcc 
  -c 
  -fno-common 
  -Wall 
  -Wstrict-prototypes 
  -Wshadow 
  -Wundef 
  -Os 
  -fno-strict-aliasing 
  -fomit-frame-pointer 
  -fstack-protector-all 
  -ffunction-sections 
  -fdata-sections 
  -g 
  -march=rv32imafc 
  -mabi=ilp32f 
  -mno-relax 
  -isystem " $HOME /nuttx/nuttx/include " 
  -D__NuttX__ 
  -DNDEBUG 
  -DARCH_RISCV  
  -pipe   src/mac/LoRaMac.c 
  -o  src/mac/LoRaMac.o

Zigコンパイラに切り替えます... 

 # #  LoRaWAN Source Directory
cd $HOME /nuttx/nuttx/libs/liblorawan

# #  Compile mac/LoRaMac.c with zig cc
zig cc 
  -target riscv32-freestanding-none 
  -mcpu=baseline_rv32-d 
  -c 
  -fno-common 
  -Wall 
  -Wstrict-prototypes 
  -Wshadow 
  -Wundef 
  -Os 
  -fno-strict-aliasing 
  -fomit-frame-pointer 
  -fstack-protector-all 
  -ffunction-sections 
  -fdata-sections 
  -g 
  -mabi=ilp32f 
  -mno-relax 
  -isystem " $HOME /nuttx/nuttx/include " 
  -D__NuttX__ 
  -DNDEBUG 
  -DARCH_RISCV  
  -pipe   src/mac/LoRaMac.c 
  -o  src/mac/LoRaMac.o

# #  Link Zig Object Files with NuttX after compiling with `zig cc`
# #  TODO: Change "$HOME/nuttx" to your NuttX Project Directory
cd $HOME /nuttx/nuttx
make

適切なヘッダーファイルをloramac.cに含めます... 

 #if defined( __NuttX__ ) && defined( __clang__ )  //  Workaround for NuttX with zig cc
#include <arch/types.h>
#include "../../nuttx/include/limits.h"
#endif  //  defined(__NuttX__) && defined(__clang__)

（変更を参照）

loramac.cは、zigコンパイラでOKをコンパイルします。

TODO： build.zigでロラワンライブラリの他のファイルをコンパイルします

https://ziglang.org/documentation/master/#zig-build-system

TODO：ロラワン図書館をテストします

NuttxのLorawanアプリ

次に、Zigコンパイラを使用してLorawanアプリlorawan_test_main.cをコンパイルします。

nuttxはlorawanアプリlorawan_test_main.cをコンパイルします... 

 # #  App Source Directory
cd $HOME /nuttx/apps/examples/lorawan_test/lorawan_test_main.c

# #  Compile lorawan_test_main.c with GCC
riscv64-unknown-elf-gcc 
  -c 
  -fno-common 
  -Wall 
  -Wstrict-prototypes 
  -Wshadow 
  -Wundef 
  -Os 
  -fno-strict-aliasing 
  -fomit-frame-pointer 
  -fstack-protector-all 
  -ffunction-sections 
  -fdata-sections 
  -g 
  -march=rv32imafc 
  -mabi=ilp32f 
  -mno-relax 
  -isystem " $HOME /nuttx/nuttx/include " 
  -D__NuttX__ 
  -DNDEBUG 
  -DARCH_RISCV  
  -pipe 
  -I " $HOME /nuttx/apps/graphics/lvgl " 
  -I " $HOME /nuttx/apps/graphics/lvgl/lvgl " 
  -I " $HOME /nuttx/apps/include " 
  -Dmain=lorawan_test_main  lorawan_test_main.c 
  -o  lorawan_test_main.c.home.user.nuttx.apps.examples.lorawan_test.o

Zigコンパイラに切り替えます... 

 # #  App Source Directory
cd $HOME /nuttx/apps/examples/lorawan_test

# #  Compile lorawan_test_main.c with zig cc
zig cc 
  -target riscv32-freestanding-none 
  -mcpu=baseline_rv32-d 
  -c 
  -fno-common 
  -Wall 
  -Wstrict-prototypes 
  -Wshadow 
  -Wundef 
  -Os 
  -fno-strict-aliasing 
  -fomit-frame-pointer 
  -fstack-protector-all 
  -ffunction-sections 
  -fdata-sections 
  -g 
  -mabi=ilp32f 
  -mno-relax 
  -isystem " $HOME /nuttx/nuttx/include " 
  -D__NuttX__ 
  -DNDEBUG 
  -DARCH_RISCV  
  -pipe 
  -I " $HOME /nuttx/apps/graphics/lvgl " 
  -I " $HOME /nuttx/apps/graphics/lvgl/lvgl " 
  -I " $HOME /nuttx/apps/include " 
  -Dmain=lorawan_test_main  lorawan_test_main.c 
  -o  * lorawan_test.o

# #  Link Zig Object Files with NuttX after compiling with `zig cc`
# #  TODO: Change "$HOME/nuttx" to your NuttX Project Directory
cd $HOME /nuttx/nuttx
make

右ヘッダーファイルをlorawan_test_main.cに含めます... 

 #if defined( __NuttX__ ) && defined( __clang__ )  //  Workaround for NuttX with zig cc
#include <arch/types.h>
#include "../../nuttx/include/limits.h"
#endif  //  defined(__NuttX__) && defined(__clang__)

（変更を参照）

zig ccに編集されたLorawanアプリは、Nuttx YayでOKを実行します！ 

 nsh> lorawan_test
lorawan_test_main: Compiled with zig cc
...
###### =========== MLME-Confirm ============ ######
STATUS      : OK
###### ===========   JOINED     ============ ######
OTAA
DevAddr     :  00DC5ED5
DATA RATE   : DR_2
...
###### =========== MCPS-Confirm ============ ######
STATUS      : OK
###### =====   UPLINK FRAME        1   ===== ######
CLASS       : A
TX PORT     : 1
TX DATA     : UNCONFIRMED
48 69 20 4E 75 74 74 58 00
DATA RATE   : DR_3
U/L FREQ    : 923400000
TX POWER    : 0
CHANNEL MASK: 0003

（完全なログを参照）

lorawanアプリをzigに自動翻訳します

zigコンパイラは、cコードをzigに自動翻訳できます。 （これを参照）

lorawanアプリlorawan_test_main.cをcからzigに自動翻訳する方法は次のとおりです。

  • zig cc zig translate-cに変更します

  • -cflagsによってCフラグを囲む--

このような... 

 # #  App Source Directory
cd $HOME /nuttx/apps/examples/lorawan_test

# #  Auto-translate lorawan_test_main.c from C to Zig
zig translate-c 
  -target riscv32-freestanding-none 
  -mcpu=baseline_rv32-d 
  -cflags 
    -fno-common 
    -Wall 
    -Wstrict-prototypes 
    -Wshadow 
    -Wundef 
    -Os 
    -fno-strict-aliasing 
    -fomit-frame-pointer 
    -fstack-protector-all 
    -ffunction-sections 
    -fdata-sections 
    -g 
    -mabi=ilp32f 
    -mno-relax 
  -- 
  -isystem " $HOME /nuttx/nuttx/include " 
  -D__NuttX__ 
  -DNDEBUG 
  -DARCH_RISCV  
  -I " $HOME /nuttx/apps/graphics/lvgl " 
  -I " $HOME /nuttx/apps/graphics/lvgl/lvgl " 
  -I " $HOME /nuttx/apps/include " 
  -Dmain=lorawan_test_main  
  lorawan_test_main.c 
  > lorawan_test_main.zig

これが元のCコードです：lorawan_test_main.c

CからZigへの自動翻訳：翻訳/lorawan_test_main.zig

これが元のCコードからのスニペットです... 

 int main ( int argc , FAR char * argv []) {
#ifdef __clang__
    puts ( "lorawan_test_main: Compiled with zig cc" );
#else
    puts ( "lorawan_test_main: Compiled with gcc" );
#endif  //  __clang__

    //  If we are using Entropy Pool and the BL602 ADC is available,
    //  add the Internal Temperature Sensor data to the Entropy Pool
    init_entropy_pool ();

    //  Compute the interval between transmissions based on Duty Cycle
    TxPeriodicity = APP_TX_DUTYCYCLE + randr ( - APP_TX_DUTYCYCLE_RND , APP_TX_DUTYCYCLE_RND );

    const Version_t appVersion    = { . Value = FIRMWARE_VERSION };
    const Version_t gitHubVersion = { . Value = GITHUB_VERSION };
    DisplayAppInfo ( "lorawan_test" , 
                    & appVersion ,
                    & gitHubVersion );

    //  Init LoRaWAN
    if ( LmHandlerInit ( & LmHandlerCallbacks , & LmHandlerParams ) != LORAMAC_HANDLER_SUCCESS )
    {
        printf ( "LoRaMac wasn't properly initializedn" );
        //  Fatal error, endless loop.
        while ( 1 ) {}
    }

    // Set system maximum tolerated rx error in milliseconds
    LmHandlerSetSystemMaxRxError ( 20 );

    // The LoRa-Alliance Compliance protocol package should always be initialized and activated.
    LmHandlerPackageRegister ( PACKAGE_ID_COMPLIANCE , & LmhpComplianceParams );
    LmHandlerPackageRegister ( PACKAGE_ID_CLOCK_SYNC , NULL );
    LmHandlerPackageRegister ( PACKAGE_ID_REMOTE_MCAST_SETUP , NULL );
    LmHandlerPackageRegister ( PACKAGE_ID_FRAGMENTATION , & FragmentationParams );

    IsClockSynched     = false;
    IsFileTransferDone = false;

    //  Join the LoRaWAN Network
    LmHandlerJoin ( );

    //  Set the Transmit Timer
    StartTxProcess ( LORAMAC_HANDLER_TX_ON_TIMER );

    //  Handle LoRaWAN Events
    handle_event_queue ( NULL );  //  Never returns

    return 0 ;
}

（ソース）

自動翻訳されたジグコード... 

 pub export fn lorawan_test_main ( arg_argc : c_int , arg_argv : [ * c ][ * c ] u8 ) c_int {
    var argc = arg_argc ;
    _ = argc ;
    var argv = arg_argv ;
    _ = argv ;
    _ = puts ( "lorawan_test_main: Compiled with zig cc" );
    init_entropy_pool ();
    TxPeriodicity = @bitCast ( u32 , @as ( c_int , 40000 ) + randr ( - @as ( c_int , 5000 ), @as ( c_int , 5000 )));
    const appVersion : Version_t = Version_t {
        . Value = @bitCast ( u32 , @as ( c_int , 16908288 )),
    };
    const gitHubVersion : Version_t = Version_t {
        . Value = @bitCast ( u32 , @as ( c_int , 83886080 )),
    };
    DisplayAppInfo ( "lorawan_test" , & appVersion , & gitHubVersion );
    if ( LmHandlerInit ( & LmHandlerCallbacks , & LmHandlerParams ) != LORAMAC_HANDLER_SUCCESS ) {
        _ = printf ( "LoRaMac wasn't properly initialized n " );
        while ( true ) {}
    }
    _ = LmHandlerSetSystemMaxRxError ( @bitCast ( u32 , @as ( c_int , 20 )));
    _ = LmHandlerPackageRegister ( @bitCast ( u8 , @truncate ( i8 , @as ( c_int , 0 ))), @ptrCast ( ? * anyopaque , & LmhpComplianceParams ));
    _ = LmHandlerPackageRegister ( @bitCast ( u8 , @truncate ( i8 , @as ( c_int , 1 ))), @intToPtr ( ? * anyopaque , @as ( c_int , 0 )));
    _ = LmHandlerPackageRegister ( @bitCast ( u8 , @truncate ( i8 , @as ( c_int , 2 ))), @intToPtr ( ? * anyopaque , @as ( c_int , 0 )));
    _ = LmHandlerPackageRegister ( @bitCast ( u8 , @truncate ( i8 , @as ( c_int , 3 ))), @ptrCast ( ? * anyopaque , & FragmentationParams ));
    IsClockSynched = @as ( c_int , 0 ) != 0 ;
    IsFileTransferDone = @as ( c_int , 0 ) != 0 ;
    LmHandlerJoin ();
    StartTxProcess ( @bitCast ( c_uint , LORAMAC_HANDLER_TX_ON_TIMER ));
    handle_event_queue ( @intToPtr ( ? * anyopaque , @as ( c_int , 0 )));
    return 0 ;
}

（ソース）

次のセクションでは、Lorawanアプリlorawan_test_main.cをCからzigに手動で変換するときに、この自動翻訳Zigコードを参照してください...

Pine64 Pinedio Stack BL604（左）ロラワンとRakwireless Wisgate（右）と話す

LorawanアプリをZigに変換します

最後に、lorawanアプリlorawan_test_main.cをcからzigに変換して、zigで複雑なIoTアプリを構築できることを示します。

Lorawanアプリは、Pinedio Stack BL604（RISC-V）で実行されます。このアプリは、ロラワンゲートウェイ（ChirpstackやThings Networkなど）に接続し、定期的にデータパケットを送信します。

これが元のCコードです：lorawan_test_main.c

（700行のCコード）

変換されたLorawan Zigアプリ：lorawan_test.zig

（Zigコードの673行） 

 /// Import the LoRaWAN Library from C
const c = @cImport ({
    // NuttX Defines
    @cDefine ( "__NuttX__" ,  "" );
    @cDefine ( "NDEBUG" ,     "" );
    @cDefine ( "ARCH_RISCV" , "" );

    // Workaround for "Unable to translate macro: undefined identifier `LL`"
    @cDefine ( "LL" , "" );
    @cDefine ( "__int_c_join(a, b)" , "a" );  //  Bypass zig/lib/include/stdint.h

    // NuttX Header Files
    @cInclude ( "arch/types.h" );
    @cInclude ( "../../nuttx/include/limits.h" );
    @cInclude ( "stdio.h" );

    // LoRaWAN Header Files
    @cInclude ( "firmwareVersion.h" );
    @cInclude ( "../libs/liblorawan/src/apps/LoRaMac/common/githubVersion.h" );
    @cInclude ( "../libs/liblorawan/src/boards/utilities.h" );
    @cInclude ( "../libs/liblorawan/src/mac/region/RegionCommon.h" );
    @cInclude ( "../libs/liblorawan/src/apps/LoRaMac/common/Commissioning.h" );
    @cInclude ( "../libs/liblorawan/src/apps/LoRaMac/common/LmHandler/LmHandler.h" );
    @cInclude ( "../libs/liblorawan/src/apps/LoRaMac/common/LmHandler/packages/LmhpCompliance.h" );
    @cInclude ( "../libs/liblorawan/src/apps/LoRaMac/common/LmHandler/packages/LmhpClockSync.h" );
    @cInclude ( "../libs/liblorawan/src/apps/LoRaMac/common/LmHandler/packages/LmhpRemoteMcastSetup.h" );
    @cInclude ( "../libs/liblorawan/src/apps/LoRaMac/common/LmHandler/packages/LmhpFragmentation.h" );
    @cInclude ( "../libs/liblorawan/src/apps/LoRaMac/common/LmHandlerMsgDisplay.h" );
});

//  Main Function that will be called by NuttX
pub export fn lorawan_test_main (
    _argc : c_int , 
    _argv : [ * ] const [ * ] const u8
) c_int {
    //  Call the LoRaWAN Library to set system maximum tolerated rx error in milliseconds
    _ = c . LmHandlerSetSystemMaxRxError ( 20 );

    //  TODO: Call the LoRaWAN Library to Join LoRaWAN Network
    //  and send a Data Packet

lorawan zigアプリlorawan_test.zigをコンパイルするには... 

 # #  Download our LoRaWAN Zig App for NuttX
git clone --recursive https://github.com/lupyuen/zig-bl602-nuttx
cd zig-bl602-nuttx

# #  Compile the Zig App for BL602 (RV32IMACF with Hardware Floating-Point)
zig build-obj 
  --verbose-cimport 
  -target riscv32-freestanding-none 
  -mcpu=baseline_rv32-d 
  -isystem " $HOME /nuttx/nuttx/include " 
  -I " $HOME /nuttx/apps/examples/lorawan_test " 
  lorawan_test.zig

# #  Patch the ELF Header of `lorawan_test.o` from Soft-Float ABI to Hard-Float ABI
xxd -c 1 lorawan_test.o 
  | sed ' s/00000024: 01/00000024: 03/ ' 
  | xxd -r -c 1 - lorawan_test2.o
cp lorawan_test2.o lorawan_test.o

# #  Copy the compiled app to NuttX and overwrite `lorawan_test.o`
# #  TODO: Change "$HOME/nuttx" to your NuttX Project Directory
cp lorawan_test.o $HOME /nuttx/apps/examples/lorawan_test/ * lorawan_test.o

# #  Build NuttX to link the Zig Object from `lorawan_test.o`
# #  TODO: Change "$HOME/nuttx" to your NuttX Project Directory
cd $HOME /nuttx/nuttx
make

Lorawan Zigアプリlorawan_test.zigは、次の修正を行った後にzigコンパイラでOKをコンパイルします...

自動翻訳されたZIGコードを参照してください

lorawan zigアプリの一部の部分lorawan_test.zigは、このcコードのように、cからzigに変換するのが難しくなります... 

 //  Original C code...
#define APP_TX_DUTYCYCLE     40000
#define APP_TX_DUTYCYCLE_RND  5000

uint32_t TxPeriodicity = 
    APP_TX_DUTYCYCLE +
    randr ( 
        - APP_TX_DUTYCYCLE_RND , 
        APP_TX_DUTYCYCLE_RND
    );

（ソース）

競合する署名（ randr ）とunsigned（ APP_TX_DUTYCYCLE ）タイプがあります。

自動翻訳されたZigコードを参照することでヘルプを得る：翻訳/lorawan_test_main.zig 

 //  Converted from C to Zig...
const APP_TX_DUTYCYCLE :     c_int = 40000 ;
const APP_TX_DUTYCYCLE_RND : c_int = 5000 ;

//  Cast to u32 because randr() can be negative
var TxPeriodicity : u32 = @bitCast ( u32 ,
    APP_TX_DUTYCYCLE +
    c . randr (
        - APP_TX_DUTYCYCLE_RND ,
        APP_TX_DUTYCYCLE_RND
    )
);

署名された結果をキャストして署名しないようにすることにより、競合するタイプを解決します。

不透明なタイプエラー

lorawan zigアプリlorawan_test.zigでLmHandlerCallbacks参照するとき... 

    _ = & LmHandlerCallbacks ;

Zigコンパイラには、この不透明なタイプのエラーが表示されます... 

 zig-cache/o/d4d456612514c342a153a8d34fbf5970/cimport.zig:1353:5: error: opaque types have unknown size and therefore cannot be directly embedded in unions
    Fields: struct_sInfoFields,
    ^
zig-cache/o/d4d456612514c342a153a8d34fbf5970/cimport.zig:1563:5: note: while checking this field
    PingSlot: PingSlotInfo_t,
    ^
zig-cache/o/d4d456612514c342a153a8d34fbf5970/cimport.zig:1579:5: note: while checking this field
    PingSlotInfo: MlmeReqPingSlotInfo_t,
    ^
zig-cache/o/d4d456612514c342a153a8d34fbf5970/cimport.zig:1585:5: note: while checking this field
    Req: union_uMlmeParam,
    ^
zig-cache/o/d4d456612514c342a153a8d34fbf5970/cimport.zig:2277:5: note: while checking this field
    OnMacMlmeRequest: ?fn (LoRaMacStatus_t, [*c]MlmeReq_t, TimerTime_t) callconv(.C) void,
    ^

不透明なタイプのエラーがここで説明されています...

  • 「ZIGを使用してC/C ++プロジェクトを拡張する」

  • 「翻訳の失敗」

不透明なタイプのエラーをトレースしましょう... 

 export fn OnMacMlmeRequest (
    status : c.LoRaMacStatus_t ,
    mlmeReq : [ * c ] c.MlmeReq_t , 
    nextTxIn : c . TimerTime_t
) void {
    c . DisplayMacMlmeRequestUpdate ( status , mlmeReq , nextTxIn );
}

私たちの関数OnMacMlmeRequestには、zigコンパイラによって自動インコルポートされたタイプMlmeReq_tのパラメーターがあります。 

 pub const MlmeReq_t = struct_sMlmeReq ;

pub const struct_sMlmeReq = extern struct {
    Type : Mlme_t ,
    Req : union_uMlmeParam ,
    ReqReturn : RequestReturnParam_t ,
};

別の自動指定されたタイプのunion_uMlmeParamが含まれています... 

 pub const union_uMlmeParam = extern union {
    Join : MlmeReqJoin_t ,
    TxCw : MlmeReqTxCw_t ,
    PingSlotInfo : MlmeReqPingSlotInfo_t ,
    DeriveMcKEKey : MlmeReqDeriveMcKEKey_t ,
    DeriveMcSessionKeyPair : MlmeReqDeriveMcSessionKeyPair_t ,
};

MlmeReqPingSlotInfo_tを含む... 

 pub const MlmeReqPingSlotInfo_t = struct_sMlmeReqPingSlotInfo ;

pub const struct_sMlmeReqPingSlotInfo = extern struct {
    PingSlot : PingSlotInfo_t ,
};

PingSlotInfo_tが含まれています... 

 pub const PingSlotInfo_t = union_uPingSlotInfo ;

pub const union_uPingSlotInfo = extern union {
    Value : u8 ,
    Fields : struct_sInfoFields ,
};

struct_sInfoFieldsが含まれています... 

 pub const struct_sInfoFields = opaque {};

しかし、 struct_sInfoFieldsのフィールドはZigコンパイラには知られていません！

元のCコードを参照する場合... 

 typedef union uPingSlotInfo
{
    /*!
     * Parameter for byte access
     */
    uint8_t Value ;
    /*!
     * Structure containing the parameters for the PingSlotInfoReq
     */
    struct sInfoFields
    {
        /*!
         * Periodicity = 0: ping slot every second
         * Periodicity = 7: ping slot every 128 seconds
         */
        uint8_t Periodicity     : 3 ;
        /*!
         * RFU
         */
        uint8_t RFU             : 5 ;
    } Fields ;
} PingSlotInfo_t ;

（ソース）

sInfoFieldsにはビットフィールドが含まれており、zigコンパイラが翻訳できないことがわかります。

不透明なタイプを修正します

以前は、これがLorawan Zigアプリlorawan_test.zigでコンパイルできないことがわかりました。 

    _ = & LmHandlerCallbacks ;

これは、 LmHandlerCallbacksビットフィールドを含み、zigコンパイラによって翻訳できない自動指定されたタイプMlmeReq_t参照しているためです。

とにかくフィールドにアクセスしないので、 MlmeReq_t不透明なタイプに変換しましょう... 

 /// We use an Opaque Type to represent MLME Request, because it contains Bit Fields that can't be converted by Zig
const MlmeReq_t = opaque {};

（ソース）

LmHandlerCallbacksを変換して、不透明なタイプMlmeReq_tを使用します。 

 /// Handler Callbacks. Adapted from 
/// https://github.com/lupyuen/zig-bl602-nuttx/blob/main/translated/lorawan_test_main.zig#L2818-L2833
pub const LmHandlerCallbacks_t = extern struct {
    GetBatteryLevel : ? fn () callconv ( .C ) u8 ,
    GetTemperature : ? fn () callconv ( .C ) f32 ,
    GetRandomSeed : ? fn () callconv ( .C ) u32 ,
    OnMacProcess : ? fn () callconv ( .C ) void ,
    OnNvmDataChange : ? fn ( c.LmHandlerNvmContextStates_t , u16 ) callconv ( .C ) void ,
    OnNetworkParametersChange : ? fn ([ * c ] c.CommissioningParams_t ) callconv ( .C ) void ,
    OnMacMcpsRequest : ? fn ( c.LoRaMacStatus_t , [ * c ] c.McpsReq_t , c.TimerTime_t ) callconv ( .C ) void ,
    /// Changed `[*c]c.MlmeReq_t` to `*MlmeReq_t`
    OnMacMlmeRequest : ? fn ( c.LoRaMacStatus_t , * MlmeReq_t , c.TimerTime_t ) callconv ( .C ) void ,
    OnJoinRequest : ? fn ([ * c ] c.LmHandlerJoinParams_t ) callconv ( .C ) void ,
    OnTxData : ? fn ([ * c ] c.LmHandlerTxParams_t ) callconv ( .C ) void ,
    OnRxData : ? fn ([ * c ] c.LmHandlerAppData_t , [ * c ] c.LmHandlerRxParams_t ) callconv ( .C ) void ,
    OnClassChange : ? fn ( c.DeviceClass_t ) callconv ( .C ) void ,
    OnBeaconStatusChange : ? fn ([ * c ] c.LoRaMacHandlerBeaconParams_t ) callconv ( .C ) void ,
    OnSysTimeUpdate : ? fn ( bool , i32 ) callconv ( .C ) void ,
};

（ソース）

からすべての自動指定されたMlmeReq_t参照を変更します... 

[ * c ] c . MlmeReq_t

私たちの不透明なタイプに... 

 * MlmeReq_t

また、 LmHandlerCallbacks_tのすべての自動輸入リファレンスを... 

[ * c ] c . LmHandlerCallbacks_t

変換されたLmHandlerCallbacks_tに... 

 * LmHandlerCallbacks_t

つまり、影響を受けたロラワン機能を自分でインポートする必要があります... 

 /// Changed `[*c]c.MlmeReq_t` to `*MlmeReq_t`. Adapted from
/// https://github.com/lupyuen/zig-bl602-nuttx/blob/main/translated/lorawan_test_main.zig#L2905
extern fn DisplayMacMlmeRequestUpdate (
    status : c.LoRaMacStatus_t , 
    mlmeReq : * MlmeReq_t , 
    nextTxIn : c . TimerTime_t
) void ;

/// Changed `[*c]c.LmHandlerCallbacks_t` to `*LmHandlerCallbacks_t`. Adapted from
/// https://github.com/lupyuen/zig-bl602-nuttx/blob/main/translated/lorawan_test_main.zig#L2835
extern fn LmHandlerInit (
    callbacks : * LmHandlerCallbacks_t , 
    handlerParams : [ * c ] c . LmHandlerParams_t
) c.LmHandlerErrorStatus_t ;

（ソース）

不透明なタイプを修正した後、Zigコンパイラはロラワンテストアプリlorawan_test.zig yayを正常にコンパイルします！

マクロエラー

lorawanテストアプリlorawan_test.zigをコンパイルしている間、このマクロエラーがわかります... 

 zig-cache/o/23409ceec9a6e6769c416fde1695882f/cimport.zig:2904:32: 
error: unable to translate macro: undefined identifier `LL`
pub const __INT64_C_SUFFIX__ = @compileError("unable to translate macro: undefined identifier `LL`"); 
// (no file):178:9

Zig Docsによると、これはZigコンパイラがCマクロの翻訳に失敗したことを意味します...

  • 「Cマクロ」

だから私たちはLL自身を定義します... 

 /// Import the LoRaWAN Library from C
const c = @cImport ({
    // Workaround for "Unable to translate macro: undefined identifier `LL`"
    @cDefine ( "LL" , "" );

（ LLはC定数の「長い」サフィックスです。これは、cの種類と機能をzigにインポートするときはおそらく必要ありません）

その後、Zigコンパイラはこのエラーを発します... 

 zig-cache/o/83fc6cf7a78f5781f258f156f891554b/cimport.zig:2940:26: 
error: unable to translate C expr: unexpected token '##'
pub const __int_c_join = @compileError("unable to translate C expr: unexpected token '##'"); 
// /home/user/zig-linux-x86_64-0.10.0-dev.2351+b64a1d5ab/lib/include/stdint.h:282:9

これはstdint.hのこの行を指します... 

 #define __int_c_join ( a , b ) a ## b

__int_c_joinマクロは、 LLサフィックスが空白になり、 ##連結演算子が失敗するため、失敗します。

## concatenationオペレーターなしで__int_c_joinマクロを再定義します... 

 /// Import the LoRaWAN Library from C
const c = @cImport ({
    // Workaround for "Unable to translate macro: undefined identifier `LL`"
    @cDefine ( "LL" , "" );
    @cDefine ( "__int_c_join(a, b)" , "a" );  //  Bypass zig/lib/include/stdint.h

Zigコンパイラは、Lorawanテストアプリlorawan_test.zigを正常にコンパイルします

struct初期化エラー

Zigコンパイラは、起動時にタイマー構造を初期化しようとするとクラッシュします... 

 /// Timer to handle the application data transmission duty cycle
var TxTimer : c.TimerEvent_t = 
    std . mem . zeroes ( c . TimerEvent_t );

// Zig Compiler crashes with...
// TODO buf_write_value_bytes maybe typethread 11512 panic:
// Unable to dump stack trace: debug info stripped

（ソース）

そのため、代わりにメイン関数のタイマー構造を初期化します... 

 /// Timer to handle the application data transmission duty cycle.
/// Init the timer in Main Function.
var TxTimer : c.TimerEvent_t = undefined ;

/// Main Function
pub export fn lorawan_test_main (
    _argc : c_int , 
    _argv : [ * ] const [ * ] const u8
) c_int {
    // Init the Timer Struct at startup
    TxTimer = std . mem . zeroes ( c . TimerEvent_t );

（ソース）

Lorawan ZigアプリはOKです！

上記の問題を修正した後、nuttx：lorawan_test.zigでlorawan zigアプリをテストします

 nsh> lorawan_test
Application name   : Zig LoRaWAN Test
...
###### =========== MLME-Confirm ============ ######
STATUS      : OK
###### ===========   JOINED     ============ ######
OTAA
DevAddr     :  00D803AB
DATA RATE   : DR_2
...
PrepareTxFrame: Transmit to LoRaWAN (9 bytes): Hi NuttX
###### =========== MCPS-Confirm ============ ######
STATUS      : OK
###### =====   UPLINK FRAME        1   ===== ######
CLASS       : A
TX PORT     : 1
TX DATA     : UNCONFIRMED
48 69 20 4E 75 74 74 58 00
DATA RATE   : DR_3
U/L FREQ    : 923200000
TX POWER    : 0
CHANNEL MASK: 0003

（完全なログを参照）

lorawan zig app lorawan_test.zigは、lorawanネットワーク（Rakwireless WisgateのChirpstack）に正常に参加し、Lorawan Gateway Yayにデータパケットを送信します！

安全チェック

Zigコンパイラは、CコードをZigに自動翻訳するときに興味深い洞察を明らかにします。

このCコードは、バイトごとにバイトを配列します... 

 static int8_t FragDecoderWrite ( uint32_t addr , uint8_t * data , uint32_t size ) {
    ...
    for ( uint32_t i = 0 ; i < size ; i ++ ) {
        UnfragmentedData [ addr + i ] = data [ i ];
    }
    return 0 ; // Success
}

（ソース）

これが自動翻訳されたZigコードです... 

 pub fn FragDecoderWrite ( arg_addr : u32 , arg_data : [ * c ] u8 , arg_size : u32 ) callconv ( .C ) i8 {
    ...
    var size = arg_size ;
    var i : u32 = 0 ;
    while ( i < size ) : ( i +%= 1 ) {
        UnfragmentedData [ addr +% i ] = data [ i ];
    }
    return 0 ;
}

（ソース）

cでの配列インデックス作成に注意してください... 

 //  Array Indexing in C...
UnfragmentedData [ addr + i ]

Zigでこれに翻訳されます... 

 //  Array Indexing in Zig...
UnfragmentedData [ addr +% i ]

+ cin cはzigで+%になります！

Zigの+%は何ですか？

それがラップアラウンド追加のZigオペレーターです。

つまり、添加物が整数にオーバーフローすると、結果が0（およびそれ以降）に戻ることを意味します。

しかし、これは私たちが意図したものではありません。なぜなら、オーバーフローに追加されるとは思わないからです。そのため、最終変換されたZigコードでは、 +%を+に戻します。 

 export fn FragDecoderWrite ( addr : u32 , data : [ * c ] u8 , size : u32 ) i8 {
    ...
    var i : u32 = 0 ;
    while ( i < size ) : ( i += 1 ) {
        UnfragmentedData [ addr + i ] = data [ i ];
    }
    return 0 ; // Success
}

（ソース）

追加がオーバーフローした場合はどうなりますか？

ランタイムエラーが表示されます... 

 panic: integer overflow

（ソース）

私たちの価値が賢明であることを保証するために、これはおそらく良いことです。

配列インデックスが範囲外になった場合はどうなりますか？

このランタイムエラーが発生します... 

 panic: index out of bounds

（ソース）

これが、実行時にZigが行った安全チェックのリストです...

  • 「未定義の行動」

私たちが無謀に生きたいと思うなら、これが安全チェックを無効にする方法です...

  • 「@setruntimesafety」

パニックハンドラー

いくつかのデバッグ機能が機能していないようですか？ unreachableように、 std.debug.assertとstd.debug.panic ？

これは、組み込みプラットフォームの場合、独自のパニックハンドラーを実装する必要があるためです...

  • 「Zigを使用して、裸の骨オペレーティングシステムにカーネルパニックにスタックトレースを提供します」

  • デフォルトのパニックハンドラー： std.debug.default_panic

私たち自身のパニックハンドラーで、この主張の失敗... 

 //  Create a short alias named `assert`
const assert = std . debug . assert ;

//  Assertion Failure
assert ( TxPeriodicity != 0 );

このスタックトレースが表示されます... 

 !ZIG PANIC!
reached unreachable code
Stack Trace:
0x23016394
0x23016ce0

RISC-V assert分解によると、最初のアドレス23016394面白く見えません。 

 /home/user/zig-linux-x86_64-0.10.0-dev.2351+b64a1d5ab/lib/std/debug.zig:259
pub fn assert(ok: bool) void {
2301637c:	00b51c63          	bne	a0,a1,23016394 <std.debug.assert+0x2c>
23016380:	a009                j	23016382 <std.debug.assert+0x1a>
23016382:	2307e537          	lui	a0,0x2307e
23016386:	f9850513          	addi	a0,a0,-104 # 2307df98 <__unnamed_4>
2301638a:	4581                li	a1,0
2301638c:	00000097          	auipc	ra,0x0
23016390:	f3c080e7          	jalr	-196(ra) # 230162c8 <panic>
    if (!ok) unreachable; // assertion failure
23016394:	a009                j	23016396 <std.debug.assert+0x2e>

しかし、2番目のアドレス23016ce0 、失敗したアサーションを明らかにしています... 

 /home/user/nuttx/zig-bl602-nuttx/lorawan_test.zig:95
    assert(TxPeriodicity != 0);
23016ccc:	42013537          	lui	a0,0x42013
23016cd0:	fbc52503          	lw	a0,-68(a0) # 42012fbc <TxPeriodicity>
23016cd4:	00a03533          	snez	a0,a0
23016cd8:	fffff097          	auipc	ra,0xfffff
23016cdc:	690080e7          	jalr	1680(ra) # 23016368 <std.debug.assert>
/home/user/nuttx/zig-bl602-nuttx/lorawan_test.zig:100
    TxTimer = std.mem.zeroes(c.TimerEvent_t);
23016ce0:	42016537          	lui	a0,0x42016

これはZigパニックハンドラーの実装です... 

 /// Called by Zig when it hits a Panic. We print the Panic Message, Stack Trace and halt. See 
/// https://andrewkelley.me/post/zig-stack-traces-kernel-panic-bare-bones-os.html
/// https://github.com/ziglang/zig/blob/master/lib/std/builtin.zig#L763-L847
pub fn panic (
    message : [] const u8 , 
    _stack_trace : ? * std . builtin . StackTrace
) noreturn {
    // Print the Panic Message
    _ = _stack_trace ;
    _ = puts ( " n !ZIG PANIC!" );
    _ = puts ( @ptrCast ([ * c ] const u8 , message ));

    // Print the Stack Trace
    _ = puts ( "Stack Trace:" );
    var it = std . debug . StackIterator . init ( @returnAddress (), null );
    while ( it . next ()) | return_address | {
        _ = printf ( "%p n " , return_address );
    }

    // Halt
    while ( true ) {}
}

（ソース）

ロギング

ここで説明されているデバッグロギングstd.log.debugを実装しました...

  • 「ZigのSTD.LOGの簡単な概要」

std.log.debugと呼んでログメッセージを印刷する方法は次のとおりです。 

 //  Create a short alias named `debug`
const debug  = std . log . debug ;

//  Message with 8 bytes
const msg : [] const u8 = "Hi NuttX" ;

//  Print the message
debug ( "Transmit to LoRaWAN ({} bytes): {s}" , .{ 
    msg . len , msg 
});

// Prints: Transmit to LoRaWAN (8 bytes): Hi NuttX

.{ ... }印刷用にstd.log.debugに渡されるさまざまな数の引数を持つ匿名構造体を作成します。

以下は、 std.log.debugの実装です... 

 /// Called by Zig for `std.log.debug`, `std.log.info`, `std.log.err`, ...
/// https://gist.github.com/leecannon/d6f5d7e5af5881c466161270347ce84d
pub fn log (
    comptime _message_level : std.log.Level ,
    comptime _scope : @Type ( .EnumLiteral ),
    comptime format : [] const u8 ,
    args : anytype ,
) void {
    _ = _message_level ;
    _ = _scope ;

    // Format the message
    var buf : [ 100 ] u8 = undefined ;  // Limit to 100 chars
    var slice = std . fmt . bufPrint ( & buf , format , args )
        catch { _ = puts ( "*** log error: buf too small" ); return ; };
    
    // Terminate the formatted message with a null
    var buf2 : [ buf . len + 1 : 0 ] u8 = undefined ;
    std . mem . copy (
        u8 , 
        buf2 [0 .. slice . len ], 
        slice [0 .. slice . len ]
    );
    buf2 [ slice . len ] = 0 ;

    // Print the formatted message
    _ = puts ( & buf2 );
}

（ソース）

この実装は、 putixに準拠しているため、apache nuttx rtosによってサポートされているputs()を呼び出します。

CとZigを比較します

ロラワンアプリの元のCコードと変換されたzigコードは非常に似ています。

これが元のCコードの主な機能です... 

 /// Main Function that will be called by NuttX. We call the LoRaWAN Library 
/// to Join a LoRaWAN Network and send a Data Packet.
int main ( int argc , FAR char * argv []) {
    //  If we are using Entropy Pool and the BL602 ADC is available,
    //  add the Internal Temperature Sensor data to the Entropy Pool
    init_entropy_pool ();

    //  Compute the interval between transmissions based on Duty Cycle
    TxPeriodicity = APP_TX_DUTYCYCLE + randr ( - APP_TX_DUTYCYCLE_RND , APP_TX_DUTYCYCLE_RND );

    const Version_t appVersion    = { . Value = FIRMWARE_VERSION };
    const Version_t gitHubVersion = { . Value = GITHUB_VERSION };
    DisplayAppInfo ( "lorawan_test" , 
                    & appVersion ,
                    & gitHubVersion );

    //  Init LoRaWAN
    if ( LmHandlerInit ( & LmHandlerCallbacks , & LmHandlerParams ) != LORAMAC_HANDLER_SUCCESS )
    {
        printf ( "LoRaMac wasn't properly initializedn" );
        //  Fatal error, endless loop.
        while ( 1 ) {}
    }

    // Set system maximum tolerated rx error in milliseconds
    LmHandlerSetSystemMaxRxError ( 20 );

    // The LoRa-Alliance Compliance protocol package should always be initialized and activated.
    LmHandlerPackageRegister ( PACKAGE_ID_COMPLIANCE , & LmhpComplianceParams );
    LmHandlerPackageRegister ( PACKAGE_ID_CLOCK_SYNC , NULL );
    LmHandlerPackageRegister ( PACKAGE_ID_REMOTE_MCAST_SETUP , NULL );
    LmHandlerPackageRegister ( PACKAGE_ID_FRAGMENTATION , & FragmentationParams );

    IsClockSynched     = false;
    IsFileTransferDone = false;

    //  Join the LoRaWAN Network
    LmHandlerJoin ( );

    //  Set the Transmit Timer
    StartTxProcess ( LORAMAC_HANDLER_TX_ON_TIMER );

    //  Handle LoRaWAN Events
    handle_event_queue ( NULL );  //  Never returns

    return 0 ;
}

（ソース）

変換されたzigコードからの主な機能（いくつかのスクラブの後）... 

 /// Main Function that will be called by NuttX. We call the LoRaWAN Library 
/// to Join a LoRaWAN Network and send a Data Packet.
pub export fn lorawan_test_main (
    _argc : c_int , 
    _argv : [ * ] const [ * ] const u8
) c_int {
    _ = _argc ;
    _ = _argv ;

    // Init the Timer Struct at startup
    TxTimer = std . mem . zeroes ( c . TimerEvent_t );

    // If we are using Entropy Pool and the BL602 ADC is available,
    // add the Internal Temperature Sensor data to the Entropy Pool
    // TODO: init_entropy_pool();

    // Compute the interval between transmissions based on Duty Cycle
    TxPeriodicity = @bitCast ( u32 ,  // Cast to u32 because randr() can be negative
        APP_TX_DUTYCYCLE +
        c . randr (
            - APP_TX_DUTYCYCLE_RND ,
            APP_TX_DUTYCYCLE_RND
        )
    );

    // Show the Firmware and GitHub Versions
    const appVersion = c.Version_t {
        . Value = c . FIRMWARE_VERSION ,
    };
    const gitHubVersion = c.Version_t {
        . Value = c . GITHUB_VERSION ,
    };
    c . DisplayAppInfo ( "Zig LoRaWAN Test" , & appVersion , & gitHubVersion );

    // Init LoRaWAN
    if ( LmHandlerInit ( & LmHandlerCallbacks , & LmHandlerParams )
        != c . LORAMAC_HANDLER_SUCCESS ) {
        std . log . err ( "LoRaMac wasn't properly initialized" , .{});
        // Fatal error, endless loop.
        while ( true ) {}
    }

    // Set system maximum tolerated rx error in milliseconds
    _ = c . LmHandlerSetSystemMaxRxError ( 20 );

    // The LoRa-Alliance Compliance protocol package should always be initialized and activated.
    _ = c . LmHandlerPackageRegister ( c . PACKAGE_ID_COMPLIANCE ,         & LmhpComplianceParams );
    _ = c . LmHandlerPackageRegister ( c . PACKAGE_ID_CLOCK_SYNC ,         null );
    _ = c . LmHandlerPackageRegister ( c . PACKAGE_ID_REMOTE_MCAST_SETUP , null );
    _ = c . LmHandlerPackageRegister ( c . PACKAGE_ID_FRAGMENTATION ,      & FragmentationParams );

    // Init the Clock Sync and File Transfer status
    IsClockSynched     = false ;
    IsFileTransferDone = false ;

    // Join the LoRaWAN Network
    c . LmHandlerJoin ();

    // Set the Transmit Timer
    StartTxProcess ( LmHandlerTxEvents_t . LORAMAC_HANDLER_TX_ON_TIMER );

    // Handle LoRaWAN Events
    handle_event_queue ();  //  Never returns

    return 0 ;
}

（ソース）

TODO：タイプ、関数、変数の名前をクリーンアップします

TODO：内部温度センサーを読んでください

TODO：Tinycborで温度センサーデータをエンコードし、Things Networkに送信します

https://lupyuen.github.io/articles/cbor2

TODO：プロメテウスとグラファナでセンサーデータを監視します

https://lupyuen.github.io/articles/prometheus

TODO： @import()で新しいコードを追加します

https://zig.news/mattnite/import-and-packages-23mb

TODO：Cにエクスポートするときは、バッファーを32ビットに並べる必要がありますか？ 

 /// User application data
/// (Aligned to 32-bit because it's exported to C)
var AppDataBuffer : [ LORAWAN_APP_DATA_BUFFER_MAX_SIZE ] u8 align ( 4 ) = 
    std . mem . zeroes ([ LORAWAN_APP_DATA_BUFFER_MAX_SIZE ] u8 );

ジグタイプの反射

zigタイプの反射...それを使用して、cライブラリの構造化されたコールグラフを生成できますか...ロラワンライブラリのように？ ？

このZigプログラムは、CからLorawan Libraryをインポートし、Lorawanの種類と機能を捨てます... 

 // Do Type Reflection on the imported C functions
fn reflect () void {
    // We run this at Compile-Time (instead of Runtime)...
    comptime {
        // Allow Zig Compiler to loop up to 100,000 times (Default is 1,000)
        @setEvalBranchQuota ( 100_000 );

        // Get the Type Info of the C Namespace
        const T = @typeInfo ( c );

        // Show the Type Info of the C Namespace (Struct)
        @compileLog ( "@typeInfo(c): " , T );
        // Shows | *"@typeInfo(c): ", std.builtin.Type { .Struct = (struct std.builtin.Type.Struct constant)}

        // Show the number of Fields in the C Namespace (0)
        @compileLog ( "T.Struct.fields.len: " , T . Struct . fields . len );
        // Shows | *"T.Struct.fields.len: ", 0

        // Show the number of Declarations in the C Namespace (4743)
        @compileLog ( "T.Struct.decls.len: " , T . Struct . decls . len );
        // Shows | *"T.Struct.decls.len: ", 4743

        // Show the first Declaration in the C Namespace (__builtin_bswap16)
        @compileLog ( "T.Struct.decls[0].name: " , T . Struct . decls [ 0 ]. name );
        // Shows | *"T.Struct.decls[0].name: ", "__builtin_bswap16"

        // For every C Declaration...
        for ( T . Struct . decls ) | decl , i | {
            // If the C Declaration starts with "Lm" (LoRaMAC)...
            if ( std . mem . startsWith ( u8 , decl . name , "Lm" )) {
                // Dump the C Declaration
                var T2 = @typeInfo ( c );
                @compileLog ( "decl.name: " , T2 . Struct . decls [ i ]. name );

                // Strangely we can't do this...
                //   @compileLog("decl.name: ", decl.name);
                // Because it shows...
                //   *"decl.name: ", []const u8{76,109,110,83,116,97,116,117,115,95,116}
            }
        }

    }   // End of Compile-Time Code
}

（ソース）

（ @typeInfoはここで説明されています）

Zigコンパイラが上記のコードをコンパイルすると、コンパイル時にこれが表示されます... 

 $ zig build-obj --verbose-cimport -target riscv32-freestanding-none -mcpu=baseline_rv32-d -isystem /Users/Luppy/pinecone/nuttx/nuttx/include -I /Users/Luppy/pinecone/nuttx/apps/examples/lorawan_test reflect.zig
info(compilation): C import output: zig-cache/o/e979b806463a36dcecc2ef773bd2d2ad/cimport.zig
| *"@typeInfo(c): ", std.builtin.Type { .Struct = (struct std.builtin.Type.Struct constant)}
| *"T.Struct.fields.len: ", 0
| *"T.Struct.decls.len: ", 4744
| *"T.Struct.decls[0].name: ", "__builtin_bswap16"
| *"decl.name: ", "LmnStatus_t"
| *"decl.name: ", "LmHandlerAdrStates_t"
| *"decl.name: ", "LmHandlerFlagStatus_t"
...
| *"decl.name: ", "LmHandlerInit"
| *"decl.name: ", "LmHandlerIsBusy"
| *"decl.name: ", "LmHandlerProcess"
| *"decl.name: ", "LmHandlerGetDutyCycleWaitTime"
| *"decl.name: ", "LmHandlerSend"
| *"decl.name: ", "LmHandlerJoin"
...
./reflect.zig:836:9: error: found compile log statement
        @compileLog("@typeInfo(c): ", T);
        ^
./reflect.zig:840:9: error: found compile log statement
        @compileLog("T.Struct.fields.len: ", T.Struct.fields.len);
        ^
./reflect.zig:844:9: error: found compile log statement
        @compileLog("T.Struct.decls.len: ", T.Struct.decls.len);
        ^
./reflect.zig:848:9: error: found compile log statement
        @compileLog("T.Struct.decls[0].name: ", T.Struct.decls[0].name);
        ^
./reflect.zig:857:17: error: found compile log statement
                @compileLog("decl.name: ", T2.Struct.decls[i].name);
                ^

（ソース）

これは、Lorawan LibraryのCタイプと関数のリストです。

これを使用して、ロラワンライブラリのコールグラフ（モジュール別）を視覚化しましょう。

Mermaid.jsでコールグラフをレンダリングします...

https://mermaid-js.github.io/mermaid/#/./flowchart?id=flowcharts

また、Lorawanモジュール（サブグラフ）によるコールグラフにLorawan関数をグループ化するため、Lorawanモジュール全体で呼び出しが表示されます。

heisenbug

上記のコードでは、なぜT2.Struct.decls[i].nameの代わりにdecl.nameを使用したのですか？ 

 // For every C Declaration...
for ( T . Struct . decls ) | decl , i | {
    // If the C Declaration starts with "Lm" (LoRaMAC)...
    if ( std . mem . startsWith ( u8 , decl . name , "Lm" )) {
        // Dump the C Declaration
        var T2 = @typeInfo ( c );

        // Can't use decl.name here...
        @compileLog ( "decl.name: " , T2 . Struct . decls [ i ]. name );
    }
}

このコードが宣言の名前を印刷することを期待しています... 

 @compileLog ( "decl.name: " , decl . name );

そうするように... 

 "decl.name: ", "LmnStatus_t"

しかし、奇妙なことに、それはバイトを印刷します... 

 "decl.name: ", []const u8{76,109,110,83,116,97,116,117,115,95,116}

Zigコンパイラは、以前に名前を参照した後、名前を異なって解釈しているようです... 

 // If the C Declaration starts with "Lm" (LoRaMAC)...
if ( std . mem . startsWith ( u8 , decl . name , "Lm" )) { ...

代わりにこの回避策を使用します... 

 // Get a fresh reference to the Type Info
var T2 = @typeInfo ( c );

// This works OK
@compileLog ( "decl.name: " , T2 . Struct . decls [ i ]. name );

必要な結果が生成されます... 

 "decl.name: ", "LmnStatus_t"

Cヘッダーファイルによるグループ

HEADER_NAME_H__ cヘッダーマクロを分析して、ロラワン関数ごとにロラワンモジュールを自動的に識別できますか？

これを試して、Cから輸入されたすべてのC宣言とマクロを捨てましょう... 

 // Get the Type Info of the C Namespace
const T = @typeInfo ( c );

// Remember the C Header
var header : [] const u8 = "" ;

// For every C Declaration...
for ( T . Struct . decls ) | decl , i | {
    var T2 = @typeInfo ( c );

    // If the C Declaration ends with "_H"...
    if (
        std . mem . endsWith ( u8 , decl . name , "_H" ) or
        std . mem . endsWith ( u8 , decl . name , "_H_" ) or
        std . mem . endsWith ( u8 , decl . name , "_H__" )
    ) {
        // Dump the C Header and remember it
        var name = T2 . Struct . decls [ i ]. name ;
        @compileLog ( "-----" , name );
        header = name ;

    } else {
        // Dump the C Declaration
        var name = T2 . Struct . decls [ i ]. name ;
        @compileLog ( "decl.name:" , name );
    }
}   // End of C Declaration

（ソース）

ロラワン関数とロラワンマクロのこのリストを取得します... 

 | *"decl.name:", "LmHandlerInit"
| *"decl.name:", "LmHandlerIsBusy"
| *"decl.name:", "LmHandlerProcess"
| *"decl.name:", "LmHandlerGetDutyCycleWaitTime"
| *"decl.name:", "LmHandlerSend"
| *"decl.name:", "LmHandlerJoin"
...
| *"-----", "__LORAMAC_HANDLER_H__"
| *"-----", "__LORAMAC_HANDLER_TYPES_H__"
| *"decl.name:", "LMH_SYS_TIME_UPDATE_NEW_API"
| *"decl.name:", "__LMHP_COMPLIANCE__"

（ソース）

これは役に立ちません。 LmHandlerInit 、実際には__LORAMAC_HANDLER_H__のcヘッダーファイル内で宣言されています。しかし、どういうわけか、Zigタイプの反射は、 __LORAMAC_HANDLER_H__表示される前に、 LmHandlerInit上に移動します。

したがって、ロラワン関数をロラワンモジュールに手動でグループ化する必要があるようです。

ロラワン関数はCヘッダーファイルに従ってシーケンスされているように見えるため、各ロラワンモジュールの最初のロラワン関数に手動でタグを付けるだけです。このような... 

 LmHandlerInit → __LORAMAC_HANDLER_H__
LoRaMacInitialization → __LORAMAC_H__
RegionCommonValueInRange → __REGIONCOMMON_H__
SX126xInit → __SX126x_H__
SX126xIoInit → __SX126x_BOARD_H__

自己タイプの反射

Zigアプリは、その種類、定数、変数、機能を発見するために、それ自体でタイプリフレクションを行うことができます... 

 // Show the Type Info for our Zig Namespace
const ThisType = @typeInfo ( @This ());
@compileLog ( "ThisType: " , ThisType );
@compileLog ( "ThisType.Struct.decls.len: " , ThisType . Struct . decls . len );
@compileLog ( "ThisType.Struct.decls[0].name: " , ThisType . Struct . decls [ 0 ]. name );
@compileLog ( "ThisType.Struct.decls[1].name: " , ThisType . Struct . decls [ 1 ]. name );
@compileLog ( "ThisType.Struct.decls[2].name: " , ThisType . Struct . decls [ 2 ]. name );

// Shows...
// | *"ThisType: ", std.builtin.Type { .Struct = (struct std.builtin.Type.Struct constant)}
// | *"ThisType.Struct.decls.len: ", 66
// | *"ThisType.Struct.decls[0].name: ", "std"
// | *"ThisType.Struct.decls[1].name: ", "c"
// | *"ThisType.Struct.decls[2].name: ", "ACTIVE_REGION"

（ソース）

これを使用して、Zig関数からLorawan LibraryのC関数に関数呼び出しをプロットします。

呼び出しログをインポートします

以前に、この呼び出しログをキャプチャしました：ロラワン図書館のC関数への呼び出しのログ... 

 init_event_queue
TimerInit:     0x4201c76c
SX126xIoInit: Compiled with gcc
init_gpio
...
RadioSetChannel: freq=923200000
RadioSetTxConfig: modem=1, power=13, fdev=0, bandwidth=0, datarate=10, coderate=1, preambleLen=8, fixLen=0, crcOn=1, freqHopOn=0, hopPeriod=0, iqInverted=0, timeout=4000
RadioSetTxConfig: SpreadingFactor=10, Bandwidth=4, CodingRate=1, LowDatarateOptimize=0, PreambleLength=8, HeaderType=0, PayloadLength=255, CrcMode=1, InvertIQ=0
RadioStandby
RadioSetModem
SX126xSetTxParams: power=13, rampTime=7
SX126xSetPaConfig: paDutyCycle=4, hpMax=7, deviceSel=0, paLut=1

（ソース）

コールログの各行には、ロラワン関数名が含まれています。これをZig Type Reflectionの情報と一致させて、コールグラフをプロットします。

通話ログをZigアプリにインポートします。 

 /// Call Log captured for this app. From
/// https://gist.github.com/lupyuen/0871ac515b18d9d68d3aacf831fd0f5b
const call_log =
    \init_event_queue
    \TimerInit:     0x4201c76c
    \SX126xIoInit: Compiled with gcc
    \init_gpio
    ...
    \RadioSetChannel: freq=923200000
    \RadioSetTxConfig: modem=1, power=13, fdev=0, bandwidth=0, datarate=10, coderate=1, preambleLen=8, fixLen=0, crcOn=1, freqHopOn=0, hopPeriod=0, iqInverted=0, timeout=4000
    \RadioSetTxConfig: SpreadingFactor=10, Bandwidth=4, CodingRate=1, LowDatarateOptimize=0, PreambleLength=8, HeaderType=0, PayloadLength=255, CrcMode=1, InvertIQ=0
    \RadioStandby
    \RadioSetModem
    \SX126xSetTxParams: power=13, rampTime=7
    \SX126xSetPaConfig: paDutyCycle=4, hpMax=7, deviceSel=0, paLut=1
    \SecureElementRandomNumber: 0xbc9f21c2
    \RadioSend: size=23
    \00 00 00 00 00 00 00 00 00 5b b1 7b 37 e7 5e c1 4b c2 21 9c 04 48 1b
    \RadioSend: PreambleLength=8, HeaderType=0, PayloadLength=23, CrcMode=1, InvertIQ=0
    \TimerStop:     0x4201b86c
    \TimerStart2:   0x4201b86c, 4000 ms
    \callout_reset: evq=0x420131a8, ev=0x4201b86c
    \
    \###### =========== MLME-Request ============ ######
    \######               MLME_JOIN               ######
    \###### ===================================== ######
    \STATUS      : OK
    \StartTxProcess
    \handle_event_queue
    \DIO1 add event
    \handle_event_queue: ev=0x4201b894
    \RadioOnDioIrq
    \RadioIrqProcess
    \IRQ_TX_DONE
    \TimerStop:     0x4201b86c
    \TODO: RtcGetCalendarTime
    \TODO: RtcBkupRead
    \RadioOnDioIrq
    \RadioIrqProcess
    \ProcessRadioTxDone: RxWindow1Delay=4988
    \RadioSleep
    ...
;

（ソース）

Zigコンパイラは、そのようなラインごとにコールログを処理できます... 

 // Show the first line of the Call Log
var call_log_split = std . mem . split ( u8 , call_log , " n " );
const line = call_log_split . next ();
@compileLog ( "line:" , line );

// Shows | *"line:", []const u8{103,112,108,104,95,101,110,97,98,108,101,58,32,87,65,82,78,73,78,71,58,32,112,105,110,57,58,32,65,108,114,101,97,100,121,32,100,101,116,97,99,104,101,100}

（ソース）

呼び出しログのすべての行を反復するためにこれを行います... 

 // For every line in the Call Log...
var call_log_split = std . mem . split ( u8 , call_log , " n " );
while ( call_log_split . next ()) | line | {

    // TODO: Process the line
    @compileLog ( "line:" , line );
    ...
}  // End of Call Log

（ソース）

呼び出しログを一致させます

コールログをロラワンライブラリの関数名と一致させましょう... 

 // For every line in the Call Log...
var call_log_split = std . mem . split ( u8 , call_log , " n " );
while ( call_log_split . next ()) | line | {

    // For every C Declaration...
    for ( T . Struct . decls ) | decl , i | {
        if ( std . mem . eql ( u8 , decl . name , "Radio" )) { continue ; }  // Skip Radio
        var T2 = @typeInfo ( c );

        // If the C Declaration matches the Call Log...
        if ( std . mem . startsWith ( u8 , line , decl . name )) {
            // Dump the C Declaration
            var name = T2 . Struct . decls [ i ]. name ;
            @compileLog ( "Found call log" , name );
            break ;
        }
    }   // End of C Declaration

}  // End of Call Log

（ソース）

上記のコードはこの結果を生成します... 

 | *"Found call log", "LoRaMacInitialization"
| *"Found call log", "TimerInit"
| *"Found call log", "SX126xIoInit"
| *"Found call log", "SX126xSetTx"
| *"Found call log", "SX126xSetPaConfig"
| *"Found call log", "TimerInit"
| *"Found call log", "TimerInit"
| *"Found call log", "RadioSetModem"
| *"Found call log", "RadioSetModem"
| *"Found call log", "RadioSetPublicNetwork"
| *"Found call log", "RadioSleep"
| *"Found call log", "RadioSetModem"
| *"Found call log", "RadioSetPublicNetwork"
...

（ソース）

これは、ロラワン関数とそれらが呼ばれたシーケンスのリストです。

構造化されたコールグラフのレンダリングに一歩近づきます！

グラフを描きます

上記のコードを拡張して、素朴なコールグラフをレンダリングしましょう...

  • 通話ログで識別するすべてのロラワン関数について...

  • ロラワン関数とコールログの次のロラワン関数の間に線をプロットします

  • したがって、関数呼び出しの接続されたシーケンスをプロットしているだけです

（うん、それは非常に素朴だ！）

私たちはこのようにそれをします... 

 // Draw the graph for all functions in the Call Log
var call_log_split = std . mem . split ( u8 , call_log , " n " );
var prev_name : [] const u8 = "Start" ;
@compileLog ( "flowchart TD;" );  // Top-Down Flowchart

// For every line in the Call Log...
while ( call_log_split . next ()) | line | {

    // For every C Declaration...
    for ( T . Struct . decls ) | decl , i | {
        if ( std . mem . eql ( u8 , decl . name , "Radio" )) { continue ; }  // Skip Radio
        var T2 = @typeInfo ( c );

        // If the C Declaration matches the Call Log...
        if ( std . mem . startsWith ( u8 , line , decl . name )) {
            // Draw the graph: [previous function]-->[current function]
            var name = T2 . Struct . decls [ i ]. name ;
            @compileLog ( "    " , prev_name , "-->" , name , ";" );
            prev_name = name ;
            break ;
        }
    }   // End of C Declaration

}  // End of Call Log
@compileLog ( "    " , prev_name , "-->" , "End" , ";" );

（ソース）

Zigコンパイラは、コンパイル時にこの結果を生成します... 

 | *"flowchart TD;"
| *"    ", "Start", *"-->", "LoRaMacInitialization", *";"
| *"    ", "LoRaMacInitialization", *"-->", "TimerInit", *";"
| *"    ", "TimerInit", *"-->", "TimerInit", *";"
| *"    ", "TimerInit", *"-->", "TimerInit", *";"
| *"    ", "TimerInit", *"-->", "TimerInit", *";"
| *"    ", "TimerInit", *"-->", "TimerInit", *";"
| *"    ", "TimerInit", *"-->", "TimerInit", *";"
| *"    ", "TimerInit", *"-->", "TimerInit", *";"
| *"    ", "TimerInit", *"-->", "TimerInit", *";"
| *"    ", "TimerInit", *"-->", "SX126xIoInit", *";"
| *"    ", "SX126xIoInit", *"-->", "SX126xSetTx", *";"
| *"    ", "SX126xSetTx", *"-->", "SX126xSetPaConfig", *";"
| *"    ", "SX126xSetPaConfig", *"-->", "TimerInit", *";"
| *"    ", "TimerInit", *"-->", "TimerInit", *";"
| *"    ", "TimerInit", *"-->", "RadioSetModem", *";"
...

（ソース）

このように、上のZigコンパイラログからリストを手動で削除します... 

 flowchart TD;
    Start-->LoRaMacInitialization;
    LoRaMacInitialization-->TimerInit;
    TimerInit-->TimerInit;
    TimerInit-->TimerInit;
    TimerInit-->TimerInit;
    TimerInit-->TimerInit;
    TimerInit-->TimerInit;
    TimerInit-->TimerInit;
    TimerInit-->TimerInit;
    TimerInit-->SX126xIoInit;
    SX126xIoInit-->SX126xSetTx;
    SX126xSetTx-->SX126xSetPaConfig;
    SX126xSetPaConfig-->TimerInit;
    TimerInit-->TimerInit;
    TimerInit-->RadioSetModem;
    ...

このMermaid.jsフローチャートを取得するには... 

フローチャートTD;
    start-> loramacinitialization;
    loramacinitialization-> timerinit;
    TimerInit-> TimerInit;
    TimerInit-> TimerInit;
    TimerInit-> TimerInit;
    TimerInit-> TimerInit;
    TimerInit-> TimerInit;
    TimerInit-> TimerInit;
    TimerInit-> TimerInit;
    TimerInit-> sx126xioinit;
    sx126xioinit-> sx126xsettx;
    sx126xsettx-> sx126xsetpaconfig;
    SX126XSETPACONFIG-> TimerInit;
    TimerInit-> TimerInit;
    TimerInit-> RadioSetModem;
    radiosetModem-> radiosetmodem;
    radiosetModem-> radiosetpublicnetwork;
    radiosetpublicnetwork-> radiosleep;
    ラジオスリープ - > radiosetModem;
    radiosetModem-> radiosetpublicnetwork;
    radiosetpublicnetwork-> timerinit;
    TimerInit-> TimerInit;
    TimerInit-> TimerInit;
    TimerInit-> RadioSechannel;
    radioSechNannel-> radiosettxconfig;
    radiosettxconfig-> radiosettxconfig;
    radiosettxconfig-> radiostandby;
    radiostandby-> radiosetmodem;
    radiosetModem-> sx126xsettx;
    sx126xsettx-> sx126xsetpaconfig;
    sx126xsetpaconfig  - > radiosend;
    Radiosend-> radiosend;
    RadioSend-> TimeStop;
    TIMERSTOP-> TimerStart;
    TimerStart-> TimerInit;
    TimerInit-> TimerSetValue;
    TimerSetValue-> TimeStop;
    TIMERSTOP-> TimerSetValue;
    TimerSetValue-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> IRQ_TX_DONE;
    IRQ_TX_DONE-> TimerStop;
    TimeStop-> Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> Radios Sleep;
    ラジオスリープ - > TimerSetValue;
    TimerSetValue-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TIMERSTOP-> TimerStart;
    TimerStart-> TimerSetValue;
    TimerSetValue-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TimeStop-> radiostandby;
    radiostandby-> radiosetchannel;
    RadioSechNannel-> RadioSetrxConfig;
    radiosetrxconfig-> radiostandby;
    radiostandby-> radiosetmodem;
    radiosetModem-> radiosetrxconfig;
    radiosetrxconfig-> radiorx;
    Radiorx-> TimeStop;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> irq_header_valid;
    IRQ_Header_Valid-> Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> IRQ_RX_DONE;
    IRQ_RX_DONE-> TIMERSTOP;
    TimeStop-> Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> Radios Sleep;
    ラジオスリープ - >タイムストップ;
    TimeStop-> lmhandlersend;
    lmhandlersend-> radiosetchannel;
    radioSechNannel-> radiosettxconfig;
    radiosettxconfig-> radiosettxconfig;
    radiosettxconfig-> radiostandby;
    radiostandby-> radiosetmodem;
    radiosetModem-> sx126xsettx;
    sx126xsettx-> sx126xsetpaconfig;
    sx126xsetpaconfig  - > radiosend;
    Radiosend-> radiosend;
    RadioSend-> TimeStop;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> IRQ_TX_DONE;
    IRQ_TX_DONE-> TimerStop;
    TimeStop-> Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> Radios Sleep;
    ラジオスリープ - > TimerSetValue;
    TimerSetValue-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TIMERSTOP-> TimerStart;
    TimerStart-> TimerSetValue;
    TimerSetValue-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TimeStop-> radiostandby;
    radiostandby-> radiosetchannel;
    RadioSechNannel-> RadioSetrxConfig;
    radiosetrxconfig-> radiostandby;
    radiostandby-> radiosetmodem;
    radiosetModem-> radiosetrxconfig;
    radiosetrxconfig-> radiorx;
    Radiorx-> TimeStop;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> IRQ_RX_TX_TIMEOUT;
    IRQ_RX_TX_TIMEOUT-> TIMERSTOP;
    TimeStop-> Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> Radios Sleep;
    ラジオスリープ - >タイムストップ;
    タイムストップ - >タイムストップ;
    タイムストップ - >タイムストップ;
    TIMERSTOP-> TimerSetValue;
    TimerSetValue-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> lmhandlersend;
    lmhandlersend-> radiosetchannel;
    radioSechNannel-> radiosettxconfig;
    radiosettxconfig-> radiosettxconfig;
    radiosettxconfig-> radiostandby;
    radiostandby-> radiosetmodem;
    radiosetModem-> sx126xsettx;
    sx126xsettx-> sx126xsetpaconfig;
    sx126xsetpaconfig  - > radiosend;
    Radiosend-> radiosend;
    RadioSend-> TimeStop;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> IRQ_TX_DONE;
    IRQ_TX_DONE-> TimerStop;
    TimeStop-> Radioondioirq;
    Radioondioirq-> radios Sleep;
    ラジオスリープ - > TimerSetValue;
    TimerSetValue-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TIMERSTOP-> TimerStart;
    TimerStart-> TimerSetValue;
    TimerSetValue-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TimeStop-> radiostandby;
    radiostandby-> radiosetchannel;
    RadioSechNannel-> RadioSetrxConfig;
    radiosetrxconfig-> radiostandby;
    radiostandby-> radiosetmodem;
    radiosetModem-> radiosetrxconfig;
    radiosetrxconfig-> radiorx;
    Radiorx-> TimeStop;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> IRQ_RX_TX_TIMEOUT;
    IRQ_RX_TX_TIMEOUT-> TIMERSTOP;
    TimeStop-> Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> Radios Sleep;
    ラジオスリープ - >タイムストップ;
    タイムストップ - >タイムストップ;
    タイムストップ - >タイムストップ;
    TIMERSTOP-> TimerSetValue;
    TimerSetValue-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> lmhandlersend;
    lmhandlersend-> radiosetchannel;
    radioSechNannel-> radiosettxconfig;
    radiosettxconfig-> radiosettxconfig;
    radiosettxconfig-> radiostandby;
    radiostandby-> radiosetmodem;
    radiosetModem-> sx126xsettx;
    sx126xsettx-> sx126xsetpaconfig;
    sx126xsetpaconfig  - > radiosend;
    Radiosend-> radiosend;
    RadioSend-> TimeStop;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> IRQ_TX_DONE;
    IRQ_TX_DONE-> TimerStop;
    TimeStop-> Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> Radios Sleep;
    ラジオスリープ - > TimerSetValue;
    TimerSetValue-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TIMERSTOP-> TimerStart;
    TimerStart-> TimerSetValue;
    TimerSetValue-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TimeStop-> radiostandby;
    radiostandby-> radiosetchannel;
    RadioSechNannel-> RadioSetrxConfig;
    radiosetrxconfig-> radiostandby;
    radiostandby-> radiosetmodem;
    radiosetModem-> radiosetrxconfig;
    radiosetrxconfig-> radiorx;
    Radiorx-> TimeStop;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> IRQ_RX_TX_TIMEOUT;
    IRQ_RX_TX_TIMEOUT-> TIMERSTOP;
    TimeStop-> Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> Radios Sleep;
    ラジオスリープ - >タイムストップ;
    タイムストップ - >タイムストップ;
    タイムストップ - >タイムストップ;
    TIMERSTOP-> TimerSetValue;
    TimerSetValue-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> lmhandlersend;
    lmhandlersend-> radiosetchannel;
    radioSechNannel-> radiosettxconfig;
    radiosettxconfig-> radiosettxconfig;
    radiosettxconfig-> radiostandby;
    radiostandby-> radiosetmodem;
    radiosetModem-> sx126xsettx;
    sx126xsettx-> sx126xsetpaconfig;
    sx126xsetpaconfig  - > radiosend;
    Radiosend-> radiosend;
    RadioSend-> TimeStop;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> IRQ_TX_DONE;
    IRQ_TX_DONE-> TimerStop;
    TimeStop-> Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> Radios Sleep;
    ラジオスリープ - > TimerSetValue;
    TimerSetValue-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TIMERSTOP-> TimerStart;
    TimerStart-> TimerSetValue;
    TimerSetValue-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TimeStop-> radiostandby;
    radiostandby-> radiosetchannel;
    RadioSechNannel-> RadioSetrxConfig;
    radiosetrxconfig-> radiostandby;
    radiostandby-> radiosetmodem;
    radiosetModem-> radiosetrxconfig;
    radiosetrxconfig-> radiorx;
    Radiorx-> TimeStop;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> IRQ_RX_TX_TIMEOUT;
    IRQ_RX_TX_TIMEOUT-> TIMERSTOP;
    TimeStop-> Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> Radios Sleep;
    ラジオスリープ - >タイムストップ;
    タイムストップ - >タイムストップ;
    タイムストップ - >タイムストップ;
    TIMERSTOP-> TimerSetValue;
    TimerSetValue-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> lmhandlersend;
    lmhandlersend-> radiosetchannel;
    radioSechNannel-> radiosettxconfig;
    radiosettxconfig-> radiosettxconfig;
    radiosettxconfig-> radiostandby;
    radiostandby-> radiosetmodem;
    radiosetModem-> sx126xsettx;
    sx126xsettx-> sx126xsetpaconfig;
    sx126xsetpaconfig  - > radiosend;
    Radiosend-> radiosend;
    RadioSend-> TimeStop;
    TIMERSTOP-> TimerStart;
    TIMERSTART  - > Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> IRQ_TX_DONE;
    IRQ_TX_DONE-> TimerStop;
    TimeStop-> Radioondioirq;
    Radioondioirq-> radioirqProcess;
    RadioIrQProcess-> Radios Sleep;
    ラジオスリープ - > TimerSetValue;
    TimerSetValue-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TIMERSTOP-> TimerStart;
    TimerStart-> TimerSetValue;
    TimerSetValue-> TimerStart;
    TIMERSTART  - > TIMERSTOP;
    TIMERSTOP-> TimerStart;
読み込み

超ナイーブコールグラフ

私たちが生成した超ナイブなコールグラフの何が問題になっていますか？ 

 flowchart TD;
    Start-->LoRaMacInitialization;
    LoRaMacInitialization-->TimerInit;
    TimerInit-->TimerInit;
    TimerInit-->SX126xIoInit;
    SX126xIoInit-->SX126xSetTx;
    SX126xSetTx-->SX126xSetPaConfig;
    SX126xSetPaConfig-->TimerInit;
    TimerInit-->RadioSetModem;
    ...

（ソース）

コールグラフには構造がありません。関数呼び出しのシーケンスをプロットするだけです...

  • TimerInit → TimerInit意味がありません（再帰機能がないため）

  • TimerInit → RadioSetModemは、 TimerInit RadioSetModem低レベルの関数であるため、まったく間違っています（Nimble MultiThreadingライブラリ）。

コールグラフを改善するために構造を追加できますか？

構造化されたコールグラフを生成するには、高レベルから低レベルまで、機能をモジュールにグループ化します...

  1. zigアプリ（最高レベル）

  2. ロラワン図書館

  3. SX1262ライブラリ

  4. ニンブルマルチスレッドライブラリ（最低レベル）

また、低レベルの関数から高レベルの関数に線を引かないようにします。

これは私たちが達成したいことのスニペットです... 

フローチャートTD;
    サブグラフ・ロラワン;
        始める;
        loramacinitialization;
    終わり;
    サブグラフSX1262;
        sx126xioinit;
        SX126XSETTX;
        SX126XSETPACONFIG;
    終わり;
    サブグラフの機敏;
        Timerinit;
        Timerinit;
    終わり;
    start-> loramacinitialization;
    loramacinitialization-> timerinit;
    sx126xioinit-> sx126xsettx;
    sx126xsettx-> sx126xsetpaconfig;
    SX126XSETPACONFIG-> TimerInit;
読み込み

モジュールによるグループ関数

C機能をモジュールにグループ化して、コールグラフに構造を追加しましょう。

これは、高レベルから低レベルまでのモジュールを定義する方法です... 

 // Define the Modules and the First / Last Functions in each Module.
// We order the Modules from High-Level to Low-Level.
var all_modules = [ _ ] Module {
    // LoRaMAC Handler is the Top Level Module that drives the LoRaWAN Stack
    Module {
        . name           = "LMHandler" ,
        . first_function = "LmHandlerInit" ,
        . last_function  = "DisplayAppInfo" ,
        . first_index    = undefined ,
        . last_index     = undefined ,
    },
    // LoRaMAC Module is the implementation of the LoRaWAN Driver
    Module {
        . name           = "LoRaMAC" ,
        . first_function = "LoRaMacInitialization" ,
        . last_function  = "LoRaMacDeInitialization" ,
        . first_index    = undefined ,
        . last_index     = undefined ,
    },
    // Radio Module is the abstract interface for LoRa Radio Transceivers
    Module {
        . name           = "Radio" ,
        . first_function = "RadioInit" ,
        . last_function  = "RadioAddRegisterToRetentionList" ,
        . first_index    = undefined ,
        . last_index     = undefined ,
    },
    // SX1262 Module is the LoRa Driver for Semtech SX1262 Radio Transceiver
    Module {
        . name           = "SX1262" ,
        . first_function = "SX126xInit" ,
        . last_function  = "SX126xSetOperatingMode" ,
        . first_index    = undefined ,
        . last_index     = undefined ,
    },
    // NimBLE is the Bottom Level Module that contains Multithreading Functions like Timers and Event Queues
    Module {
        . name           = "NimBLE" ,
        . first_function = "TimerInit" ,
        . last_function  = "TimerGetElapsedTime" ,
        . first_index    = undefined ,
        . last_index     = undefined ,
    },
};

（ソース）

各モジュールの最初と最後の関数のみを指定することに注意してください。

これは、同じモジュールからの関数がzigタイプの反射で一緒にクラスター化されているためです。

次に、各モジュールをMermaid.jsサブグラフとしてレンダリングします... 

 /// Render all Modules and their Functions as Subgraphs
fn render_modules ( all_modules : [] Module ) void {
    comptime {
        // Render every Module
        for ( all_modules ) | module , m | {
            @compileLog ( "    subgraph " , module . name , ";" );

            // For every line in the Call Log...
            var call_log_split = std . mem . split ( u8 , call_log , " n " );
            while ( call_log_split . next ()) | line | {
                var T = @typeInfo ( c );

                // If the Call Log matches a C Declaration...
                if ( get_decl_by_name_filtered ( all_modules , line )) | decl_index | {

                    // Get the Module Index for the C Declaration
                    if ( get_module_by_decl ( all_modules , decl_index )) | m2 | {

                        // If the C Declaration matches our Module Index...
                        if ( m == m2 ) {

                            // Print the Function Name
                            var name = T . Struct . decls [ decl_index ]. name ;
                            @compileLog ( "        " , name , ";" );
                        }
                    } else {
                        // Missing Declaration
                        var name = T . Struct . decls [ decl_index ]. name ;
                        @compileLog ( "Missing Decl:" , name );
                    }
                }
            }  // End of Call Log            

            @compileLog ( "    end;" );
        }  // End of Module
    }
}

（ソース）

各サブグラフには、モジュールに属する関数のリストが含まれています... 

 flowchart TD;
    subgraph LMHandler;
        LmHandlerSend;
    end;
    subgraph LoRaMAC;
        LoRaMacInitialization;
    end;
    subgraph Radio;
        RadioSetModem;
        RadioSetPublicNetwork;
        RadioSleep;
        RadioSetChannel;
        RadioSetTxConfig;
        RadioStandby;
        RadioSend;
        RadioIrqProcess;
        ...
    end;
    subgraph SX1262;
        SX126xIoInit;
        SX126xSetTx;
        SX126xSetPaConfig;
    end;
    subgraph NimBLE;
        TimerInit;
        TimerStop;
        TimerStart;
        TimerSetValue;
    end;
    Start-->LoRaMacInitialization;
    LoRaMacInitialization-->TimerInit;
    TimerInit-->SX126xIoInit;
    ...

（ソース）

Mermaid.jsで出力をレンダリングすると、より意味のあるように見える構造化されたコールグラフが取得されます... 

フローチャートTD;
    サブグラフlmhandler;
        lmhandlersend;
        lmhandlersend;
        lmhandlersend;
        lmhandlersend;
        lmhandlersend;
        lmhandlersend;
        lmhandlersend;
        lmhandlersend;
        lmhandlersend;
        lmhandlersend;
        lmhandlersend;
        lmhandlersend;
    終わり;
    サブグラフloramac;
        loramacinitialization;
    終わり;
    サブグラフラジオ;
        radiosetmodem;
        radiosetmodem;
        radiosetpublicnetwork;
        ラジオ睡眠;
        radiosetmodem;
        radiosetpublicnetwork;
        RadioSechNannel;
        radiosettxconfig;
        radiosettxconfig;
        radiostandby;
        radiosetmodem;
        Radiosend;
        Radiosend;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        radiostandby;
        RadioSechNannel;
        RadiosetrxConfig;
        radiostandby;
        radiosetmodem;
        RadiosetrxConfig;
        Radiorx;
        RadioIrQProcess;
        RadioIrQProcess;
        RadioIrQProcess;
        RadioIrQProcess;
        RadioIrQProcess;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        RadioSechNannel;
        radiosettxconfig;
        radiosettxconfig;
        radiostandby;
        radiosetmodem;
        Radiosend;
        Radiosend;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        radiostandby;
        RadioSechNannel;
        RadiosetrxConfig;
        radiostandby;
        radiosetmodem;
        RadiosetrxConfig;
        Radiorx;
        RadioIrQProcess;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        RadioIrQProcess;
        RadioSechNannel;
        radiosettxconfig;
        radiosettxconfig;
        radiostandby;
        radiosetmodem;
        Radiosend;
        Radiosend;
        RadioIrQProcess;
        ラジオ睡眠;
        radiostandby;
        RadioSechNannel;
        RadiosetrxConfig;
        radiostandby;
        radiosetmodem;
        RadiosetrxConfig;
        Radiorx;
        RadioIrQProcess;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        RadioIrQProcess;
        RadioSechNannel;
        radiosettxconfig;
        radiosettxconfig;
        radiostandby;
        radiosetmodem;
        Radiosend;
        Radiosend;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        radiostandby;
        RadioSechNannel;
        RadiosetrxConfig;
        radiostandby;
        radiosetmodem;
        RadiosetrxConfig;
        Radiorx;
        RadioIrQProcess;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        RadioIrQProcess;
        RadioSechNannel;
        radiosettxconfig;
        radiosettxconfig;
        radiostandby;
        radiosetmodem;
        Radiosend;
        Radiosend;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        radiostandby;
        RadioSechNannel;
        RadiosetrxConfig;
        radiostandby;
        radiosetmodem;
        RadiosetrxConfig;
        Radiorx;
        RadioIrQProcess;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        RadioIrQProcess;
        RadioSechNannel;
        radiosettxconfig;
        radiosettxconfig;
        radiostandby;
        radiosetmodem;
        Radiosend;
        Radiosend;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        radiostandby;
        RadioSechNannel;
        RadiosetrxConfig;
        radiostandby;
        radiosetmodem;
        RadiosetrxConfig;
        Radiorx;
        RadioIrQProcess;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        RadioIrQProcess;
        RadioSechNannel;
        radiosettxconfig;
        radiosettxconfig;
        radiostandby;
        radiosetmodem;
        Radiosend;
        Radiosend;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        radiostandby;
        RadioSechNannel;
        RadiosetrxConfig;
        radiostandby;
        radiosetmodem;
        RadiosetrxConfig;
        Radiorx;
        RadioIrQProcess;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        RadioIrQProcess;
        RadioSechNannel;
        radiosettxconfig;
        radiosettxconfig;
        radiostandby;
        radiosetmodem;
        Radiosend;
        Radiosend;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        radiostandby;
        RadioSechNannel;
        RadiosetrxConfig;
        radiostandby;
        radiosetmodem;
        RadiosetrxConfig;
        Radiorx;
        RadioIrQProcess;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        RadioIrQProcess;
        RadioSechNannel;
        radiosettxconfig;
        radiosettxconfig;
        radiostandby;
        radiosetmodem;
        Radiosend;
        Radiosend;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        radiostandby;
        RadioSechNannel;
        RadiosetrxConfig;
        radiostandby;
        radiosetmodem;
        RadiosetrxConfig;
        Radiorx;
        RadioIrQProcess;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        RadioIrQProcess;
        RadioSechNannel;
        radiosettxconfig;
        radiosettxconfig;
        radiostandby;
        radiosetmodem;
        Radiosend;
        Radiosend;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        radiostandby;
        RadioSechNannel;
        RadiosetrxConfig;
        radiostandby;
        radiosetmodem;
        RadiosetrxConfig;
        Radiorx;
        RadioIrQProcess;
        RadioIrQProcess;
        RadioIrQProcess;
        ラジオ睡眠;
        RadioIrQProcess;
        RadioSechNannel;
        radiosettxconfig;
        radiosettxconfig;
        radiostandby;
        radiosetmodem;
        Radiosend;
        RadioSend;
        RadioIrqProcess;
        RadioIrqProcess;
        RadioSleep;
        RadioStandby;
        RadioSetChannel;
        RadioSetRxConfig;
        RadioStandby;
        RadioSetModem;
        RadioSetRxConfig;
        RadioRx;
        RadioIrqProcess;
        RadioIrqProcess;
        RadioIrqProcess;
        RadioSleep;
        RadioIrqProcess;
        RadioSetChannel;
        RadioSetTxConfig;
        RadioSetTxConfig;
        RadioStandby;
        RadioSetModem;
        RadioSend;
        RadioSend;
        RadioIrqProcess;
        RadioIrqProcess;
        RadioSleep;
        RadioStandby;
        RadioSetChannel;
        RadioSetRxConfig;
        RadioStandby;
        RadioSetModem;
        RadioSetRxConfig;
        RadioRx;
        RadioIrqProcess;
        RadioIrqProcess;
        RadioIrqProcess;
        RadioSleep;
        RadioIrqProcess;
        RadioSetChannel;
        RadioSetTxConfig;
        RadioSetTxConfig;
        RadioStandby;
        RadioSetModem;
        RadioSend;
        RadioSend;
        RadioIrqProcess;
        RadioIrqProcess;
        RadioSleep;
        RadioStandby;
        RadioSetChannel;
        RadioSetRxConfig;
        RadioStandby;
        RadioSetModem;
        RadioSetRxConfig;
        RadioRx;
        RadioIrqProcess;
        RadioIrqProcess;
        RadioIrqProcess;
        RadioSleep;
    終わり;
    subgraph SX1262;
        SX126xIoInit;
        SX126xSetTx;
        SX126xSetPaConfig;
        SX126xSetTx;
        SX126xSetPaConfig;
        SX126xSetTx;
        SX126xSetPaConfig;
        SX126xSetTx;
        SX126xSetPaConfig;
        SX126xSetTx;
        SX126xSetPaConfig;
        SX126xSetTx;
        SX126xSetPaConfig;
        SX126xSetTx;
        SX126xSetPaConfig;
        SX126xSetTx;
        SX126xSetPaConfig;
        SX126xSetTx;
        SX126xSetPaConfig;
        SX126xSetTx;
        SX126xSetPaConfig;
        SX126xSetTx;
        SX126xSetPaConfig;
        SX126xSetTx;
        SX126xSetPaConfig;
        SX126xSetTx;
        SX126xSetPaConfig;
        SX126xSetTx;
        SX126xSetPaConfig;
    終わり;
    subgraph NimBLE;
        TimerInit;
        TimerInit;
        TimerInit;
        TimerInit;
        TimerInit;
        TimerInit;
        TimerInit;
        TimerInit;
        TimerInit;
        TimerInit;
        TimerInit;
        TimerInit;
        TimerInit;
        TimerStop;
        TimerStart;
        TimerInit;
        TimerSetValue;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerSetValue;
        TimerStart;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStart;
        TimerStop;
        TimerStop;
        TimerStop;
    終わり;
    Start-->LoRaMacInitialization;
    LoRaMacInitialization-->TimerInit;
    TimerInit-->SX126xIoInit;
    SX126xIoInit-->SX126xSetTx;
    SX126xSetTx-->SX126xSetPaConfig;
    SX126xSetPaConfig-->TimerInit;
    TimerInit-->RadioSetModem;
    RadioSetModem-->RadioSetPublicNetwork;
    RadioSetPublicNetwork-->RadioSleep;
    RadioSleep-->RadioSetModem;
    RadioSetModem-->RadioSetPublicNetwork;
    RadioSetPublicNetwork-->TimerInit;
    TimerInit-->RadioSetChannel;
    RadioSetChannel-->RadioSetTxConfig;
    RadioSetTxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->SX126xSetTx;
    SX126xSetTx-->SX126xSetPaConfig;
    SX126xSetPaConfig-->RadioSend;
    RadioSend-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerInit;
    TimerInit-->TimerSetValue;
    TimerSetValue-->TimerStop;
    TimerStop-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->RadioStandby;
    RadioStandby-->RadioSetChannel;
    RadioSetChannel-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioRx;
    RadioRx-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerStop;
    TimerStop-->LmHandlerSend;
    LmHandlerSend-->RadioSetChannel;
    RadioSetChannel-->RadioSetTxConfig;
    RadioSetTxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->SX126xSetTx;
    SX126xSetTx-->SX126xSetPaConfig;
    SX126xSetPaConfig-->RadioSend;
    RadioSend-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->RadioStandby;
    RadioStandby-->RadioSetChannel;
    RadioSetChannel-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioRx;
    RadioRx-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerStop;
    TimerStop-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->LmHandlerSend;
    LmHandlerSend-->RadioSetChannel;
    RadioSetChannel-->RadioSetTxConfig;
    RadioSetTxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->SX126xSetTx;
    SX126xSetTx-->SX126xSetPaConfig;
    SX126xSetPaConfig-->RadioSend;
    RadioSend-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioSleep;
    RadioSleep-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->RadioStandby;
    RadioStandby-->RadioSetChannel;
    RadioSetChannel-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioRx;
    RadioRx-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerStop;
    TimerStop-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->LmHandlerSend;
    LmHandlerSend-->RadioSetChannel;
    RadioSetChannel-->RadioSetTxConfig;
    RadioSetTxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->SX126xSetTx;
    SX126xSetTx-->SX126xSetPaConfig;
    SX126xSetPaConfig-->RadioSend;
    RadioSend-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->RadioStandby;
    RadioStandby-->RadioSetChannel;
    RadioSetChannel-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioRx;
    RadioRx-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerStop;
    TimerStop-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->LmHandlerSend;
    LmHandlerSend-->RadioSetChannel;
    RadioSetChannel-->RadioSetTxConfig;
    RadioSetTxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->SX126xSetTx;
    SX126xSetTx-->SX126xSetPaConfig;
    SX126xSetPaConfig-->RadioSend;
    RadioSend-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->RadioStandby;
    RadioStandby-->RadioSetChannel;
    RadioSetChannel-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioRx;
    RadioRx-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerStop;
    TimerStop-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->LmHandlerSend;
    LmHandlerSend-->RadioSetChannel;
    RadioSetChannel-->RadioSetTxConfig;
    RadioSetTxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->SX126xSetTx;
    SX126xSetTx-->SX126xSetPaConfig;
    SX126xSetPaConfig-->RadioSend;
    RadioSend-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->RadioStandby;
    RadioStandby-->RadioSetChannel;
    RadioSetChannel-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioRx;
    RadioRx-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerStop;
    TimerStop-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->LmHandlerSend;
    LmHandlerSend-->RadioSetChannel;
    RadioSetChannel-->RadioSetTxConfig;
    RadioSetTxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->SX126xSetTx;
    SX126xSetTx-->SX126xSetPaConfig;
    SX126xSetPaConfig-->RadioSend;
    RadioSend-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->RadioStandby;
    RadioStandby-->RadioSetChannel;
    RadioSetChannel-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioRx;
    RadioRx-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerStop;
    TimerStop-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->LmHandlerSend;
    LmHandlerSend-->RadioSetChannel;
    RadioSetChannel-->RadioSetTxConfig;
    RadioSetTxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->SX126xSetTx;
    SX126xSetTx-->SX126xSetPaConfig;
    SX126xSetPaConfig-->RadioSend;
    RadioSend-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->RadioStandby;
    RadioStandby-->RadioSetChannel;
    RadioSetChannel-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioRx;
    RadioRx-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerStop;
    TimerStop-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->LmHandlerSend;
    LmHandlerSend-->RadioSetChannel;
    RadioSetChannel-->RadioSetTxConfig;
    RadioSetTxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->SX126xSetTx;
    SX126xSetTx-->SX126xSetPaConfig;
    SX126xSetPaConfig-->RadioSend;
    RadioSend-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->RadioStandby;
    RadioStandby-->RadioSetChannel;
    RadioSetChannel-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioRx;
    RadioRx-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerStop;
    TimerStop-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->LmHandlerSend;
    LmHandlerSend-->RadioSetChannel;
    RadioSetChannel-->RadioSetTxConfig;
    RadioSetTxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->SX126xSetTx;
    SX126xSetTx-->SX126xSetPaConfig;
    SX126xSetPaConfig-->RadioSend;
    RadioSend-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->RadioStandby;
    RadioStandby-->RadioSetChannel;
    RadioSetChannel-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioRx;
    RadioRx-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerStop;
    TimerStop-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->LmHandlerSend;
    LmHandlerSend-->RadioSetChannel;
    RadioSetChannel-->RadioSetTxConfig;
    RadioSetTxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->SX126xSetTx;
    SX126xSetTx-->SX126xSetPaConfig;
    SX126xSetPaConfig-->RadioSend;
    RadioSend-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->RadioStandby;
    RadioStandby-->RadioSetChannel;
    RadioSetChannel-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioRx;
    RadioRx-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerStop;
    TimerStop-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->LmHandlerSend;
    LmHandlerSend-->RadioSetChannel;
    RadioSetChannel-->RadioSetTxConfig;
    RadioSetTxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->SX126xSetTx;
    SX126xSetTx-->SX126xSetPaConfig;
    SX126xSetPaConfig-->RadioSend;
    RadioSend-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->RadioStandby;
    RadioStandby-->RadioSetChannel;
    RadioSetChannel-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioRx;
    RadioRx-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerStop;
    TimerStop-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->LmHandlerSend;
    LmHandlerSend-->RadioSetChannel;
    RadioSetChannel-->RadioSetTxConfig;
    RadioSetTxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->SX126xSetTx;
    SX126xSetTx-->SX126xSetPaConfig;
    SX126xSetPaConfig-->RadioSend;
    RadioSend-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerSetValue;
    TimerSetValue-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->TimerStop;
    TimerStop-->RadioStandby;
    RadioStandby-->RadioSetChannel;
    RadioSetChannel-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioStandby;
    RadioStandby-->RadioSetModem;
    RadioSetModem-->RadioSetRxConfig;
    RadioSetRxConfig-->RadioRx;
    RadioRx-->TimerStop;
    TimerStop-->TimerStart;
    TimerStart-->RadioIrqProcess;
    RadioIrqProcess-->TimerStop;
    TimerStop-->RadioIrqProcess;
    RadioIrqProcess-->RadioSleep;
    RadioSleep-->TimerStop;
    TimerStop-->End;
読み込み

Constrain the Call Graph

トト

Out Of Memory

Zig Compiler crashes when we run this code to group the C Functions by Module...

zig-bl602-nuttx/reflect.zig

Lines 825 to 1086 in f5a5c82

///////////////////////////////////////////////////////////////////////////////
// 反射
// Do Type Reflection on the imported C functions
fn reflect () void {
// We run this at Compile-Time (instead of Runtime)...
comptime {
// Allow Zig Compiler to loop up to 100,000,000 times (Default is 1,000)
@setEvalBranchQuota ( 100_000_000 );
// Test Zig Reflection
test_reflection ();
// Define the Modules and the First Function in each Module
var all_modules = [ _ ] Module {
Module {
。 name = "LoRaWAN" ,
。 first_function = "LoRaMacInitialization" ,
。 first_index = undefined ,
}、
Module {
。 name = "SX1262" ,
。 first_function = "SX126xIoInit" ,
。 first_index = undefined ,
}、
Module {
。 name = "NimBLE" ,
。 first_function = "TimerInit" ,
。 first_index = undefined ,
}、
};
// Set the C Declaration Index for every Module
for ( all_modules ) | map , m | {
// Find the C Declaration Index for the Module's First Function
if ( get_decl_by_name ( map . first_function )) | decl_index | {
// Set the index
all_modules [ m ]. first_index = decl_index ;
@compileLog ( "Found module function: " , all_modules [ m ]. first_function , map . name , decl_index );
}それ以外{
// Missing Declaration
@compileLog ( "C Declaration not found for module: " , map . name , map . first_function );
}
} // End of Module
// Start Top-Down Flowchart
@compileLog ( "flowchart TD;" );
// Render all Modules and their Functions as Subgraphs
render_modules ( & all_modules );
// Render the Call Graph for all functions in the Call Log
render_call_graph ( & all_modules );
} // End of Compile-Time Code
}
/// Render all Modules and their Functions as Subgraphs
fn render_modules ( all_modules : [] Module ) void {
comptime {
// Render every Module
for ( all_modules ) | module , m | {
@compileLog ( " subgraph " , module . name , ";" );
// For every line in the Call Log...
var call_log_split = std . mem . split ( u8 , call_log , " n " );
while ( call_log_split . next ()) | line | {
var T = @typeInfo ( c );
// If the the Call Log matches a C Declaration...
if ( get_decl_by_name ( line )) | decl_index | {
// Get the Module Index for the C Declaration
if ( get_module_by_decl ( all_modules , decl_index )) | m2 | {
// If the C Declaration matches our Module Index...
if ( m == m2 ) {
// Print the Function Name
var name = T . Struct . decls [ decl_index ].名前;
@compileLog ( " " , name , ";" );
}
}
}
} // End of Call Log
@compileLog ( " end;" );
} // End of Module
}
}
/// Render the Call Graph for all functions in the Call Log
fn render_call_graph ( all_modules : [] Module ) void {
comptime {
_ = all_modules ;
var prev_index : usize = 0 ;
// For every line in the Call Log...
var call_log_split = std . mem . split ( u8 , call_log , " n " );
while ( call_log_split . next ()) | line | {
var T2 = @typeInfo ( c );
// If the the Call Log matches a C Declaration...
if ( get_decl_by_name ( line )) | decl_index | {
// Skip calls to self
if ( decl_index == prev_index ) { continue ; }
// Get the C Function Name
var name = T2 . Struct . decls [ decl_index ].名前;
var prev_name =
if ( prev_index == 0 ) "Start"
else T2 . Struct . decls [ prev_index ].名前;
// Draw the graph: [previous function]-->[current function]
@compileLog ( " " , prev_name , "-->" , name , ";" );
prev_index = decl_index ;
}
} // End of Call Log
var T2 = @typeInfo ( c );
var prev_name = T2 . Struct . decls [ prev_index ].名前;
@compileLog ( " " , prev_name , "-->" , "End" , ";" );
}
}
/// Get the index of the Module that contains the C Declaration Index
fn get_module_by_decl ( all_modules : [] Module , decl_index : usize ) ? usize {
comptime {
var m : ? usize = null ;
var diff : usize = undefined ;
// Find the Module that best matches the C Declaration Index
for ( all_modules ) | module , m2 | {
// Overshot the C Declaration Index, skip it
if ( decl_index <= module . first_index ) { continue ; }
var diff2 = decl_index - module . first_index ;
if ( m ) | _ | {
// If this Module is closer than the last one...
if ( decl_index - module . first_index < diff ) {
// Remember this Module
diff = decl_index - module . first_index ;
m = m2 ;
}
}それ以外{
// First matching Module
m = m2 ;
diff = diff2 ;
}
}
return m ;
}
}
/// Return the C Declaration Index for the Function Name.
/// We match the C Declaration Name against the start of the Function Name.
fn get_decl_by_name ( name : [] const u8 ) ? usize {
comptime {
const T = @typeInfo ( c );
// For every C Declaration...
for ( T . Struct . decls ) | decl , i | {
if ( std . mem . eql ( u8 , decl . name , "Radio" )) { continue ; } // Skip Radio
// If the C Declaration matches the Call Log...
if ( std . mem . startsWith ( u8 , name , decl . name )) {
// Return the C Declaration Index
return i ;
}
} // End of C Declaration
return null ; // 見つかりません
}
}
/// Test Zig Reflection
fn test_reflection () void {
comptime {
// Get the Type Info of the C Namespace
const T = @typeInfo ( c );
// Show the Type Info of the C Namespace (Struct)
@compileLog ( "@typeInfo(c): " , T );
// Shows | *"@typeInfo(c): ", std.builtin.Type { .Struct = (struct std.builtin.Type.Struct constant)}
// Show the number of Fields in the C Namespace (0)
@compileLog ( "T.Struct.fields.len: " , T . Struct . fields . len );
// Shows | *"T.Struct.fields.len: ", 0
// Show the number of Declarations in the C Namespace (4743)
@compileLog ( "T.Struct.decls.len: " , T . Struct . decls . len );
// Shows | *"T.Struct.decls.len: ", 4743
// Show the first Declaration in the C Namespace (__builtin_bswap16)
@compileLog ( "T.Struct.decls[0].name: " , T . Struct . decls [ 0 ]. name );
// Shows | *"T.Struct.decls[0].name: ", "__builtin_bswap16"
// Remember the C Header
var header : [] const u8 = "" ;
// For every C Declaration...
for ( T . Struct . decls ) | decl , i | {
var T2 = @typeInfo ( c );
// If the C Declaration ends with "_H"...
もし（
std . mem . endsWith ( u8 , decl . name , "_H" ) or
std . mem . endsWith ( u8 , decl . name , "_H_" ) or
std . mem . endsWith ( u8 , decl . name , "_H__" )
）{
// Dump the C Header and remember it
var name = T2 . Struct . decls [ i ].名前;
@compileLog ( "-----" , name );
header = name ;
// Else if we have seen a header...
//} else if (!std.mem.eql(u8, header, "")) {
//} else if (std.mem.startsWith(u8, decl.name, "Lm")) {
}それ以外{
// Dump the C Declaration
var name = T2 . Struct . decls [ i ].名前;
@compileLog ( "decl.name:" , name );
}
// Strangely we can't do this...
// @compileLog("decl.name:", decl.name);
// Because it shows...
// *"decl.name:", []const u8{76,109,110,83,116,97,116,117,115,95,116}
@compileLog ( "break for debugging" );
壊す; //// For Debugging
} // End of C Declaration
// Show the Type Info for our Zig Namespace
const ThisType = @typeInfo ( @This ());
@compileLog ( "ThisType: " , ThisType );
@compileLog ( "ThisType.Struct.decls.len: " , ThisType . Struct . decls . len );
@compileLog ( "ThisType.Struct.decls[0].name: " , ThisType . Struct . decls [ 0 ]. name );
@compileLog ( "ThisType.Struct.decls[1].name: " , ThisType . Struct . decls [ 1 ]. name );
@compileLog ( "ThisType.Struct.decls[2].name: " , ThisType . Struct . decls [ 2 ]. name );
// Shows...
// | *"ThisType: ", std.builtin.Type { .Struct = (struct std.builtin.Type.Struct constant)}
// | *"ThisType.Struct.decls.len: ", 66
// | *"ThisType.Struct.decls[0].name: ", "std"
// | *"ThisType.Struct.decls[1].name: ", "c"
// | *"ThisType.Struct.decls[2].name: ", "ACTIVE_REGION"
}
}
/// Module Definition
const Module = struct {
/// Module Name, like "LoRaWAN"
name : [] const u8 ,
/// Name of First Function in the Module, like "LoRaMacInitialization"
first_function : [] const u8 ,
/// Index of the First Function in C Declarations
first_index : usize ,
};

Here is the Output Log...

https://gist.github.com/lupyuen/5738abefa9d4c138e9d731e22d01500f

On macOS, Zig Compiler consumes over 34 GB of memory and crashes...

(On WSL, Zig Compiler hangs the WSL process when it consumes over 4 GB of memory)

This happens because our code loops repeatedly over 4,700 C Declarations while processing 1,500 lines of Raw Call Logs .

Let's optimise our code.

Fix Out Of Memory

Our code searches for a C Declaration by looping repeatedly over 4,700 C Declarations like so... 

 /// Return the C Declaration Index for the Function Name.
/// We match the C Declaration Name against the start of the Function Name.
/// This is the slower, unfiltered version that searches all C Declarations.
fn get_decl_by_name ( name : [] const u8 ) ? usize {
    comptime {
        const T = @typeInfo ( c );

        // For every C Declaration...
        for ( T . Struct . decls ) | decl , i | {
            if ( std . mem . eql ( u8 , decl . name , "Radio" )) { continue ; }  // Skip Radio

            // If the C Declaration starts with the Function Name...
            if ( std . mem . startsWith ( u8 , name , decl . name )) {

                // Return the C Declaration Index
                return i ;
            }
        }   // End of C Declaration
        return null ;  // Not found
    }
}

（ソース）

Which causes Zig Compiler to crash with Out Of Memory. But we don't actually need to loop through all the C Declarations!

According to our list of Modules, we call only 173 Functions . Let's fix the above function so that we loop over the 173 Functions instead... 

 /// Return the C Declaration Index for the Function Name.
/// We match the C Declaration Name against the start of the Function Name.
/// This is the faster, filtered version that searches C Declarations by Modules.
fn get_decl_by_name_filtered ( all_modules : [] Module , name : [] const u8 ) ? usize {
    comptime {
        const T = @typeInfo ( c );

        // Search all Modules for the Function Name
        for ( all_modules ) | module | {

            // For every C Declaration in the Module...
            var decl_index = module . first_index ;
            while ( decl_index <= module . last_index ) {

                // Get the C Declaration
                var decl = T . Struct . decls [ decl_index ];
                if ( std . mem . eql ( u8 , decl . name , "Radio" )) { continue ; }  // Skip Radio

                // If the C Declaration starts with the Function Name...
                if ( std . mem . startsWith ( u8 , name , decl . name )) {

                    // Return the C Declaration Index
                    return decl_index ;
                }
                decl_index += 1 ;
            }  // End of C Declaration
        }  // End of Module
        return null ;  // Not found
    }
}

（ソース）

And our code runs OK with Zig Compiler!

(macOS, not WSL though)

Wishlist for Zig Compiler

Building a Call Graph at Compile-Time with Zig Compiler looks pretty challenging.

I hope that future versions of the Zig Compiler will support the following...

  • Type Reflection for C Declarations will provide the full path of source files

    (Makes it easier to identify the module for each declaration)

  • @compileLog will emit any kind of strings

    (So that @compileLog can generate proper Mermaid.js strings like " Start-->LoRaMacInitialization; ")

拡大する
追加情報
関連アプリ
おすすめ
関連情報 すべて