Diagram tersebut memperlihatkan FSM dengan dua buah state dan dua buah input serta empat buah aksi output yang berbeda : seperti terlihat pada gambar, ketika sistem mulai dihidupkan, sistem akan bertransisi menuju state0, pada keadaan ini sistem akan menghasilkan Action1 jika terjadi masukan Event0, sedangkan jika terjadi Event1 maka Action2 akan dieksekusi kemudian sistem selanjutnya bertransisi ke keadaan State1 dan seterusnya.
Secara formal FSM dinyatakan oleh 5 tupel atau M=(Q, ∑, δ, S, F),
(Utdirartama, 2001) dimana:
Q = himpunan state/kedudukan
∑ = himpunan symbol input/masukan/abjad
δ = fungsi transisi
S = state awal/ kedudukan awal (initial state), S Q
F = himpunan state akhir, F Q
3. Jenis-jenis FSM
FSM terdiri dari dua jenis, yaitu FSM ber-output dan FSM tidak ber-output. FSM tidak ber-output digunakan untuk pengenalan bahasa dalam komputer, dengan input yang dimasukkan akan diperoleh apakah input tersebut dikenal oleh bahasa komputer atau tidak. Salah satu penggunaan FSM tidak ber-output adalah program compiler, yaitu program untuk memeriksa apakah perintah yang digunakan pengguna benar atau salah. Sementara untuk FSM ber-output digunakan untuk merancang mesin atau sistem (Zen, 2008). Dan FSM yang akan digunakan dalam penelitian ini adalah FSM ber-output, dan untuk selanjutnya akan dituliskan dengan FSM saja.
Ada dua metode utama untuk memperlakukan FSM untuk menghasilkan output. Yaitu Moore Machine dan Mearly Machine yang dinamakan berdasarkan penemunya.
Kelebihan dan Kekurangan FSM
FSM memiliki beberapa kelebihan (Brownlee, 2010), diantaranya :
1. Sederhana, sehingga mudah diimplementasikan
2. Bisa diprediksi responnya
3. Komputasi ringan
4. Relatif fleksibel
5. Merupakan metode AI lama yang bisa digunakan pada berbagai sistem
6. Mudah ditransfer dari abstrak menjadi kode program
Selain memiliki banyak kelebihan, FSM juga mempunyai beberapa kelemahan (Brownlee, 2010), diantaranya :
1. Karena sifatnya bisa diprediksi, maka implementasi pada game kurang disukai
2. Implementasi pada sistem yang lebih besar lebih sulit karena pengaturan dan pemeliharaannya jadi kompleks
3. Sebaiknya hanya digunakan pada sistem dimana sifat sistem bisa didekomposisi menjadi state.
4. Kondisi untuk transisi state adalah tetap
Dari sudut pandang pengirim, pengiriman ulang adalah obatnya. Pengirim tidak dapat mengetahui tentang paket data yang hilang, paket ACK yang hilang atau jika paket data atau ACK tertunda. Dalam semua kasus, tindakan yang diambil sama: pengiriman ulang. Penerapan mekanisme pengiriman ulang berdasarkan waktu memerlukan timer penghitung mundur yang dapat menginterupsi pengirim setelah waktu yang diberikan habis. Dengan demikian, pengirim diharapkan mampu memulai timer setiap paket dikirimkan, entah paket baru maupun paket yang dikirimkan ulang. Pengirim juga diharapkan dapat merespon interupsi timer (melakukan tindakan yang tepat) dan menghentikan timer.
Gambar 1 menunjukkan FSM pengirim pada rdt3.0, sebuah protokol yang handal dalam mengirimkan data melalui saluran yang mudah korup bahkan sampai kehilangan paket.
Gambar 2 merupakan FSM penerima pada protokol rdt 3.0. Penerima harus menambahkan nomor urut paket yang disetujui oleh pesan ACK dengan memasukkan argumen ACK[0] atau ACK[1] dalam udt_send() di FSM penerima. Pada keadaan yang paling kiri, terdapat dua kondisi. Yaitu kondisi menerima paket korup dan kondisi menerima paket baik. Jika kondisi menerima paket korup terjadi, maka akan dikirimkan respon udt_send() dan dikembalikan ke alur sebelumnya. Namun jika yang terjadi justru sebaliknya, maka tetap dikirimkan udt_send() lalu diteruskan ke alur berikutnya dengan kode deliver_data().
Referensi
- http://blog.ub.ac.id/zulfahmi/2016/04/18/finite-state-machine/
- https://gamedevelopment.tutsplus.com/id/tutorials/finite-state-machines-theory-and-implementation--gamedev-11867
- http://www.sr2jr.com/textbook-solutions/computer-science/10302008/computer-networking-a-top-down-approach-transport-layer
- https://www.slideserve.com/jane/reliable-data-transfer-powerpoint-ppt-presentation
Posting Komentar