SQLDict.py 15.8 KB
Newer Older
Jean-Paul Smets's avatar
Jean-Paul Smets committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
##############################################################################
#
# Copyright (c) 2002 Nexedi SARL and Contributors. All Rights Reserved.
#                    Jean-Paul Smets-Solanes <jp@nexedi.com>
#
# WARNING: This program as such is intended to be used by professional
# programmers who take the whole responsability of assessing all potential
# consequences resulting from its eventual inadequacies and bugs
# End users who are looking for a ready-to-use solution with commercial
# garantees and support are strongly adviced to contract a Free Software
# Service Company
#
# This program is Free Software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
# as published by the Free Software Foundation; either version 2
# of the License, or (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
#
##############################################################################

29
import random
30
from DateTime import DateTime
Jean-Paul Smets's avatar
Jean-Paul Smets committed
31
from Products.CMFActivity.ActivityTool import registerActivity
32
from Queue import VALID, INVALID_ORDER, INVALID_PATH, EXCEPTION, MAX_PROCESSING_TIME, VALIDATION_ERROR_DELAY, SECONDS_IN_DAY
Jean-Paul Smets's avatar
Jean-Paul Smets committed
33
from RAMDict import RAMDict
34
from Products.CMFActivity.ActiveObject import DISTRIBUTABLE_STATE, INVOKE_ERROR_STATE, VALIDATE_ERROR_STATE
Jean-Paul Smets's avatar
Jean-Paul Smets committed
35 36 37

from zLOG import LOG

38
MAX_PRIORITY = 5
Jean-Paul Smets's avatar
Jean-Paul Smets committed
39

40 41 42 43 44 45 46
priority_weight = \
  [1] * 64 + \
  [2] * 20 + \
  [3] * 10 + \
  [4] * 5 + \
  [5] * 1

47 48 49
class ActivityFlushError(Exception):
    """Error during active message flush"""

Jean-Paul Smets's avatar
Jean-Paul Smets committed
50 51 52 53 54 55
class SQLDict(RAMDict):
  """
    A simple OOBTree based queue. It should be compatible with transactions
    and provide sequentiality. Should not create conflict
    because use of OOBTree.
  """
Jean-Paul Smets's avatar
Jean-Paul Smets committed
56
  # Transaction commit methods
57
  def prepareQueueMessage(self, activity_tool, m):
Jean-Paul Smets's avatar
Jean-Paul Smets committed
58
    if m.is_registered:
59
      activity_tool.SQLDict_writeMessage( path = '/'.join(m.object_path) ,
Jean-Paul Smets's avatar
Jean-Paul Smets committed
60 61
                                          method_id = m.method_id,
                                          priority = m.activity_kw.get('priority', 1),
62 63
                                          message = self.dumpMessage(m),
                                          date = m.activity_kw.get('at_date', DateTime()))
Jean-Paul Smets's avatar
Jean-Paul Smets committed
64
                                          # Also store uid of activity
Jean-Paul Smets's avatar
Jean-Paul Smets committed
65

66 67
  def prepareDeleteMessage(self, activity_tool, m):
    # Erase all messages in a single transaction
Jean-Paul Smets's avatar
Jean-Paul Smets committed
68 69
    path = '/'.join(m.object_path)
    uid_list = activity_tool.SQLDict_readUidList(path=path, method_id=m.method_id,processing_node=None)
70
    uid_list = map(lambda x:x.uid, uid_list)
71 72
    if len(uid_list)>0:
      activity_tool.SQLDict_delMessage(uid = uid_list) 
73
    
Jean-Paul Smets's avatar
Jean-Paul Smets committed
74 75
  # Registration management    
  def registerActivityBuffer(self, activity_buffer):
76 77 78
    class_name = self.__class__.__name__
    setattr(activity_buffer, '_%s_uid_dict' % class_name, {})  
    setattr(activity_buffer, '_%s_message_list' % class_name, [])  
Jean-Paul Smets's avatar
Jean-Paul Smets committed
79
            
Jean-Paul Smets's avatar
Jean-Paul Smets committed
80
  def isMessageRegistered(self, activity_buffer, activity_tool, m):
81 82 83
    class_name = self.__class__.__name__
    uid_dict = getattr(activity_buffer,'_%s_uid_dict' % class_name)
    return uid_dict.has_key((tuple(m.object_path), m.method_id))
