[meeting] 2021-05-10

[KKimj]

Overfitting

• Cache
• Input coverage

parallel manager to scheduler

[KKimj]

Model

• IR
• Mutation
• Benchmark
• Resource

[KKimj]

https://llvm.org/docs/LangRef.html#identifiers

[KKimj]

1. import 이슈를 해결한다.

2. resoruce manager가 할 일

• c file 명을 input으로 한다.
• 기본 ll file을 만든다.

3. Performance Fuzeer가 할 일

• Resource manager에게 mutation controller 를 늘려달라고 요청

• Resource manager에게 benchmark controller 를 늘려달라고 요청

• Benchmark controller에게 실행 요청 및 빨라졌는지 확인

• Muation controller에게 Vector 전달 및 반환, IR file build

• queue ( {vector, file} 2개 } , benchmark_queue : 계속 benchmakr

• queue ( {vector} ) : mutation_queue : 계속 mutation

queue의 개수 차이가 너무 많이 나면, 조절을 함.

4. Mutation controller가 할 일
   • 1개의 Vector와 1개의 실행 파일을 만든다.
   • Mutation Vector를 받고 Vector를 수정 및 실행 가능한 파일 전달.
   • Mutation Vector를 받으면. 받은대로 build한 것과 , Mutation vector를 임의로 수정한 IR file을 Build한다.

call : args ( vector ) -> (vector, file) 2개

5. Benchmark controller가 할 일
   • Vector 로만 유도된 실행파일과 Mutation된 실행파일을 비교하여, 더 빠른 Vector를 반환해줌

call : (vector, file) 2개 -> vector 1개

[KKimj]

1. import 이슈를 해결한다.

2. resoruce manager가 할 일

• c file 명을 input으로 한다.
• 기본 ll file을 만든다.

3. Performance Fuzeer가 할 일

queue의 개수 차이가 너무 많이 나면, 조절을 한다.

• Resource manager에게 mutation controller 를 늘려달라고 요청

• Resource manager에게 benchmark controller 를 늘려달라고 요청

• Benchmark controller에게 실행 요청 및 빨라졌는지 확인

• Muation controller에게 Vector 전달 및 반환, IR file build

• queue ( {vector, file} 2개 } , benchmark_queue : 계속 benchmark

• queue ( {vector} ) : mutation_queue : 계속 mutation

• resource manager에 mutation_queue :: enqueue

• resource manager에 benchmark_queue :: enqueue

• mutation_queue가 마지막 원소이면 pop하지 않고 다시 mutation 후 benchmark_queue 에 추가

• dequeue 를 하면서 RR 로 controller에게 일을 시킨다. 일이 끝나지 않으면 기다리거나 controller 1개를 더 추가하거나

• timeout을 정해서 mutation controller만큼의 best choice를 반환해줌

4. Mutation controller가 할 일
   • 1개의 Vector와 1개의 실행 파일을 만든다.
   • Mutation Vector를 받고 Vector를 수정 및 실행 가능한 파일 전달.
   • Mutation Vector를 받으면. 받은대로 build한 것과 , Mutation vector를 임의로 수정한 IR file을 Build한다.

call : args ( vector ) -> (vector, file) 2개

5. Benchmark controller가 할 일
   • Vector 로만 유도된 실행파일과 Mutation된 실행파일을 비교하여, 더 빠른 Vector를 반환해줌

call : (vector, file) 2개 -> vector 1개