Project

General

Profile

Bug #428

PPMonoidOv is not threadsafe

Added by John Abbott about 10 years ago. Updated about 10 years ago.

Status:
Closed
Priority:
Normal
Assignee:
John Abbott
Category:
Safety
Target version:
CoCoALib-0.99533 Easter14
Start date:
28 Jan 2014
Due date:
% Done:

100%

Estimated time:
1.51 h
Spent time:
1.50 h

Description

PPMonoidOv uses a "global" buffer much as OrdvArith did.
This is not threadsafe -- Christof has observed crashes.
Revise the code to make it threadsafe!

Related issues

Related to CoCoALib - Bug #413: OrdvArith: use of a single buffer is NOT THREADSAFEClosed2013-11-21

History

#1 Updated by John Abbott about 10 years ago

  • Category set to Safety
  • Assignee set to John Abbott
  • % Done changed from 0 to 20

JAA has modified the code to use local buffers if CoCoA_THREADSAFE_HACK has a positive value.

15:00 Christof says his tests of the modified code have all passed :-)

#2 Updated by John Abbott about 10 years ago

  • Status changed from New to Feedback
  • % Done changed from 20 to 90

Christof's tests have all gone well.
The change was simple (but a bit tedious/ugly).
I've even checked-in the code and updated the doc!
I'll leave this in feedback until Osnabrueck has made a few more tests.

#3 Updated by Anna Maria Bigatti about 10 years ago

  • Target version set to CoCoALib-0.99533 Easter14

#4 Updated by John Abbott about 10 years ago

  • Status changed from Feedback to Closed
  • % Done changed from 90 to 100

Osnabruck seem to be happy! Closing!

#5 Updated by Anna Maria Bigatti about 10 years ago

  • Estimated time set to 1.51 h

Also available in: Atom PDF