Jean-Paul Smets's avatar
Jean-Paul Smets committed
84 85 86
          
  def registerMessage(self, activity_buffer, activity_tool, m):
    m.is_registered = 1
87 88 89 90
    class_name = self.__class__.__name__
    uid_dict = getattr(activity_buffer,'_%s_uid_dict' % class_name)
    uid_dict[(tuple(m.object_path), m.method_id)] = 1
    getattr(activity_buffer,'_%s_message_list' % class_name).append(m)
Jean-Paul Smets's avatar
Jean-Paul Smets committed
91 92 93
          
  def unregisterMessage(self, activity_buffer, activity_tool, m):
    m.is_registered = 0 # This prevents from inserting deleted messages into the queue
94 95 96 97
    class_name = self.__class__.__name__
    uid_dict = getattr(activity_buffer,'_%s_uid_dict' % class_name)
    if uid_dict.has_key((tuple(m.object_path), m.method_id)):
      del uid_dict[(tuple(m.object_path), m.method_id)]
Jean-Paul Smets's avatar
Jean-Paul Smets committed
98 99

  def getRegisteredMessageList(self, activity_buffer, activity_tool):
100 101 102 103
    class_name = self.__class__.__name__
    if hasattr(activity_buffer,'_%s_message_list' % class_name):
      message_list = getattr(activity_buffer,'_%s_message_list' % class_name)
      return filter(lambda m: m.is_registered, message_list)
104 105
    else:
      return ()
Jean-Paul Smets's avatar
Jean-Paul Smets committed
106 107
                
  # Queue semantic
Jean-Paul Smets's avatar
Jean-Paul Smets committed
108
  def dequeueMessage(self, activity_tool, processing_node):
109 110 111
    if hasattr(activity_tool,'SQLDict_readMessage'):
      now_date = DateTime()
      # Sticky processing messages should be set back to non processing
112
      max_processing_date = now_date - MAX_PROCESSING_TIME
113 114
      # Next processing date in case of error
      next_processing_date = now_date + VALIDATION_ERROR_DELAY
115
      priority = random.choice(priority_weight)
116
      # Try to find a message at given priority level which is scheduled for now
117 118
      result = activity_tool.SQLDict_readMessage(processing_node=processing_node, priority=priority,
                                                 to_date=now_date, to_processing_date = max_processing_date)
119
      if len(result) == 0:
120
        # If empty, take any message which is scheduled for now
121
        priority = None
122
        result = activity_tool.SQLDict_readMessage(processing_node=processing_node, priority=priority, to_date=now_date)
123 124 125 126
      if len(result) > 0:
        line = result[0]
        path = line.path
        method_id = line.method_id
127
        uid_list = activity_tool.SQLDict_readUidList( path=path, method_id= method_id, processing_node = None, to_date=now_date )
128 129 130
        uid_list = map(lambda x:x.uid, uid_list)
        # Make sure message can not be processed anylonger
        if len(uid_list) > 0:
131
          # Set selected messages to processing          
132 133 134 135
          activity_tool.SQLDict_processMessage(uid = uid_list)
        get_transaction().commit() # Release locks before starting a potentially long calculation
        # This may lead (1 for 1,000,000 in case of reindexing) to messages left in processing state
        m = self.loadMessage(line.message, uid = line.uid)
136
        # Validate message (make sure object exists, priority OK, etc.)
137 138 139
        validation_state = m.validate(self, activity_tool)
        if validation_state is not VALID:
          if validation_state in (EXCEPTION, INVALID_PATH):          
140
            # There is a serious validation error - we must lower priority
141 142 143 144 145 146 147 148 149 150 151 152 153
            if line.priority > MAX_PRIORITY:
              # This is an error
              if len(uid_list) > 0: 
                activity_tool.SQLDict_assignMessage(uid = uid_list, processing_node = VALIDATE_ERROR_STATE)
                                                                                # Assign message back to 'error' state
              #m.notifyUser(activity_tool)                                      # Notify Error
              get_transaction().commit()                                        # and commit
            else:
              # Lower priority
              if len(uid_list) > 0: # Add some delay before new processing
                activity_tool.SQLDict_setPriority(uid = uid_list, date = next_processing_date,
                                                  priority = line.priority + 1)
              get_transaction().commit() # Release locks before starting a potentially long calculation
154
          else:
155 156 157 158
            # We do not lower priority for INVALID_ORDER errors but we do postpone execution
            if len(uid_list) > 0: # Add some delay before new processing
              activity_tool.SQLDict_setPriority(uid = uid_list, date = next_processing_date,
                                                priority = line.priority)
