GATE CSE 2023 Paper 1 — page 13

Questions 37–39 of 65. Imported answers require review unless explicitly marked reviewed.

Consider the control flow graph shown.

Which one of the following choices correctly lists the set of live variables at the exit point of each basic block?

Your answerChoose one option.

B1: , B2: , B3: , B4:

You can attempt this question now. Sign in to view the answer key, explanations and discussion.Log in to check answer

Consider the two functions inc and dec shown below.

inc(){ dec(){

wait(s); wait(s);

X = X+1; X = X-1;

signal(s); signal(s);

} }

There are 5 threads each invoking inc once, and 3 threads each invoking dec once, on the same shared variable X. The initial value of X is 10.

Suppose there are two implementations of the semaphore s, as follows:

I-1: s is a binary semaphore initialized to 1.

I-2: s is a counting semaphore initialized to 2.

Let V1, V2 be the values of X at the end of execution of all the threads with implementations I-1, I-2, respectively.

Which one of the following choices corresponds to the minimum possible values of V1, V2, respectively?

Your answerChoose one option.

15, 7

7, 7

12, 7

12, 8

You can attempt this question now. Sign in to view the answer key, explanations and discussion.Log in to check answer

Consider the context-free grammar

below

where

and

are non-terminals, and

and

are terminal symbols. The starting non-terminal is

Which one of the following statements is CORRECT?

Your answerChoose one option.

The language generated by

is not a regular language

You can attempt this question now. Sign in to view the answer key, explanations and discussion.Log in to check answer

2023 · Paper 1