From de63ec4496924d287ffab10aef23b71aaa2f796c Mon Sep 17 00:00:00 2001
From: Michael Davidsaver <mdavidsaver@gmail.com>
Date: Mon, 11 Sep 2023 10:49:38 +0200
Subject: [PATCH] doc

---
 src/pvxs/sharedArray.h | 6 ++++--
 src/servermon.cpp      | 5 ++---
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/src/pvxs/sharedArray.h b/src/pvxs/sharedArray.h
index fbc077f..0c85c07 100644
--- a/src/pvxs/sharedArray.h
+++ b/src/pvxs/sharedArray.h
@@ -334,7 +334,8 @@ public:
 
     inline void reserve(size_t i) {}
 
-    //! Extend size.  Implies make_unique()
+    //! Extend size.  Implies make_unique().
+    //! @post unique()==true
     void resize(size_t i) {
         if(!this->unique() || i!=this->_count) {
             shared_array o(i);
@@ -343,7 +344,8 @@ public:
         }
     }
 
-    //! Ensure exclusive ownership of array data
+    //! Ensure exclusive ownership of array data by making a copy if necessary.
+    //! @post unique()==true
     inline void make_unique() {
         this->resize(this->size());
     }
diff --git a/src/servermon.cpp b/src/servermon.cpp
index d8c6f6b..e20f0b7 100644
--- a/src/servermon.cpp
+++ b/src/servermon.cpp
@@ -54,13 +54,12 @@ struct MonitorOp : public ServerOp,
     BitMask pvMask;
     std::string msg;
 
-    // Further members can only be changed from the accepter worker thread with this lock held.
-    // They may be read from the worker, or if this lock is held.
+    // Further members guarded by this lock (except as noted)
     mutable epicsMutex lock;
 
     // is doReply() scheduled to run
     bool scheduled=false;
-    bool pipeline=false;
+    bool pipeline=false; // const after setup
     // finish() called
     bool finished=false;
     size_t window=0u, limit=4u;