PostgreSQL Source Code  git master
worker.c
Go to the documentation of this file.
1 /*--------------------------------------------------------------------------
2  *
3  * worker.c
4  * Code for sample worker making use of shared memory message queues.
5  * Our test worker simply reads messages from one message queue and
6  * writes them back out to another message queue. In a real
7  * application, you'd presumably want the worker to do some more
8  * complex calculation rather than simply returning the input,
9  * but it should be possible to use much of the control logic just
10  * as presented here.
11  *
12  * Copyright (c) 2013-2024, PostgreSQL Global Development Group
13  *
14  * IDENTIFICATION
15  * src/test/modules/test_shm_mq/worker.c
16  *
17  * -------------------------------------------------------------------------
18  */
19 
20 #include "postgres.h"
21 
22 #include "miscadmin.h"
23 #include "storage/ipc.h"
24 #include "storage/procarray.h"
25 #include "storage/shm_mq.h"
26 #include "storage/shm_toc.h"
27 #include "tcop/tcopprot.h"
28 
29 #include "test_shm_mq.h"
30 
31 static void attach_to_queues(dsm_segment *seg, shm_toc *toc,
32  int myworkernumber, shm_mq_handle **inqhp,
33  shm_mq_handle **outqhp);
34 static void copy_messages(shm_mq_handle *inqh, shm_mq_handle *outqh);
35 
36 /*
37  * Background worker entrypoint.
38  *
39  * This is intended to demonstrate how a background worker can be used to
40  * facilitate a parallel computation. Most of the logic here is fairly
41  * boilerplate stuff, designed to attach to the shared memory segment,
42  * notify the user backend that we're alive, and so on. The
43  * application-specific bits of logic that you'd replace for your own worker
44  * are attach_to_queues() and copy_messages().
45  */
46 void
48 {
49  dsm_segment *seg;
50  shm_toc *toc;
51  shm_mq_handle *inqh;
52  shm_mq_handle *outqh;
53  volatile test_shm_mq_header *hdr;
54  int myworkernumber;
55  PGPROC *registrant;
56 
57  /*
58  * Establish signal handlers.
59  *
60  * We want CHECK_FOR_INTERRUPTS() to kill off this worker process just as
61  * it would a normal user backend. To make that happen, we use die().
62  */
63  pqsignal(SIGTERM, die);
65 
66  /*
67  * Connect to the dynamic shared memory segment.
68  *
69  * The backend that registered this worker passed us the ID of a shared
70  * memory segment to which we must attach for further instructions. Once
71  * we've mapped the segment in our address space, attach to the table of
72  * contents so we can locate the various data structures we'll need to
73  * find within the segment.
74  *
75  * Note: at this point, we have not created any ResourceOwner in this
76  * process. This will result in our DSM mapping surviving until process
77  * exit, which is fine. If there were a ResourceOwner, it would acquire
78  * ownership of the mapping, but we have no need for that.
79  */
80  seg = dsm_attach(DatumGetInt32(main_arg));
81  if (seg == NULL)
82  ereport(ERROR,
83  (errcode(ERRCODE_OBJECT_NOT_IN_PREREQUISITE_STATE),
84  errmsg("unable to map dynamic shared memory segment")));
86  if (toc == NULL)
87  ereport(ERROR,
88  (errcode(ERRCODE_OBJECT_NOT_IN_PREREQUISITE_STATE),
89  errmsg("bad magic number in dynamic shared memory segment")));
90 
91  /*
92  * Acquire a worker number.
93  *
94  * By convention, the process registering this background worker should
95  * have stored the control structure at key 0. We look up that key to
96  * find it. Our worker number gives our identity: there may be just one
97  * worker involved in this parallel operation, or there may be many.
98  */
99  hdr = shm_toc_lookup(toc, 0, false);
100  SpinLockAcquire(&hdr->mutex);
101  myworkernumber = ++hdr->workers_attached;
102  SpinLockRelease(&hdr->mutex);
103  if (myworkernumber > hdr->workers_total)
104  ereport(ERROR,
105  (errcode(ERRCODE_OBJECT_NOT_IN_PREREQUISITE_STATE),
106  errmsg("too many message queue testing workers already")));
107 
108  /*
109  * Attach to the appropriate message queues.
110  */
111  attach_to_queues(seg, toc, myworkernumber, &inqh, &outqh);
112 
113  /*
114  * Indicate that we're fully initialized and ready to begin the main part
115  * of the parallel operation.
116  *
117  * Once we signal that we're ready, the user backend is entitled to assume
118  * that our on_dsm_detach callbacks will fire before we disconnect from
119  * the shared memory segment and exit. Generally, that means we must have
120  * attached to all relevant dynamic shared memory data structures by now.
121  */
122  SpinLockAcquire(&hdr->mutex);
123  ++hdr->workers_ready;
124  SpinLockRelease(&hdr->mutex);
126  if (registrant == NULL)
127  {
128  elog(DEBUG1, "registrant backend has exited prematurely");
129  proc_exit(1);
130  }
131  SetLatch(&registrant->procLatch);
132 
133  /* Do the work. */
134  copy_messages(inqh, outqh);
135 
136  /*
137  * We're done. For cleanliness, explicitly detach from the shared memory
138  * segment (that would happen anyway during process exit, though).
139  */
140  dsm_detach(seg);
141  proc_exit(1);
142 }
143 
144 /*
145  * Attach to shared memory message queues.
146  *
147  * We use our worker number to determine to which queue we should attach.
148  * The queues are registered at keys 1..<number-of-workers>. The user backend
149  * writes to queue #1 and reads from queue #<number-of-workers>; each worker
150  * reads from the queue whose number is equal to its worker number and writes
151  * to the next higher-numbered queue.
152  */
153 static void
154 attach_to_queues(dsm_segment *seg, shm_toc *toc, int myworkernumber,
155  shm_mq_handle **inqhp, shm_mq_handle **outqhp)
156 {
157  shm_mq *inq;
158  shm_mq *outq;
159 
160  inq = shm_toc_lookup(toc, myworkernumber, false);
162  *inqhp = shm_mq_attach(inq, seg, NULL);
163  outq = shm_toc_lookup(toc, myworkernumber + 1, false);
164  shm_mq_set_sender(outq, MyProc);
165  *outqhp = shm_mq_attach(outq, seg, NULL);
166 }
167 
168 /*
169  * Loop, receiving and sending messages, until the connection is broken.
170  *
171  * This is the "real work" performed by this worker process. Everything that
172  * happens before this is initialization of one form or another, and everything
173  * after this point is cleanup.
174  */
175 static void
177 {
178  Size len;
179  void *data;
181 
182  for (;;)
183  {
184  /* Notice any interrupts that have occurred. */
186 
187  /* Receive a message. */
188  res = shm_mq_receive(inqh, &len, &data, false);
189  if (res != SHM_MQ_SUCCESS)
190  break;
191 
192  /* Send it back out. */
193  res = shm_mq_send(outqh, len, data, false, true);
194  if (res != SHM_MQ_SUCCESS)
195  break;
196  }
197 }
size_t Size
Definition: c.h:605
void * dsm_segment_address(dsm_segment *seg)
Definition: dsm.c:1095
void dsm_detach(dsm_segment *seg)
Definition: dsm.c:803
dsm_segment * dsm_attach(dsm_handle h)
Definition: dsm.c:665
int errcode(int sqlerrcode)
Definition: elog.c:859
int errmsg(const char *fmt,...)
Definition: elog.c:1072
#define DEBUG1
Definition: elog.h:30
#define ERROR
Definition: elog.h:39
#define elog(elevel,...)
Definition: elog.h:224
#define ereport(elevel,...)
Definition: elog.h:149
void proc_exit(int code)
Definition: ipc.c:104
void SetLatch(Latch *latch)
Definition: latch.c:632
#define CHECK_FOR_INTERRUPTS()
Definition: miscadmin.h:122
const void size_t len
const void * data
#define die(msg)
pqsigfunc pqsignal(int signo, pqsigfunc func)
uintptr_t Datum
Definition: postgres.h:64
static int32 DatumGetInt32(Datum X)
Definition: postgres.h:202
void BackgroundWorkerUnblockSignals(void)
Definition: postmaster.c:4229
BackgroundWorker * MyBgworkerEntry
Definition: postmaster.c:185
PGPROC * BackendPidGetProc(int pid)
Definition: procarray.c:3183
shm_mq_handle * shm_mq_attach(shm_mq *mq, dsm_segment *seg, BackgroundWorkerHandle *handle)
Definition: shm_mq.c:290
void shm_mq_set_sender(shm_mq *mq, PGPROC *proc)
Definition: shm_mq.c:224
void shm_mq_set_receiver(shm_mq *mq, PGPROC *proc)
Definition: shm_mq.c:206
shm_mq_result shm_mq_receive(shm_mq_handle *mqh, Size *nbytesp, void **datap, bool nowait)
Definition: shm_mq.c:572
shm_mq_result shm_mq_send(shm_mq_handle *mqh, Size nbytes, const void *data, bool nowait, bool force_flush)
Definition: shm_mq.c:329
shm_mq_result
Definition: shm_mq.h:37
@ SHM_MQ_SUCCESS
Definition: shm_mq.h:38
shm_toc * shm_toc_attach(uint64 magic, void *address)
Definition: shm_toc.c:64
void * shm_toc_lookup(shm_toc *toc, uint64 key, bool noError)
Definition: shm_toc.c:232
#define SpinLockRelease(lock)
Definition: spin.h:64
#define SpinLockAcquire(lock)
Definition: spin.h:62
PGPROC * MyProc
Definition: proc.c:66
pid_t bgw_notify_pid
Definition: bgworker.h:100
Definition: proc.h:157
Latch procLatch
Definition: proc.h:165
Definition: shm_mq.c:72
void test_shm_mq_main(Datum main_arg)
Definition: worker.c:47
static void attach_to_queues(dsm_segment *seg, shm_toc *toc, int myworkernumber, shm_mq_handle **inqhp, shm_mq_handle **outqhp)
Definition: worker.c:154
static void copy_messages(shm_mq_handle *inqh, shm_mq_handle *outqh)
Definition: worker.c:176
#define PG_TEST_SHM_MQ_MAGIC
Definition: test_shm_mq.h:22