Search results

Paper: Section 5 —— Read Centric Verifying Algorithm

enhancement

paper

todo

Status: Open.

#19 In hengxin/ConsistencyChecking;

· hengxin opened on Jan 20, 2013

Paper: overview of Section 5 and outline of its subsections

paper

todo

Status: Open.

#18 In hengxin/ConsistencyChecking;

· hengxin opened on Jan 18, 2013

Test: Joint tests for two checking algorithms

test

todo

Status: Open.

#16 In hengxin/ConsistencyChecking;

· hengxin opened on Jan 11, 2013

ReadIncChecker class: questions about the implementation of read-inc checking algorithm

question

todo

Status: Open.

#13 In hengxin/ConsistencyChecking;

· hengxin opened on Jan 9, 2013

Check: extreme case in checking algorithm

check

test

todo

Status: Open.

#12 In hengxin/ConsistencyChecking;

· hengxin opened on Jan 9, 2013

Doc: repair JavaDoc

check

doc

Status: Open.

#11 In hengxin/ConsistencyChecking;

· hengxin opened on Jan 9, 2013

Paper: to improve the Algorithm and find out the underlying principle

paper

question

todo

Status: Open.

#7 In hengxin/ConsistencyChecking;

· hengxin opened on Jan 6, 2013

ReadIncOperation Class: "cycle detection" in apply_wprimew_order method

todo

Status: Open.

#5 In hengxin/ConsistencyChecking;

· hengxin opened on Jan 4, 2013

What do LatestWriteMap and GlobalActiveWritesMap do?

question

Status: Open.

#4 In hengxin/ConsistencyChecking;

· hengxin opened on Jan 4, 2013

ReadIncChecker Class: readFromDW method (remove writes)

enhancement

Status: Open.

#3 In hengxin/ConsistencyChecking;

· hengxin opened on Jan 4, 2013

ReadIncOperation Class: propagation in apply_wprimew_order method

enhancement

Status: Open.

#1 In hengxin/ConsistencyChecking;

· hengxin opened on Jan 4, 2013