Archived
3
0

Zigimpl: draft.

This commit is contained in:
Philippe Pittoli 2022-02-05 13:16:44 +01:00
parent 13e7619899
commit fc4899a26f
3 changed files with 224 additions and 0 deletions

2
zig-impl/.gitignore vendored Normal file
View File

@ -0,0 +1,2 @@
zig-cache
zig-out

14
zig-impl/build.zig Normal file
View File

@ -0,0 +1,14 @@
const Builder = @import("std").build.Builder;
pub fn build(b: *Builder) void {
const mode = b.standardReleaseOptions();
const lib = b.addStaticLibrary("ipc", "src/main.zig");
lib.setBuildMode(mode);
lib.install();
var main_tests = b.addTest("src/main.zig");
main_tests.setBuildMode(mode);
const test_step = b.step("test", "Run library tests");
test_step.dependOn(&main_tests.step);
}

208
zig-impl/src/main.zig Normal file
View File

@ -0,0 +1,208 @@
const std = @import("std");
const testing = std.testing;
// TODO: file descriptors should have a specific type (however, usize is pointer size).
pub const RUNDIR = "/run/ipc/";
pub const IPC_HEADER_SIZE = 6;
pub const IPC_BASE_SIZE = 2000000; // 2 MB, plenty enough space for messages
pub const IPC_MAX_MESSAGE_SIZE = IPC_BASE_SIZE-IPC_HEADER_SIZE;
pub const IPC_VERSION = 4;
const print = std.debug.print;
pub const IPC_TYPE = enum {
UNIX_SOCKETS
};
pub const MessageType = enum {
SERVER_CLOSE,
ERR,
DATA,
NETWORK_LOOKUP,
};
pub const Message = struct {
@"type": MessageType, // Internal message type.
user_type: u8, // User-defined message type (arbitrary).
fd: usize, // File descriptor concerned about this message.
payload: []const u8,
const Self = @This();
pub fn init(fd: usize,
@"type": MessageType,
user_type: u8,
payload: []const u8) Self {
return Message {
.fd = fd,
.@"type" = @"type",
.user_type = user_type,
.payload = payload,
};
}
// del == list.swapRemove(index)
};
test "Message - creation and display" {
// fd type usertype payload
var s = "hello I'm a message";
var m = Message.init(1, MessageType.DATA, 3, s);
print("\n", .{});
print("fd: {}, type {}, usertype {}, payload: {s}\n", .{m.fd, m.@"type", m.user_type, m.payload});
}
pub const Messages = std.ArrayList(Message);
// Event types.
// In the main event loop, servers and clients can receive connections,
// disconnections, errors or messages from their pairs. They also can
// set a timer so the loop will allow a periodic routine (sending ping
// messages for websockets, for instance).
//
// A few other events can occur.
//
// Extra socket
// The main loop waiting for an event can be used as an unique entry
// point for socket management. libipc users can register sockets via
// ipc_add_fd allowing them to trigger an event, so events unrelated
// to libipc are managed the same way.
// Switch
// libipc can be used to create protocol-related programs, such as a
// websocket proxy allowing libipc services to be accessible online.
// To help those programs (with TCP-complient sockets), two sockets
// can be bound together, each message coming from one end will be
// automatically transfered to the other socket and a Switch event
// will be triggered.
// Look Up
// When a client establishes a connection to a service, it asks the
// ipc daemon (ipcd) to locate the service and establish a connection
// to it. This is a lookup.
pub const EventType = enum {
NOT_SET,
ERROR,
EXTRA_SOCKET, // Message received from a non IPC socket.
SWITCH, // Message to send to a corresponding fd.
CONNECTION, // New user.
DISCONNECTION, // User disconnected.
MESSAGE, // New message.
LOOKUP, // Client asking for a service through ipcd.
TIMER, // Timeout in the poll(2) function.
TX, // Message sent.
};
pub const Event = struct {
// For IO callbacks (switching).
pub const event_cb_type = enum {
NO_ERROR, // No error. A message was generated.
FD_CLOSING, // The fd is closing.
FD_ERROR, // Generic error.
PARSING_ERROR, // The message was read but with errors.
IGNORE, // The message should be ignored (protocol specific).
};
@"type": EventType,
index: u32,
origin: usize,
m: ?*Message, // message pointer
const Self = @This();
pub fn init(@"type": EventType,
index: u32,
origin: usize,
m: ?*Message) Self {
return Self {
.@"type" = @"type",
.index = index,
.origin = origin,
.m = m,
};
}
pub fn set(self: *Self,
@"type": EventType,
index: u32,
origin: usize,
m: ?*Message) void {
self.@"type" = @"type";
self.index = index;
self.origin = origin;
self.m = m;
}
pub fn clean(self: *Self) void {
self.@"type" = EventType.NOT_SET;
self.index = @as(u8,0);
self.origin = @as(usize,0);
if (self.m) |message| {
message.deinit();
}
self.m = null;
}
};
//test {
// //m = Message.init
// //e = Event.init(Event.available_types.EXTRA_SOCKET, 0, 0, m);
//}
pub const Connection = struct {
pub const available_types = enum {
IPC, // Standard connection.
EXTERNAL, // ??
SERVER, // Messages received = new connections.
SWITCHED, // IO operations should go through registered callbacks.
};
@"type": Connection.available_types,
more_to_read: bool,
path: *const []u8,
};
pub const Switch = struct {
orig : usize,
dest : usize,
// enum ipccb (*orig_in) (int origin_fd, struct ipc_message *m, short int *more_to_read);
// enum ipccb (*orig_out) (int origin_fd, struct ipc_message *m);
// enum ipccb (*dest_in) (int origin_fd, struct ipc_message *m, short int *more_to_read);
// enum ipccb (*dest_out) (int origin_fd, struct ipc_message *m);
};
pub const Switches = std.ArrayList(Switch);
pub const Connections = std.ArrayList(Connection);
// Context of the whole networking state.
pub const Context = struct {
// Keep track of connections.
connections: Connections,
// TODO: List of "pollfd" structures within cinfos, so we can pass it to poll(2).
// struct pollfd *pollfd;
// List of messages to send, once the fd are available.
tx: Messages,
// Relations between fd.
switchdb: Switches,
};
pub fn main() u8 {
print ("Hello world!\n", .{});
return 0;
}
// export fn add(a: i32, b: i32) i32 {
// return a + b;
// }
// test "basic add functionality" {
// try testing.expect(add(3, 7) == 10);
// }