From 1373211465c34015ee900e097aa87fbffb401187 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Sun, 29 Jan 2017 19:54:26 +0100 Subject: Trying out ACSL, continuing implementation. --- src/server/server_worker.c | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 src/server/server_worker.c (limited to 'src/server/server_worker.c') diff --git a/src/server/server_worker.c b/src/server/server_worker.c new file mode 100644 index 0000000..04f71ca --- /dev/null +++ b/src/server/server_worker.c @@ -0,0 +1,21 @@ +#include "worker.h" + +void ZoO_worker_initialize_parameters +( + struct ZoO_worker_parameters worker_params; + const struct ZoO_server_message msg_buffer [const restrict static 1], + const struct ZoO_parameters params [const restrict static 1] +) +{ + worker_params->thread_id = 0; + pthread_barrier_t * barrier; + mqd_t * server_mailbox; + const struct ZoO_pipe_names * pipe_names; + + /* Program data */ + ZoO_index markov_order; + struct ZoO_knowledge * k; + const char * storage_filename; + + /* TODO */ +} -- cgit v1.2.3-70-g09d2