Adds Parallel State Machine Testing #28
Open
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Not for general use. Replicates part of the pthread/POSIX APIs. Can be replace system apis via mach_override. (Thanks @rentzsch!) Modified mach_override to remove warnings and work on iOS Simulators. Overrides: - POSIX threads - POSIX named semaphores - Mach Semaphores - OSSpinLock Fishhook requires covering more APIs than mach_override. But mach_override probably does not work on actual devices. Scheduling with manual instrumentation (eg - yields) currently works. Related #22.
Automatically instruments yield statements into code. Currently insert yields: - (c, objc) Before every statement in a C block body. - (c, objc) Between reads and writes of ++ and -- unary operators. - (objc) Between a receiver and a message send. - (objc) Between a receiver and a property access (getters only).
Can potentially be wired to Xcode as a clang replacement.
- Added ability for custom scheduling algorithms. - Added random scheduling using FOXRandom instead of round robin. - Converted property rewriter to yield on setters instead of getters. Getters were already being yielded by message sends. Still highly experimental.
Marked existing APIs as deprecated for removal in 2.x.x.
- Removed FOXAlways in parallel tests, since nested properties aren't supported yet. - Added more tests. - Removed mutation method on FOXRoseTree. - Documentation comments.
Foxling now uses a public API method instead of the private yielding one.
To allow travis to build it.
…tation (to support Swift + ObjC interop).
…rAll/FOXForSome via exceptions. This preserves original debuggability while allowing users to add setup/teardown code for the subject.
…ring pthread_exit()
Marked alpha APIs.
Reduces some CPU and memory overhead of -[FOXSequence sequenceFromArray:] -[FOXSequence sequenceByRepeatingObject:times:] Foxling is more defensive at preserving original source (by saving the original to disk somewhere).
It is expected behavior that FOXBind doesn't shrink to absolute minimal values when nested.
- generators_reference.rst
- Expanded warnings of alpha APIs
- Rewording of warning of FOXSuchThat* functions
- Elaborated on debugging functions
- index.rst
- Parallel articles are co-located on the TOC
Experimental FOXSeed shrinking and 'smarter' scheduler algorithms. Fling doesn't backup file on disk - added too significant performance lost. Documentation updates.
Added internal debugging method of repr. Fixed some warnings.
jeffh
force-pushed
the
par-statem-attempt-2
branch
from
0022569 to
e72fbfb
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Working implementation of #22 (WFM).