159
            get_transaction().commit() # Release locks before starting a potentially long calculation
160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183
        else:
          # Try to invoke
          activity_tool.invoke(m) # Try to invoke the message - what happens if read conflict error restarts transaction ?
          if m.is_executed:                                          # Make sure message could be invoked
            if len(uid_list) > 0:
              activity_tool.SQLDict_delMessage(uid = uid_list)                # Delete it
            get_transaction().commit()                                        # If successful, commit
            if m.active_process:
              active_process = activity_tool.unrestrictedTraverse(m.active_process)
              if not active_process.hasActivity():
                # Not more activity
                m.notifyUser(activity_tool, message="Process Finished") # XXX commit bas ???
          else:
            get_transaction().abort()                                         # If not, abort transaction and start a new one
            if line.priority > MAX_PRIORITY:
              # This is an error
              if len(uid_list) > 0:
                activity_tool.SQLDict_assignMessage(uid = uid_list, processing_node = INVOKE_ERROR_STATE)
                                                                                # Assign message back to 'error' state
              m.notifyUser(activity_tool)                                       # Notify Error
              get_transaction().commit()                                        # and commit
            else:
              # Lower priority
              if len(uid_list) > 0:
184
                activity_tool.SQLDict_setPriority(uid = uid_list, date = next_processing_date,
185 186 187 188
                                                  priority = line.priority + 1)
              get_transaction().commit() # Release locks before starting a potentially long calculation
        return 0
      get_transaction().commit() # Release locks before starting a potentially long calculation
Jean-Paul Smets's avatar
Jean-Paul Smets committed
189 190
    return 1

191
  def hasActivity(self, activity_tool, object, **kw):
192 193 194 195 196 197 198 199
    if hasattr(activity_tool,'SQLDict_readMessageList'):
      if object is not None:
        my_object_path = '/'.join(object.getPhysicalPath())
        result = activity_tool.SQLDict_hasMessage(path=my_object_path, **kw)
        if len(result) > 0:
          return result[0].message_count > 0
      else:
        return 1 # Default behaviour if no object specified is to return 1 until active_process implemented
Jean-Paul Smets's avatar
Jean-Paul Smets committed
200 201
    return 0

Jean-Paul Smets's avatar
Jean-Paul Smets committed
202
  def flush(self, activity_tool, object_path, invoke=0, method_id=None, commit=0, **kw):
Jean-Paul Smets's avatar
Jean-Paul Smets committed
203 204
    """
      object_path is a tuple
Jean-Paul Smets's avatar
Jean-Paul Smets committed
205 206 207 208 209 210

      commit allows to choose mode
        - if we commit, then we make sure no locks are taken for too long
        - if we do not commit, then we can use flush in a larger transaction

      commit should in general not be used
211 212

      NOTE: commiting is very likely nonsenses here. We should just avoid to flush as much as possible
Jean-Paul Smets's avatar
Jean-Paul Smets committed
213 214
    """
    path = '/'.join(object_path)
215
    # LOG('Flush', 0, str((path, invoke, method_id)))
216
    method_dict = {}
217 218 219 220 221
    if hasattr(activity_tool,'SQLDict_readMessageList'):
      # Parse each message in registered
      for m in activity_tool.getRegisteredMessageList(self):
        if list(m.object_path) == list(object_path) and (method_id is None or method_id == m.method_id):
          activity_tool.unregisterMessage(self, m)
222
          #if not method_dict.has_key(method_id or m.method_id):
223 224
          if not method_dict.has_key(m.method_id):
            method_dict[m.method_id] = 1 # Prevents calling invoke twice
225 226
            if invoke:
              # First Validate
227
              if m.validate(self, activity_tool) is VALID:
228 229 230 231
                activity_tool.invoke(m) # Try to invoke the message - what happens if invoke calls flushActivity ??
                if not m.is_executed:                                                 # Make sure message could be invoked
                  # The message no longer exists
                  raise ActivityFlushError, (
232
                      'Could not evaluate %s on %s' % (m.method_id , path))
233 234 235 236 237 238 239 240 241
              else:
                # The message no longer exists
                raise ActivityFlushError, (
                    'The document %s does not exist' % path)               
      # Parse each message in SQL dict
      result = activity_tool.SQLDict_readMessageList(path=path, method_id=method_id,processing_node=None)
      for line in result:
        path = line.path
        method_id = line.method_id
