Identify stateful transactions: If

Identify stateful transactions: If there is an edge across instances
of a transaction in the DDG then the transaction is stateful [2]. For
example, in Fig. 7, there is an edge between instances i and i + 1
as fb in the (i + 1)th instance reads autobaud value updated from
fl in the ith instance. Therefore, SERIAL0 is stateful.

ผลลัพธ์ (ไทย) 1:

ระบุธุรกรรม stateful: ถ้ามีขอบบนอินสแตนซ์ธุรกรรมใน DDG แล้วธุรกรรมเป็น stateful [2] สำหรับตัวอย่าง ในรูป 7 มีขอบระหว่างอินสแตนซ์ฉัน และฉัน + 1เป็น fb ใน (ผม + 1) อินสแตนซ์ th อ่านค่า autobaud ที่ปรับปรุงจากชั้นในอินสแตนซ์ระยะ ดังนั้น SERIAL0 เป็น stateful

ผลลัพธ์ (ไทย) 2:

แจ้งการทำธุรกรรม stateful: หากมีขอบข้ามกรณี
ของการทำธุรกรรมใน DDG แล้วการทำธุรกรรมเป็น stateful [2] สำหรับ
ตัวอย่างเช่นในรูปที่ 7 มีขอบระหว่างกรณีฉันและฉัน + 1
เป็น FB ในมูลค่า autobaud (i + 1) TH เช่นอ่านปรับปรุงจาก
ฟลอริด้าในกรณีที่ i ดังนั้น Serial0 คือ stateful

ผลลัพธ์ (ไทย) 3:

ระบุรายการสถานะ : หากมีขอบในอินสแตนซ์ของธุรกรรมในดีดีจีแล้วธุรกรรมสถานะ [ 2 ] สำหรับตัวอย่างในรูปที่ 7 มีขอบระหว่างอินสแตนซ์ของผมและผม + 1เป็น FB ( + 1 ) th อินสแตนซ์อ่าน autobaud ค่า ข้อมูล จากFL ใน ith อินสแตนซ์ ดังนั้น serial0 เป็นสถานะ .