LearnLib / learnlib / 10656558741

95%

Build Type

push

github

Committed by web-flow

Commit Message

Parallelize ADT Learner (#132)

* short:
	- new AdaptiveQuery abstract class with adt and default query extensions
	- new adaptiveADTOracle classes with parallel interfaces and static implementation
	- adaptive membership oracle for preset adaptive queries
	- sleepySUL
	- changes in ADTLearner class for new Adaptive classes

verbose:
	- added abstract class Adaptive Query in "de.learnlib.query"
	- added Adaptive_ADT_Query class in "de.learnlib.algorithm.adt.Adaptive"
	- (added ADTNode<S, I, O> getSuccessor() in ADTResetNode ( in "de.learnlib.algorithm.adt.adt" ) for Adaptive_ADT_Query
	  to work )
	- added AdaptiveMembershipOracle interface in "de.learnlib.oracle"

	- added package Adaptive in "de/learnlib/algorithm/adt/Adaptive"
	- added Sul_Adaptive_Oracle class in "de.learnlib.algorithm.adt.Adaptive"
	- added Adaptive_DEF_Query class in "de.learnlib.algorithm.adt.Adaptive"
	- added A2M_Oracle class in "de.learnlib.algorithm.adt.Adaptive"

	- added ParallelAdaptiveOracle interface in "de.learnlib.oracle"
	- added StaticParallelAdaptiveOracle in "de.learnlib.oracle.parallelism"
	- added SleepySUL class in "de.learnlib.algorithm.adt.Adaptive"

	- modified ADTLearner class:
		- added constructor for adaptive membership oracle
		- added AdaptiveMembershipOracle attribute.
		- modified startLearning() to choose between oracles
		- added closeTransitionsLeon() method to use appropriate oracles

* added contact info to the parent pom.xml

* initial refacotring ideas

known issues:
* adaptive parallel oracle testing still missing
* AQOOTBridge non-functional
* A2S_Oracle non-functional

* add parallelism tests

* some experimentation with adaptive caches

* may replace SQOOTBridge
* testing of counter currently broken

* some progress

* some progress

* tests now pass

* fix code-analysis remarks

* remove old SymbolQuery code

* some cleanups

* share some functionality

* add documentation + smal... (continued)

Run Details

414 of 420 new or added lines in 23 files covered. (98.57%)

1 existing line in 1 file now uncovered.

11855 of 12671 relevant lines covered (93.56%)

1.69 hits per line