Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[PEx] Several upgrades post preliminary experimentation #752

Merged
merged 12 commits into from
Jul 25, 2024
Merged

[PEx] Several upgrades post preliminary experimentation #752

merged 12 commits into from
Jul 25, 2024

Conversation

aman-goel
Copy link
Contributor

Updates include:

[PEx IR]

  • Several changes to avoid generating unnecessary code relating to machine-specific fields (now inferred directly in PEx RT using Reflections)
  • Revamped how fields specific to a continuation are stored (now directly in PContinuation from PEx RT), instead of directly adding as machine field
  • Simplified code generator dealing with continuations
  • Minor bug correction relating to FFI

[PEx RT]

  • Adds support for accessing machine-specific fields directly from runtime
  • Adds storing PContinuation specific variables directly through PEx RT interface
  • Adds getDefault function in PValue to get the default value for each P data type
  • Updates default PEx RT config based on experiments (now using 500 schedules per SearchTask as limit)
  • Adds dumping buggy schedule in file when bug is found
  • Adds CLI option --replay <.schedule file> to replay a buggy schedule
  • Minor cleanup and removing redundancies
  • Corrects serialization errors

@aman-goel
[PEx] Minor correction
867167e 
Fix issue relating to intra-task stateful backtracking with dynamic machine creation
@aman-goel
[PEx IR] Minor correction
411d238
@aman-goel
[PEx] Several improvements to IR
2312618 
Revamps IR to store continuation variables within PContinuation class

Adds function to get the default value from a PValue object

Removes generating get/set/reset functions for PMachine variables. Instead, using reflection in PEx RT.

Minor refactoring
@aman-goel
[PEx IR] Minor cleanup
9c84684
@aman-goel
[PEx] Cleanup disk tasks on exit, change defaults
0c4be9e 
Cleanup tasks/ directory on exiting

Change default for schedules-per-task to 500

Change report wait time to 10 sec.
@aman-goel
[PEx] Minor: create .schedule only if bug is found
78b7dff
@aman-goel
[PEx] Adds writing buggy trace in file
dbe1887 
Adds serializing buggy trace in file

Minor renaming
@aman-goel
[PEx] Adds option --replay <.schedule file> to replay a buggy trace
9d02686
@aman-goel
[PEx] Minor
4740e2c
@aman-goel
[PEx] Fix serialization issues found by P regression tests
8557942
@aman-goel
[PEx] Minor cleanup
1167ab0
@aman-goel aman-goel changed the title [PEx] Severa upgrades post preliminary experimentation [PEx] Several upgrades post preliminary experimentation Jul 19, 2024
@aman-goel aman-goel marked this pull request as ready for review July 19, 2024 23:21
@aman-goel aman-goel merged commit 261d289 into dev/pexplicit_checker Jul 25, 2024
10 checks passed
@aman-goel aman-goel deleted the dev/aman branch July 25, 2024 18:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ankushdesai ankushdesai ankushdesai approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@aman-goel @ankushdesai