You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
125 lines
3.5 KiB
125 lines
3.5 KiB
/*
|
|
* Copyright 2002-2019 Intel Corporation.
|
|
*
|
|
* This software is provided to you as Sample Source Code as defined in the accompanying
|
|
* End User License Agreement for the Intel(R) Software Development Products ("Agreement")
|
|
* section 1.L.
|
|
*
|
|
* This software and the related documents are provided as is, with no express or implied
|
|
* warranties, other than those that are expressly stated in the License.
|
|
*/
|
|
|
|
#include <cstdio>
|
|
#include <cstdlib>
|
|
#include <cassert>
|
|
#include <iostream>
|
|
#include <unistd.h>
|
|
#include <signal.h>
|
|
#include "pin.H"
|
|
|
|
|
|
static const int WAIT_FOR_THREAD1_SECONDS = 10;
|
|
static const int PIN_DETACH_TIMEOUT_SECONDS = 60;
|
|
static volatile int counter = 0;
|
|
static volatile int reproduceBugOnThisIteration = false;
|
|
static PIN_LOCK waitToMainThreadLock;
|
|
static PIN_LOCK waitToSecondThreadLock;
|
|
|
|
|
|
void AlarmRaised(int signum)
|
|
{
|
|
if (SIGALRM == signum)
|
|
{
|
|
printf("*** ERROR: Timeout waiting for PIN to detach\n");
|
|
exit(2);
|
|
}
|
|
}
|
|
|
|
VOID SecondThreadIterationCheckpoint1_Before()
|
|
{
|
|
if (++counter >= 10)
|
|
{
|
|
reproduceBugOnThisIteration = true;
|
|
PIN_GetLock(&waitToSecondThreadLock, 0);
|
|
PIN_GetLock(&waitToMainThreadLock, 0);
|
|
printf("Thread 2: String detach bug reproducing sequence\n");
|
|
}
|
|
}
|
|
|
|
VOID SecondThreadIterationCheckpoint2_Before()
|
|
{
|
|
if (reproduceBugOnThisIteration)
|
|
{
|
|
printf("Thread 2: Application mutex released - waiting to sync with thread 1\n");
|
|
PIN_GetLock(&waitToMainThreadLock, 0);
|
|
}
|
|
}
|
|
|
|
VOID SecondThreadIterationCheckpoint3_Before()
|
|
{
|
|
if (reproduceBugOnThisIteration)
|
|
{
|
|
GetVmLock();
|
|
printf("Thread 2: Application mutex and VM lock acquired. Waiting %d seconds for the main thread\n", WAIT_FOR_THREAD1_SECONDS);
|
|
PIN_ReleaseLock(&waitToSecondThreadLock);
|
|
sleep(WAIT_FOR_THREAD1_SECONDS);
|
|
printf("Thread 2: Finished waiting. Now telling PIN to detach from process - giving it %d seconds to do so\n", PIN_DETACH_TIMEOUT_SECONDS);
|
|
|
|
signal(SIGALRM, AlarmRaised);
|
|
alarm(PIN_DETACH_TIMEOUT_SECONDS);
|
|
|
|
PIN_Detach();
|
|
PIN_RemoveInstrumentation();
|
|
ReleaseVmLock();
|
|
}
|
|
}
|
|
|
|
VOID MainThreadIterationCheckpoint_Before()
|
|
{
|
|
if (reproduceBugOnThisIteration)
|
|
{
|
|
printf("Thread 1: About to acquire application mutex\n");
|
|
PIN_ReleaseLock(&waitToMainThreadLock);
|
|
PIN_GetLock(&waitToSecondThreadLock, 0);
|
|
printf("Thread 1: Going to enter a futex syscall...\n");
|
|
}
|
|
}
|
|
|
|
VOID InstrumentRtnBefore(IMG img, const string& name, VOID(*newFn)())
|
|
{
|
|
RTN rtn = RTN_FindByName(img, name.c_str());
|
|
ASSERT(RTN_Valid(rtn), "Failed to find RTN " + name);
|
|
RTN_Open(rtn);
|
|
INS_InsertCall(RTN_InsHead(rtn), IPOINT_BEFORE, (AFUNPTR)newFn, IARG_END);
|
|
RTN_Close(rtn);
|
|
}
|
|
|
|
VOID Image(IMG img, VOID *v)
|
|
{
|
|
if (IMG_IsMainExecutable(img))
|
|
{
|
|
InstrumentRtnBefore(img, "SecondThreadIterationCheckpoint1", SecondThreadIterationCheckpoint1_Before);
|
|
InstrumentRtnBefore(img, "SecondThreadIterationCheckpoint2", SecondThreadIterationCheckpoint2_Before);
|
|
InstrumentRtnBefore(img, "SecondThreadIterationCheckpoint3", SecondThreadIterationCheckpoint3_Before);
|
|
InstrumentRtnBefore(img, "MainThreadIterationCheckpoint", MainThreadIterationCheckpoint_Before);
|
|
}
|
|
}
|
|
|
|
|
|
int main(int argc, char * argv[])
|
|
{
|
|
PIN_InitSymbols();
|
|
|
|
PIN_Init(argc,argv);
|
|
|
|
PIN_InitLock(&waitToMainThreadLock);
|
|
PIN_InitLock(&waitToSecondThreadLock);
|
|
|
|
IMG_AddInstrumentFunction(Image, 0);
|
|
|
|
// Never returns
|
|
PIN_StartProgram();
|
|
|
|
return 0;
|
|
}
|