Jean-Paul Smets's avatar
Jean-Paul Smets committed
242
        if not method_dict.has_key(method_id):
243 244 245 246
          # Only invoke once (it would be different for a queue)
          method_dict[method_id] = 1
          m = self.loadMessage(line.message, uid = line.uid)
          self.deleteMessage(activity_tool, m)
Jean-Paul Smets's avatar
Jean-Paul Smets committed
247 248
          if invoke:
            # First Validate
249
            if m.validate(self, activity_tool) is VALID:
Jean-Paul Smets's avatar
Jean-Paul Smets committed
250 251 252 253
              activity_tool.invoke(m) # Try to invoke the message - what happens if invoke calls flushActivity ??
              if not m.is_executed:                                                 # Make sure message could be invoked
                # The message no longer exists
                raise ActivityFlushError, (
254
                    'Could not evaluate %s on %s' % (m.method_id , path))
Jean-Paul Smets's avatar
Jean-Paul Smets committed
255 256 257
            else:
              # The message no longer exists
              raise ActivityFlushError, (
258
                  'The document %s does not exist' % path)
Jean-Paul Smets's avatar
Jean-Paul Smets committed
259

Jean-Paul Smets's avatar
Jean-Paul Smets committed
260
  def getMessageList(self, activity_tool, processing_node=None):
Jean-Paul Smets's avatar
Jean-Paul Smets committed
261
    # YO: reading all lines might cause a deadlock
Jean-Paul Smets's avatar
Jean-Paul Smets committed
262
    message_list = []
263 264 265 266 267 268 269
    if hasattr(activity_tool,'SQLDict_readMessageList'):
      result = activity_tool.SQLDict_readMessageList(path=None, method_id=None, processing_node=None)
      for line in result:
        m = self.loadMessage(line.message, uid = line.uid)
        m.processing_node = line.processing_node
        m.priority = line.priority
        message_list.append(m)
Jean-Paul Smets's avatar
Jean-Paul Smets committed
270 271
    return message_list

Jean-Paul Smets's avatar
Jean-Paul Smets committed
272 273
  def distribute(self, activity_tool, node_count):
    processing_node = 1
274 275 276 277 278 279 280 281 282 283 284 285 286 287
    if hasattr(activity_tool,'SQLDict_readMessageList'):
      result = activity_tool.SQLDict_readMessageList(path=None, method_id=None, processing_node = -1) # Only assign non assigned messages
      get_transaction().commit() # Release locks before starting a potentially long calculation
      path_dict = {}
      for line in result:
        path = line.path
        if not path_dict.has_key(path):
          # Only assign once (it would be different for a queue)
          path_dict[path] = 1
          activity_tool.SQLDict_assignMessage(path=path, processing_node=processing_node, uid=None)
          get_transaction().commit() # Release locks immediately to allow processing of messages
          processing_node = processing_node + 1
          if processing_node > node_count:
            processing_node = 1 # Round robin
Jean-Paul Smets's avatar
Jean-Paul Smets committed
288

289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312
  # Validation private methods
  def _validate_after_method_id(self, activity_tool, message, value):
    # Count number of occurances of method_id
    result = activity_tool.SQLDict_validateMessageList(method_id=value, message_uid=None, path=None)
    if result[0].uid_count > 0:
      return INVALID_ORDER
    return VALID
            
  def _validate_after_path(self, activity_tool, message, value):
    # Count number of occurances of path
    result = activity_tool.SQLDict_validateMessageList(method_id=None, message_uid=None, path=value)
    if result[0].uid_count > 0:
      return INVALID_ORDER
    return VALID
            
  def _validate_after_message_uid(self, activity_tool, message, value):
    # Count number of occurances of message_uid
    result = activity_tool.SQLDict_validateMessageList(method_id=None, message_uid=value, path=None)
    if result[0].uid_count > 0:
      return INVALID_ORDER
    return VALID

  # Required for tests (time shift)        
  def timeShift(self, activity_tool, delay):    
313 314 315 316
    """
      To simulate timeShift, we simply substract delay from
      all dates in SQLDict message table
    """
317 318
    activity_tool.SQLDict_timeShift(delay = delay * SECONDS_IN_DAY)
            
Jean-Paul Smets's avatar
Jean-Paul Smets committed
319
registerActivity(SQLDict)