Erlang Language
NIF

Definition

Officiell dokumentation: http://erlang.org/doc/tutorial/nif.html

NIF introducerades i Erlang / OTP R13B03 som en experimentell funktion. Syftet är att låta ringa C-kod inuti Erlang-koden.

NIF: er implementeras i C istället för Erlang, men de visas som alla andra funktioner inom Erlang-kodens omfattning eftersom de tillhör modulen där inkluderingen hände. NIF-bibliotek är länkade vid sammanställning och laddas under körning.

Eftersom NIF-bibliotek är dynamiskt länkade till emulatorprocessen, är de snabba, men också farliga, eftersom kraschar i en NIF också leder till emulatorn.

Exempel: aktuell UNIX-tid

Här är ett mycket enkelt exempel för att illustrera hur man skriver en NIF.

Katalogstruktur:

nif_test
├── c_src
│   ├── Makefile
│   └── nif_test.c
├── rebar.config
└── src
    ├── nif_test.app.src
    └── nif_test.erl

Denna struktur kan enkelt initialiseras med Rebar3:

$ rebar3 new lib nif_test && cd nif_test && rebar3 new cmake

Innehållet i nif_test.c :

#include "erl_nif.h"
#include "time.h"

static ERL_NIF_TERM now(ErlNifEnv* env, int argc, const ERL_NIF_TERM argv[]) {
        return enif_make_int(env, time(0));
}

static ErlNifFunc nif_funcs[] = {
        {"now", 0, now}
};

ERL_NIF_INIT(nif_test,nif_funcs,NULL,NULL,NULL,NULL);

Innehållet i nif_test.erl :

-module(nif_test).
-on_load(init/0).
-export([now/0]).

-define(APPNAME, nif_test).
-define(LIBNAME, nif_test).

%%====================================================================
%% API functions
%%====================================================================

now() -> nif_not_loaded.

%%====================================================================
%% Internal functions
%%====================================================================

init() ->
    SoName = case code:priv_dir(?APPNAME) of
        {error, bad_name} ->
            case filelib:is_dir(filename:join(["..", priv])) of
                true -> filename:join(["..", priv, ?LIBNAME]);
                _ -> filename:join([priv, ?LIBNAME])
            end;
        Dir -> filename:join(Dir, ?LIBNAME)
    end,
    erlang:load_nif(SoName, 0).

Innehållet i rebar.config :

{erl_opts, [debug_info]}.
{deps, []}.

{pre_hooks, [
  {"(linux|darwin|solaris)", compile, "make -C c_src"},
  {"(freebsd)", compile, "gmake -C c_src"}
]}.
{post_hooks, [
  {"(linux|darwin|solaris)", clean, "make -C c_src clean"},
  {"(freebsd)", clean, "gmake -C c_src clean"}
]}.

Nu kan du köra exemplet:

$ rebar3 shell                                                                                                                                        
===> Verifying dependencies...
===> Compiling nif_test
make: Entering directory '/home/vschroeder/Projects/nif_test/c_src'
cc -O3 -std=c99 -finline-functions -Wall -Wmissing-prototypes -fPIC -I /usr/local/lib/erlang/erts-7.3.1/include/ -I /usr/local/lib/erlang/lib/erl_interface-3.8.2/include  -c -o /home/vschroeder/Projects/nif_test/c_src/nif_test.o /home/vschroeder/Projects/nif_test/c_src/nif_test.c
cc /home/vschroeder/Projects/nif_test/c_src/nif_test.o -shared -L /usr/local/lib/erlang/lib/erl_interface-3.8.2/lib -lerl_interface -lei -o /home/vschroeder/Projects/nif_test/c_src/../priv/nif_test.so
make: Leaving directory '/home/vschroeder/Projects/nif_test/c_src'
Erlang/OTP 18 [erts-7.3.1] [source] [64-bit] [smp:4:4] [async-threads:0] [hipe] [kernel-poll:false]

Eshell V7.3.1  (abort with ^G)
1> nif_test:now().
1469732239
2> nif_test:now().
1469732264
3> 

Erlang C API (C till Erlang)

Officiell dokumentation : http://erlang.org/doc/man/erl_nif.html

De viktigaste strukturerna, typerna och makronna för Erlang C API är följande:

• ERL_NIF_TERM : typen för Erlang-termer. Detta är den returtyp som NIF-funktioner måste följa.
• ERL_NIF_INIT(MODULE, ErlNifFunc funcs[], load, reload, upgrade, unload) : Detta är det makro som faktiskt skapar NIF: er definierade i en viss C-fil. Det måste utvärderas i global omfattning. Normalt blir det den sista raden i C-filen.
• ErlNifFunc : den typ som varje NIF överförs till ERL_NIF_INIT för att exporteras. Denna struktur består av namn, arity, en poiter till C-funktionen och flaggor. En grupp av denna typ med alla NIF-definitioner bör skapas för att skickas till ERL_NIF_INIT .
• ErlNifEnv : Erlang-miljön där NIF körs. Det är obligatoriskt att passera miljön som det första argumentet för varje NIF. Denna typ är ogenomskinlig och kan endast manipuleras med de funktioner som Erlang C API erbjuder.