PUC-Rio - Certificação Digital Nº 1012672/CA
6
Referências Bibliográficas
[1] B. HAILPERN AND P. SANTHANNAM. Software debugging, testing, and
verification. IBM Systems Journal, n. 41, p. 4-12, January 2002.
[2] GRAY, J. Why do computers stop and what can be done about it? Tandem
Tecnical report, n. 85.7, p. 18, June 1985.
[3] CHEUNG, W. H.; BLACK, J. P.; MANNING, E. Framework for Distributed
Debugging. IEEE Software, v. 7, n. 1, p. 106 - 115, Jan. 1990. ISSN
10.1109/52.43056.
[4] CORNELIS, F. et al. A Taxonomy of Execution Replay Systems. Proceedins
of the International Conference on Advances in Infrastruture for Electronic
Business, Education, Scienc, Medice, and Mobile Tecnologies on the Internet. [S.l.]:
[s.n.]. 2003.
[5] BATES, P. C.; WILEDEN, J. C.; LESSER, V. R. A Debugging Tool for
Distributed Systems. Proceedings of the Second Annual Phoenix Conference on
Computers and Communications. [S.l.]: [s.n.]. 1983. p. 311 - 315.
[6] CURTIS, R.; WITTIE, L. D. BUGNET: A Debugging system for parallel
programming environments. IEEE Computer Society, p. 394-400, 1982.
[7] WITTIE, L. D. Debugging distributed C programs by real time reply. In
Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and
distributed debugging (PADD '88). New York, NY, USA: ACM. 1988. p. 57-67.
[8] JONES, S. H.; AL., E. Bugnet: A Real Time Distributed Debugging System. In
Proceedings of 6th international Symposium on Reliability in Distributed Software
and DB Systems. Williamsburg, VA: [s.n.]. March, 1987. p. 56-65.
[9] GARCIA-MOLINA, H.; GERMANO, F.; KOHLER, W. H. Debugging a
Distributed Computing System. IEEE Transactions on Software Engineering ,
March 1984. 210-219.
[10] WIEDENHOFT, G. R.; SILVA, P. F. D.; STEIN, B. O. libRastro: Uma
biblioteca para geração e leitura de rastros de aplicacões. Universidade Federal
de Santa Maira. [S.l.].
[11] LAWTON, K. The Open Source IA-32 Emulation Project. bochs. Disponivel
em: <http://bochs.sourceforge.net/>. Acesso em: 01 fev. 2013.
[12] REIS, V. Q.; CERQUEIRA, R. F. G. A tool for isolating performance in
general-purpose operating systems. Proceedings of the 6th international workshop
on Middleware for grid computing. Leuven, Belgium: ACM. 2008. p. 6:1-6:6.
[13] FRANÇA, P. R. Uma ferramenta para reconstrução da sequência de
interações entre componentes de um sistema distribuído. PUC-Rio. Rio de
Janeiro. 2011.
PUC-Rio - Certificação Digital Nº 1012672/CA
Capítulo 6.
Referências Bibliográficas
83
[14] CORBA, O. M. G. The Common Object Request Broker: Architecture and
Specification - Version 3.1. [S.l.]. jan. 2008.
[15] WANG, N.; HAN, J.; FANG, A. J. A Transparent Control-Flow Based
Approach to Record-Replay Non-deterministic Bugs. 2012 IEEE 7th
International Conference on Networking, Architecture and Storage (NAS). [S.l.]:
IEEE. 2012. p. 189-198.
[16] WANG, N. et al. Reproducing non-deterministic bugs with lightweight
recording in production environments. 2010 IEEE 29th International
Performance Computing and Communications Conference (IPCCC). [S.l.]: IEEE.
2010. p. 89-96.
[17] GEELS, D. M. et al. Replay debugging for distributed applications, v. 68, n.
02, 2006.
[18] ALVIN CHEUNG, A. S.-L. A. S. M. Partial replay of longrunning
applications. In Proceedings of the 19th ACM SIGSOFT symposium and the 13th
European conference on Foundations of software engineering. [S.l.]: ESEC/FSE.
2011. p. 135-145.
[19] SMITH, E. T. A debugger for message‐based processes. Software: Practice
and Experience, 15, n. 11, 1985. 1073-1086.
[20] NARAYANASAMY, S.; POKAM, G.; CALDER, B. Bugnet: Continuously
recording program execution for deterministic replay debugging. ACM SIGARCH
Computer Architecture News, 33, n. 2, 2005. 284-295.
[21] RONSSE, M.; CHRISTIAENS, M.; BOSSCHERE, K. D. Cyclic debugging
using execution replay. Computational Science-ICCS, 2001. 851-860.
[22] NETZER, R. Trace size vs parallelism in trace-and-replay debugging of
shared-memory programs. Languages and Compilers for Parallel Computing. [S.l.]:
Springer. 1994. p. 617-632.
[23] MATZ, M. et al. System V Application Binary Interface. [S.l.]: [s.n.], 2010.
AMD64 Architecture Processor Supplement.
[24] RUSSINOVICH, M. E.; SOLOMON, D. A. Microsoft Windows Internals.
[S.l.]: Microsoft Press, 2005. ISBN 978-0-7356-1917-3.
[25] PTRACE(2) - Linux man page. linux.die.net. Disponivel em:
<http://linux.die.net/man/2/ptrace>. Acesso em: 01 fev. 2012.
[26] DTRACE. dtrace.org. Disponivel em: <http://dtrace.org/blog/>. Acesso em:
01 fev. 2012.
[27]
SYSTEMTAP.
sourceware.org.
Disponivel
em:
<http://sourceware.org/systemtap/>. Acesso em: 01 fev. 2012.
[28] GREG, H. Rootkits: subverting the windows kernel. Upper Saddle River, NJ:
Pearson Education, Inc, 2006. ISBN 0-321-29431-9.
[29] IEEE-SA STANDARDS BOARD. Standard for Information Technology Portable Operating System Interface (POSIX(R)). New York: Institute of
Electrical and Electronics Engineers, 2008. ISBN 9780738157993.
[30] USING the Unix PTrace API. howzatt, November 2012. Disponivel em:
<http://www.howzatt.demon.co.uk/articles/SimplePTrace.html>. Acesso em: 01
fev. 2012.
PUC-Rio - Certificação Digital Nº 1012672/CA
Capítulo 6.
Referências Bibliográficas
84
[31] PADALA, P. Playing with ptrace. Linux Journal, 2002. Disponivel em:
<http://www.linuxjournal.com/article/6100>. Acesso em: 01 fev. 2013.
[32] KENISTON, J. et al. Ptrace, Utrace, Uprobes: Lightweight, Dynamic
Tracing of User Apps. Linux Symposium. Ottawa, Ontario, CAN: [s.n.]. 2007. p.
215-224.
[33] GREGG, B.; MAURO, J. Dynamic tracing in Oracle Solaris, Mac OS X,
and FreeBSD. Boston, MA: Pearson Education, Inc., 2011.
[34]
WHAT
is
Linux?
linux.org,
2012.
Disponivel
em:
<http://www.linux.org/article/view/what-is-linux>. Acesso em: 01 fev. 2013.
[35]
REDHAT
Enterprise
Linux.
RedHat.
Disponivel
em:
<http://www.redhat.com/products/enterprise-linux/>. Acesso em: 01 fev. 2013.
[36] THE Comunity Enterprise Operating System. CentOS. Disponivel em:
<http://www.centos.org/>. Acesso em: 01 fev. 2013.
[37]. Scientific Linux. Disponivel em: <https://www.scientificlinux.org/>.
[38] STEVENS, W. R.; FENNER, B.; RUDOFF, A. M. Unix Network
Programming: The Sockets Networking Api, Volume 1. [S.l.]: Addison-Wesley
Professional, v. 1, 2004. ISBN 9780131411555.
[39] TANENBAUM, A. S. Sistemas Operacionais Modernos. São Paulo: PrenticeHall do Brasil, 2010. ISBN 9788576052371.
[40] CORBET, J.; RUBINI, A.; KROAH-HARTMAN, G. Linux Device Drivers.
Third Edition. ed. [S.l.]: O'Reilly Media Inc., 2005. ISBN 0-596-00590-3.
[41] INTEL CORPORATION. Intel® 64 and IA-32 Architectures Software
Developer’s Manual. [S.l.]: [s.n.], v. Combined Volumes: 1, 2A, 2B, 2C, 3A, 3B
and 3C, 2013. Order Number 325462-048US.
[42] MEMSET'S blog. Syscall Hijacking: Kernel 2.6.* systems, 2010. Disponivel
em:
<http://memset.wordpress.com/2010/12/03/syscall-hijacking-kernel-2-6systems/>. Acesso em: 01 fev. 2013.
[43] MEMSET'S blog. Syscall Hijacking: Dynamically obtain syscall table address
(kernel
2.6.x),
2011.
Disponivel
em:
<http://memset.wordpress.com/2011/01/20/syscall-hijacking-dynamically-obtainsyscall-table-address-kernel-2-6-x/>. Acesso em: 01 fev. 2013.
[44]. Disponivel em: <http://www.tcpdump.org/>.
[45] GUYHARRIS. Libpcap file format development. Wireshark Wiki, 2011.
Disponivel em: <http://wiki.wireshark.org/Development/LibpcapFileFormat>.
Acesso em: 01 fev. 2013.
[46] OREBAUGH, A. et al. Wireshark & Ethereal Network Protocol Analyzer
Toolkit. Rockland, MA: Syngress Publishing, Inc., 2007. ISBN 978-1-59749-073-3.
[47]. Disponivel em: <http://www.wireshark.org/>.
[48]. Disponivel em: <http://www.gnu.org/copyleft/gpl.html>.
[49] BICSI. Network Design Basics for Cabling Professionals. [S.l.]: McGrawHill, 2002.
[50] JONES, M. T. IBM developerWorks. Anatomy of Linux synchronization
methods: Kernel atomics, spinlocks, and mutexes, October, 2007. Disponivel em:
<http://www.ibm.com/developerworks/linux/library/l-linuxsynchronization/index.html>. Acesso em: 01 fev. 2013.
Capítulo 6.
Referências Bibliográficas
85
PUC-Rio - Certificação Digital Nº 1012672/CA
[51]
MICROFOCUS.
Obacus
Product
Family.
Disponivel
em:
<http://www.microfocus.com/products/CORBA/Orbacus/>. Acesso em: 1 fev.
2013.
[52] MANZOOR Murshed, Webpage of. My recent and past research, 2006.
Disponivel em: <http://www.uiu.edu/~murshedm/research.html>. Acesso em: 01
fev. 2013.
[53] CORBATRACE. Examples and EasyCorba libraries, 2001-2002. Disponivel
em: <corbatrace.sourceforge.net/index.php?page=example&lang=en>. Acesso em:
01 fev. 2013.
[54] BOVET, D. P.; CESATI, M. Understanding the Linux Kernel. [S.l.]: O'Reilly
Media, 2008.